MF : MC ; : FL : : LC
Joignant aussi QF et QC, on aura de même QF : QC : : FL : LC.
Ces deux proportions rapprochées donnent MF : MC : : QF : QC ;
proportion qui montre (p. 10, 2<’) que FC est la bissectrice de l’angle MFQ; par suite FA , perpendiculaire à FC, est la bissectrice de l’angle MFQ', supplémentaire de MFQ; donc on aura (p. 10, r.) la proportion harmonique