半角公式tanα/2的推导