
Neka je ∣∠BAC∣=α i ∣∠CBA∣=β. Sjecište simetrale kuta ∠ACB i stranice AB označimo s D.
Vrijedi da je α+β=90∘, odnosno β=90∘−α.
Trokut △ANC je pravokutan, pa je
∣∠ACN∣=90∘−∣∠NAC∣=90∘−α=β.
Središte trokutu opisane kružnice kod pravokutnog trokuta nalazi se u polovištu hipotenuze.
Zbog toga je ∣PB∣=∣PC∣, pa je △PBC jednakokračan trokut.
Tada je ∣∠PCB∣=∣∠CBP∣=β.
Dalje vrijedi:
∣∠ACD∣=∣∠ACN∣+∣∠NCD∣=β+∣∠NCD∣
∣∠DCB∣=∣∠DCP∣+∣∠PCB∣=∣∠DCP∣+β.
Simetrala kuta dijeli kut na dva sukladna kuta, pa je ∣∠ACD∣=∣∠DCB∣.
Zbog toga je β+∣∠NCD∣=∣∠DCP∣+β,
a onda je ∣∠NCD∣=∣∠DCP∣, što je trebalo dokazati.