Root of Area contained by Rational Straight Line and Fourth Binomial

Proof

 * Euclid-X-54.png

Let the rectangular area $ABCD$ be contained by the rational straight line $AB$ and the fourth binomial $AD$.

Let $E$ divide $AD$ into its terms such that $AE > ED$.

From this is possible at only one place.

By definition of binomial, $AE$ and $ED$ are rational straight lines which are commensurable in square only.

Thus by definition of fourth binomial:
 * $AE^2$ is greater than $ED^2$ by the square on a straight line which is incommensurable in length with $AE$.

By, the greater term $AE$ is commensurable in length with $AB$.

Let $ED$ be bisected at $F$.

Using :
 * Let a parallelogram be applied to $AE$ equal to $EF^2$ and deficient by a square.

Let the rectangle contained by $AG$ and $GE$ equal to $EF^2$ be applied to $AE$.

By :
 * $AG$ is incommensurable in length with $EG$.

Let $GH$, $EK$ and $FL$ be drawn from $G$, $E$ and $F$ parallel to $AB$ and $CD$.

Using :
 * let the square $SN$ be constructed equal to the parallelogram $AH$

and:
 * let the square $NQ$ be constructed equal to the parallelogram $GK$.

Let $SN$ and $NQ$ be placed so that $MN$ is in a straight line with $NO$.

Therefore $RN$ is also in a straight line with $NP$.

Let the parallelogram $SQ$ be completed.

From :
 * $SQ$ is a square.

We have that $AD$ is a fourth binomial straight line.

Therefore $AE$ and $ED$ are rational straight lines which are commensurable in square only.

We have that the rectangle contained by $AG$ and $GE$ is equal to $EF^2$.

Then by :
 * $AG : EF = EF : EG$

and so by :
 * $AH : EL = EL : KG$

Therefore $EL$ is a mean proportional between $AH$ and $GK$.

But:
 * $AH = SN$

and:
 * $GK = NQ$

therefore $EL$ is a mean proportional between $SN$ and $NQ$.

But from :
 * $MR$ is a mean proportional between $SN$ and $NQ$.

Therefore:
 * $EL = MR$

and so:
 * $EL = PO$

But:
 * $AH + GK = SN + NQ$

Therefore:
 * $AC = SQ$

That is:
 * $AC$ is an area contained by a rational straight line $AB$ and the first binomial $AD$, while the side of the area $SQ$ is $MO$.

We have that:
 * $AG$ is incommensurable in length with $EG$

and so by:

and:

it follows that:
 * $AH$ is incommensurable with $GK$

that is:
 * $SN$ is incommensurable with $NQ$.

Therefore $MN$ and $NO$ are incommensurable in square.

We have that:
 * $AE$ is commensurable in length with $AB$

and therefore from :
 * $AK$ is rational.

But $AK = MN^2 + NO^2$.

Therefore $MN^2 + NO^2$ is rational.

Since:
 * $DE$ is incommensurable in length with $AB = EK$

while:
 * $DE$ is commensurable in length with $EF$

from :
 * $EF$ is incommensurable in length with $EK$.

Therefore $EF$ and $EK$ are rational straight lines which are commensurable in square only.

Therefore $LE = MR$ is medial.

But $MR$ is a rectangle contained by $MN$ and $NO$.

Therefore the rectangle contained by $MN$ and $NO$ is medial.

We also have that:
 * $MN^2 + NO^2$ is rational
 * $MN$ and $NO$ are incommensurable in square.

Thus by definition $MN + NO$ is major.