По-моему, топологическое доказательство всё-таки более естественно.
Теорема. Любой непостоянный многочлен с комплексными коэффициентами имеет корень.
Доказательство. Пусть степень нашего могочлена
равна
; многочлен непостоянный, поэтому
. Правило
задаёт отображение
, переводящее
в
.
, поэтому это отображение задаёт некоторый элемент
, то есть некоторое целое число; это число называется
степенью отображения
. Отображение
гомотопно отображению
, поэтому у них одинаковые степени. Но степень отображения
равна
(это не совсем очевидно, но и не очень сложно). Поэтому степень отображения
тоже равна
, в частности, оно сюръективно (несюръективное отображение гомотопно отображению в точку, степень которого, очевидно,
).
Выше можно вместо
говорить про
: отображение
индуцирует гомоморфизм
, а так как
, то это умножение на какое-то целое число; оно равно степени отображения
(можно это использовать как определение степени).
Есть статья
В. М. Тихомиров, В. В. Успенский. Десять доказательств основной теоремы алгебры.