El criterio de Eisenstein

( )
Sea
Supongamos

que

para

un polinomio con coeficientes enteros.

algn
nmero
primo
p,
. Entonces f(x) es irreducible sobre los

racionales.
Si factorizamos el mximo comn divisor de sus coeficientes, no afecta la hiptesis que
, por lo tanto partiremos del hecho que el polinomio es primitivo.
Suponemos que f(x) es reducible sobre los racionales. Si f(x) se factoriza como un
producto de los polinomios racionales, por el lema de Gauss, podemos factorizar f(x)
como el producto de dos polinomios enteros.
( )

)(

Comparando
Por hiptesis
, por lo tanto p divide a
dos veces, entonces suponemos que
y

, debido a que
.

, p no puede dividir

No todos los coeficientes de b0,.,br pueden ser divisibles por p, de ser as todos los
coeficientes de f(x) seran divisibles por p. ya que
, lo cual
contradice
.
Sea bk el primer b que no es divisible por p, k
, . ,
.
Tenemos que
tanto
, pero
irreducible.

r < n, tenemos entonces que

, como
,y
, . ,
. Por lo
. Lo cual es una contradiccin. Por lo tanto f(x) es