73
Abhijit Champanerkar CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert’s 3rd Problem CSI and The Graduate Center, CUNY

Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

  • Upload
    others

  • View
    8

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Abhijit Champanerkar

CSI Math Club Talk

Feb 20, 2020

Scissors Congruence &

Hilbert’s 3rd Problem

CSI and The Graduate Center, CUNY

Page 2: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Euclidean Polygons

A polygon is a plane region bounded by finitely many straightlines, connected to form a polygonal chain.

polygon = polus (many) + gonia (corner)

Example:

By polygon, we will mean a simple polygon i.e. a polygon thatdoes not intersect itself and has no holes, equivalently, whoseboundary is a single closed polygonal path (simple closed curve).

Page 3: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Euclidean Polygons

A polygon is a plane region bounded by finitely many straightlines, connected to form a polygonal chain.

polygon = polus (many) + gonia (corner)

Example:

By polygon, we will mean a simple polygon i.e. a polygon thatdoes not intersect itself and has no holes, equivalently, whoseboundary is a single closed polygonal path (simple closed curve).

Page 4: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors Congruence

A polygonal decomposition of a polygon P in the Euclidean planeis a finite collections of polygons P1,P2, . . .Pn whose union is Pand which pairwise intersect only in their boundaries.

Example: Tangrams

Page 5: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors Congruence

A polygonal decomposition of a polygon P in the Euclidean planeis a finite collections of polygons P1,P2, . . .Pn whose union is Pand which pairwise intersect only in their boundaries.

Example: Tangrams

Page 6: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors Congruence

Scissors Congruence

Polygons P and Q are scissors congruent if there exist polygonaldecompositions P1, . . . ,Pn and Q1, . . . ,Qn of P and Q respectivelysuch that Pi is congruent to Qi for 1 ≤ i ≤ n.

In short, two polygons are scissors congruent if one can becut up and reassembled into the other. Let us denote scissorscongruence by ∼sc . We will write P ∼sc Q

Example: All the polygons below are scissors congruent.

Page 7: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors Congruence

Scissors Congruence

Polygons P and Q are scissors congruent if there exist polygonaldecompositions P1, . . . ,Pn and Q1, . . . ,Qn of P and Q respectivelysuch that Pi is congruent to Qi for 1 ≤ i ≤ n.

In short, two polygons are scissors congruent if one can becut up and reassembled into the other. Let us denote scissorscongruence by ∼sc . We will write P ∼sc Q

Example: All the polygons below are scissors congruent.

Page 8: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors Congruence

The idea of scissors congruence goes back to Euclid. By “equalarea” Euclid really meant scissors congruent (though not using thisterm and without proof !).

Page 9: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors congruence proofs of the Pythagorean Theorem

Page 10: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors congruence proofs of the Pythagorean Theorem

Page 11: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors congruence proofs of the Pythagorean Theorem

Page 12: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors Congruence is an equivalence relation

∼sc is an equivalence relation on the set of all polygons in theEuclidean plane.

I (Reflexive) P ∼sc P.

I (Symmetric) P ∼sc Q then Q ∼sc P.

I (Transitive) P ∼sc Q and Q ∼sc R then P ∼sc R.

Transitivity follows by juxtaposing the two decompositions of Qand using the resulting common sub-decomposition of Q toreassemble into P and R, thus showing that P ∼sc R.

Page 13: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors Congruence is an equivalence relation

∼sc is an equivalence relation on the set of all polygons in theEuclidean plane.

I (Reflexive) P ∼sc P.

I (Symmetric) P ∼sc Q then Q ∼sc P.

I (Transitive) P ∼sc Q and Q ∼sc R then P ∼sc R.

Transitivity follows by juxtaposing the two decompositions of Qand using the resulting common sub-decomposition of Q toreassemble into P and R, thus showing that P ∼sc R.

Page 14: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors Congruence is an equivalence relation

∼sc is an equivalence relation on the set of all polygons in theEuclidean plane.

I (Reflexive) P ∼sc P.

I (Symmetric) P ∼sc Q then Q ∼sc P.

I (Transitive) P ∼sc Q and Q ∼sc R then P ∼sc R.

Transitivity follows by juxtaposing the two decompositions of Qand using the resulting common sub-decomposition of Q toreassemble into P and R, thus showing that P ∼sc R.

P Q

Page 15: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors Congruence is an equivalence relation

∼sc is an equivalence relation on the set of all polygons in theEuclidean plane.

I (Reflexive) P ∼sc P.

I (Symmetric) P ∼sc Q then Q ∼sc P.

I (Transitive) P ∼sc Q and Q ∼sc R then P ∼sc R.

Transitivity follows by juxtaposing the two decompositions of Qand using the resulting common sub-decomposition of Q toreassemble into P and R, thus showing that P ∼sc R.

RQ

Page 16: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors Congruence is an equivalence relation

∼sc is an equivalence relation on the set of all polygons in theEuclidean plane.

I (Reflexive) P ∼sc P.

I (Symmetric) P ∼sc Q then Q ∼sc P.

I (Transitive) P ∼sc Q and Q ∼sc R then P ∼sc R.

Transitivity follows by juxtaposing the two decompositions of Qand using the resulting common sub-decomposition of Q toreassemble into P and R, thus showing that P ∼sc R.

P Q R

Page 17: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors Congruence is an equivalence relation

∼sc is an equivalence relation on the set of all polygons in theEuclidean plane.

I (Reflexive) P ∼sc P.

I (Symmetric) P ∼sc Q then Q ∼sc P.

I (Transitive) P ∼sc Q and Q ∼sc R then P ∼sc R.

Transitivity follows by juxtaposing the two decompositions of Qand using the resulting common sub-decomposition of Q toreassemble into P and R, thus showing that P ∼sc R.

RP

Page 18: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Area determines Scissors Congruence

It follows from definition that P ∼sc Q =⇒ Area(P) = Area(Q).

Does Area(P) = Area(Q) =⇒ P ∼sc Q ?

Theorem (Wallace-Bolyai-Gerwien )

Any two simple polygons of equal area are scissors congruent, i.e.they can be dissected into a finite number of congruent polygonalpieces.

Page 19: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Area determines Scissors Congruence

It follows from definition that P ∼sc Q =⇒ Area(P) = Area(Q).

Does Area(P) = Area(Q) =⇒ P ∼sc Q ?

Theorem (Wallace-Bolyai-Gerwien )

Any two simple polygons of equal area are scissors congruent, i.e.they can be dissected into a finite number of congruent polygonalpieces.

Page 20: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Area determines Scissors Congruence

It follows from definition that P ∼sc Q =⇒ Area(P) = Area(Q).

Does Area(P) = Area(Q) =⇒ P ∼sc Q ?

Theorem (Wallace-Bolyai-Gerwien )

Any two simple polygons of equal area are scissors congruent, i.e.they can be dissected into a finite number of congruent polygonalpieces.

Page 21: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Some history

Source: https://www.cut-the-knot.org/do_you_know/Bolyai.shtml

Page 22: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Sketch of Proof

Step 1: Triangulate the polygon.

Step 2: Show that any two triangles with same base and equalheights are scissors congruent.

Step 3: Triangles with same area are scissors congruent.

Step 4: Finish proof of Theorem.

Page 23: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Sketch of Proof

Step 1: Triangulate the polygon.

Step 2: Show that any two triangles with same base and equalheights are scissors congruent.

Step 3: Triangles with same area are scissors congruent.

Step 4: Finish proof of Theorem.

Page 24: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Sketch of Proof

Step 1: Triangulate the polygon.

Step 2: Show that any two triangles with same base and equalheights are scissors congruent.

Step 3: Triangles with same area are scissors congruent.

Step 4: Finish proof of Theorem.

Page 25: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Sketch of Proof

Step 1: Triangulate the polygon.

Step 2: Show that any two triangles with same base and equalheights are scissors congruent.

Step 3: Triangles with same area are scissors congruent.

Step 4: Finish proof of Theorem.

Page 26: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Proof

Step 1: Triangulate polygon i.e. Every polygon has apolygonal decomposition into triangles.

Proof:

For a polygon, choose a line of slope m which is distint from theslopes of all its sides. Lines of slope m through the vertices of thepolygon decompose it into triangles and trapezoids, which againcan be decomposed into (acute) angled triangles. �

Page 27: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Proof

Step 1: Triangulate polygon i.e. Every polygon has apolygonal decomposition into triangles.

Proof:

For a polygon, choose a line of slope m which is distint from theslopes of all its sides. Lines of slope m through the vertices of thepolygon decompose it into triangles and trapezoids, which againcan be decomposed into (acute) angled triangles. �

Page 28: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Proof

Step 1: Triangulate polygon i.e. Every polygon has apolygonal decomposition into triangles.

Proof:

For a polygon, choose a line of slope m which is distint from theslopes of all its sides. Lines of slope m through the vertices of thepolygon decompose it into triangles and trapezoids, which againcan be decomposed into (acute) angled triangles. �

Page 29: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Proof

Step 2: Scissors congruence for parallelograms and trianglesof same base and equal height.

Proof: Let ABCD be a rectangle with base AB and height AD.Let ABXY be a parallelogram with height AD. Assume|DY | ≤ |DC |. Then

ABCD ∼sc AYD + ABCY ∼sc ABCY + BXC ∼sc ABXY .

A B

D CY X

Page 30: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Proof

If |DY | > |DC |, then cutting along the diagonal BY and regluingthe triangle BXY , we obtain the scissors congruent parallelogramABYY1 such that |DY1| = |DY | − |DC |. Continuing this process ktimes, for k = [|DY |/|DC |], we obtain the parallelogramABYk−1Yk such that |DYk | < |DC |, which is scissors congruent toABCD as above.

Y X

A B

D CY1

Page 31: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Proof

Since any triangle is scissors congruent to a parallelogram with thesame base and half height, this implies that any two triangles withsame base and height are scissors congruent. �.

Page 32: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Proof

Step 3: Any two triangles with same area are scissorscongruent.

Proof: By Step 2, we can assume both the triangles are rightangles triangles.

Let Area(ABC ) = Area(AXY )

=⇒ |AB||AC |2

=|AY ||AX |

2

=⇒ |AY ||AC |

=|AB||AX |

=⇒ ABY ∼ AXC SAS test A B

C

X

Y

This implies BY is parallel to XC . Hence triangles BYC and BYXhave same base and same height which implies by Step 2 that theyare scissors congruent i.e.ABC ∼sc ABY + BYC ∼sc ABY + BYX ∼sc AXY . �

Page 33: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Proof

Step 3: Any two triangles with same area are scissorscongruent.

Proof: By Step 2, we can assume both the triangles are rightangles triangles.

Let Area(ABC ) = Area(AXY )

=⇒ |AB||AC |2

=|AY ||AX |

2

=⇒ |AY ||AC |

=|AB||AX |

=⇒ ABY ∼ AXC SAS test A B

C

X

Y

This implies BY is parallel to XC . Hence triangles BYC and BYXhave same base and same height which implies by Step 2 that theyare scissors congruent i.e.ABC ∼sc ABY + BYC ∼sc ABY + BYX ∼sc AXY . �

Page 34: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Proof

Step 3: Any two triangles with same area are scissorscongruent.

Proof: By Step 2, we can assume both the triangles are rightangles triangles.

Let Area(ABC ) = Area(AXY )

=⇒ |AB||AC |2

=|AY ||AX |

2

=⇒ |AY ||AC |

=|AB||AX |

=⇒ ABY ∼ AXC SAS test A B

C

X

Y

This implies BY is parallel to XC . Hence triangles BYC and BYXhave same base and same height which implies by Step 2 that theyare scissors congruent i.e.ABC ∼sc ABY + BYC ∼sc ABY + BYX ∼sc AXY . �

Page 35: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Proof

Step 4: Putting it all together.

Any triangle T is scissors congruent to a right triangle with height2 and base equal to the area of T , which is scissors congruent to arectangle with unit height and base equal to area of T . Letsdenote such a rectangle by Rx where x is its area (= base).

Thus for any polygon P ,

P ∼scT1 + . . .+ Tn by Step 1

∼scRArea(T1) + . . .+ RArea(Tn) by Step 3

∼scRArea(T1)+...+Area(Tn) by laying rectangles side by side

∼scRArea(P) by Step 1

Hence, if polygons P,Q have equal area thenP ∼sc RArea(P) = RArea(Q) ∼sc Q. �

Page 36: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Proof

Step 4: Putting it all together.

Any triangle T is scissors congruent to a right triangle with height2 and base equal to the area of T , which is scissors congruent to arectangle with unit height and base equal to area of T . Letsdenote such a rectangle by Rx where x is its area (= base).

Thus for any polygon P ,

P ∼scT1 + . . .+ Tn by Step 1

∼scRArea(T1) + . . .+ RArea(Tn) by Step 3

∼scRArea(T1)+...+Area(Tn) by laying rectangles side by side

∼scRArea(P) by Step 1

Hence, if polygons P,Q have equal area thenP ∼sc RArea(P) = RArea(Q) ∼sc Q. �

Page 37: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Proof

Step 4: Putting it all together.

Any triangle T is scissors congruent to a right triangle with height2 and base equal to the area of T , which is scissors congruent to arectangle with unit height and base equal to area of T . Letsdenote such a rectangle by Rx where x is its area (= base).

Thus for any polygon P ,

P ∼scT1 + . . .+ Tn by Step 1

∼scRArea(T1) + . . .+ RArea(Tn) by Step 3

∼scRArea(T1)+...+Area(Tn) by laying rectangles side by side

∼scRArea(P) by Step 1

Hence, if polygons P,Q have equal area thenP ∼sc RArea(P) = RArea(Q) ∼sc Q. �

Page 38: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Visualizing scissors congruence

Visualization application by Satyan L. Devadoss, Ziv Epstein, andDmitriy Smirnov is implemented in HTML5 and JavaScript.

The interface allows the user to input her own intial and terminalpolygons. It then rescales the polygons so that they are of thesame area, by calculating the optimal scaling factor for eachpolygon such that the following two constraints are satisfied: bothpolygons are of equal area, and the wider of the two is not toowide that is goes off the screen.

http://dmsm.github.io/scissors-congruence/.

Page 39: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors Congruence in 3 dimensions

A polyhedron is a solid in the Euclidean 3-space E3 whose facesare polygons.

Page 40: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors Congruence in 3 dimensions

A polyhedron is a solid in the Euclidean 3-space E3 whose facesare polygons.

The 5 regular polyhedra called the Platonic solids

Page 41: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors Congruence in 3 dimensions

A polyhedron is a solid in the Euclidean 3-space E3 whose facesare polygons.

Page 42: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors Congruence in 3 dimensions

A polyhedron is a solid in the Euclidean 3-space E3 whose facesare polygons.

We will not allow solids whose boundary in not a sphere (i.e. S2)

Page 43: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors Congruence in 3 dimensions

A polyhedral decomposition of a polyhedron P is a finitecollections of polyhedra P1,P2, . . .Pn whose union is P and whichpairwise intersect only in their boundaries (faces or edges).

Scissors Congruence

Two polyhedra P and Q are scissors congruent if there exist polyhe-dral decompositions P1, . . . ,Pn and Q1, . . . ,Qn of P and Q respec-tively such that Pi is congruent to Qi for 1 ≤ i ≤ n. In short, twopolyhedra are scissors congruent if one can be cut up and reassem-bled into the other. As before, let us denote scissors congruence by∼sc , and write P ∼sc Q.

Page 44: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors Congruence in 3 dimensions

A polyhedral decomposition of a polyhedron P is a finitecollections of polyhedra P1,P2, . . .Pn whose union is P and whichpairwise intersect only in their boundaries (faces or edges).

Scissors Congruence

Two polyhedra P and Q are scissors congruent if there exist polyhe-dral decompositions P1, . . . ,Pn and Q1, . . . ,Qn of P and Q respec-tively such that Pi is congruent to Qi for 1 ≤ i ≤ n. In short, twopolyhedra are scissors congruent if one can be cut up and reassem-bled into the other. As before, let us denote scissors congruence by∼sc , and write P ∼sc Q.

Page 45: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors Congruence in 3 dimensions

I If P ∼sc Q then Volume(P) = Volume(Q).

I ∼sc is an equivalence relation on the set of all polyhedra E3

I (Reflexive) P ∼sc P.I (Symmetric) P ∼sc Q then Q ∼sc P.I (Transitive) P ∼sc Q and Q ∼sc R then P ∼sc R.

As before, transitivity follows by juxtaposing the twodecompositions of Q and using the resulting commonsub-decomposition of Q to reassemble into P and R, thusshowing that P ∼sc R. This is harder to visualize or draw.

Page 46: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors Congruence in 3 dimensions

I If P ∼sc Q then Volume(P) = Volume(Q).I ∼sc is an equivalence relation on the set of all polyhedra E3

I (Reflexive) P ∼sc P.I (Symmetric) P ∼sc Q then Q ∼sc P.I (Transitive) P ∼sc Q and Q ∼sc R then P ∼sc R.

As before, transitivity follows by juxtaposing the twodecompositions of Q and using the resulting commonsub-decomposition of Q to reassemble into P and R, thusshowing that P ∼sc R. This is harder to visualize or draw.

Page 47: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors Congruence in 3 dimensions

I If P ∼sc Q then Volume(P) = Volume(Q).I ∼sc is an equivalence relation on the set of all polyhedra E3

I (Reflexive) P ∼sc P.I (Symmetric) P ∼sc Q then Q ∼sc P.I (Transitive) P ∼sc Q and Q ∼sc R then P ∼sc R.

As before, transitivity follows by juxtaposing the twodecompositions of Q and using the resulting commonsub-decomposition of Q to reassemble into P and R, thusshowing that P ∼sc R. This is harder to visualize or draw.

Page 48: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Hilbert’s Problems

In a famous lecture delivered at the International Congress ofMathematics at Paris in 1900, and a subsequent paper Hilbertposed 23 problems which influenced 20th-century mathematics.

Hilbert’s Third Problem

Given any two polyhedra of equal volume, is it always possible to cutthe first into finitely many polyhedral pieces that can be reassembledto yield the second?

Hilbert made clear that he expected a negative answer.

Page 49: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Hilbert’s Problems

In a famous lecture delivered at the International Congress ofMathematics at Paris in 1900, and a subsequent paper Hilbertposed 23 problems which influenced 20th-century mathematics.

Hilbert’s Third Problem

Given any two polyhedra of equal volume, is it always possible to cutthe first into finitely many polyhedral pieces that can be reassembledto yield the second?

Hilbert made clear that he expected a negative answer.

Page 50: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Hilbert’s Problems

In a famous lecture delivered at the International Congress ofMathematics at Paris in 1900, and a subsequent paper Hilbertposed 23 problems which influenced 20th-century mathematics.

Hilbert’s Third Problem

Given any two polyhedra of equal volume, is it always possible to cutthe first into finitely many polyhedral pieces that can be reassembledto yield the second?

Hilbert made clear that he expected a negative answer.

Page 51: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Hilbert’s Problems

In a famous lecture delivered at the International Congress ofMathematics at Paris in 1900, and a subsequent paper Hilbertposed 23 problems which influenced 20th-century mathematics.

Hilbert’s Third Problem

Given any two polyhedra of equal volume, is it always possible to cutthe first into finitely many polyhedral pieces that can be reassembledto yield the second?

Hilbert made clear that he expected a negative answer.

Page 52: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Solution to Hilbert’s Third Problem

The negative answer to Hilbert’s Third problem was provided in1902 by Max Dehn.

Dehn showed that the regular tetrahedron and the cube of thesame volume were not scissors congruent.

6∼sc

Page 53: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Solution to Hilbert’s Third Problem

The negative answer to Hilbert’s Third problem was provided in1902 by Max Dehn.

Dehn showed that the regular tetrahedron and the cube of thesame volume were not scissors congruent.

6∼sc

Page 54: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Solution to Hilbert’s Third Problem

The negative answer to Hilbert’s Third problem was provided in1902 by Max Dehn.

Dehn showed that the regular tetrahedron and the cube of thesame volume were not scissors congruent.

6∼sc

Page 55: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Dehn’s solution

Volume is an invariant of scissors congruence i.e. two scissorscongruent objects have the same volume.

Dehn defined a new invariant of scissors congruence, now known asthe Dehn invariant.

Dehn invariant

For an edge e of a polyhedron P, let `(e) and θ(e) denote its lengthand dihedral angles respectively. The Dehn invariant δ(P) of P is

δ(P) =∑

all edges e of P

`(e)⊗ θ(e) ∈ R⊗ (R/πQ)

The ⊗ symbol is called tensor product and implies that δ(P) doesnot change when you cut along an edge or cut along an angle i.e.δ(P) in an invariant of scissors congruence.

Page 56: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Dehn’s solution

Volume is an invariant of scissors congruence i.e. two scissorscongruent objects have the same volume.

Dehn defined a new invariant of scissors congruence, now known asthe Dehn invariant.

Dehn invariant

For an edge e of a polyhedron P, let `(e) and θ(e) denote its lengthand dihedral angles respectively. The Dehn invariant δ(P) of P is

δ(P) =∑

all edges e of P

`(e)⊗ θ(e) ∈ R⊗ (R/πQ)

The ⊗ symbol is called tensor product and implies that δ(P) doesnot change when you cut along an edge or cut along an angle i.e.δ(P) in an invariant of scissors congruence.

Page 57: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Dehn’s solution

Volume is an invariant of scissors congruence i.e. two scissorscongruent objects have the same volume.

Dehn defined a new invariant of scissors congruence, now known asthe Dehn invariant.

Dehn invariant

For an edge e of a polyhedron P, let `(e) and θ(e) denote its lengthand dihedral angles respectively. The Dehn invariant δ(P) of P is

δ(P) =∑

all edges e of P

`(e)⊗ θ(e) ∈ R⊗ (R/πQ)

The ⊗ symbol is called tensor product and implies that δ(P) doesnot change when you cut along an edge or cut along an angle i.e.δ(P) in an invariant of scissors congruence.

Page 58: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Dehn’s solution

I In δ(P), dihedral angles which are rationals multiples of π are0 !

I δ(unit cube) = 12× 1⊗ (π/2) = 0 since π/2 = 0 ∈ R/πQI For a regular tetrahedra with unit volume, the lengths of all

its sides is some positive number a and all its dihedral anglesare α where cos(α) = 1/3.

I δ(tetrahedra) = 6× a⊗ arccos(13)

Iarccos(13)

πis irrational ! (needs proof)

I δ(unit cube) = 0 6= 6× a⊗ arccos(13) = δ(tetrahedra)

I Thus the unit cube and the unit tetrahedra are not scissorscongruent !

Page 59: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Dehn’s solution

I In δ(P), dihedral angles which are rationals multiples of π are0 !

I δ(unit cube) = 12× 1⊗ (π/2) = 0 since π/2 = 0 ∈ R/πQ

I For a regular tetrahedra with unit volume, the lengths of allits sides is some positive number a and all its dihedral anglesare α where cos(α) = 1/3.

I δ(tetrahedra) = 6× a⊗ arccos(13)

Iarccos(13)

πis irrational ! (needs proof)

I δ(unit cube) = 0 6= 6× a⊗ arccos(13) = δ(tetrahedra)

I Thus the unit cube and the unit tetrahedra are not scissorscongruent !

Page 60: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Dehn’s solution

I In δ(P), dihedral angles which are rationals multiples of π are0 !

I δ(unit cube) = 12× 1⊗ (π/2) = 0 since π/2 = 0 ∈ R/πQI For a regular tetrahedra with unit volume, the lengths of all

its sides is some positive number a and all its dihedral anglesare α where cos(α) = 1/3.

I δ(tetrahedra) = 6× a⊗ arccos(13)

Iarccos(13)

πis irrational ! (needs proof)

I δ(unit cube) = 0 6= 6× a⊗ arccos(13) = δ(tetrahedra)

I Thus the unit cube and the unit tetrahedra are not scissorscongruent !

Page 61: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Dehn’s solution

I In δ(P), dihedral angles which are rationals multiples of π are0 !

I δ(unit cube) = 12× 1⊗ (π/2) = 0 since π/2 = 0 ∈ R/πQI For a regular tetrahedra with unit volume, the lengths of all

its sides is some positive number a and all its dihedral anglesare α where cos(α) = 1/3.

I δ(tetrahedra) = 6× a⊗ arccos(13)

Iarccos(13)

πis irrational ! (needs proof)

I δ(unit cube) = 0 6= 6× a⊗ arccos(13) = δ(tetrahedra)

I Thus the unit cube and the unit tetrahedra are not scissorscongruent !

Page 62: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Dehn’s solution

I In δ(P), dihedral angles which are rationals multiples of π are0 !

I δ(unit cube) = 12× 1⊗ (π/2) = 0 since π/2 = 0 ∈ R/πQI For a regular tetrahedra with unit volume, the lengths of all

its sides is some positive number a and all its dihedral anglesare α where cos(α) = 1/3.

I δ(tetrahedra) = 6× a⊗ arccos(13)

Iarccos(13)

πis irrational ! (needs proof)

I δ(unit cube) = 0 6= 6× a⊗ arccos(13) = δ(tetrahedra)

I Thus the unit cube and the unit tetrahedra are not scissorscongruent !

Page 63: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Dehn’s solution

I In δ(P), dihedral angles which are rationals multiples of π are0 !

I δ(unit cube) = 12× 1⊗ (π/2) = 0 since π/2 = 0 ∈ R/πQI For a regular tetrahedra with unit volume, the lengths of all

its sides is some positive number a and all its dihedral anglesare α where cos(α) = 1/3.

I δ(tetrahedra) = 6× a⊗ arccos(13)

Iarccos(13)

πis irrational ! (needs proof)

I δ(unit cube) = 0 6= 6× a⊗ arccos(13) = δ(tetrahedra)

I Thus the unit cube and the unit tetrahedra are not scissorscongruent !

Page 64: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Dehn’s solution

I In δ(P), dihedral angles which are rationals multiples of π are0 !

I δ(unit cube) = 12× 1⊗ (π/2) = 0 since π/2 = 0 ∈ R/πQI For a regular tetrahedra with unit volume, the lengths of all

its sides is some positive number a and all its dihedral anglesare α where cos(α) = 1/3.

I δ(tetrahedra) = 6× a⊗ arccos(13)

Iarccos(13)

πis irrational ! (needs proof)

I δ(unit cube) = 0 6= 6× a⊗ arccos(13) = δ(tetrahedra)

I Thus the unit cube and the unit tetrahedra are not scissorscongruent !

Page 65: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors congruence in other geometries and higherdimensions

The possible 2-dimensional geometries are Euclidean, spherical andhyperbolic.

It is known that area determines scissors congruence in2-dimensional spherical geometry S2 and hyperbolic geometry H2.

Page 66: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors congruence in other geometries and higherdimensions

The possible 2-dimensional geometries are Euclidean, spherical andhyperbolic.

It is known that area determines scissors congruence in2-dimensional spherical geometry S2 and hyperbolic geometry H2.

Page 67: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors congruence in other geometries and higherdimensions

I Does volume and Dehn invariant determine scissorscongruence in E3 ? Yes they do ! Sydler solved this in 1965.This question is known as the “Dehn invariant sufficiency”problem.

I “Dehn invariant sufficiency” is still unsolved for3-dimensional spherical and hyperbolic geometry H3, as wellas in higher dimensions.

I Dupont and Sah (1982) related scissors congruence to thehomology of groups of isometries of various geometries andK -theory of fields !

I Walter Neumann and Jun Yang (1999) used a “complexified”Dehn invariant in H3 to define invariants of hyperbolic3-manifolds.

Page 68: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors congruence in other geometries and higherdimensions

I Does volume and Dehn invariant determine scissorscongruence in E3 ? Yes they do ! Sydler solved this in 1965.This question is known as the “Dehn invariant sufficiency”problem.

I “Dehn invariant sufficiency” is still unsolved for3-dimensional spherical and hyperbolic geometry H3, as wellas in higher dimensions.

I Dupont and Sah (1982) related scissors congruence to thehomology of groups of isometries of various geometries andK -theory of fields !

I Walter Neumann and Jun Yang (1999) used a “complexified”Dehn invariant in H3 to define invariants of hyperbolic3-manifolds.

Page 69: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors congruence in other geometries and higherdimensions

I Does volume and Dehn invariant determine scissorscongruence in E3 ? Yes they do ! Sydler solved this in 1965.This question is known as the “Dehn invariant sufficiency”problem.

I “Dehn invariant sufficiency” is still unsolved for3-dimensional spherical and hyperbolic geometry H3, as wellas in higher dimensions.

I Dupont and Sah (1982) related scissors congruence to thehomology of groups of isometries of various geometries andK -theory of fields !

I Walter Neumann and Jun Yang (1999) used a “complexified”Dehn invariant in H3 to define invariants of hyperbolic3-manifolds.

Page 70: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Scissors congruence in other geometries and higherdimensions

I Does volume and Dehn invariant determine scissorscongruence in E3 ? Yes they do ! Sydler solved this in 1965.This question is known as the “Dehn invariant sufficiency”problem.

I “Dehn invariant sufficiency” is still unsolved for3-dimensional spherical and hyperbolic geometry H3, as wellas in higher dimensions.

I Dupont and Sah (1982) related scissors congruence to thehomology of groups of isometries of various geometries andK -theory of fields !

I Walter Neumann and Jun Yang (1999) used a “complexified”Dehn invariant in H3 to define invariants of hyperbolic3-manifolds.

Page 71: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Video

Thank you for listening

Now that we have understood finer points of scissors congruence,lets end with a video. You can ask your questions after the video.

https://www.youtube.com/watch?v=ysV6iF3Rmjo

Page 72: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Video

Thank you for listening

Now that we have understood finer points of scissors congruence,lets end with a video. You can ask your questions after the video.

https://www.youtube.com/watch?v=ysV6iF3Rmjo

Page 73: Scissors Congruence and Hilbert's Third Problem · CSI Math Club Talk Feb 20, 2020 Scissors Congruence & Hilbert's 3rd Problem CSI and The Graduate Center, CUNY. Euclidean Polygons

Video

Thank you for listening

Now that we have understood finer points of scissors congruence,lets end with a video. You can ask your questions after the video.

https://www.youtube.com/watch?v=ysV6iF3Rmjo