La propriété suivante va nous permettre de montrer que des droites ne sont pas parallèles à l'aide de rapports qui ne sont pas égaux.
I. Contraposée du théorème de Thalès
Si deux triangles sont formés par deux droites sécantes d'une part, et deux autres droites,
et si les côtés associés ne sont pas proportionnels, alors les deux autres droites ne sont pas parallèles.
Ceci est une conséquence du théorème de Thalès, comme l'égalité n'est pas vérifiée, c'est que les droites ne sont pas parallèles.
II. Exemple de rédaction de la contraposée
Sur la figure ci-dessous, les points A, B et C sont alignés, ainsi que les points A, D et E.
On donne : , , et
Les droites et sont-elles parallèles ?
Solution :
Les points A, B, C d'une part et A, D, E d'autre part sont alignés dans le même ordre.
On a : et .
Donc :
Si les droites (BD) et (CE) étaient parallèles, on aurait d'après le théorème de Thalès , ce qui n'est pas le cas.
Donc les droites (BD) et (CE) ne sont pas parallèles. Nous venons d'appliquer la contraposée du théorème de Thalès.
III. Théorème, réciproque du théorème et contraposée du théorème
Le théorème | Données : Je sais que des droites sont parallèles Conclusion : Des rapports sont égaux et je peux calculer une longueur manquante |
La réciproque | Données : Je sais que des rapports sont égaux Conclusion : Des droites sont parallèles |
La contraposée | Données : Je sais que des rapports ne sont pas égaux Conclusion : Des droites ne sont pas parallèles |