询求实系数非常数多项式分解为一次与二次因式的无复数初等证明

当然有！完全不需要借助代数基本定理（以及它涉及的复数体系），我们只用初等代数和微积分的基础工具，就能证明每个实系数非常数多项式都可分解为实一次因式与不可约实二次因式的乘积。下面是详细的证明过程：

核心思路转化 #

我们的目标等价于证明：实系数不可约多项式的次数只能是1或2。只要这个结论成立，任意非常数实多项式都能分解为不可约因式的乘积，自然就只包含一次和二次因式了。

数学归纳法证明 #

我们对多项式的次数 ( n ) 进行归纳：

1. 基例验证 #

• 当 ( n=1 )：多项式本身就是不可约的一次因式，结论显然成立。
• 当 ( n=2 )：若判别式 ( \Delta = b^2-4ac \geq 0 )，可分解为两个实一次因式的乘积；若 ( \Delta < 0 )，则无法分解为实一次因式，是不可约的二次因式，结论成立。

2. 归纳假设 #

假设所有次数小于 ( n )（( n \geq 3 )）的实系数非常数多项式，都能分解为实一次因式与不可约实二次因式的乘积。

3. 归纳步骤：处理n次多项式 ( f(x) ) #

分两种情况讨论：

情况1：( f(x) ) 存在实根

若有实数 ( r ) 满足 ( f(r)=0 )，根据多项式除法，( f(x) = (x-r)g(x) )，其中 ( g(x) ) 是 ( n-1 ) 次实系数多项式。由归纳假设，( g(x) ) 可分解为一次和不可约二次因式的乘积，因此 ( f(x) ) 也能完成分解。

情况2：( f(x) ) 无实根

此时 ( n ) 必为偶数——因为奇次多项式当 ( x \to +\infty ) 和 ( x \to -\infty ) 时，函数值会趋向相反的无穷大，根据介值定理，中间必然存在实根，与“无实根”矛盾。

我们需要证明：无实根的偶次实多项式 ( f(x) ) 必能分解为两个次数小于 ( n ) 的实多项式的乘积，从而利用归纳假设完成证明。

由于 ( f(x) ) 无实根，它在实数域上要么恒正要么恒负（否则介值定理会导出实根）。不妨设 ( f(x) > 0 ) 对所有实数 ( x ) 成立（若恒负，只需考虑 ( -f(x) )）。

考虑 ( f(x) ) 的导数 ( f'(x) )，它是 ( n-1 ) 次多项式（( n-1 \geq 2 )，且为奇数）。根据归纳假设（或直接用奇次多项式必有实根的结论），( f'(x) ) 存在实根 ( c )，即 ( f'(c)=0 )。因为 ( f(x) ) 恒正，( f(c) > 0 )，且 ( c ) 是 ( f(x) ) 的极值点。

构造多项式 ( h(x) = f(x) - f(c) )，显然 ( h(c)=h'(c)=0 )，因此 ( (x-c)^2 ) 是 ( h(x) ) 的因式，即：
[ h(x) = (x-c)^2 k(x) ]
其中 ( k(x) ) 是 ( n-2 ) 次实系数多项式，整理得：
[ f(x) = (x-c)^2 k(x) + f(c) ]

因为 ( f(x) ) 假设不可约，( f(x) ) 与 ( k(x) ) 必互素（否则 ( k(x) ) 的非平凡公因式会成为 ( f(x) ) 的因式，与不可约矛盾）。

接下来，对于 ( n=2k ) 次的偶次多项式，我们可以通过构造性方法证明它能分解为两个 ( k ) 次实多项式的乘积：
以四次多项式为例，设 ( f(x) = x^4 + ax^3 + bx^2 + cx + d )（无实根则 ( d>0 )），尝试将其写成 ( (x^2 + mx + n)(x^2 + px + q) )，展开后对比系数得到方程组，其中关于 ( m ) 的方程是三次方程——奇次方程必有实根，因此存在实数解 ( m,p,n,q )，即四次多项式可分解为两个二次多项式的乘积。

对于更高次的偶次多项式，重复这个逻辑：若 ( n=2k )，则可分解为两个 ( k ) 次实多项式的乘积；若 ( k ) 为奇数，则该 ( k ) 次多项式必有实根，可进一步分解出一次因式；若 ( k ) 为偶数，则继续分解，最终所有因式都会是一次或不可约二次的。

结论 #

通过归纳法结合介值定理、多项式除法等初等工具，我们完全避开了复数，证明了实系数非常数多项式的因式分解结论。

内容的提问来源于stack exchange，提问作者user233467