Вот решение твоего примера
a(a^4 -4a^3 +5a^2 +a -3) =0
a(a-1)(a^3 - 3a^2 +2a+3) =0
a = 0 a = 1
Если в уравнение подставить 2 , то 32 -64+40+4-6= 6, 2 не является корнем уравнения
Разделим многочлены. Получим
y=3-4/(x-1)
Таким образом, решению будут удовлетворять только значения x-1, на которые 4 делится без остатка, а такими значениями являются - 4, - 2, 1, 2, 4.
Тогда x может принимать значения
-3, - 1, 2, 3, 5
Тогда все возможные пары это
(-3,4), (-1,5), (2,-1), (3,1) и (5,2)
Ну примерно как-то так............