一道三角比的求证题,急!

太可恨了，难怪我算不出来，原来我把除号看作乘号了。。。。。
因为tan(A-B)=(tanA-tanB)/(1+tanAtanB) ，所以tana=[tan(1.5a)-tan(0.5a)]/[1+tan(1.5a)tan(0.5a)]，
tan(1.5a)-tan(0.5a)=[1+tan(1.5a)tan(0.5a）]*tana=（cos1.5acos0.5a+sin1.5asin0.5a ）/ （cos1.5acos0.5a）*tana=cosa*tana/（cos1.5acos0.5a）=sina/cos(a+0.5a)cos(a-0.5a
)=sina/(cosacos0.5a-sinasin0.5a )(cosacos0.5a+sinasin0.5a )=sina/[(cosacos0.5a)²-(sinasin0.5a )²]=sina/(cos²acos²a/2-sin²asin²a/2)=sina/[cos²a(cosa+1)/2-sin²a(1-cosa)/2]=2sina/[cos²a-sin²a+cosa(cos²a+sin²a)]=2sina/(cosa+cos2a)
用到的公式有
cos(A+B)=cosAcosB-sinAsinB
cos(A-B)=cosAcosB+sinAsinB
cos2a=(cosa)^2-(sina)^2=2(cosa)^2 -1=1-2(sina)^2