tanB/2=tan(π-A-C)/2=tan[π/2-(A+C)/2]=cot(A+C)/2
=(1-tanA/2*tanC/2)/(tanA/2+tanC/2)
因此tanA/2tanB/2+tanB/2tanC/2+tanA/2tanC/2
=tanB/2(tanA/2+tanC/2)+tanA/2tanC/2
=[(1-tanA/2*tanC/2)/(tanA/2+tanC/2)]*(tanA/2+tanC/2)+tanA/2tanC/2
=1-tanA/2tanC/2+tanA/2tanC/2
=1