OB^OA^ /PA^FA'\ \0B' OA'/ \PB PB
Et les mêmes triangles coupés par la transversale OQ'Q, substituée à OP'P, donneront de même, par la simple substitution de la lettre Q à la lettre P dans l'égalité précédente,
/OB^OA^ /qa^qa;^
\0B' OA'/ \qB QB / En divisant membre à membre (5) par (6) et simplifiant, il vient enfin
/PA,QA\ /p;a;,qx\
\pB ■ QB/ ■ \P'B' ■ Qb/ ^ '
c'est-à-dire précisément la relation