Lemme 2 Soient A, B, C, C0quatre points distincts tel que C0est l’image de Cpar la sym´etrie
d’axe (AB). Alors les triangles ABC et A0B0C0sont congruents.
D´emonstration :
On va utiliser les propri´et´es des triangles isoc`eles d´emontr´ees au chapitre 0 annexe C.
Par d´efinition d’une sym´etrie axiale, (AH) est `a la fois la m´ediane et la hauteur issue de A.
Il en r´esulte que ACC0est isoc`ele en A, d’o`u AC =AC0et
\
ACC0=
\
AC0C. De mˆeme, BCC0
est isoc`ele en B, d’o`u BC =BC0et
\
C0CB =
\
CC0B. Donc on a
\
ACB =
\
AC0Bet AC =AC0,
BC =BC0et on peut appliquer le deuxi`eme cas de congruence aux triangles ABC et ABC0.
CQFD.
Lemme 3 Soit ABC un triangle et AB0C0son image par une rotation de centre A. Alors
ABC ≡AB0C0.
D´emonstration :
Soit αl’angle de la rotation. On a α+
\
C0AB0=
\
CAB +α, d’o`u il vient
\
CAB =
\
C0AB0. De
plus, par d´efinition d’une rotation, on a AB =AB0et AC =AC0. On est dans le deuxi`eme cas
de congruence, d’o`u le r´esultat. CQFD.
D´emontrons maintenant le premier cas de congruence.
Soient donc deux triangles r´epondant aux conditions du premier cas. Soit AB00 C00 l’image du
triangle A0B0C0par la translation qui am`ene A0en A. Comme une translation conserve les angles
et les longueurs, on a AB00 C00 ≡A0B0C0. Par une rotation de centre A, on peut amener B00 en
Bpuisque AB00 =AB. Soit ABC000 l’image du triangle AB00 C00 par cette rotation. D’apr`es le
lemme 3, ABC00 ≡AB00 C00 ≡A0B0C0. On voit qu’il y a alors deux cas, soit C000 =C, soit C000 est
l’image de Cpar la sym´etrie d’axe (AB) (on pourra v´erifier en exercice qu’on ne s’appuie ici que
sur les propri´et´es d´ej`a d´emontr´ees des triangles isoc`eles). Quitte `a utiliser la sym´etrie d’axe (AB)
et le lemme 2, on se ram`ene donc au cas o`u C=C000 . Finalement on a bien ABC ≡A0B0C0.
Voyons le troisi`eme cas. En proc´edant de la mˆeme fa¸con que pr´ec´edemment, on voit qu’on peut
se ramener au cas o`u A=A0et B=B0. Or, pour tout angle αon sait qu’il existe exactement
deux demi-droites d’origine Aqui font un angle αavec la demi-droite [AB), et que ces demi-
droites sont situ´ees de part et d’autre de la droite (AB) (c’est l’axiome C.4 qui le dit). On
raisonne de mˆeme au point B. Donc le point C0est soit situ´e `a l’intersection de [AC) et [BC),
auquel cas C0=Cet le th´eor`eme est d´emontr´e, soit C0est l’intersection des deux autres demi-
droites possibles, comme sur la figure. On va montrer que C0est le sym´etrique de Cpar rapport
`a (AB). En effet, soit C00 le sym´etrique de Cpar rapport `a (AB). Alors
\
BAC00 =
\
BAC0et
\
ABC00 =
\
ABC0d’apr`es le lemme 2. Donc C0=C00 .
On peut donc terminer comme pr´ec´edemment la d´emonstration. CQFD.
Remarque : Pour retenir facilement ce th´eor`eme, il faut se demander de quelles informations on
a besoin pour construire un triangle (trois cˆot´es, deux cˆot´es et l’angle qu’ils forment, ou un cˆot´e
et deux angles).
Exercice 1 Montrer que deux triangles congruents ont des m´edianes correspondantes de mˆeme
longueur.
Exercice 2 Soit ABC isoc`ele en A,Mle milieu de [AB],Nle milieu de [AC]. Montrer que
CM =BN .
2