ABCD: AEFD ::AB:AE

fig. 100. Supposons, en second lieu, que les bases AB, AE, J

soient incommensurables entre elles ; je dis qu'on n'en .

aura pas moins', " .

ABCD:AEFD::AB:AE. v

Car si cette proportion n'est pas vraie , les trois pre- . miers termes demeurant les mêmes, le quatrième sera plus grand ou plus petit que AE. Supposons qu il^^it plus grand et qu'on ait ,