为了行文方便,设A/2=α,B/2=β,C/2=γ
∵1/2·(A+B+C)=α+β+γ=π/2
∴1/tanγ=tan(α+β)=(tanα+tanβ)/1-tanαtanβ
原式左边=tanβ/tanαtanβ+tanα/tanβtanα+tan(α+β)
=(tanα+tanβ)/tanαtanβ+(tanα+tanβ)/1-tanαtanβ
通分,得 (tanα+tanβ)/tanαtanβ(1-tanαtanβ) … ①
原式右边=1/tanαtanβ·tan(α+β)
=1/tanαtanβ·(tanα+tanβ)/(1-tanαtanβ)
=(tanα+tanβ)/tanαtanβ(1-tanαtanβ) …②
①=②,证毕