把 a⁴ + a³ + a² + a + 1 化简或分解，并判断它在有理数域上和实数域上能否分解。

Step-by-step solution

1. 1

   认出这是等比数列求和。 这五项是 $a^0$ 到 $a^4$ 的连续幂次，公比为 $a$，所以有限等比求和公式直接适用：

   $a^4+a^3+a^2+a+1=\frac{a^5-1}{a-1},\qquad a\neq1$

   等价地说，把原式乘以 $(a-1)$ 会裂项相消成 $a^5-1$。在 $a=1$ 处它的值就是 $5$。

2. 2

   先排除有理因式。 由有理根定理，任何有理根都必须整除常数项 $1$，所以候选只有 $a=\pm1$：$p(1)=5$，$p(-1)=1-1+1-1+1=1$，都不为零。这个多项式正是第五个分圆多项式 $\Phi_5$，它在有理数域上确实不可约 —— 它的根是四个本原五次单位根。

3. 3

   别就此打住：它在实数域上是能分解的。 常见的错误是直接下结论说「不可约」就完事。任何实系数四次式都能分解成两个实系数二次式，而这里的分解还能写得很明确。两边同除以 $a^2$（$a\neq0$ 时成立），再对称地分组：

   $a^2+a+1+\frac1a+\frac{1}{a^2}=\left(a^2+\frac{1}{a^2}\right)+\left(a+\frac1a\right)+1$

4. 4

   换元 t = a + 1/a。 由于 $a^2+\frac{1}{a^2}=t^2-2$，括号里的式子变成

   $t^2-2+t+1=t^2+t-1$

   它的根是 $t=\dfrac{-1\pm\sqrt5}{2}$ —— 正是黄金比例的一对共轭值。每个 $t$ 都对应一个二次方程 $a^2-ta+1=0$。

5. 5

   写出实数域上的分解。

   $a^4+a^3+a^2+a+1=\left(a^2+\frac{1+\sqrt5}{2}a+1\right)\left(a^2+\frac{1-\sqrt5}{2}a+1\right)$

   这两个因式在实数域上都不能再分：它们的判别式是 $t^2-4$，取 $t\approx0.618$ 和 $t\approx-1.618$，分别得到 $-3.618$ 和 $-1.382$，都是负数。

6. 6

   说说由此得到的结论，并做验证。 因为两个二次因式恒为正，所以这个四次式对每个实数 $a$ 都取正值 —— 它在 $[-8,8]$ 上的最小值约为 $0.6736$，永远碰不到零。数值上，在 $[-4,4]$ 内随机取 $80$ 个 $a$，原式与两个二次式之积吻合到机器精度 ✓；等比求和形式在 $a=1.3,\,2.7,\,-0.4,\,-3.1$ 处也一致 ✓。