为何隐函数$x^2-\sin^{-1}y=\frac{\pi}{2}$的定义域中x可取全体实数？

你这里的核心问题是混淆了表达式的定义域和方程解集的取值范围，咱们一步步理清楚：

1. WolframAlpha给出的是什么？ #

WolframAlpha返回的D={(x,y)∈R²:y∈[-1,1]}，指的是表达式$x^2-\sin{-1}y$的定义域——也就是这个数学式子能合法计算的所有(x,y)对：

• $\sin^{{-1}y$（反正弦函数）只要求$y∈[-1,1]$，对x没有任何限制（因为$x}2$对任意实数x都有定义），所以整个表达式的定义域就是所有实数x加上$y∈[-1,1]$。

2. 你的推导对应的是什么？ #

你通过$x=\pm\sqrt{\frac\pi2+\sin^{{-1}y}$推导得出$x∈[-\sqrt{\pi},\sqrt{\pi}]$，这部分推导完全正确，但它描述的是**满足方程$x}2-\sin^{-1}y=\frac \pi2$的解集中x的取值范围**：

• 因为$\sin^{{-1}y∈[-\frac\pi2,\frac\pi2]$，所以$\frac\pi2+\sin}{-1}y$的范围是$[0, \pi]$，那么$x^2$必须落在这个区间里，因此x自然被限制在$[-\sqrt{\pi},\sqrt{\pi}]$。

总结 #

简单来说：

• 表达式的定义域：只要式子能算就行，x随便取，y只受反正弦限制；
• 方程的解集：要满足等式成立，这时候x会被y的范围间接限制住。

WolframAlpha默认查询“定义域”时，优先返回的是表达式的定义域，而不是方程解集的范围——这就是你产生困惑的原因啦！

内容的提问来源于stack exchange，提问作者Gaurang Tandon