Wykonajmy rysunek pomocniczy.

Punkty  są punktami styczności, zatem:

Wyznaczmy miarą kąta , korzystając z sumy miar kątów wewnętrznych w czworokącie .

Pr