Neka je točka T presjek pravca CP i simetrale kuta ∠BAC te neka je α=∠CAB. Tada je
∠CAT=2α.
Također, kako je trokut ABC pravokutan, slijedi ∠ABC=90∘−α.

Za kut ∠PBC vrijedi
∠PBC=∠PBA+∠ABC=90∘+(90∘−α)=180∘−α.
Promotrimo trokut PBC. Zbog ∣BP∣=∣BC∣, jednakokračan je, pa imamo
∠BCT=∠CPB.
Ta dva kuta zbrojena sa ∠PBC=180∘−α daju 180∘, pa zaključujemo da je
∠BCT=∠CPB=2α.
Nadalje, imamo
∠TCA=∠BCA−∠BCT=90∘−2α.
U trokutu CAT vrijedi
∠CTA=180∘−∠TCA−∠CAT=(90∘−2α)+2α=90∘,
što je i trebalo dokazati.