Proportion of Sizes of Tetrahedra divided into Two Similar Tetrahedra and Two Equal Prisms/Lemma
Lemma to Proportion of Sizes of Tetrahedra divided into Two Similar Tetrahedra and Two Equal Prisms
In the words of Euclid:
- But that, as the triangle $LOC$ is to the triangle $RVF$, so is the prism in which the triangle $LOC$ is the base and $PMN$ its opposite to the base in which the triangle $RVF$ is the base and $STU$ its opposite, we must prove as follows.
(The Elements: Book $\text{XII}$: Proposition $4$ : Lemma)
Proof
Let perpendiculars be drawn from $G$ and $H$ to the bases $\triangle ABC$ and $\triangle DEF$.
These are equal because, by definition, the heights of $ABCG$ and $DEFH$ are equal.
We have that the straight lines $GC$ and the perpendicular through $G$ are cut by the parallel planes $ABC$ and $PMN$.
So by Proposition $17$ of Book $\text{XI} $: Straight Lines cut in Same Ratio by Parallel Planes:
- they will be cut in the same ratios.
We have that $GC$ is bisected by the plane $PMN$ at $N$.
Therefore the perpendicular through $G$ will also be bisected by the plane $PMN$.
For the same reason, the perpendicular through $H$ will be bisected by the plane $STU$.
We have that the perpendicular through $G$ and $H$ are equal.
Thefore the perpendiculars from $\triangle PMN$ and $\triangle STU$ to $\triangle ABC$ and $\triangle DEF$ are also equal.
Therefore the prisms in which the $\triangle LOC$ and $\triangle RVF$ are bases, and $\triangle PMN$ and $\triangle STU$ are opposites are of equal height.
- the parallelepipeds formed from these prisms are of equal height.
Therefore their halves, that is, the prisms described, are in the same ratio as $\triangle LOC$ is to $\triangle RVF$.
$\blacksquare$
Historical Note
This proof is Proposition $4$ of Book $\text{XII}$ of Euclid's The Elements.
Sources
- 1926: Sir Thomas L. Heath: Euclid: The Thirteen Books of The Elements: Volume 3 (2nd ed.) ... (previous) ... (next): Book $\text{XII}$. Propositions