帮我看看这个三角函数是不是化简错误了,tan(ξ/2)怎么得出来的?