求三角函数正切半角公式推导过程.