Bissectrice et distance

Si un point appartient à la bissectrice d'un angle, alors il est à égale distance des deux côtés de cet angle.

Démonstration

Comme [AM) est , les angles CAM et MAB sont de même mesure.

La somme des angles du triangle AIM ainsi que celle des angles du triangle AJM est égale à .

Par conséquent les angles et sont de même mesure.

Comme les triangles AIM et AJM ont leurs angles de même mesure et un côté en commun, ils sont donc superposables.

Donc IM = .

figure réalisée à l'aide de TracenPoche