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

1. 反正弦函数公式：arcsin(x)的定义为，满足方程y=x与y=sinx等价的x的值，即x=sin(arcsin(y))。

2. 反余弦函数公式：arccos(x)的定义为，满足方程y=x与y=cosx等价的x的值，即x=cos(arccos(y))。

3. 反正切函数公式：arctan(x)的定义为，满足方程y=x与y=tan(x)等价的x的值，即x=tan(arctan(y))。

4. 反三角函数的性质：单调性，例如，对于反正弦函数，其定义域为(0,1)，值域为(-π/2,π/2)，所以在(0,1)上的值是唯一的。

请注意，反三角函数在计算机科学和工程学中经常被使用。它们在计算机图形学中也被广泛使用，例如在绘制角度和弧度时。这些公式在解决实际问题时非常有用。

反三角函数基本公式包括：

1. 反正弦函数（arcsin）：其定义域为[-1,1]，值域为[-π/2,π/2]。

2. 反余弦函数（arccos）：其定义域为[0,1]，值域为[0,π]。

3. 反正切函数（arctan）：其定义域为全体实数，在实数范围内表示为tan(x-π/4)的函数值。

4. 反三角函数的性质：例如，sin(arcsinx)=x，cos(arccosx)=x，tan(arctanx)=x。

此外，还有辅助函数公式等反三角函数的基本公式。请注意，反三角函数和三角函数一样也可以进行四则运算和复合运算。

以上信息仅供参考，如果需要更多信息，可以请教数学老师或查阅数学书籍。

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

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

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

3. 反正切函数公式：y=atan(x)，x≠±π/2+kπ，k∈Z。

4. 反双曲正切函数公式：y=asec(x)，x∈[0,1]。

此外，还有三角函数的其他变化公式，如sin(x+y)=sinxcosy+cosxsiny等。这些公式可以用于计算不同三角函数之间的转换。