正切半角公式的证明