Wykonajmy rysunek pomocniczy.

Oznaczmy przyprostokątne trójkąta jako . Kąty ostre trójkąta prostokątnego równoramiennego  mają miarę po . Środkowe dzielą bok na pół.

Przeciwprostokątna trójkąta  jes