有理数域上多项式不可约性证明：求易用引理与判别法（除Eisenstein判别法）
嘿，作为经常处理多项式不可约性问题的人，我整理了几个除了Eisenstein判别法之外，上手快、实用性拉满的工具，帮你证明有理数域上多项式的不可约性：
1. 有理根定理的反向应用
首先得提有理根定理：若整系数多项式 f(x) = aₙxⁿ + ... + a₁x + a₀ 有有理根 p/q（既约分数），则 p|a₀ 且 q|aₙ。
它的反向实用推论是：
- 如果多项式次数是2或3，且没有任何有理根，那么它在
ℚ[x]中一定不可约（因为可约的话必然能分解出一次因式，对应有理根）。 - 对于次数≥4的多项式，无有理根只是必要条件（不能排除分解为高次因式乘积的可能），但可以结合其他方法快速排除可约性。
举个例子：f(x) = x³ + x + 1，根据有理根定理，可能的有理根是±1，代入得f(1)=3≠0，f(-1)=-1≠0，没有有理根，而它是三次多项式，因此在ℚ[x]中不可约。
2. 模p判别法（Mod p Irreducibility Test）
这是我最常用的工具之一，核心逻辑是：
取一个素数p，不整除多项式的首项系数，把f(x)的系数模p得到有限域𝔽ₚ[x]中的多项式f̅(x)。如果f̅(x)在𝔽ₚ[x]中不可约，那么原多项式f(x)在ℚ[x]中一定不可约。
注意：如果模
p后f̅(x)可约，原多项式不一定可约，换个素数p试试就行。
例子：证明f(x) = x⁴ + x³ + x² + x + 1在ℚ[x]中不可约。
取p=2，模2后得到f̅(x) = x⁴ + x³ + x² + x + 1：
- 首先它没有一次根：代入
x=0得1，x=1得1+1+1+1+1=1≠0； - 假设它能分解为两个二次多项式的乘积：
(x²+ax+b)(x²+cx+d)，展开后对比系数模2：bd=1→b=d=1；a+c=1；ac + b + d = ac=0；ad+bc=a+c=1。但ac=0意味着a=0或c=0，此时a+c=0≠1，矛盾。
因此f̅(x)在𝔽₂[x]中不可约，原多项式在ℚ[x]中不可约。
3. 高斯引理的实用推论
高斯引理告诉我们：ℚ[x]中的多项式可约，当且仅当它能分解为两个次数≥1的整系数多项式的乘积。
这个推论把有理数域的问题转化为整数域的问题，我们可以通过分析整系数因式分解的系数约束来导出矛盾：
假设f(x)=g(x)h(x)，g,h∈ℤ[x]，deg g≥1，deg h≥1，那么对任意整数a，f(a)=g(a)h(a)，所以g(a)和h(a)都是f(a)的整数因数。结合这个性质，代入几个整数a，就能通过因数分解的可能性排除可约性。
例子：证明f(x)=x⁴+1在ℚ[x]中不可约。
假设它可约，必然能分解为两个二次整系数多项式：(x²+ax+b)(x²+cx+d)=x⁴+(a+c)x³+(ac+b+d)x²+(ad+bc)x+bd
对比系数得：
bd=1→b=d=1或b=d=-1；a+c=0（因为x³系数为0）；ac+b+d=0（因为x²系数为0）；ad+bc=0（因为x系数为0）。
当b=d=1时，ac+2=0，结合a=-c得-c²+2=0→c²=2，不是整数，矛盾；
当b=d=-1时，ac-2=0，结合a=-c得-c²-2=0→c²=-2，也无整数解。
因此x⁴+1在ℤ[x]中不可约，故在ℚ[x]中不可约。
4. Perron判别法
这个判别法对首一整系数多项式特别友好：
设f(x)=xⁿ + aₙ₋₁xⁿ⁻¹ + ... + a₀是首一整系数多项式，如果|aₙ₋₁| > 1 + |aₙ₋₂| + ... + |a₀|，那么f(x)在ℚ[x]中不可约。
例子：f(x)=x⁵ - 7x⁴ + 3x² - x + 1，这里|a₄|=7，右边的和是1+3+1+1=6，满足7>6，因此直接得出f(x)在ℚ[x]中不可约。
注意：如果等号成立，判别法失效，需要用其他方法验证（比如
x²+x+1满足|a₁|=1=|a₀|，但它是不可约的）。
5. Cohn判别法
这个判别法针对首一、非负整系数的多项式，条件有点特殊但好用：
设f(x)是首一整系数多项式，所有系数a₀,a₁,...,aₙ都是非负整数，若存在整数b > max{a₀,a₁,...,aₙ}，使得f(b)是素数，那么f(x)在ℚ[x]中不可约。
例子：f(x)=x³+2x+5，所有系数非负，最大系数是5，取b=6（>5），计算得f(6)=6³+2*6+5=216+12+5=233，233是素数，因此f(x)在ℚ[x]中不可约。
6. 反证法+因式分解次数分析
这不算特定判别法，但却是解决复杂问题的核心思路：
假设多项式可约，分解为两个次数更低的整系数多项式，然后通过对比系数、代入特殊值、分析奇偶性/模某个数的性质等方式，导出矛盾，从而证明原多项式不可约。
比如前面x⁴+1的例子，以及模p判别法中的反证步骤，都是这个思路的体现。
内容的提问来源于stack exchange，提问作者Dimtsol
