Formal Book

14 Cauchy’s rigidity theorem

Lemma 14.1 Cauchy’s arm lemma

TODO

Proof

TODO

Theorem 14.2 Cauchy’s rigidity

If two \(3\)-dimensional convex polyhedra \(P\) and \(P'\) are combinatorially equivalent with corresponding pairs of adjacent congruent, then also the angels between corresponding pairs of adjacent facets are equal (and thus \(P\) is congruent to \(P'\)).

Proof

TODO