关于有理函数偏导数恒为零则与变量无关的证明问询

阿华AIGC实验室

2026-4-20

嗨，这个问题挺有意思的，我来给你梳理下思路～

首先得明确：有理函数的定义域$D$不一定是凸的，比如举个简单例子：取$n=2$，令$Q(x_1,x_2)=x_1x_2$，那$D$就是平面上去掉x轴和y轴的区域，显然不是凸集（比如点$(1,1)$和$(-1,-1)$都在$D$里，但它们的中点$(0,0)$不在$D$中），所以不能默认$D$是凸的，得换别的方法证明结论。

接下来我们利用有理函数的多项式本质来推导：

先写出偏导数的表达式
用商的求导法则对$x_1$求偏导：
$$
\frac{\partial f}{\partial x_1} = \frac{\frac{\partial P}{\partial x_1} \cdot Q - P \cdot \frac{\partial Q}{\partial x_1}}{Q^2}
$$
因为在$D$上$Q \neq 0$，所以$\frac{\partial f}{\partial x_1}=0$等价于分子在$D$上恒为零：
$$
\frac{\partial P}{\partial x_1} \cdot Q - P \cdot \frac{\partial Q}{\partial x_1} = 0 \quad \forall (x_1,\dots,x_n) \in D
$$
利用多项式恒等定理
注意到左边是两个多项式的差，而$D$是$\mathbb{R}^{n$的非空开集（多项式$Q$的零点集是闭集，所以$D$是开集；且只要$Q$不是零多项式，$D$就是无限集）。根据**多项式恒等定理**：如果两个多项式在$\mathbb{R}}n$的一个无限子集上相等，那么它们在整个$\mathbb{R}^n$上恒等。因此上面的等式对所有$(x_1,\dots,x_n) \in \mathbb{R}^n$都成立。
推导$f$与$x_1$无关
现在固定任意的$\bar{x}=(x_2,\dots,x_n)$，把$P$和$Q$看作关于$x_1$的一元多项式，记为$P(t) = P(t,\bar{x})$，$Q(t)=Q(t,\bar{x})$。上面的恒等式就变成：
$$
P'(t)Q(t) - P(t)Q'(t) = 0 \quad \forall t \in \mathbb{R}
$$
如果$Q(t)$不恒为零（否则$f$在这个$\bar{x}$对应的$x_1$方向上没有定义），那么当$Q(t) \neq 0$时，等式可变形为：
$$
\frac{d}{dt}\left( \frac{P(t)}{Q(t)} \right) = 0
$$
这说明一元有理函数$\frac{P(t)}{Q(t)}$在其定义域（$\mathbb{R}$去掉$Q(t)$的有限个零点）上导数恒为零。而有理函数如果在一个无限集上是常数（比如定义域的某个连通分支，是无限的），那么它作为有理函数必然是常数（因为非零有理函数只能有有限个零点，若$\frac{P(t)}{Q(t)}-c$有无限个零点，那它只能是零函数）。