Rysunek pomocniczy:

Oznaczamy: 

Jest to trójkąt równoramienny prostokątny. Przyprostokątne mają długości , przeciwprostokątna w trójkącie równoramiennym prostokątnym to przekątna kwadratu:

Kor