#### PROPOSITION 30.

To find two rational straight lines commensurable in square only and such that the square on the greater is greater is greater than the square on the less by the square on a straight line incommensurable in length with the greater.

Let there be set out a rational straight line AB, and two square numbers CE, ED such that their sum CD is not square; [Lemma 2] let there be described on AB the semicircle AFB, let it be contrived that, as DC is to CE, so is the square on BA to the square on AF, [X. 6, Por.] and let FB be joined.

Then, in a similar manner to the preceding, we can prove that BA, AF are rational straight lines commensurable in square only.

And since, as DC is to CE, so is the square on BA to the square on AF, therefore, convertendo, as CD is to DE, so is the square on AB to the square on BF. [V. 19, Por., III. 31, I. 47]

But CD has not to DE the ratio which a square number has to a square number; therefore neither has the square on AB to the square on BF the ratio which a square number has to a square number; therefore AB is incommensurable in length with BF. [X. 9]

And the square on AB is greater than the square on AF by the square on FB incommensurable with AB.

Therefore AB, AF are rational straight lines commensurable in square only, and the square on AB is greater than the square on AF by the square on FB incommensurable in length with AB. Q. E. D.

An XML version of this text is available for download, with the additional restriction that you offer Perseus any modifications you make. Perseus provides credit for all accepted changes, storing new additions in a versioning system.

load focus Greek (J. L. Heiberg, 1883)
hide Display Preferences
 Greek Display: Unicode (precombined) Unicode (combining diacriticals) Beta Code SPIonic SGreek GreekKeys Latin transliteration Arabic Display: Unicode Buckwalter transliteration View by Default: Original Language Translation Browse Bar: Show by default Hide by default