D10296. Bissectrices ´ egales
Montrer g´eom´etriquement qu’un triangle ABC dont les bissectrices int´e- rieures BB0 etCC0 sont de mˆeme longueur est isoc`ele.
Solution de Bernard Legrand
La cl´e de la d´emonstration consiste `a faire ex´ecuter au triangleCBB0de la figure 1, un petit ”ballet” qui voit son sommet B venir enC0, son sommet B0 venir en C (ceci est possible puisque BB0 = CC0) et son sommet C, apr`es une pirouette autour de la droiteCC0, venir se placer dans celui des deux demi-plans d´efini par la droiteCC0 qui ne contient pasB. On obtient alors la figure 2, o`u les sommets du triangle BB0C sont d´esign´es comme sur la figure 1 mais mis entre parenth`eses. On joint B `a (C).
Les angles BC0(C) et BC(C) valent π−x−y, et comme x+y < π/2 (puisqu’´evidemment 2x+ 2y < π), ils sont obtus. Le cˆot´e BC est donc le plus grand des cˆot´es dans chacun des deux trianglesBC0(C) etBC(C). Ces deux triangles ayant deux cˆot´es ´egaux [BCest ´evidemment ´egal `a (B)(C)]
et l’angle oppos´e au plus grand de ces cˆot´es ´egal, sont ´egaux (quatri`eme cas d’´egalit´e des triangles). On en d´eduit, par exemple, que BC0(C)C est un parall´elogramme, donc que 2x= 2y, c.q.f.d.
1