ABCD: AEFD :: AB: AO

Divisez la ligne AB en parties égales plus petites que EO, il y aura au moins un point de division I entre E et O : par ce point élevez sur Al la perpendiculaire IR ; les bases AB, AI, seront commensurables entre elles, et ainsi on aura , par ce qui vient d’être démontré, ABCD:AIKD:: AB.Al.

Mais on a, par hypothèse ,