Segments of Rational Straight Line cut in Extreme and Mean Ratio are Apotome

Proof

 * Euclid-XIII-6.png

Let $AB$ be a rational straight line.

Let $AB$ be cut in extreme and mean ratio at the point $C$.

Let $AC$ be the greater segment.

It is to be demonstrated that each of $AC$ and $CB$ is the irrational straight line known as apotome.

Let $BA$ be produced.

Let $AD = \dfrac {BA} 2$.

We have that $AB$ is cut in extreme and mean ratio at $C$.

From :
 * $CD^2 = 5 \cdot DA^2$

Therefore $CD^2 : DA^2$ is the ratio that a number has to a number.

Therefore by :
 * $CD^2$ is commensurable with $DA^2$.

But by :
 * $DA^2$ is rational.

Therefore by :
 * $CD^2$ is also rational.

Therefore $CD$ is rational.

But $CD^2 : DA^2$ is not the ratio that a square number has to a square number.

Therefore by :
 * $CD$ and $DA$ are incommensurable in length.

Thus $CD$ and $DA$ are commensurable in square only.

Therefore by definition, $AC$ is an apotome.

We have that $AB$ is cut in extreme and mean ratio at $C$.

Therefore from:

and:

it follows that:
 * $AB \cdot BC = AC^2$

The square on the apotome $AC$, applied to the rational straight line $AB$, produces $BC$ as breadth.

Therefore from :
 * $CB$ is a first apotome.