ABCD: AEFD ::AB:AO

Divisez la ligne AB en parties égales plus petites que £0 , il y aura au moins un point de division I entre E et O : par ce point* élevez sur AI la perpendiculaire IK; 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 ,