反三角函数运算法则