tan(a/2)=t 求证sina=2t/(1+t^2) cosa=(1-t^2)/(1+t^2)