反三角函数公式有反正弦arcsin、反余弦arccos、反正切arctan、反双曲线函数arcsec等^[1][2]^。

1. 反正弦函数公式是y=arcsinxx∈[-1,1]。

2. 反余弦函数公式是y=arccosxx∈[0,1]。

3. 反正切函数公式是y=arctanx，定义范围为全体实数。

4. 反双曲线函数公式为y=arcsecx，定义在(-∞，1)∪(1，+∞)上。

反三角函数公式是：

1. 正弦函数 asin(x) 与反正弦函数 arcsin(x) 的关系：asin(x)=r(x)=arcsin(x)+k，其中k为任意常数；

2. 余切函数 atan(x) 与反余切函数 arctan(x) 的关系：atan(x)=tan(m+n)arctan(n/m)，其中m、n为任意常数；

3. 正切函数 cot(x) 与反正切函数 arctan(x) 的关系：cot(x)+arctan(x)=π/2；

4. 反三角函数的定义域和值域：

定义域：反正弦函数 arcsin(x) 的定义域为 (-1, 1)，余切函数 arctan(x) 的定义域为全体实数；

值域：反三角函数的值域取决于其对应的三角函数，例如反正弦函数的值域为 (-π/2, π/2)。

此外，还有双曲余弦的反正弦函数 arccosh(x)，对数函数的反函数 arctan(logax)，以及三角函数的反函数 arcsin(sinx)、arccos(cosx) 等。

以上信息仅供参考，如果需要更多信息，建议咨询数学老师或查阅专业数学书籍。

反三角函数的基本公式有：

1. 反正弦函数公式：y=arcsin(x)，x∈[-1,1]。

2. 反余弦函数公式：y=arccos(x)，x∈[0,1]。

3. 反正切函数公式：y=arctan(x)，x∈R。

4. 反双曲正切函数公式：y=atan(x)，x∈R+。

此外，还有商的反正割和反余割公式，三角函数的积化和差与和差化积公式以及一些推导变形公式，如：

1. sin(arcsinx)=x；

2. cos(arcsinx)=sqrt(1-x^2)；

3. tan(arcsinx)=x/(1+x^2)；

4. (arcsin)^2x+(arccos)^2x=1；

5. (arctan)^2x=(1+1/x^2)。

更多具体变化公式及推导过程建议查阅专业书籍或咨询专业人士。