|If a solid is contained by parallel planes, then the opposite planes in it are equal and parallelogrammic.|
Let the solid CDHG be contained by the parallel planes AC, GF, AH, DF, BF, and AE.
I say that the opposite planes in it are equal and parallelogrammic.
|Since the two parallel planes BG and CE are cut by the plane AC, therefore their common sections are parallel. Therefore AB is parallel to DC. Again, since the two parallel planes BF and AE are cut by the plane AC, therefore their intersections are parallel. Therefore BC is parallel to AD.||XI.16|
|But AB was proved parallel to DC, therefore AC is a parallelogram. Similarly we can prove that each of the planes DF, FG, GB, BF, and AE is a parallelogram.
Join AH and DF.
|Then, since AB is parallel to DC, and BH is parallel to CF, therefore the two straight lines AB and BH, which meet one another, are parallel to the two straight lines DC and CF, which meet one another, not in the same plane. Therefore they contain equal angles. Therefore the angle ABH equals the angle DCF.||XI.10|
|And, since the two sides AB and BH equal the two sides DC and CF, and the angle ABH equals the angle DCF, therefore the base AH equals the base DF, and the triangle ABH equals the triangle DCF.||I.34
|And the parallelogram BG is double the triangle ABH, and the parallelogram CE is double the triangle DCF, therefore the parallelogram BG equals the parallelogram CE.||I.34|
|Similarly we can prove that AC equals GF, and AE equals BF.|
|Therefore, if a solid is contained by parallel planes, then the opposite planes in it are equal and parallelogrammic.|
|Q. E. D.|
The correct hypothesis for this proposition is that the solid is contained by three pairs of parallel planes. Then the intersection of each plane with the other four nonparallel planes can be shown to be sides of a parallelgram, and the parallelograms on opposite planes can be shown to be congruent, what Euclid would call similar and equal parallelograms. That the opposite parallelgrams are not just equal but also similar should be stated in the conclusion of the proposition.
Parallelepipeds are to solid geometry what parallelograms are to plane geometry. This proposition is the analogue of proposition I.34 which introduces parallelograms just as this proposition introduces parallelepipeds. It is likely that both are the product of Euclid's own research.
Next proposition: XI.25
© 1997, 2002