26.

Medijalna površina ne može biti veća od druge medijalne površine za neku racionalnu površinu.






Zaista, neka bude, ako je moguće, medijalna površina AB veća od medijalne površine AG za racionalnu površinu DB, i neka je EZ racionalna duž i na duži EZ sa širinom EQ konstruisan pravougaonik ZQ sa površinom jednakom površini AB, pa oduzmimo pravougaonik ZH jednak pravougaoniku AG. Tada je ostatak BD jednak ostatku KQ. A kako je DB racionalna površina, biće racionalna i površina KQ. Pošto je svaka od površina AB i AG medijalna, i AB jednaka ZQ, a AG jednaka ZH, znači i svaka od površina ZQ i ZH je medijalna, a konstruisana na racionalnoj duži EZ. Prema tome je svaka od QE i EH racionalna i nesamerljiva po dužini sa EZ. A pošto je DB racionalna i jednaka KQ, biće i KQ racionalna, a konstruisana je na racionalnoj duži EZ. Prema tome je HQ racionalna i samerljiva po dužini sa EZ. Ali i EH je racionalna i nesamerljiva po dužini sa EZ. Na taj način EH je nesamerljiva po dužini sa HQ. Međutim EH je prema HQ kao kvadrat na EH prema pravougaoniku sa stranama EH i HQ. Pa prema tome je kvadrat na EH nesamerljiv sa pravougaonikom kome su strane EH i HQ. Ali sa kvadratom na EH samerljivi su kvadrati na EH i na HQ, jer su oni racionalni. Međutim sa pravougaonikom kome su strane EH i HQ je samerljiv i dvostruki pravougaonik sa stranama EH i HQ, jer je on dvaput veći od njega. Prema tome su kvadrati na EH i na HQ nesamerljivi sa dvostrukim pravougaonikom sa stranama EH i HQ. A to znači da su zajedno uzeti kvadrati na EH i na HQ sa dvaput uzetim pravougaonikom kome su strane EH i HQ - a to je kvadrat na EQ - nesamerljivi sa kvadratima na EH i na HQ. Ali kvadrati na EH i na HQ su racionalni, pa prema tome je kvadrat na EQ iracionalan, znači iracionalna i duž EQ, a onda je i racionalna. A to je nemoguće.
Na ovaj način, medijalna površina ne može biti veća od druge medijalne površine za neku racionalnu površinu. A to je trebalo dokazati.