AE X AF = AC X AB

CE car, menant la corde CE, les deux triangles ACE, ABF seront rectangles, le premier en E, le second enB, et douncrort par conséquent

ACE : ABF :: AE X EC : AB X BF, mais l'angle À étant commun à ces deux triangles, le troisième angle ACE du premier est égal au troisième augle AFB du second, et on a aussi ACE : ABF :: AC X EC : AF x BF.

Le rapport ACE : ABD, étant commun aux deux proportions, on en conclura