En utilisant la propriété des angles opposés parallèles, si les angles ∠GEF et ∠GFE dans le triangle EFG sont égaux, alors les droites (AG) et (EF) sont parallèles.
Les droites (AB) et ( CDDC) sont perpendiculaires à la droite ( CBBC).
Elles sont donc parallèles entre elles.
D'après l'énoncé, la droite (AB) est perpendiculaire à la droite (BC) et la droite (DC) est aussi perpendiculaire à (BC).
Les droites (AB) et (DC) sont donc parallèles.
Dans une configuration de Thalès, les longueurs des deux triangles formés sont proportionnelles.
Les quotients définis par le théorème sont égaux au coefficient de proportionnalité : k=ABAM=ACAN=BCMN.