tan半角公式的疑问