Mamy sprawdzić, czy kąt  jest prosty. 

Wiemy, że  oraz .

Z tego wynika, że trójkąt  jest równoramienny oraz  i  trójkąt  jest równoramienny oraz .

Spójrzmy na rysunek