反三角函數推導？

反三角函數公式推導：當x∈[-π/2。π/2]，有arcsin(sinx)=x，x∈[0，π]，arccos(cosx)=x，x∈(-π/2，π/2)，arctan(tanx)=x，x∈(0，π)，則arctanx+arctany=arctan((x+y)/(1-xy))。

反三角函數是一種基本初等函數。它是反正弦arcsin x，反余弦arccos x，反正切arctan x，反余切arccot x，反正割arcsec x，反余割arccsc x這些函數的統稱，各自表示其反正弦、反余弦、反正切、反余切，反正割，反余割為x的角。

三角函數的反函數是個多值函數，因為它并不滿足一個自變量對應一個函數值的要求，其圖像與其原函數關于函數y=x對稱。歐拉提出反三角函數的概念，并且首先使用了“arc+函數名”的形式表示反三角函數。