tan(a/2)-ctan(a/2)=tana/2+tan(a/2+pi/2)=tan(a+pi/2)(1-tan(a/2)tan(a/2+pi/2))=-2tan (a+pi/2)=-2/tana
由于x/2+pi/4=x/2-pi/4+pi/2
所以tan(x/2+pi/4)=-ctan(x/2-pi/4)
即：tan(x/2+pi/4)tan(x/2-pi/4)=-1
而tan(x/2+pi/4)+tan(x/2-pi/4)=tan(x/2+pi/4+x/2-pi/4)(1-tan(x/2+pi/4)tan(x/2-pi/4))=2tanx