Prowadzimy wysokość .

Zauważ, że trójkąt jest trójkątem prostokątnym równoramiennym. Przeciwprostokątna trójkąta ma długość . 

Korzystamy z zależności między bokami w trójkącie prostokątnym równoramien