Przyjmujemy oznaczenia jak na rysunku.

Odcinek  dzieli kąt  na dwa kąty równej miary, zatem .

Kąt wpisany  jest oparty na tym samym łuku co kąt środkowy , zatem z twierdzenia o