ABD AB ADC “ AC

Donc

BD AB

DC AC

Réciproquement : supposons qu'on ait — = — ; je rtis que la droite

LHj Au

AD est la bissectrice de" l'angle CA x.

En effet, concevons qu’on mène la bissectrice de cet angle, et supposons qu’elle rencontre le prolongement de BC au point D'; alors on aura

BIV AB.

D'C ~ AC’

donc, en vertu de l’hypothèse, on a aussi

BD’ BD

Fc=Dc’ et’Parsu,,c>