Equal content and equal shape, figures of
Two figures in having equal area and corresponding to two polygons and that can be decomposed into polygons so that the parts making up are congruent, respectively, to the parts making up .
For , , equality of content means equality of volume; equal shape for polyhedra is defined similarly to . These ideas have been generalized to non-Euclidean geometry also.
Area (of a polygon) is a function satisfying the following axioms:
) for any polygon ;
) if is a pairwise-disjoint (up to boundary points) union of polygons , then
) if and are congruent, then ;
) the area of a square with sides of unit length is 1.
Using these axioms the area of a rectangle can be determined.
If two polygons have equal shape, then they have equal area.
Based on this theorem is the method of subdivision, known as long ago as Euclid: To calculate the area of a polygon one attempts to divide it into a finite number of parts from which it is possible to make up a figure of known area. For example, a parallelogram is of equal shape with a rectangle of the same base and height (see Fig. a); a triangle is of equal shape with a parallelogram of the same base and half the height (see Fig. b).
Thus, the complete theory of areas of polygons can be constructed on the basis of the theorem on the area of a rectangle.
There is another approach to the calculation of areas that is based on the axioms ) and ) — the complementation method. Two polygons are called equal by complementation if corresponding congruent parts can be adjoined to them so that congruent polygons are obtained. For example, parallelograms and rectangles with the same bases and heights are equal by complementation (see Fig. c), and hence are of equal area.
In the Euclidean plane, two polygons are of equal area if and only if they are of equal shape (and also if and only if they are equal by complementation). A similar theorem is valid in the Lobachevskii plane and in the elliptic plane. On the other hand, in non-Archimedean geometry only "being of equal area" and "being equal by complementation" are equivalent; "being of equal shape" is not equivalent to them.
The theory of volumes in is based on analogues of the axioms )–) for area. However, for the calculation of the volume of a tetrahedron, from Euclid on, a limit transition (the "devil's staircasedevil's staircase" ) has been used, and, in modern textbooks, an integral, the definition of which is also related to a limit, is used. The foundation for the use of a "superfluous" (in comparison to planimetry) limit, the proof that it is impossible to calculate the volume of an arbitrary tetrahedron by the methods of subdivision and complementation, formed Hilbert's third problem. In 1900 M. Dehn solved the third problem by proving that a regular tetrahedron and a cube of equal area are not of equal shape. For two polyhedra and of equal area to be of equal shape it is necessary and sufficient that the Dehn invariant (a function of the lengths of the edges and the sizes of the corresponding dihedral angles, see ) satisfies .
There are multi-dimensional generalizations of Dehn's invariant, in which necessary conditions for being of equal shape have been formulated, and it has been proved that for a regular -dimensional simplex is not of equal shape to a cube of equal area. In a necessary condition for being of equal shape is also sufficient.
Let be a group of motions of the plane. Two polygons and are called -congruent if there is a motion such that . Two polygons and are said to be of -equal shape if they can be subdivided into parts in such a way that the parts making up are -congruent to the corresponding parts making up . For polyhedra, being of -equal shape is defined similarly.
Let be the group of motions consisting of all parallel translations and central symmetries. The notions of being of equal shape and being of -equal shape are equivalent in . In particular, polygons of equal area can be subdivided into parts so that their respective parts are not only congruent but have corresponding parallel sides.
Being of equal shape is equivalent to being of -equal shape if and only if in the case of , and in the case of , where is the group of all orientation-preserving motions.
Below the definition of flag invariants is given. Using it, necessary and sufficient conditions for being of -equal shape can be given, where is the group of parallel translations. Let , , be a sequence of subspaces of such that (the upper index denotes the dimension). Further, for each , fix one of the two half-spaces into which is divided by ; this half-space is called "positive" and is denoted by . The sequence is called a flag of order in . Finally, let be a sequence of faces of a polyhedron such that . If for all , then put
where is the -dimensional volume of the face , and , depending on whether is on the positive side of or not. If not for at least one , then . Here is the sum over all sequences of faces of .
Two polyhedra of equal area are of -equal shape if and only if the value of each flag invariant is the same on the polyhedra.
A polyhedron is called a -multiple Minkowski sum if there are polyhedra (of positive dimensions) such that (in the sense of the vector sum of sets). A polyhedron is said to be of class if can be subdivided into a finite number of polyhedra each of which is of -equal shape with a polyhedron that is representable as a -multiple Minkowski sum.
A polyhedron if and only if for all flag invariants of order less than .
Let be the group consisting of all homotheties with a positive coefficient and all parallel translations. In any two polyhedra are of -equal shape. Fig. dillustrates this for a triangle and a rectangle (the numbers denote the -congruent polygons).
For a homothety with coefficient , let the volume of the -dimensional polyhedron be multiplied by . If this statement is taken as an axiom, the volume of any polyhedron can be found by the method of subdivision.
Let a group of motions in an -dimensional Euclidean, hyperbolic or elliptic space be almost transitive (that is, the orbit of a point is everywhere dense); two polyhedra in this space are -equal by complementation if and only if they are of -equal shape.
|||"Hilbert problems" Bull. Amer. Math. Soc. , 8 (1902) pp. 437–479 (Translated from German)|
|||V.G. Boltyanskii, "Figures of equal content and equal shape" , Moscow (1956) (In Russian)|
|||V.G. Boltyanskii, "Hilbert's third problem" , Winston (1978) (Translated from Russian)|
|||H. Hadwiger, "Vorlesungen über Inhalt, Oberfläche und Isoperimetrie" , Springer (1957)|
|||B. Jessen, A. Thorup, "The algebra of polytopes in affine spaces" Math. Scand , 43 : 2 (1978) pp. 211–240|
The phrase "equal content and equal shape" is not standard; it stems from the German "Zerlegungsgleich" , which is due to D. Hilbert. Other translations could be "equal by subdivision" , "of piecewise equal shape" or "equi-decomposable" .
|[a1]||C.-H. Sah, "Hilbert's third problem: scissors congruence" , Pitman (1979)|
|[a2]||H. Hadwiger, "Polytopes and translative equidecomposability" Amer. Math. Monthly , 79 (1972) pp. 275–276|
|[a3]||R. Schneider, "Valuations on convex bodies" P.M. Gruber (ed.) J.M. Wills (ed.) , Convexity and its applications , Birkhäuser (1983) pp. 170–247|
Equal content and equal shape, figures of. V.G. Boltyanskii (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Equal_content_and_equal_shape,_figures_of&oldid=11556