tan的半角公式推演