2
Merci ! Et maintenant, le théorème-évidence :
T-137 « Inégalité triangulaire » : la longueur d'un côté d'un triangle non dégénéré
est inférieure à la somme des longueurs des deux autres côtés.
La longueur du plus grand des trois côtés d'un triangle dégénéré
est égale à la somme des longueurs des deux autres côtés.
Démonstration :
soient A, B et C trois points de l'espace, non alignés :
D'après M-11, la longueur de [AB] est inférieure à la longueur de toute autre ligne reliant A à B…
En particulier de la ligne formée des segments adjacents [AC] et [CB], de longueur AC + CB !
Le même raisonnement s'applique évidemment à [AC] et à [BC].
Si A, B et C sont alignés (donc si ABC est un triangle dégénéré) : l'un de ces trois points est entre les deux autres.
Je suppose que c'est B : alors, B appartient à [AC] et d'après T-8, AC = AB + BC. Quant à [AB] ou [BC], leurs longueurs
sont déjà, d'après l'égalité précédente, inférieures à AC... Donc certainement inférieures à la somme de deux longueurs
dont l'une serait AC !
Et maintenant, nous passons aux choses sérieuses : trois sommets, trois côtés, trois milieux… Ça ne suffisait pas !
Triangle médian, droites des milieux et médianes :
Pour t’échauffer, et rien qu'en jouant avec les milieux du côté d'un triangle, voici deux définitions et trois
théorèmes… Puis encore deux définitions, chacune accompagnée d'un théorème.
Ensuite, les choses sérieuses.
D-128 Triangle médian (d'un triangle) : le triangle dont les sommets sont les milieux des côtés du triangle
d'origine.
D-129 Droite des milieux (d'un triangle) : le support d’un côté du triangle médian de ce triangle.
(A chaque triangle correspondent donc 3 droites des milieux de ce triangle.)
T-138 Si une droite passe par les milieux de deux côtés d'un triangle,
alors cette droite est parallèle au (support du) troisième côté.
DEF est le triangle médian de ABC.
(DE), (EF) et (FD)
sont les droites des milieux de ABC.
[AD], [BE] et [CF] sont ses médianes.
G est son centre de gravité.