Suma kątów w trójkącie ABC wynosi
:
Kąt
jest na pewno większy od zera, więc suma pozostałych miar kątów jest mniejsza od
.
Suma kątów w trójkącie ABP wynosi
:
Skoro suma kątów
jest mniejsza od
, to miara kąta
musi być większa od
, aby suma miar tych trzech kątów wyniosła
Oznacza to, że kąt APB jest rozwarty,
To kończy dowód.