Wykonajmy rysunek pomocniczy.

Wówczas:

Trójkąty  są przystające na mocy cechy bok-kąt-bok, ponieważ mają kąt prosty między bokami .

Zatem:

Skorzystajmy z