MathLabs

第3题

设 f(x)=anxn+an−1xn−1+⋯+a0f(x)=a_nx^n+a_{n-1}x^{n-1}+\cdots+a_0 和 g(x)=cn+1xn+1+cnxn+⋯+c0g(x)=c_{n+1}x^{n+1}+c_nx^n+\cdots+c_0 是非零实系数多项式,且对某个实数 rr 有 g(x)=(x+r)f(x)g(x)=(x+r)f(x)。若 a=max⁡(∣an∣,…,∣a0∣)a=\max(|a_n|,\ldots,|a_0|) 且 c=max⁡(∣cn+1∣,…,∣c0∣)c=\max(|c_{n+1}|,\ldots,|c_0|),证明 ac≤n+1\frac{a}{c}\le n+1。
第 5/5 步:取最大值并完成证明
a≤(n+1)c⟹ac≤n+1a\le(n+1)c\Longrightarrow \frac{a}{c}\le n+1
详细分析

上述各情形都得到 a≤(n+1)ca\le(n+1)c。非零多项式 gg 有 c>0c>0,除以 cc 得 ac≤n+1\frac{a}{c}\le n+1;按题目的规范化系数记号,这等价于 ac≤n+1\frac{a}{c}\le n+1。