反三角函数的公式有如下一些，反三角函数是一种基本初等函数。

常见公式主要有

arcsin(-x)=-arcsinx、arccos(-x)=π-arccosx、arctan(-x)=-arctanx、arccot(-x)=π-arccotx等。

反三角函数是一种基本初等函数。它是反正弦arcsin x，反余弦arccos x，反正切arctan x，反余切arccot x，反正割arcsec x，反余割arccsc x这些函数的统称，各自表示其正弦、余弦、正切、余切 ，正割，余割为x的角。

三角函数的反函数是个多值函数，因为它并不满足一个自变量对应一个函数值的要求，其图像与其原函数关于函数 y=x 对称。欧拉提出反三角函数的概念，并且首先使用了“arc+函数名”的形式表示反三角函数。

扩展

反正弦函数的求导

(arcsinx)=1/√(1-x^2)

反余弦函数的求导

(arccosx)=-1/√(1-x^2)

反正切函数的求导

(arctanx)=1/(1+x^2)

反余切函数的求导

(arccotx)=-1/(1+x^2)

为限制反三角函数为单值函数，将反正弦函数的值y限在-π/2≤y≤π/2，将y作为反正弦函数的主值，记为y=arcsin x。

相应地。反余弦函数y=arccos x的主值限在0≤y≤π；反正切函数y=arctan x的主值限在-π/2

1、反正弦函数

正弦函数y=sin x在[-π/2，π/2]上的反函数，叫做反正弦函数。记作arcsinx，表示一个正弦值为x的角，该角的范围在[-π/2，π/2]区间内。定义域[-1，1] ，值域[-π/2，π/2]。

2、反余弦函数

余弦函数y=cos x在[0，π]上的反函数，叫做反余弦函数。记作arccosx，表示一个余弦值为x的角，该角的范围在[0，π]区间内。定义域[-1，1] ， 值域[0，π]。

3、反正切函数

正切函数y=tan x在（-π/2，π/2）上的反函数，叫做反正切函数。记作arctanx，表示一个正切值为x的角，该角的范围在（-π/2，π/2）区间内。定义域R，值域（-π/2，π/2）。

5、反余切函数

余切函数y=cot x在（0，π）上的反函数，叫做反余切函数。记作arccotx，表示一个余切值为x的角，该角的范围在（0，π）区间内。定义域R，值域（0，π）。

6、反正割函数

正割函数y=sec x在[0，π/2）U（π/2，π]上的反函数，叫做反正割函数。记作arcsecx，表示一个正割值为x的角，该角的范围在[0，π/2）U（π/2，π]区间内。

定义域（-∞，-1]U[1，+∞），值域[0，π/2）U（π/2，π]。

7、反余割函数

余割函数y=csc x在[-π/2，0）U（0，π/2]上的反函数，叫做反余割函数。记作arccscx，表示一个余割值为x的角，该角的范围在[-π/2，0）U（0，π/2]区间内。定义域（-∞，-1]U[1，+∞），值域[-π/2，0）U（0，π/2]。