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

Pierwszy trójkąt:

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

Ten tró