для комплексного корня z автоматически будет корнем и сопряженный z*, поэтому многочлен представим в виде произведений пар (x - z)*(x - z*); которые при перемножении превращаются в трехчлен с действительными коэффициентами. Если же степень многочлена НЕЧЕТНАЯ, то есть хотя бы один действительный корень. Это понятно хотя бы потому, что график такого многочлена в "плюс бесконечности" растет в "плюс бесконечность" - и наоборот, поэтому где то он пересекает действительную ось.