Square on Apotome applied to Rational Straight Line
Theorem
In the words of Euclid:
- The square on an apotome applied to a rational straight line produces as breadth a first apotome.
(The Elements: Book $\text{X}$: Proposition $97$)
Proof
Let $AB$ be an apotome.
Let $CD$ be a rational straight line.
Let the rectangle $CE$ be applied to $CD$ equal to $AB^2$ producing $CF$ as breadth.
It is to be demonstrated that $CF$ is a first apotome.
Let $BG$ be the annex to $AB$.
Therefore, by definition, $AG$ and $GB$ are rational straight lines which are commensurable in square only.
Let the rectangle $CH$ be applied to $CD$ equal to the square on $AG$, producing $CK$ as breadth.
Let the rectangle $KL$ be applied to $CD$ equal to the square on $BG$, producing $KM$ as breadth.
Then the whole $CL$ is equal to the squares on $AG$ and $GB$.
In these, let the rectangle $CE$ be equal to the square on $AB$.
From Proposition $7$ of Book $\text{II} $: Square of Difference:
- $FL$ equals twice the rectangle contained by $AB$ and $GB$.
Let $FM$ be bisected at the point $N$.
Let $NO$ be drawn through $N$ parallel to $CD$.
Therefore each of the rectangles $FO$ and $LN$ is equal to the rectangle contained by $AB$ and $GB$.
We have that the squares on $AG$ and $GB$ are rational.
We also have that:
- $DM = AG^2 + GB^2$
Therefore $DM$ is rational.
We have that $DM$ has been applied to the rational straight line $CD$ producing $CM$ as breadth.
Therefore from Proposition $20$ of Book $\text{X} $: Quotient of Rationally Expressible Numbers is Rational:
- $CM$ is rational and commensurable in length with $CD$.
We have that $2 \cdot AG \cdot GB$ is medial.
We have that:
- $FL = 2 \cdot AG \cdot GB$
Therefore $FL$ is medial.
Also $FL$ is applied to the rational straight line $CD$ producing $FM$ as breadth.
Therefore by Proposition $22$ of Book $\text{X} $: Square on Medial Straight Line:
- $FM$ is rational and incommensurable in length with $CD$.
We have that:
- $AG^2 + GB^2$ is rational
while:
- $2 \cdot AG \cdot GB$ is medial.
Therefore $AG^2 + GB^2$ is incommensurable with $2 \cdot AG \cdot GB$.
Also:
- $CL = AG^2 + GB^2$
and:
- $FL = 2 \cdot AG \cdot GB$
Therefore $DM$ is incommensurable with $FL$.
But from Proposition $1$ of Book $\text{VI} $: Areas of Triangles and Parallelograms Proportional to Base:
- $DM : FL = CM : FM$
Therefore by Proposition $11$ of Book $\text{X} $: Commensurability of Elements of Proportional Magnitudes:
- $CM$ is incommensurable in length with $FM$.
But both $CM$ and $FM$ are rational.
Therefore $CM$ and $FM$ are rational straight lines which are commensurable in square only.
Therefore, by definition, $CF$ is an apotome.
It remains to be shown that $CF$ is a first apotome.
We have that:
- the rectangle contained by $AG$ and $GB$ is a mean proportional between the squares on $AG$ and $GB$.
and:
- $CH = AG^2$
and:
- $KL = BG^2$
and:
- $NL = AG \cdot GB$
Therefore $NL$ is a mean proportional between $CH$ and $KL$.
Therefore:
- $CH : NL = NL : KL$
But we also have:
- $CH : NL = CK : NM$
and from Proposition $1$ of Book $\text{VI} $: Areas of Triangles and Parallelograms Proportional to Base:
- $NL : KL = NM : KM$
Therefore by Proposition $17$ of Book $\text{VI} $: Rectangles Contained by Three Proportional Straight Lines:
- $CK \cdot KM = NM^2 = \dfrac {FM^2} 4$
We also have that:
- $AG^2$ is commensurable with $GB^2$
and:
- $CH$ is commensurable with $KL$
But from Proposition $1$ of Book $\text{VI} $: Areas of Triangles and Parallelograms Proportional to Base:
- $CH : KL = CK : KM$
Therefore from Proposition $11$ of Book $\text{X} $: Commensurability of Elements of Proportional Magnitudes:
- $CK$ is commensurable with $KM$
We have that:
- $CM$ and $MF$ are unequal straight lines
and:
- the rectangle $CK \cdot KM$ has been applied to $CM$ equal to $\dfrac {FM^2} 4$ and deficient by a square figure
while:
- $CK$ is commensurable with $KM$.
Therefore from Proposition $17$ of Book $\text{X} $: Condition for Commensurability of Roots of Quadratic Equation:
- $CM^2$ is greater than $MF^2$ by the square on a straight line which is commensurable in length with $CM$.
Also $CM$ is commensurable in length with the rational straight line $CD$.
Therefore, by definition, $CF$ is a first apotome.
$\blacksquare$
Historical Note
This proof is Proposition $97$ of Book $\text{X}$ of Euclid's The Elements.
It is the converse of Proposition $91$: Side of Area Contained by Rational Straight Line and First Apotome.
Sources
- 1926: Sir Thomas L. Heath: Euclid: The Thirteen Books of The Elements: Volume 3 (2nd ed.) ... (previous) ... (next): Book $\text{X}$. Propositions