If a parallelepipedal solid is cut by a plane through the diagonals of the opposite planes, then the solid is bisected by the plane. | ||
Let the parallelepipedal solid AB be cut by the plane CDEF through the diagonals CF and DE of opposite planes.
I say that the solid AB is bisected by the plane CDEF. |
Since the triangle CGF equals the triangle CFB, and ADE equals DEH, while the parallelogram CA equals the parallelogram EB, for they are opposite, and GE equals CH, therefore the prism contained by the two triangles CGF and ADE and the three parallelograms GE, AC, and CE equals the prism contained by the two triangles CFB and DEH and the three parallelograms CH, BE, and CE, for they are contained by planes equal both in multitude and in magnitude. | I.34 |
Hence the whole solid AB is bisected by the plane CDEF. | ||
Therefore, if a parallelepipedal solid is cut by a plane through the diagonals of the opposite planes, then the solid is bisected by the plane. | ||
Q. E. D. |
This is the second proposition concerning volumes. (The first was XI.25.) The final conclusion of the proof here is justified by XI.Def.10: since the faces of the two prisms are congruent, therefore the prisms are equal and similar (that is, congruent). Several authors have criticized this conclusion because the two prisms are mirror images of each other and cannot be applied to each other in the sense of moving one in space to coincide with the other.
From some points of view this criticism is valid. But the method of superposition is subject to even greater criticism. In modern geometry, depending on the style of geometry, superposition is either eliminated entirely or else completely formalized using the theory of group transformations.
Book XI Introduction - Proposition XI.27 - Proposition XI.29.