Dehn’s theorem

We all know the elementary formula to compute the area of a triangle: basis times height divided by two. This formula can be justified with a scissor type argument:one divides the triangle into smaller polygons and rearranges these polygons to obtain a rectangle which should have the same area.

Can we use the same argument to compute the volume of a pyramid? This isthe third Hilbert’s problem. Quite surprisingly the answer is negative, as states the theorem below. This means that the formulae to compute the volume of polyhedra cannot be proved without a limiting process (for example using integrals).

Definition 1.

We say that two polyhedra $P$ and $Q$ are scissor-equivalent if there exists a finite number $P_{1},\\ldots,P_{N}$ of polyhedra and $\\theta_{1},\\ldots,\\theta_{N}$ isometries such that

1.
$P=\\bigcup_{k=1}^{N}P_{k}$ and $Q=\\bigcup_{k=1}^{N}\\theta_{k}(P_{k})$ ;
2.
$P_{j}\\cap P_{k}$ and $\\theta_{j}(P_{j})\\cap\\theta_{k}(P_{k})$ have empty interiorfor every $k\eq j$

The properties given above assure that two scissor-equivalent polyhedramust have the same volume. It is also simple to prove that the scissor-equivalence is indeed an equivalence relation.

Theorem 1.

The regular tetrahedron is not scissor-equivalent to any parallelepiped.

单词	DehnsTheorem
释义	Dehn’s theorem We all know the elementary formula to compute the area of a triangle: basis times height divided by two. This formula can be justified with a scissor type argument:one divides the triangle into smaller polygons and rearranges these polygons to obtain a rectangle which should have the same area. Can we use the same argument to compute the volume of a pyramid? This isthe third Hilbert’s problem. Quite surprisingly the answer is negative, as states the theorem below. This means that the formulae to compute the volume of polyhedra cannot be proved without a limiting process (for example using integrals). Definition 1. We say that two polyhedra $P$ and $Q$ are scissor-equivalent if there exists a finite number $P_{1},\\ldots,P_{N}$ of polyhedra and $\\theta_{1},\\ldots,\\theta_{N}$ isometries such that 1. $P=\\bigcup_{k=1}^{N}P_{k}$ and $Q=\\bigcup_{k=1}^{N}\\theta_{k}(P_{k})$ ; 2. $P_{j}\\cap P_{k}$ and $\\theta_{j}(P_{j})\\cap\\theta_{k}(P_{k})$ have empty interiorfor every $k\eq j$ The properties given above assure that two scissor-equivalent polyhedramust have the same volume. It is also simple to prove that the scissor-equivalence is indeed an equivalence relation. Theorem 1. The regular tetrahedron is not scissor-equivalent to any parallelepiped.
随便看	SubquiverAndImageOfAQuiver subquiver and image of a quiver SubRiemannianManifold Sub-Riemannian manifold Subring subring Subsemiautomaton subsemiautomaton SubsemigroupOfACyclicSemigroup subsemigroup of a cyclic semigroup SubsemigroupSubmonoidAndSubgroup subsemigroup,, submonoid,, and subgroup Subsequence subsequence Subset subset SubsetConstruction subset construction Subsets and propositional resizing SubsetsOfCountableSetsAreCountable subsets of countable sets are countable SubsheafOfAbelianGroups subsheaf of abelian groups SubspaceOfASubspace subspace of a subspace