复平方根不等式证明求助：寻求复变量z、w相关不等式的证明提示

架构老林

2026-5-19

复数不等式证明思路提示

嘿，我来给你几个证明这个复数不等式的方向，你可以顺着这些思路尝试推导：

利用乘积关系简化问题
首先注意到一个关键等式：$|\sqrt{z+w}+\sqrt{w}| \cdot |\sqrt{z+w}-\sqrt{w}| = |(\sqrt{z+w})^2 - (\sqrt{w})^2| = |z|$。
设$A=|\sqrt{z+w}+\sqrt{w}|$，$B=|\sqrt{z+w}-\sqrt{w}|$，则$A \cdot B = |z|$，原不等式$\min{A,B} \leq \frac{|z|}{\sqrt{|z|+|w|}}$可以等价转化为$\max{A,B} \geq \sqrt{|z|+|w|}$（两边同除以$|z|$，$|z|=0$时不等式显然成立）。这样问题就变成了证明两个模中的较大者不小于$\sqrt{|z|+|w|}$，可能更容易处理。
展开模的平方进行分析
计算$A^2$和$B2$：
$A^2 = |\sqrt{z+w}+\sqrt{w}|^2 = |z+w| + |w| + 2\operatorname{Re}\left(\sqrt{z+w}\cdot\overline{\sqrt{w}}\right)$
$B^2 = |\sqrt{z+w}-\sqrt{w}|^2 = |z+w| + |w| - 2\operatorname{Re}\left(\sqrt{z+w}\cdot\overline{\sqrt{w}}\right)$
两者的和为$A^2+B2=2(|z+w|+|w|)$，结合三角不等式$|z+w|\geq||z|-|w||$，可以尝试对$\max{A^2,B2}$进行放缩，证明它不小于$|z|+|w|$。
变量替换简化形式
假设$w\neq0$（$w=0$时不等式等号成立），令$\zeta=\frac{z}{w}$，则$z=\zeta w$，代入原不等式并提取$\sqrt{|w|}$后，可将问题简化为对任意复数$\zeta$，证明：
$\min\left{|\sqrt{\zeta+1}+1|,|\sqrt{\zeta+1}-1|\right} \leq \frac{|\zeta|}{\sqrt{|\zeta|+1}}$
再令$\omega=\sqrt{\zeta+1}$，进一步转化为关于$\omega$的不等式：
$\min\left{|\omega+1|,|\omega-1|\right} \leq \frac{|\omega^{2-1|}{\sqrt{|\omega}2-1|+1}}$
这样变量更少，更容易用实部虚部展开分析。
先验证特殊情况再推广
先考虑$z$和$w$都是正实数的情况：此时$\sqrt{z+w}\pm\sqrt{w}$都是正实数，$\min$就是$\sqrt{z+w}-\sqrt{w}$，不等式可转化为$\sqrt{z+w}-\sqrt{w}\leq\frac{z}{\sqrt{z+w}}$，这个很容易通过代数变形验证成立。再尝试纯虚数、辐角相同的复数等情况，总结规律后推广到一般复数。