Théorème de Thalès
Le théorème de Thalès est un théorème de géométrie qui affirme que, dans un plan, à partir d'un triangle, une droite parallèle à l'un des côtés définit avec les droites des deux autres côtés un nouveau triangle, semblable au premier (voir énoncé précis ci-dessous). En anglais, il est connu sous le nom de intercept theorem (soit « théorème d'interception ») ; en allemand, il est appelé Strahlensatz, c'est-à-dire « théorème des demi-droites » ou Vierstreckensatz, « théorème des quatre segments ». Ce résultat est attribué au mathématicien et philosophe grec Thalès (). Cette attribution s'explique par une légende selon laquelle il aurait calculé la hauteur d'une pyramide en mesurant la longueur de son ombre au sol et la longueur de l'ombre d'un bâton de hauteur donnée. Cependant, la démonstration écrite la plus ancienne connue de ce théorème est donnée vers −300 dans les Éléments d'Euclide ( du livre VI). Elle repose sur la proportionnalité d'aires de triangles de hauteur égale (voir ci-dessous le détail de la preuve). Le théorème de Thalès se généralise en dimension supérieure. Le résultat est équivalent à des résultats de géométrie projective tels que la conservation du birapport par les projections. À un niveau plus élémentaire, le théorème de Thalès sert à calculer des longueurs en trigonométrie, à condition de disposer de deux droites parallèles. Cette propriété est utilisée dans des instruments de calcul de longueurs. En anglais et en allemand, le théorème de Thalès désigne un autre théorème de géométrie qui affirme qu'un triangle inscrit dans un cercle, et dont un côté est un diamètre, est un triangle rectangle. En pratique, le théorème de Thalès permet de calculer des rapports de longueur et de mettre en évidence des relations de proportionnalité en présence de parallélisme. Pour la première égalité il est possible de changer l'ordre des trois points sur chaque droite (de façon cohérente), mais la deuxième égalité n'est correcte que pour le rapport indiqué, celui où l'on part du point A commun aux deux droites, par exemple : mais (et ).
