
Jednakost koju treba dokazati može se zapisati ovako:
r(ctg2α+ctg2β)=4Rsin22γctg2γ.
Zbog
sin22γctg2γ=sin2γcos2γ=21sinγ,
potrebno je još pokazati da vrijedi
r(ctg2α+ctg2β)=2Rsinγ.
Neka je ABC promatrani trokut, S središte njegove upisane kružnice te D diralište upisane kružnice i stranice AB.
Zbog sinusovog poučka je 2Rsinγ=c=∣AB∣.
Iz trokuta ADS je ∣AD∣=rctg2α, a iz trokuta BDS: ∣BD∣=rctg2β.
Dakle c=∣AB∣=∣AD∣+∣DB∣=r(ctg2α+ctg2β),
pa slijedi
r(ctg2α+ctg2β)=2Rsinγ
te stoga vrijedi i jednakost iz zadatka.