已知 ,若关于 的方程
有实数根,则复数 的模 的最小值是
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
利用题设的实根来参数化复系数,再把模平方写成正量与倒数的和。
求出下界后,要还原一个真有实根的方程。
设原方程有实根 。因常数项 ,故 ,并且
因而
所以 。等号要求 ,取 ,对应 ,因此
对 、,原式左端为 ,所以确有实根,且 。取负的 也能给模为一的合法参数,未取正的实根作为额外限制。
复系数方程要求存在实根时,可先用实根作参数表示复系数。模平方降为单个实变量后,既证明全域下界,也构造满足原方程的等号配置。
用题设实际存在的非零实根参数化复系数,将模平方化为正量与倒数之和;均值下界之后,还须重建有实根的原方程来证明等号可达。
已记下,谢谢!