=2sina(1-sin2a)+(1-2sin2a)sina
=(2cos2a-1)cosa-2(1-sin2a)cosa
=4sina(sin60°+sina)(sin60°-sina)
=4sina*2sin[(60+a)/2]cos[(60°-a)/2]*2sin[(60°-a)/2]cos[(60°-a)/2]
=4sinasin(60°+a)sin(60°-a)
=4cosa(cosa+cos30°)(cosa-cos30°)
=4cosa*2cos[(a+30°)/2]cos[(a-30°)/2]*{-2sin[(a+30°)/2]sin[(a-30°)/2]}
=-4cosasin(a+30°)sin(a-30°)
=-4cosasin[90°-(60°-a)]sin[-90°+(60°+a)]
=-4cosacos(60°-a)[-cos(60°+a)]
=4cosacos(60°-a)cos(60°+a)
tan3a=tanatan(60°-a)tan(60°+a)
tan(A/2)=(1-cosA)/sinA=sinA/(1+cosA);
cot(A/2)=sinA/(1-cosA)=(1+cosA)/sinA.
tan(a/2)=(1-cos(a))/sin(a)=sin(a)/(1+cos(a))
sin(α+β+γ)=sinα·cosβ·cosγ+cosα·sinβ·cosγ+cosα·cosβ·sinγ-sinα·sinβ·sinγ
cos(α+β+γ)=cosα·cosβ·cosγ-cosα·sinβ·sinγ-sinα·cosβ·sinγ-sinα·sinβ·cosγ
tan(α+β+γ)=(tanα+tanβ+tanγ-tanα·tanβ·tanγ)/(1-tanα·tanβ-tanβ·tanγ-tanγ·tanα)