Przyjmijmy oznaczenia z rysunku, gdzie boki kwadratu mają długość , natomiast  to przeciwprostokątna trójkątów o przyprostokątnych długości .

W każdym z tych trójk