Oznaczmy odległość od supła do supła jako . Wykonajmy rysunek pomocniczy.

Pierwszy trójkąt:

Skorzystajmy z twierdzenia odwrotnego do twierdzenia Pitagorasa dla pierwszego trójkąta.

Podstawmy