sina=2sina/2*cosa/2
cosa=2（cosa/2）²-1
3sina=cosa-1
6sina/2*cosa/2=2（cosa/2）²-1-1
6sina/2*cosa/2=2（cosa/2）²-2（sina/2）²-2（cosa/2）²
3sina/2*cosa/2=-2（sina/2）²
tana/2=-3/2