ABCD : AEFG : : AD X AB : AG X AH

Divisez AB en parties égales plus petites que EH ; il y aura entre E et H au moins on point de division; soit I ce point. Achevez le parallélogramme AlKG , qui aura ses côtés commensnrables avec ceux de ABCD et donnera

ABCD : AlKG ; : AD X AB : AGX Al.

La comparaison de ces proportions donne

AEFG : AlKG : : AG X AH ; AG X AI ou : ; AH : AI. proportion absurde, puisque AEFG est < AlKG, tandis qne AU est > AI. On démontre de même qu’aucun antre facteur ne peut remplacer AE. Donc enCn