Construction of that which produces Medial Whole with Medial Area is Unique

Proof

 * Euclid-X-81.png

Let $AB$ be a straight line which produces with a medial area a medial whole.

Let $BC$ be added to $AB$ such that:
 * $AC$ and $CB$ are incommensurable in square
 * $AC^2 + CB^2$ is medial
 * $2 \cdot AC \cdot CB$ is a medial rectangle
 * $2 \cdot AC \cdot CB$ is a incommensurable with $AC^2 + CB^2$.

It is to be proved that no other straight line can be added to $AB$ which fulfils these conditions.

Suppose $BD$, different from $BC$, can be added to $AB$ such that:
 * $AD$ and $DB$ are incommensurable in square
 * $AD^2 + DB^2$ is medial
 * $2 \cdot AD \cdot DB$ is a medial rectangle
 * $2 \cdot AD \cdot DB$ is a incommensurable with $AD^2 + DB^2$.

Let $EF$ be a rational straight line.

Let $EG = AC^2 + CB^2$ be applied to $EF$, producing $EM$ as breadth.

Let $HG = 2 \cdot AC \cdot CB$ be subtracted from $EG$ producing $HM$ as breadth.

Therefore from :
 * the remainder $EL$ equals $AB^2$.

Thus $AB$ equals the "side" of $EL$.

Let $EI = AD^2 + DB^2$ be applied to $EF$, producing $EN$ as breadth.

But $EL = AB^2$.

Therefore the remainder $HI$ equals $2 \cdot AD \cdot DB$.

Therefore $AC^2 + CB^2$ are medial.

Also $AC^2 + CB^2 = EG$.

Therefore $EG$ is medial.

But $EG$ is applied to the rational straight line $EF$, producing $EM$ as breadth.

Therefore from :
 * $EM$ is rational and incommensurable in length with $EF$.

We have that $2 \cdot AC \cdot CB$ is a medial rectangle.

But $2 \cdot AC \cdot CB = HG$.

Therefore $HG$ is medial.

Also, $HG$ has been applied to the rational straight line $EF$, producing $EM$ as breadth.

Therefore by :
 * $HM$ is rational and incommensurable in length with $EF$.

We have that:
 * $AC^2 + CB^2$ incommensurable with $2 \cdot AC \cdot CB$.

We also have that:
 * $EG = AC^2 + CB^2$

and:
 * $GH = 2 \cdot AC \cdot CB$

Therefore:
 * $EG$ is incommensurable with $HG$.

But from :
 * $EG : HG = EM : HM$

Therefore from :
 * $EM$ is incommensurable in length with $MH$.

But both $EM$ and $MH$ are rational straight lines.

Therefore $EM$ and $MH$ are rational straight lines which are commensurable in square only.

Therefore $EH$ is an apotome, and $HM$ an annex to it.

Similarly it can be shown that $HN$ is also an annex to it.

Therefore we have different straight lines which are annexes to an apotome which are commensurable in square only to the whole.

From, this is impossible.

The result follows.