AD *X CD — DE X DF

Car, menant les cordes AF, CE, les déux triangles AFD, CEF; auront leurs trois angles égaux chacun à chacun; savoir : ADE qui est commun, DAF et DEC comme ayant chacun pour mesure la moitié de l’are CF et AFD, DCE à cause de l'égalité des autres.

Or, l'égalité des angles DAF, DEC, donne la proportion

AFD : ECD :: AD X AF:DE KX CE, et l’on a aussi

AFD : ECD :: AF X DF : CE X CD, à cause de celle des deux angles AFD , DCE.

Mais le rapport AFD : ECD étant commun aux deux proportions , on en tire