(cotα/2-tanα/2)(1+tanαtanα/2)=cosa/2/sina/2-sina/2/cosa/2
=（cos²a/2-sin²a/2）/cosa/2*sina/2）*（cosa*cosa/2+sina*sina/2）/cosa*cosa/2
=（2cosa）/sina）*（cosa/2）/cosa*cosa/2=2/sina