Założenie:
Trójkąt ABC jest trójkątem równoramiennym prostokątnym o przyprostokątnej , 

Teza:
Wysokość poprowadzona na przeciwprostokątną jest równa .

Dowód:

Rysunek pomocniczy:

Korzystamy z