一道数学三角函数的证明题(涉及反函数)