BD AE

à AD ; on a alors TwT = tt; (1 37) . De ces deux égalités résulte celle-

XT\ AF

ci : 77^ = -r77 , d'où AE = AB. Le triangle ABE est isocèle , et AC AG

l'angle E= ABE ; maïs Tangle E= DAC (correspondants); ABE = BAD (alternes externes); donc DAC = BAD, C. Q. F. D.

On peut démontrer cette réciproque , par l'absurde, comme la précédente : supposons que AD ne soit pas bissectrice, etc..