- kąty naprzemianległe
Kąt półpełny ma miarę , stąd:
Suma miar kątów w trójkącie wynosi , więc:
Oznacza to, że trójkąt BCD oraz BCR jest równoramienny, a trójkąt BDP jest podobny do trójkąta ACP, co daje:
Czyli:
To kończy dowód.
