proof of Dehn’s theorem
We define the Dehn’s invariant, which is a number given to any polyhedron which does not change under scissor-equivalence.
Choose an additive function such that and define for any polyhedron the number (Dehn’s invariant)
where is the angle between the two faces of joining in , and is the length of the edge .
We want to prove that if we decompose into smaller polyhedra as in the definition of scissor-equivalence, we have
(1) |
which means that if is scissor equivalent to then .
Let be such a decomposition of . Given any edge of a piece the following cases arise:
- 1.
is contained in the interior of . Since an entire neighbourhood of is contained in the angles of the pieces which have as an edge (or part of an edge) must have sum . So in the right hand side of (1) the edge gives a contribution of (recallthat is additive).
- 2.
is contained in a facet of . The same argument as before is valid, only we find that the total contribution is .
- 3.
is contained in an edge of . In this case the total contribution given by to the right hand side of (1) is given by .
Since we have choosen so that and hence also (since is additive) we conclude that the equivalence (1) is valid.
Now we are able to prove Dehn’s Theorem. Choose to be a regular tetrahedron with edges of length . Then where is the angle between two faces of . We know that is irrational, hence there exists an additive function such that while (as there exist additive functions which are not linear).
So if is any parallelepiped we find that (since each angle between facets of is and ) while . This means that and cannot be scissor-equivalent.