二倍角证明tantanӨ/2 - 1/ tanӨ/2 = 2/tanӨ应该用什么公式