嘿，要是你在ℚ[x]里用艾森斯坦判别法摸不清门道，先把这些基础定义和判别法本身搞透就好办了！咱们先从核心概念说起：

一、整环下的关键定义 #

• 整除：设 ( R ) 是一个整环，对于 ( a,b \in R )，如果能找到某个 ( c \in R ) 使得 ( b = ac )，我们就说 a整除b，记作 ( a \mid b )。
• 素元：还是在整环 ( R ) 里，元素 ( p \in R ) 被称为素元的话，得满足这个规则：只要 ( p ) 能整除 ( a ) 和 ( b ) 的乘积 ( ab )，那 ( p ) 要么整除 ( a )，要么整除 ( b )（记作 ( p \mid ab \implies p \mid a ) 或 ( p \mid b )）。

二、唯一分解整环（UFD）下的多项式定义 #

• 本原多项式：当 ( R ) 是唯一分解整环时，多项式 ( f \in R[x] ) 被称为本原多项式，意思是 ( f ) 的所有系数互素——也就是找不到 ( R ) 里的非单位元能整除所有系数。

三、艾森斯坦判别法（适配ℚ[x]的用法） #

首先得提一句：因为ℚ是域，同时也是唯一分解整环，结合高斯引理，我们可以把ℚ[x]里的多项式先转化成ℤ[x]中的本原多项式来用判别法，结果是完全等价的。

标准的艾森斯坦判别法内容是这样的：
设 ( R ) 是整环，多项式 ( f(x) = a_nx^n + a_{n-1}x^{n-1} + \dots + a_1x + a_0 \in R[x] )，如果能找到 ( R ) 中的一个素元 ( p )，满足三个条件：

1. 除了首项系数 ( a_n ) 之外，( p ) 能整除剩下的所有系数，也就是 ( p \mid a_i ) 对所有 ( 0 \leq i \leq n-1 ) 成立；
2. 首项系数 ( a_n ) 不能被 ( p ) 整除，即 ( p \nmid a_n )；
3. 常数项 ( a_0 ) 不能被 ( p^2 ) 整除，即 ( p^2 \nmid a_0 )；
   那这个多项式 ( f(x) ) 在 ( R[x] ) 里就是不可约的。如果 ( R = \mathbb{Z} )，那根据高斯引理，它在 ( \mathbb{Q}[x] ) 里也一定是不可约的。

另外给你个实用小技巧：有时候直接套判别法不成立，比如多项式 ( x^4 + 1 )，这时候可以做个变量替换，把 ( x ) 换成 ( x+1 )，得到 ( (x+1)^4 + 1 = x^4 + 4x^3 + 6x^2 + 4x + 2 )，这时候取 ( p=2 ) 就完美满足艾森斯坦判别法的条件了，也就证明了原多项式在ℚ[x]里不可约。

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