| The rectangle contained by medial straight lines commensurable in square only is either rational or medial. | ||
| Let the rectangle AC be contained by the medial straight lines AB and BC which are commensurable in square only.
I say that AC is either rational or medial. Describe the squares AD and BE on AB and BC. Then each of the squares AD and BE is medial. | ||
| Set out a rational straight line FG. Apply the rectangular parallelogram GH to FG equal to AD, producing FH as breadth, apply the rectangular parallelogram MK to HM equal to AC, producing HK as breadth, and further apply similarly NL to KN equal to BE, producing KL as breadth. Then FH, HK, and KL are in a straight line.
Since each of the squares AD and BE is medial, and AD equals GH while BE equals NL, therefore each of the rectangles GH and NL is also medial. |
||
| And they are applied to the rational straight line FG, therefore each of the straight lines FH and KL is rational and incommensurable in length with FG. | X.22 | |
| And, since AD is commensurable with BE, therefore GH is commensurable with NL. And GH is to NL as FH is to KL, therefore FH is commensurable in length with KL. | VI.1
X.11 | |
| Therefore FH and KL are rational straight lines commensurable in length, therefore the rectangle FH by KL is rational. | X.19 | |
| And, since DB equals BA while OB equals BC, therefore DB is to BC as AB is to BO. | ||
| But DB is to BC as DA is to AC, and AB is to BO as AC is to CO, therefore DA is to AC as AC is to CO. | VI.1 | |
| But AD equals GH, AC equals MK, and CO equals NL, therefore GH is to MK as MK is to NL. Therefore FH is to HK as HK is to KL. Therefore the rectangle FH by KL equals the square on HK. | VI.1
V.11 VI.17 | |
| But the rectangle FH by KL is rational, therefore the square on HK is also rational. | ||
| Therefore HK is rational. And, if it is commensurable in length with FG, then HN is rational, but, if it is incommensurable in length with FG, then KH and HM are rational straight lines commensurable in square only, and therefore HN is medial. | X.19
X.21 | |
| Therefore HN is either rational or medial. But HN equals AC, therefore AC is either rational or medial. | ||
| Therefore, the rectangle contained by medial straight lines commensurable in square only is either rational or medial. | ||
| Q.E.D. | ||
