sina=2sin(a/2)cos(a/2)
原式=2sin(a/2)=1/2
sin(a/2)=1/4
然后求cos(a/2),经过讨论可以知道cos(a/2)只可能是正数
tan(a/2)=1/根号15