AB = A'B' ; AC = A'C ; BAC>B'A'C

Fig. 16.

Pour démontrer que B'C est moindre que BC, portons le 2e triangle sur le 1er en appliquant A'C sur son égal AC; le 2° triangle prend alors la position ACE et la question est ramenée à démontrer que CE e^t moindre que CB.

Tirons la droite AD bissectrice de l'angle BAE, et la droite DE. Les deux triangles ADB et ADE sont égaux, comme ayant un angle égal compris entre deux côtés respectivement égaux (AD commun et AB = AE); donc DE est égala DB. Or du point E au point C on a :