Если известен один комплексный корень многочлена
, то известен и второй корень, сопряжённый ему, это будет
. Значит в разложении на линейные множители многочлена p(z) будут присутствовать такие множители :

Разделим многочлен p(z) на многочлен
. Получим

Окончательно получим
