Suppose we have the following polynomial with integer coefficients

${\displaystyle f(x)=x^{n}+a_{n-1}x^{n-1}+\cdots +a_{1}x+a_{0},}$ 

where ${\displaystyle a_{0}\neq 0}$ . If either of the following two conditions applies:

• ${\displaystyle |a_{n-1}|>1+|a_{n-2}|+\cdots +|a_{0}|}$ 
• ${\displaystyle |a_{n-1}|=1+|a_{n-2}|+\cdots +|a_{0}|,\quad f(\pm 1)\neq 0}$ 

then ${\displaystyle f}$  is irreducible over the integers (and by Gauss's lemma also over the rational numbers).

The criterion was first published by Oskar Perron in 1907 in Journal für die reine und angewandte Mathematik.^[1]

A short proof can be given based on the following lemma due to Panaitopol:^[2][3]

Lemma. Let ${\displaystyle f(x)=x^{n}+a_{n-1}x^{n-1}+\cdots +a_{1}x+a_{0}}$  be a polynomial with ${\displaystyle |a_{n-1}|>1+|a_{n-2}|+\cdots +|a_{1}|+|a_{0}|}$ . Then exactly one zero ${\displaystyle z}$  of ${\displaystyle f}$  satisfies ${\displaystyle |z|>1}$ , and the other ${\displaystyle n-1}$  zeroes of ${\displaystyle f}$  satisfy ${\displaystyle |z|<1}$ .

Suppose that ${\displaystyle f(x)=g(x)h(x)}$  where ${\displaystyle g}$  and ${\displaystyle h}$  are integer polynomials. Since, by the above lemma, ${\displaystyle f}$  has only one zero with modulus not less than ${\displaystyle 1}$ , one of the polynomials ${\displaystyle g,h}$  has all its zeroes strictly inside the unit circle. Suppose that ${\displaystyle z_{1},\dots ,z_{k}}$  are the zeroes of ${\displaystyle g}$ , and ${\displaystyle |z_{1}|,\dots ,|z_{k}|<1}$ . Note that ${\displaystyle g(0)}$  is a nonzero integer, and ${\displaystyle |g(0)|=|z_{1}\cdots z_{k}|<1}$ , contradiction. Therefore, ${\displaystyle f}$  is irreducible.

In his publication Perron provided variants of the criterion for multivariate polynomials over arbitrary fields. In 2010, Bonciocat published novel proofs of these criteria.^[4]

• Eisenstein's criterion
• Cohn's irreducibility criterion