Le théorème de Thalès s'applique uniquement aux triangles situés sur des droites parallèles. Il permet de déduire des rapports de longueurs entre les côtés de ces triangles.
Plus précisément, si l'on a deux droites parallèles coupées par une sécante, alors les côtés des triangles formés par cette sécante et les différentes droites parallèles sont en proportion.
Plus formellement, si le triangle ABC est situé sur la droite (s) et les triangles ADE et BDF sont situés respectivement sur les droites (d) et (d'), alors on a :
AB/DE = BC/DF = AC/EF
où AB, BC et AC sont les côtés du triangle ABC, et DE, DF et EF sont les côtés des triangles ADE, BDF et CFE.
La démonstration du théorème de Thalès est basée sur les propriétés suivantes :
- Les angles alternes-internes sont égaux lorsque deux droites sont coupées par une sécante et qu'elles sont parallèles.
- Les angles correspondants sont égaux lorsque deux droites sont coupées par une sécante et qu'elles sont parallèles.