一、反三角函数求导公式是什么
为限制反三角函数为单值函数，将反正弦函数的值y限在-π/2≤y≤π/2，将y作为反正弦函数的主值，记为y=arcsin x；相应地，反余弦函数y=arccos x的主值限在0≤y≤π；反正切函数y=arctan x的主值限在-π/2<y<π/2；反余切函数y=arccot x的主值限在0<y<π。
反正弦函数
正弦函数y=sin x在[-π/2，π/2]上的反函数，叫做反正弦函数。记作arcsinx，表示一个正弦值为x的角，该角的范围在[-π/2，π/2]区间内。定义域[-1，1] ，值域[-π/2，π/2]。
反余弦函数
余弦函数y=cos x在[0，π]上的反函数，叫做反余弦函数。记作arccosx，表示一个余弦值为x的角，该角的范围在[0，π]区间内。定义域[-1，1] ， 值域[0，π]。
反正切函数
正切函数y=tan x在（-π/2，π/2）上的反函数，叫做反正切函数。记作arctanx，表示一个正切值为x的角，该角的范围在（-π/2，π/2）区间内。定义域R，值域（-π/2，π/2）。
反余切函数
余切函数y=cot x在（0，π）上的反函数，叫做反余切函数。记作arccotx，表示一个余切值为x的角，该角的范围在（0，π）区间内。定义域R，值域（0，π）。
反正割函数
正割函数y=sec x在[0，π/2）U（π/2，π]上的反函数，叫做反正割函数。记作arcsecx，表示一个正割值为x的角，该角的范围在[0，π/2）U（π/2，π]区间内。定义域（-∞，-1]U[1，+∞），值域[0，π/2）U（π/2，π]。
反正割函数
余割函数y=csc x在[-π/2，0）U（0，π/2]上的反函数，叫做反余割函数。记作arccscx，表示一个余割值为x的角，该角的范围在[-π/2，0）U（0，π/2]区间内。定义域（-∞，-1]U[1，+∞），值域[-π/2，0）U（0，π/2]。
二、怎么证明反三角函数
反函数求导方法:
若F(X),G(X)互为反函数,
则: F&39;(X)*G&39;(X)=1
E.G.:y=arcsinx x=siny
y&39;*x&39;=1 (arcsinx)&39;*(siny)&39;=1
y&39;=1/(siny)&39;=1/(cosy)=1/根号(1-sin^2y)=1/根号(1-x^2)
其余依此类推。
