Math 2.0

Convex and discrete geometry Theorem

Wallace–Bolyai–Gerwien theorem

Builds on PolygonEuclidean isometry

Statement

Let PP and QQ be two simple polygons in the Euclidean plane with the same area. Then PP can be cut into finitely many polygonal pieces that can be moved by isometries to form QQ, with disjoint interiors.

Remarks

The proof cuts a polygon into triangles. Each triangle can be cut and reassembled into a rectangle, and each rectangle into a rectangle with one side of length 11. Stacking these rectangles gives a rectangle of width 11 and height equal to the area. So PP and QQ can both be cut into the same rectangle, and the two dissections combine, since the relation "can be cut into" is transitive. The analogue in dimension 33 is false: this is the negative answer to Hilbert's third problem.

Going deeper

For a student

The theorem justifies the old method of finding areas by cutting and rearranging. An example is the proof that a parallelogram has the area of a rectangle with the same base and height. It shows that in the plane, equal area is the same as scissors congruence. In space there is a second invariant, the Dehn invariant, and equal volume is not enough.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Euclidean isometry concept
  2. Polygon concept
  3. Wallace–Bolyai–Gerwien theorem statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Wallace%E2%80%93Bolyai%E2%80%93Gerwien_theorem
About this page
Tag5RQGCEQYK5
URIm2://5RQGCEQYK5
Kindstatement, theorem
WritingW0 stub
MSC52B45, 51M25
StatusThis copy of the site has no build data. Run m2 status 5RQGCEQYK5.
AboutPolygon
UsesPolygon, Euclidean isometry
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.