Wykonajmy rysunek pomocniczy.

Korzystając z twierdzenia o dwóch stycznych przecinających się w pewnym punkcie, możemy oznaczyć długości pozostałych boków.

Trójkąt  jest trójkątem prostokątnym równorami