Возводим в куб и факторизуем:
Код:
? factor((x^3-4*x^2-5*x+6)^3-(7*x^2+9*x-4))
%1 =
[x - 5 1]
[x^2 + x - 1 1]
[x^6 - 8*x^5 + 7*x^4 + 49*x^3 - 31*x^2 - 57*x + 44 1]
С первыми двумя множителями все понятно. А вот третий - увы, в радикалах не разрешим (проверил с помощью
GAP и RadiRoot). И более того, действительных корней у него нет:
Код:
? polsturm(%1[3,1])
%2 = 0