Довольно часто работая с SciPy,Numpy,Matplolib in Python я использую известную Теорему Алгебры о том,что многочлен степени "N" над полем комплексных чисел имеет ровно "N" корней, в частности если коэффициенты у него вешественны , то возможны только пары комплексно-сопряженных корней. У меня возникает к Вам вопрос - как доказать одну из простейших теорем МТФКП ?
Это даже для программистов не является аксиомой.