Gdy w trójkącie prostokątnym została poprowadzona z kąta prostego prostopadła do podstawy, to trójkąty przy prostopadłej są podobne do całości i do siebie nawzajem.
Niech ABC będzie trójkątem prostokątnym mającym kąt prosty pod BAC i niech z A będzie poprowadzona AD prostopadła do BC. Twierdzę, że każdy z dwóch trójkątów ABD, ADC jest podobny do całego ABC i do siebie nawzajem.