durapy писал(а):
А как вы пришли к такому разложению на множители? Есть какой-то способ, или это просто метод пристального взгляда?
Можно попробовать таким способом, не гарантирующим, однако, успеха.
Попытаемся разложить наш многочлен на множители второй и третьей степени с целыми коэффициентами:

.
Сравнивая коэффициенты слева и справа, получаем систему уравнений
Из последнего уравнения видим, что либо

, либо

. Подставляя каждую пару в предыдущие уравнения, после некоторой возни получаем требуемое разложение.