# Second Apotome of Medial is Irrational

## Theorem

In the words of Euclid:

If from a medial straight line there be subtracted a medial straight line commensurable with the whole in square only, and which contains with the whole a medial rectangle, the remainder is irrational; and let it be called a second apotome of a medial straight line.

## Proof

Let $AB$ be a medial straight line.

Let a medial straight line $CB$ such that:

$CB$ is commensurable in square only with $AB$
the rectangle contained by $AB$ and $BC$ is medial

be cut off from $AB$.

Let $DI$ be a rational straight line.

Let $DE$ be a parallelogram set out on $DI$ equal to $AB^2 + BC^2$.

Let its breadth be $DG$.

Similarly:

Let $DH$ be a parallelogram set out on $DI$ equal to $2 \cdot AB \cdot BC$.
$FE = AC^2$

We have that $AB^2$ and $BC^2$ are medial areas which are commensurable.

Therefore from:

Proposition $15$ of Book $\text{X}$: Commensurability of Sum of Commensurable Magnitudes

and:

Porism to Proposition $23$ of Book $\text{X}$: Straight Line Commensurable with Medial Straight Line is Medial:

it follows that:

$DE$ is medial.

We have that $DE$ has been applied to the rational straight line $DI$ producing $DG$ as breadth.

$DG$ is rational and incommensurable in length with $DI$.

We have that $AB \cdot BC$ is medial.

$2 \cdot AB \cdot BC$ is medial.

But $2 \cdot AB \cdot BC = DH$.

Therefore $DH$ is medial.

We have that $DH$ has been applied to the rational straight line $DI$ producing $DF$ as breadth.

$DF$ is rational and incommensurable in length with $DI$.

We have that $AB$ and $BC$ are commensurable in square only.

$AB$ is incommensurable in length with $BC$.
$AB^2 + BC^2$ are commensurable with $AB^2$
$2 \cdot AB \cdot BC$ is commensurable with $AB \cdot BC$
$2 \cdot AB \cdot BC$ is incommensurable with $AB^2 + BC^2$.

But:

$DE = AB^2 + BC^2$

and:

$DH = 2 \cdot AB \cdot BC$

and so $DE$ is incommensurable with $DH$.

$DE : DH = GD : DF$
$GD$ is incommensurable with $DF$.

But both $GD$ and $DF$ are rational.

Therefore $GD$ and $DF$ are rational straight lines which are commensurable in square only.

Therefore, by definition, $FG$ is an apotome.

But $DI$ is rational.

a rectangle contained by a rational and an irrational straight line is irrational.

Hence its "side" is irrational.

But $AC$ is the "side" of $FE$.

Therefore $AC$ is irrational.

Such a straight line is known as a second apotome of a medial.

$\blacksquare$

## Historical Note

This proof is Proposition $75$ of Book $\text{X}$ of Euclid's The Elements.