满足模不等式的复多项式线性相关证明方法验证问询

嘿，我来帮你梳理下这个问题和你的思路哈～首先明确下核心问题：

设$p(z), q(z), r(z)$是复平面上的复系数多项式，满足对任意复数$z$，都有$|p(z)| + |q(z)| \leq |r(z)|$。证明存在复数$a, b$，使得$|a|^2 + |b|^2 = 1$，且对任意$z$都有$a p(z) + b q(z) = 0$。

先说说你的思路里的关键漏洞：你尝试通过对$|f(z)|$关于$z$求导找极值条件，这里有两个问题——一是模函数$|h(z)|$在$h(z)=0$的点处不可导，没法直接用求导的方式覆盖所有点；二是求导得到的只是局部极值条件，没法推出对所有$z$都成立的全局恒等式，这个方向其实不太贴合问题的核心需求。

下面给你两种更直接的正确思路参考：

方法一：利用有理函数的有界性 #

先排除极端情况：如果$p(z)$或$q(z)$是零多项式，结论直接成立（比如$p(z)\equiv0$，取$a=0,b=1$即可）。

假设$p(z),q(z)$都非零，考虑有理函数$h(z)=\frac{p(z)}{q(z)}$。由题设$|p(z)| \leq |r(z)|$且$|q(z)| \leq |r(z)|$，可得：
$$\left|h(z)\right| = \frac{|p(z)|}{|q(z)|} \leq \frac{|r(z)|}{|q(z)|}$$

分析$z\to\infty$时的增长性：

• 若$\deg p > \deg q$，则$|h(z)|\to\infty$，但$\frac{|r(z)|}{|q(z)|}$的增长速度由$\deg r - \deg q$决定，而题设$|p(z)| \leq |r(z)|$意味着$\deg p \leq \deg r$，如果$\deg p > \deg q$，则$\deg r \geq \deg p > \deg q$，$\frac{|r(z)|}{|q(z)|}\to\infty$，但这时候$|h(z)|$的增长速度和$\frac{|r(z)|}{|q(z)|}$一致？不对，换个角度：如果$h(z)$不是常数，那它要么在某个极点趋向无穷，要么作为多项式（当$\deg p \geq \deg q$时）趋向无穷，但结合$|p(z)| \leq |r(z)| - |q(z)| \leq |r(z)|$，若$h(z)$是次数大于0的多项式，$|h(z)|\to\infty$会导致$|p(z)|=|h(z)q(z)|\to\infty$的速度快于$|r(z)|$，矛盾；若$h(z)$是真分式（$\deg p < \deg q$），且非常数，那它在某个点附近会无界，同样和$|h(z)| \leq \frac{|r(z)|}{|q(z)|}$（有界）矛盾。

因此$h(z)$只能是常数，即$p(z)=k q(z)$（$k$为复常数），说明$p(z),q(z)$线性相关。此时取$a=\overline{k},b=-1$，再归一化除以$\sqrt{|k|^{2+1}$，就得到满足$|a|}2+|b|^2=1$且$a p(z)+b q(z)\equiv0$的复数对。

方法二：利用多项式的最大模原理 #

考虑函数$F(z)=\frac{p(z)}{r(z)}$和$G(z)=\frac{q(z)}{r(z)}$，它们都是有理函数，且对所有$z$（$r(z)\neq0$）有$|F(z)|+|G(z)|\leq1$。

若$r(z)$是零多项式，题设不等式只能成立当$p(z)\equiv q(z)\equiv0$，结论显然成立。若$r(z)$非零：

• 若$\deg p > \deg r$，则$|F(z)|\to\infty$当$z\to\infty$，与$|F(z)|\leq1$矛盾，故$\deg p \leq \deg r$；同理$\deg q \leq \deg r$。
• 若$p(z),q(z)$线性无关，则存在非零多项式$H(z)=a p(z)+b q(z)$（$a,b$不全为0），$H(z)$是次数不超过$\max(\deg p,\deg q)\leq\deg r$的多项式。若$H(z)$非零，当$z\to\infty$时，$|H(z)|\approx C|z|^d$（$d=\deg H$，$C\neq0$），而$|H(z)|=|a p(z)+b q(z)|\leq(|a|+|b|)(|p(z)|+|q(z)|)\leq(|a|+|b|)|r(z)|$，若$d=\deg r$，则$|H(z)|/|r(z)|\to|C|$，结合$|p(z)|+|q(z)|\leq|r(z)|$，可得$|C|\leq|a|+|b|$，但我们可以选择$a,b$使得$H(z)$是零多项式吗？不，更直接的是：如果$p(z),q(z)$线性无关，那么存在$z_0$使得$p(z_0),q(z_0)$线性无关，此时$|p(z_0)|+|q(z_0)|>0$，但$|p(z_0)|+|q(z_0)|\leq|r(z_0)|$，而如果$p(z)/q(z)$不是常数，就会出现前面说的无界情况，矛盾。

因此$p(z),q(z)$必线性相关，后续归一化步骤同方法一。

总结一下，你的思路核心问题是用局部求导的方式无法推导全局恒等式，而上面两种方法都是从多项式/有理函数的全局增长性、有界性入手，更贴合问题的本质。

备注：内容来源于stack exchange，提问作者Snowball