关于证明多项式$a^6-a^5+a^4-a^3+1>0$的方法问询

问题描述 #

需要证明：对于任意实数$a$，多项式 $a^6 - a^5 + a^4 - a^3 + 1 > 0$ 恒成立。

提问者尝试的思路及困惑 #

我尝试过对多项式进行因式分解、寻找公因式；试过多种变形方法，有的引入根式，有的通过乘数字来统一底数；还试过将式子变形为 $a^6 - a^5 + a^4 - a^3 > -1$，再两边乘-1得到正数1并改变不等号方向，但这些思路都没成功，可能是方法本身不对，或者我操作有误。想听听大家的看法。

可行的证明方法分享 #

这里给你几种直观且容易验证的证明思路，应该能解决你的困惑：

思路1：分区间讨论（按$a$的取值范围拆分） #

• 当$a \leq 0$时：
  偶次幂项$a^6$、$a4$都是非负数；而$-a^5$、$-a3$因为$a$非正，负负得正，这两项也都是非负数。加上最后的常数1，整个式子是多个非负数加1，显然大于0。
• 当$0 < a < 1$时：
  把原式拆分为：$a^6 + (a^4 - a^5) + (1 - a^3)$
  因为$0 < a < 1$，所以$a^4 > a^{5$（两边同乘正数$a}4$，不等号方向不变），同时$1 > a^{3$，每个括号内的部分都是正数，再加上正的$a}6$，整体必然大于0。
• 当$a \geq 1$时：
  提取公因式$a^3$后变形：
  $$
  \begin{align*}
  a^6 - a^5 + a^4 - a^3 + 1 &= a^3(a3 - a^2 + a - 1) + 1 \
  &= a^3\left[a2(a-1) + (a-1)\right] + 1 \
  &= a^3(a-1)(a2+1) + 1
  \end{align*}
  $$
  因为$a \geq 1$，所以$a^3 \geq 1$，$(a-1) \geq 0$，$a^2+1 > 0$，前面的乘积项是非负的，加上1之后肯定大于0。

思路2：构造平方和（利用平方的非负性） #

通过配方把原式转化为多个平方项的和，利用平方数恒非负的性质来证明：
$$
\begin{align*}
a^6 - a^5 + a^4 - a^3 + 1 &= \frac{1}{2}\left(2a^6 - 2a^5 + 2a^4 - 2a^3 + 2\right) \
&= \frac{1}{2}\left[(a^6 - 2a^5 + a^4) + (a^6 - 2a^3 + 1) + a^4\right] \
&= \frac{1}{2}\left[(a^3 - a²⁾2 + (a^3 - 1)^2 + a^4\right]
\end{align*}
$$
这里三个平方项都是非负的，而且不可能同时为0：

• 若$(a^3 - a²⁾2=0$，则$a=0$或$a=1$；
  • 当$a=0$时，$(a^3-1)2=1 \neq 0$；
  • 当$a=1$时，$a^4=1 \neq 0$；
    因此整个式子是$\frac{1}{2}$乘以一个正数，显然大于0。

思路3：利用多项式乘法构造恒正分子 #

观察原式的结构，我们可以给它乘以一个恒正的多项式，得到一个明显恒正的结果：
$$(a^6 - a^5 + a^4 - a^3 + 1)(a^2 + a + 1) = a^8 + a^4 + 1$$
右边的$a^8 + a^4 + 1$对任意实数$a$都是正的（偶次幂加1，最小值为1），而左边的乘数$a^2 + a + 1 = (a+\frac{1}{2})^2 + \frac{3}{4}$，显然恒大于0。因此原式等于$\frac{a^8 + a^4 + 1}{a^2 + a + 1}$，分子分母都是正数，所以原式必然大于0。

你之前的思路可能没找对变形的切入点，比如乘-1的操作反而让问题变得模糊，不如上面几种方法直接聚焦于“恒正”的核心来推导。

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