Rysunek pomocniczy:

Przyjmujemy oznaczenia jak na rysunku.

Załóżmy, że w trójkącie DEF równej długości są boki ED oraz EF:

$\left|ED\right|=\left|EF\right|$  

Tym samy kąty przy podstawie DF (w trójkącie DEF) są równej miary. Oznaczmy tę miarę jako α:

$\left|\angle EDF\right|=\left|\angle EFD\right|=\alpha$  

Miarę trzeciego kąta w trójkącie DEF oznaczmy jako ß:

$\left|\angle DEF\right|=\beta$  

 

Korzystając z tw. o odcinkach stycznych możemy zapisać równości pomiędzy odcinkami:

$\left|CD\right|=\left|CF\right|$