Details

The Bolyai–Gerwien Theorem says that a polygon can be cut into a finite number of triangles that can be reassembled to form any other polygon having the same area. In other words: if two polygons have the same area, then they are equidecomposable (scissor-equivalent). Farkas Bolyai conjectured this in the 1790s and William Wallace proved it in 1808. Unaware of this, Paul Gerwien proved it again in 1833, and then Bolyai, unaware of both earlier results, gave another proof in 1835.