If there are two unequal straight lines, and a (rectangle) equal to the fourth part of the (square) on the lesser, falling short by a square figure, is applied to the greater, and divides it into (parts which are) incommensurable [in length], then the square on the greater will be larger than the (square on the) lesser by the (square) on (some straight line) incommensurable (in length) with the greater. And if the square on the greater is larger than the (square on the) lesser by the (square) on (some straight line) incommensurable (in length) with the greater, and a (rectangle) equal to the fourth (part) of the (square) on the lesser, falling short by a square figure, is applied to the greater, then it divides it into (parts which are) incommensurable [in length].

- Let $A$ and $BC$ be two unequal straight lines, of which (let) $BC$ (be) the greater.
- And let a (rectangle) equal to the fourth [part] of the (square) on the lesser, $A$, falling short by a square figure, have been applied to $BC$.
- And let it be the (rectangle contained) by $BDC$.
- And let $BD$ be incommensurable in length with $DC$.
- I say that the square on $BC$ is greater than the (square on) $A$ by the (square) on (some straight line) incommensurable (in length) with ($BC$).
- So, again, let the square on $BC$ be greater than the (square on) $A$ by the (square) on (some straight line) incommensurable (in length) with ($BC$).
- And let a (rectangle) equal to the fourth [part] of the (square) on $A$, falling short by a square figure, have been applied to $BC$.
- And let it be the (rectangle contained) by $BD$ and $DC$.
- It must be shown that $BD$ is incommensurable in length with $DC$.

This proposition states that if \[\alpha\,x-x^2=\frac{\beta^2}4,\] (where $\alpha=BC$, $x=DC$, and $\beta=A$), then \[\alpha\quad\text{ and }\quad\sqrt{\alpha^2-\beta^2}\] are incommensurable when \[\alpha-x\quad\text{ and }\quad x\] are incommensurable, and vice versa.

Proofs: 1

Proofs: 1 2 3 4 5 6 7 8 9 10 11 12 13 14

**Fitzpatrick, Richard**: Euclid's "Elements of Geometry"

**Prime.mover and others**: "Pr∞fWiki", https://proofwiki.org/wiki/Main_Page, 2016