Kąty ,  oraz  tworzą kąt pełny , więc:

Skoro odcinek  jest styczny do okręgu to kąty  oraz  są kątami prostymi.
Skoro odcinek  jest styczny do okręgu to kąty  oraz  są