Trójkąt prostokątny o kącie ostrym równym  to trójkąt prostokątny równoramienny. 

Zauważmy, że trójkąt prostokątny równoramienny o przyprostokątnej stanowi połowę kwadratu o boku . Zatem wysokość  opusz