Dans un triangle ordinaire \(\bigl \{ a, b, c\bigr\}\) avec :
Et tel que la figure suivante :
La somme des angles d'un triangle fait toujours \(180°\) \((\pi \ radians) \) .
Dans un triangle ordinaire \( \bigl \{ a,b,c \bigr \}\), pour calculer l'aire du triangle, on projette une hauteur sur un des côtés, par exemple sur \(c\) :
À partir de cela, on fait :
Soit,
Deux triangles sont dit semblables lorsqu'ils ont leurs longueurs respectives proportionnelles et leurs angles respectivement égaux.
Cela implique alors un rapport \(k\) entre les longueurs respectives, correspondant à un agrandissement, une réduction ou une conservation (si \(k = 1\)).
Il existe pricipalement trois cas de similarités de triangles.
Deux triangles sont semblables :
s'ils ont leurs trois côtés respectifs proportionnels.
s'ils ont au moins deux angles deux-à-deux égaux.
s'ils ont un angle commun et qu'ils ont les deux longueurs respectives proportionnelles
Soit un triangle ordinaire \(ADE\), et une droite \(BC\) passant respectivement par les côtés \(AD\) et \(AC\).
Il existe deux configurations où le théorème s'exprime :
La première configuration dans lequel s'applique ce théorème est le cas de deux triangles semblables imbriqués \( ABC \) et \( ADE \), où \(ADE\) est le plus grand triangle.
La seconde configuration est le cas où les deux triangles sont semblables mais par l'extérieur (en conservant l'alignement des points précédents), et telle que la figure suivante :
Théorème
Le théorème exprime que s'il existe une relation de parallélisme, alors il existe aussi une relation de proportionnalité entre les longueurs, telle que :
Réciproque
Sa réciproque à l'inverse, permet de déduire une relation de parallélisme à partir de relations de proportionnalité.
Même si dans les faits, seulement deux de ces égalités suffisent à prouver le prallélisme :
Équivalence
Comme pour le théorème de Pythagore, l'équivalence issue des deux implications permettent d'établir une liaison forte entre le parallélisme et le rapport de proportionnalité des longueurs semblables.
L'une et l'autre sont toujours dans le même état logique.
Corollaire du théorème de Thalès
Soit un triangle \( \bigl \{ a,b,c \bigr \}\), où \(c\) est le plus grand côté.
Théorème
Le théorème de Pythagore part de l'hypothèse que le triangle est rectangle entre \(a\)et, \(b\) pour en déduire une égalité entre les longueurs du triangle.
Pour prouver la véracité du thèorème, nous avons projeté la hauteur \( h_c\) sur l'hypoténuse \( c\), ce qui divise cette longueur en deux côtés : \(m\) et \(n\).
On sait que la somme des angles d'un triangle est égal à \(\pi \enspace (180°)\) .
Or, dans le triangle principal formé par \(\{a, b, c\}\), on remarque que \(\alpha + \beta + \frac{\pi}{2} = \pi\).
Cette relation générale va nous permettre de déduire d'autres angles.
Dans le second triangle formé par \(\{m, \; h_c, \; a\}\), on a un angle droit et l'angle \(\beta\). Le troisième angle est alors \(\alpha\).
Enfin, dans le dernier triangle formé par \(\{h_c, \; n, \; b\}\), on a un angle droit et l'angle \(\alpha\). Le troisième angle est donc \(\beta\).
Nous les avons ajoutés à la figure suivante :
Une propriété des triangles semblables nous dit que lorsque deux triangles ont deux-à-deux les mêmes angles, ils sont semblables, et auront alors deux-à-deux leurs côtés similaires formant un même ratio.
Dans ce cas, on a les relations suivantes :
Grâce aux expressions \((1)\) et \((2)\), on a :
$$ \Biggl \{ \begin{gather*} a^2 = cm \qquad (3) \\ b^2 = cn \qquad \ (4) \end{gather*} $$
Maintenant, en additionnant \((3) \) et \((4)\), on obtient :
Mais \( (m + n = c) \), soit finalement :
Réciproque
La réciproque du théorème part de l'hypothèse de l'existance de cette égalité entre les longueurs, pour en déduire le caractère rectangle du triangle.
Équivalence
Comme précédemment pour le théorème de Thalès, l'un et l'autre forment une équivalence.
Triangle de proportions \((3 \ / \ 4 \ / \ 5)\)
Soit un \( k \in \hspace{0.03em} \mathbb{R}^+ \) un réel positif, et un triangle de longueurs respectives \( \Bigl \{ a = 3k, \ b = 4k, \ c = 5k \Bigr \} \).
Tout triangle de proportions \((3 \ / \ 4 \ / \ 5)\) est un triangle rectangle
Soit un \( k \in \hspace{0.03em} \mathbb{R}^+ \) un réel positif, et un triangle de longueurs respectives \( \Bigl \{ a = 3k, \ b = 4k, \ c = 5k \Bigr \} \).
On essaye de vérifier si ce triangle est rectangle, on calcule alors :
On a bien :
Donc si l'on applique la réciproque du théorème de Pythagore, on a :
Donc le triangle est bien rectangle entre \(a\) et \(b\).
Les règles de trigonométrie s'appliquent toujours dans un triangle rectangle.
Relativement à un angle \(\alpha\), on a les relations suivantes :
Astuce : On peut utiliser le moyen mnémotechnique \(SOH-CAH-TOA\).
Exemple :
Dans le triangle rectangle suivant :
On aura les relations suivantes :