Вообще, по-хорошему надо ещё разложить P := x^4 - 3x^2 + 9 на произведение двух квадратных трёхчленов. Найдите корни биквадратного уравнения P = 0 (комплексные), приведите их в тригонометрическую форму. Это — корни уравнения P = 0 в виде x^2. Извлеките из них корни, и получите 4 числа. Затем разложите многочлен P по теореме Безу на четыре множителя вида (x - x_i). Если перемножить попарно скобки (x - x_i) и (x - x*_i), то получите то, что нужно.