ABC : ADC :: AB : AD

De même, les triangles ADC et ADF donneront la proportion

if ADC: ADF:: AC : AF (2).

Multipliant ces deux proportions par ordre cl supprimant le facteur ADC commun aux deux termes du 'premier rapport de la proportion -produit, il viendra

ABC: ADF :: AB. AC : AD . AF, ce qu’il fallait démontrer.

596. Sciiolié. Pour <[tie les triangles ABC et ADF soient équivalents, il faut que les deux termes du second rapport soient égaux, c’est-à-dire que l’on ait la proportion