反三角函数计算法则：cos(arcsinx)=(1-x^2)^0.5；arcsin(-x)=-arcsinx；arccos(-x)=π-arccosx；arctan(-x)=-arctanx；arccot(-x)=π-arccotx。

反三角函数怎么算那么，接下来反余弦函数的相关定理应该也是相同的道理。若是看懂了上面的推导过程，就能明了该推导过程并不困难。

上面所提出的的定理本身并不重要，重要的是利用三角函数的四则运算公式推导反三角函数的四则运算公式的这种思路。掌握了这种思路后，我们便可以随时随地的按自己的需求进行推导。

接下来要推导出反正弦函数的减法，反余弦函数的加法和减法，反正切函数等等的运算公式应该是一件很容易的事情。