| A medial area does not exceed a medial area by a rational area. | ||
| If possible, let the medial area AB exceed the medial area AC by the rational area DB.
Set out a rational straight line EF. Apply to EF the rectangular parallelogram FH equal to AB producing EH as breadth. Subtract the rectangle FG equal to AC. Then the remainder BD equals the remainder KH. | ||
|
But DB is rational, therefore KH is also rational.
Since each of the rectangles AB and AC is medial, and AB equals FH while AC equals FG, therefore each of the rectangles FH and FG is also medial. |
||
| They are applied to the rational straight line EF, therefore each of the straight lines HE and EG is rational and incommensurable in length with EF. | X.22 | |
| Since DB is rational and equals KH, therefore KH is rational. And it is applied to the rational straight line EF, therefore GH is rational and commensurable in length with EF. | X.20 | |
| But EG is also rational, and is incommensurable in length with EF, therefore EG is incommensurable in length with GH. | X.13 | |
| And EG is to GH as the square on EG is to the rectangle EG by GH, therefore the square on EG is incommensurable with the rectangle EG by GH. | X.11 | |
| But the squares on EG and GH are commensurable with the square on EG, for both are rational, and twice the rectangle EG by GH is commensurable with the rectangle EG by GH, for it is double it, therefore the sum of the squares on EG and GH is incommensurable with twice the rectangle EG by GH. | X.6
X.13 | |
| Therefore the sum of the squares on EG and GH plus twice the rectangle EG by GH, that is, the square on EH is incommensurable with the sum of the squares on EG and GH. | II.4
X.16 | |
| But the squares on EG and GH are rational, therefore the square on EH is irrational. | X.Def.4 | |
| Therefore EH is irrational. But it is also rational, which is impossible. | ||
| Therefore, a medial area does not exceed a medial area by a rational area. | ||
| Q.E.D. | ||
