Тоді з рівності

x⁴ + 2x³ – 3x² – 5x + 2 = adx⁴ + (am + bd)x³ + (an + bm + cd)x² + (bn + cn)x + cn

маємо

(2)

Розв‘яжемо цю систему рівнянь в цілих числах. Знаходимо a = d = 1 або
a = d = –1, з останнього рівняння – c = 1, n = 2, c = 2, n = 1, c = –2, n = –1, c = –1, n = –2. Розглянемо кожен з восьми можливих варіантів.

1) Якщо a = d = 1, c = 1, n = 2, то маємо систему:

.

Ця система несумісна.

2) У кожному з решти варіантів несумісними є також системи рівнянь:

Це означає, що система рівнянь (2) несумісна і многочлен f(x) не розкладається в добуток двох многочленів другого степеня з цілими коефіцієнтами.

Припустимо, що розклад (1) виконується при дробових числах a, b, c, d, m, n. Зведемо до найменшого спільного знаменника коефіцієнти многочленів g₁(x) = ax² + bx + c, g₁(x) = dx² + mx + n та винесемо за дужки ці знаменники і найбільші спільні дільники чисельників обох многочленів. Одержуємо розклад

,

де (r, s) = (a₁, b₁, c₁) = (d₁, m₁, n₁) = 1.

Оскільки коефіцієнти многочлена f(x) є цілими числами, то всі коефіцієнти многочлена мають ділитися на число s, а тому й на кожен його простий дільник р.

Разом з тим, серед кожної трійки чисел a₁, b₁, c₁ та d₁, m₁, n₁ знайдуться числа, які не діляться на р. тому серед коефіцієнтів a₁d₁, a₁m₁ + b₁d₁,
a₁n₁ + b₁m₁ + c₁d₁, b₁n₁ + c₁m₁ і c₁n₁ многочлена g(x) знайдеться такий, що не ділиться на р. тому s = 1 і ми дістанемо розклад (1) з цілими коефіцієнтами, що неможливо.

Нехай f(x) =(ax + b)(cx³ + dx² + mx + n). Тоді з рівності

x⁴ + 2x³ – 3x² – 5x + 2 = acx⁴ + (ad + bc)x³ + (am + bd)x² + (an + bm)x + bn

маємо:

Одним з розв‘язків цієї системи є a = c = n = 1, b = 2, d = 0, m = –3. Отже, f(x) = (x + 2)(x³ – 3x + 1), тобто многочлен f(x) звідний у полі Q.

Додаток: таблиці первісних коренів та індексів