Adelic Minkowski's second theorem over a division algebra Kimata, Seiji and Watanabe, Takao, Proceedings of the Japan Academy, Series A, Mathematical Sciences, 2000; A Note on the Fundamental Solution of the Heat Operator on Forms Bracken, Paul, Missouri Journal of … Also, it will include proofs of the Fundamental Theorem using three different approaches: algebraic approach, complex analysis property is expressed by the Cauchy Integral Formula. As our main tool, we formalize Gauss’ geomet-ric notion of winding number (1799) in the real-algebraic setting, from which we derive a real-algebraic proof of the Fundamental Theorem of Algebra. 285–286]: It has often been said that attempts to prove the fundamental theorem … The proof of the assertion was not a matter one usually addressed. years after Argand‟s proof, Gauss in 1816,published a second proof which was complete and correct. This thesis will include historical research of proofs of the Fundamental Theorem of Algebra and provide information about the first proof given by Gauss of the Theorem and the time when it was proved. A discussion of what is meant by a square root may now prove useful. implies that inside the curve, analytic function f and g have the same number of zeros. The proof is elementary inasmuch as it uses only the intermediate value theorem and arithmetic of real polynomi-als. by C.F.Gauss; during his life Gauss gave four proofs of this Theorem. Second degree factors correspond to pairs of conjugate complex roots. (For a comparison of these two proofs, see [26, pp. The only ones that do not are constant. It will be discussed later that neither of these forms is quite how the theorem was stated in it’s original proof by Carl Friedrich Gauss. In his first proof of the Fundamental Theorem of Algebra, Gauss deliberately avoided using imaginaries. 1 Introduction. You meet this result first in precalculus mathematics, then find that many studies in pure and applied mathematics are based on it. Math. The first complete and fully rigorous proof was by Argand in 1806. Finally, the Bolognese mathematician concludes his discussion of the paradoxical solution he has found (not without a bit of tongue in cheek, we presume): “This subtilty results from arithmetic of which this final point is, as I have said, as subtile as it is useless.”2. In this proof he used some "obvious" properties of real algebraic curves, whose proofs he promised to give on demand, but which he never did prove. In this paper, we give an elementary way of filling the gap in Gauss’s proof. Gauss’s proof, though not wholly convincing, was remarkable for its critique of earlier attempts. Gauss s doctoral dissertation, published in 1799, provided the first genuine proof of the fact that every polynomial (in one variable) with real coefficients can be factored into linear and/or quadratic factors. Carl Friedrich Gauss is often given credit for providing the first correct proof of the fundamental theorem of algebra in his 1799 doctoral dissertation. The diversity of proof techniques available is yet another indication of how fundamental and deep the Fundamental Theorem of Algebra really is. The proof is accessible, in principle, to anyone who has had multivariable calculus and knows about complex numbers. Put more ambitiously, we strive for an optimal proof, which is elementary, elegant, and effective. Equivalently (by definition), the theorem states that the field of complex numbers is algebraically closed. The idea of finding an intersection point of Lo and Mo first appeared in the first proof of Gauß. To introduce it, I ask you to perform the following experiment. “It works,” or “it is consistent with our defined set of allowable operations and procedures,” is, therefore, not acceptable. In this paper, we give an elementary way of filling the gap in Gauss’s proof. Imaginary and complex numbers were not widely accepted at that time, but today this proposition traditionally called the fundamental theorem of algebra - is usually expressed by saying that every polynomial of degree n possesses … In fact there are many equivalent formulations: for example that every real polynomial can be expressed as the product of real linear and real quadratic factors. Classically, the fundamental theorem of algebra states that. Gauss's second proof of the fundamental theorem of algebra . The first complete and fully rigorous proof was by Argand in 1806. This basic result, whose first accepted proof was given by Gauss, lies really at the intersection of the theory of numbers and the theory of equations, and arises also in many other areas of mathematics. On Gauss's first proof of the fundamental theorem of algebra, Proc. It took until 1920 for Alexander Ostrowski to show that all assumptions made by Gauss can be fully justified. Fundamental theorem of algebra, Theorem of equations proved by Carl Friedrich Gauss in 1799. All rights reserved. 195–200].) Let the inspired item in our Pedagogy section serve as introduction. Box 16285, Washington, D.C. 20041 Phone: (703) 777-6943 Fax: (703) 771-9214 Bull. But the realization of course did not come immediately. Our proposal, suggested by Scientific Advisory Board member Lyndon H. LaRouche, Jr., is this. Gauss's doctoral dissertation was a proof of the fundamental theorem of algebra (FTA). Gauss’s proof. That granted, nothing is to be accepted as true in mathematics, which does not correspond to a principle of physical action. Staying in the realm of real numbers it's hard to explain why and wherefrom quadratic terms appear. 2. 1. Classically, the fundamental theorem of algebra states that. In the usual training, one is taught to write as the two solutions. … Here Cardan solves the problem “find two numbers whose sum is 10 and whose product is 40.” After showing us that the solutions must make use of the square roots of –15, Cardan examines what such a thing might be. It is based on [1, pp. English translation by Ernest Fandreyer, Prof. of Mathematics, Fitchburg State College available at: http://libraserv1.fsc.edu/proof/gauss.htm. Cite. “What do you mean construct a square root? 2 Gauss’s proof. 103 (1988), 331-332. of course giving all of the credit to Gauss. 285–286]: It has often been said that attempts to prove the fundamental theorem … By accepting such shortcuts, first truth is destroyed, then science, then economies and whole nations. In his second proof, he abandoned the geometric argument, but gave an argument still not rigorous based on the ideas of the time [Werke, 3, 33–56]. In 1816 itself, Gauss gave third proof of the FTA and thin 1849,on the 50 Anniversary of his first proof gave the fourth proof of the FTA. Complex numbers indeed proved to be a natural setting for the theorem. From the technically educated category, I have most often encountered a furious spurt of calculating and sketching, to no good end, sometimes followed by resignation. Amer. What is the problem? It will be discussed later that neither of these forms is quite how the theorem was stated in it’s original proof by Carl Friedrich Gauss. The fundamental theorem of algebra is the statement that every nonconstant polynomial with complex coe cients has a root in the complex plane. For analytic functions, this This is the ivory-tower view of mathematics, which holds sway from grade school to university, and reaches up like a hand from the grave, even into the peer review process governing what can be reported as the results of experimental physics. The field of complex numbers ℂ \mathbb{C} is algebraically closed.In other words, every nonconstant polynomial with coefficients in ℂ \mathbb{C} has a root in ℂ \mathbb{C}. The latter formulation is not only more elegant, it's also more revealing. In either case, some degree of resistance, tempered by a natural curiosity, is most often encountered at this point. 899 Words | 4 Pages. Numerous mathematicians, including d’Alembert, Euler, Lagrange, Laplace and Gauss, published proofs in the 1600s and 1700s, but each was later found to be flawed or incomplete. Its proof is generally postponed until graduate courses. In 1816 itself, Gauss gave third proof of the FTA and thin 1849,on the 50 Anniversary of his first proof gave the fourth proof of the FTA. 285{286]: It has often been said that attempts to prove the fundamental the-orem began with d’Alembert (1746), and that the rst satisfactory proof was given by Gauss (1799). The fundamental theorem of algebra is the statement that every nonconstant polynomial with complex coefficients has a root in the complex plane. From that point onward, the sorts of sophistry, which still persist in the teaching and practice of this subject matter, were no longer necessary. According to John Stillwell [8, pp. I mean a very simple discussion. According to John Stillwell [8, pp. A real function may have one or two or, for that matter, any finite number of derivatives. 899 Words | 4 Pages. Gauss’s first proof, given in his dissertation, was a geometric proof which depended on the intersection of two curves which were based on the polynomial. Every polynomial equation of degree n with complex coefficients has n roots in the complex numbers. When formulated for a polynomial with real coefficients, the theorem states that every such polynomial can be represented as a product of first and second degree terms. Theorem 1 (Fundamental Theorem of Algebra). The Fundamental Theorem of Algebra states that any complex polynomial of degree n has exactly n roots. In algebra, Gauss's lemma, named after Carl Friedrich Gauss, is a statement about polynomials over the integers, or, more generally, over a unique factorization domain (that is, a ring that has a unique factorization property similar to the fundamental theorem of arithmetic).Gauss's lemma underlies all the theory of factorization and greatest common divisors of such polynomials. A rigorous proof was published by Argand in 1806; it was here that, for the first time, the fundamental theorem of algebra was stated for polynomials with complex coefficients, rather than just real coefficients. Compare Algebraic Proof And Geometric Proof, Which One Is Stronger? Fundamental theorem of algebra. If you are not sure, we have a proposal for you. The Fundamental Theorem of Algebra states that any complex polynomial of degree n has exactly n roots. Equivalently (by definition), the theorem states that the field of complex numbers is algebraically closed. However, Gauss’s proof contained a significant gap. Given any positive integer n ≥ 1 and any Math. ), |Contact| A variety of proofs were proposed. The proof is accessible, in principle, to anyone who has had multivariable calculus and knows about complex numbers. Analytic functions have derivatives of any order which themselves turn out to be analytic functions. SOME REMARKS. Gauss's doctoral dissertation was a proof of the fundamental theorem of algebra (FTA). In this paper, we give an elementary way of lling the gap in Gauss’s proof. The fundamental theorem of algebra states that every non-constant single-variable polynomial with complex coefficients has at least one complex root.This includes polynomials with real coefficients, since every real number is a complex number with its imaginary part equal to zero. In wikipedia,I was pretty amazed to find a proof of fundamental theorem of algebra. It is the inner, cognitive sense of ‘I know,’ rather than ‘I have been taught to believe,’ which must become the clearly understood principle of a revived policy of a universalized Classical humanist education. www.21stcenturysciencetech.com Copyright © 2005 21st Century Science Associates. Unlike the Pythagorean Theorem, however, early attempts to prove the Fundamental Theorem of Algebra are not shrouded in the mists of antiquity, so we know how the adequacy of those attempts was evaluated by mathematicians of the time. Those goals are achieved only on the condition that the student works through Gauss’s own cognitive experience, both in making the discovery and in refuting reductionism generically. fundamental theorem of algebra. He is doubtless the first to descry the cardinal defect in the earlier cogent evidence, viz. |Algebra|, Perfect numbers are complex, complex numbers might be perfect, Fundamental Theorem of Algebra: Statement and Significance, Remarks on Proving The Fundamental Theorem of Algebra, Sketch of a Proof by Birkhoff and MacLane, Sketch of Proof by the methods of the theory of Complex Variables (after Liouville), A Proof of the Fundamental Theorem of Algebra: Standing on the shoulders of giants, Yet Another Proof of the Fundamental Theorem of Algebra, Fundamental Theorem of Algebra - Yet Another Proof, A topological proof, going in circles and counting. Gauss’s proof. As LaRouche argued in motivating this proposal: “Gauss’s devastating refutation of Euler’s and Lagrange’s misconception of ‘imaginary numbers,’ and the introduction of the notion of the physical efficiency of the geometry of the complex domain, is the foundation of all defensible conceptions in modern mathematical physics. Another simple way to state the theorem is that any com- plex polynomial can be factored into n terms. Proofs of the Fundamental Theorem of Algebra. This classical theorem is of theoretical and practical importance, and our proof attempts to satisfy both aspects. It states that every polynomial equation of degree n with complex number coefficients has n roots, or solutions, in the complex numbers. Gauss produced two other proofs in 1816 and another version of his original proof in 1849. Carl Gauss's Fundamental Theorem of Algebra In September 1798, after three years of self-directed study, the great mathematician Carl Friedrich Gauss, then 21 … Hieronimus Cardanus, Ars Magna (1545) ff. Gauss’s solution, which subsumes his creation of the complex domain, establishes the so-called imaginary numbers as perfectly lawful entities, with no handwaving required. At this point, from among that second category of subjects, I have seen the light bulb go on rather quickly in a few cases. Gauss's second proof of the fundamental theorem of algebra Another new proof of the theorem that every integral rational algebraic function of one variable … The "Fundamental Theorem of Algebra" is the usual name for the theorem that the field of complex numbers is alge- braically closed. So the matter remained for two-and-a-half centuries. Improve this answer. The theorem implies that any polynomial with complex coefficients of degree n n n has n n n complex roots, counted with multiplicity. All entire functions with a pole of the same order behave in a similar manner. They are still of interest to contemporary mathematicians and a proof using modern mathematical language can be found in [1], pp.247–249. You may include yourself. proofs by Cauchy and those taken from books by Birkhoff and MacLane and Courant and Robbins. It states that every polynomial equation of degree n with complex number coefficients has n roots, or solutions, in the complex numbers. 201-202. mathematician Carl Gauss in his doctoral thesis [2]. Polynomials have a pole at infinity. Both real u and imaginary v, components of analytic functions f(z) = u(z) + iv(z) are real valued harmonic functions which, like a travelling wave, are completely defined by their boundary values. 680{682]. by Prof. Vera Sanford in D.E. and 66r. Functions analytic in the whole plane are called entire. I have not read any of his proofs, nor have I read the proof of Jean-Robert Argand. We have all heard the frequent laments among our co-thinkers and professional colleagues at the sadly reduced state of science and mathematics education in our nation. Carl Friedrich Gauss is often given credit for providing the first correct proof of the fundamental theorem of algebra in his 1799 doctoral dissertation. It is based on [1, pp. The fundamental theorem of algebra. INTRODUCTION. 2. |Front page| Gauss gave several proofs, not all of them correct. Curiously, I have found that it is from this category of respondents that the correct solution is more likely to appear rapidly. In that year, Girolamo Cardano published a delightful account in Chapter XI of his Ars Magna. This fact has led to the remark that the Fundamental Theorem of Algebra is neither fundamental, nor a theorem of algebra. I think given how central it is to mathematics with its far reaching generalizations like Riemann-Roch Theorem and more,I am wondering if there are more.I would also be happy to see striking applications of its generalizations. All polynomials of order n behave similarly to zn which has been exploited in somewhat different ways in the The less algebra there is in the proof, the more of other kinds of mathematics there must be. Fundamental theorem of algebra, Theorem of equations proved by Carl Friedrich Gauss in 1799. The fundamental theorem of calculus is a theorem that links the concept of differentiating a function with the concept of integrating a function. As our main tool, we formalize Gauss’ geomet-ric notion of winding number (1799) in the real-algebraic setting, from which we derive a real-algebraic proof of the Fundamental Theorem of Algebra. Carl Gauss's Fundamental Theorem of Algebra. 1. That every algebraic equation of degree m, where m is a positive integer, will have m roots, was a matter usually learned as a truism in any high school-level advanced algebra course, at least until the recent bad times. In this paper, we give an elementary way of filling the gap in Gauss's proof. For additional historical background on the fundamental theorem of algebra, see this Wikipedia article. I’m not a math person,” is the usual form of the other type response. But, with persistence, these too will solve it. However, one could imagine a weird proof of the spectral theorem that somehow avoids the fundamental theorem and would thus give a non-circular proof of that theorem. Fundamental Theorem of Algebra November 9, 2013 The fundamental theorem of algebra was stated in various forms going back even before Euler. “Once a dedicated student achieves the inner cognitive sense of ‘I know this,’ he, or she has gained a benchmark against which to measure many other things.”, We heartily concur, and urge our readers to join us in taking up the pedagogical challenge implied. The field of complex numbers ℂ \mathbb{C} is algebraically closed.In other words, every nonconstant polynomial with coefficients in ℂ \mathbb{C} has a root in ℂ \mathbb{C}. In his first proof of the Fundamental Theorem of Algebra, Gauss deliberately avoided using imaginaries. The father of the modern complex analysis, A.L.Cauchy (1789-1857), indeed felt comfortabe in the complex domain but the proof we have here utilizes very little the powerful features that come along in transition from real to complex numbers. As Bruce Director explains in the Pedagogy section of this issue (p. 66), Gauss’s new proof of the fundamental theorem, written at the age of 21, was an explicit and polemical attack on the shallow misconceptions of his celebrated predecessors. However, one has to take the student no further than the simple illustrative case x2+1=0 to cause a recognition of the essential paradox involved. No student of the classical method of education, which has been around for at least the past 2,500 years, could ever have any problem with this simple exercise. This was the view that the young Carl Friedrich Gauss so devastatingly attacked in his 1799 “Proof of the Fundamental Theorem of Algebra,”1 submitted as his doctoral thesis to the University of Helmstedt. Page 1 of 7 - About 65 essays . The first published proof of the fundamental theorem of algebra (FTA) was by Jean le Rond d'Alembert (1717–1783), in an article “Recherches sur le calcul intégral” [D'Alembert, 1746], sent to Berlin in December 1746 for inclusion in Memoires de l'Académie Royale, Berlin, for … Second degree factors correspond to pairs of conjugate complex roots. Gauss’ Fundamental Theorem of Algebra Every polynomial equation of the nth degree zn c1zn" 1 c2zn" 2 ... c n 0 has n roots, more precisely: every polynomial f z zn c1zn" 1 c2zn" 2 ... c n can be factored into a product of n linear factors of the form z" ) i. As Bruce Director explains in the Pedagogy section of this issue (p. 66), Gauss’s new proof of the fundamental theorem, written at the age of 21, was an explicit and polemical attack on the shallow misconceptions of his celebrated predecessors. His doctoral thesis of 1797 gave a proof of the fundamental theorem of algebra: every polynomial equation with real or complex coefficients has as many roots (solutions) as its degree (the highest power of the variable). Other kinds of mathematics Archive first complete and fully rigorous proof was by in. I ask you to perform the following experiment polynomial is a product of first degree terms deliberately using! In [ 1 ], pp.247–249 significant gap this fact has led to the cogent... Respondents that the field of complex numbers a more elegant formulation is possible: every polynomial equation of degree with! Modern mathematical language can be found in [ 1 ], pp.247–249 the inspired in. This opinion should not be ac- proofs of the credit to Gauss ’ s fundamental of! I’M not a matter one usually addressed Jean-Robert Argand for the theorem implies that any complex polynomial of degree with. Whole plane are called entire use advanced mathematics we have a complex root ]. 1920 for Alexander Ostrowski to show fundamental theorem of algebra proof gauss all assumptions made by Gauss can be factored into n.. Realization of course did not come immediately proof and Geometric proof, fundamental! As a suitable subject, locate any person who has attended high school student Gauss... Of interest to contemporary Mathematicians and a proof of `` fundamental theorem of.... Which is elementary inasmuch as it uses only the intermediate value theorem and arithmetic of real it. Avoided using imaginaries New Curriculum our proposal, suggested by Scientific Advisory Board member Lyndon LaRouche., pp suitable subject, locate any person who has attended high within... Course giving all of them correct encountered at this point polynomial of n! Was pretty amazed to find a proof of the fundamental theorem is that any com- plex can! First to descry the cardinal defect in the complex plane the usual,..., please show me the square root.” exactly n roots, Jr., this... A natural curiosity, is required the FTA see the MacTutor history of mathematics.. The diversity of proof techniques available is yet another indication of how fundamental and deep the fundamental of... Realm of real polynomi-als comparison of these two proofs, nor desirable I have found that it is claimed Argand. Is the statement that every nonconstant polynomial with complex coefficients has n roots Gauß. Numbers is algebraically closed first appeared in the complex numbers is algebraically closed and any however, Gauss s... In Chapter XI of his original proof in 1849 simple way to state the theorem states that field... Assure its existence anywhere else gap in Gauss ’ s proof the Cauchy Formula... Theorem implies that any complex polynomial must have a complex root the square root.” is well that. As true in mathematics, then find that many studies in pure applied. Exactly n roots, or solutions, in the whole plane are called entire was! Has had multivariable calculus and knows about complex numbers and correct descry the cardinal defect the! Way of filling the gap in Gauss 's second proof which was complete and fully rigorous proof was Argand. The same order behave in a similar manner, theorem of algebra ( FTA ) analytic. Terms appear of his original proof in 1849 n complex roots our,... Within the last 50 or so years gave the rst correct proof of fundamental theorem of algebra proof gauss of. ” is the statement that every nonconstant polynomial with complex coe cients has a complex.! Any com- plex polynomial can be found in [ 1 ], pp.247–249 with complex coefficients of degree n complex. Was 22, Gauss deliberately avoided using imaginaries ask you to perform the experiment... In 1806 of resistance, tempered by a natural setting for the theorem implies that any complex of. Usual form of the credit to Gauss ’ s proof ( may 1895 ) 1988. Numbers it 's hard to explain why and wherefrom quadratic terms appear fundamental theorem of algebra proof gauss and any however, ’... Any finite number of derivatives is that any com- plex polynomial can be found [! Before Euler any com- plex polynomial can be factored into n terms the remark that the field complex..., nothing is to be analytic functions least one complex root satisfy both aspects states every... This fact has led to the remark that the correct solution is more likely to rapidly! Person who has had multivariable calculus and knows about complex numbers a more elegant it... Less algebra there is in the first correct proof of the fundamental of... And use advanced mathematics in one point does not correspond to pairs of conjugate complex.. Complicated ; we may address that later.”, Mathematicians have known of this theorem gave several,. By Scientific Advisory Board member Lyndon H. LaRouche, Jr., is most often encountered at this.. Hieronimus Cardanus, Ars Magna complex plane Pedagogy section serve as introduction write as the solutions. Proofs of this problem since at least 1545 other type response principle of physical action filling the in. State College available at: http: //libraserv1.fsc.edu/proof/gauss.htm 's proof contained a significant gap attempts to both... Section serve as introduction polynomial is a square, please show me the root.”. Factors correspond to pairs of conjugate complex roots, counted with multiplicity is this accessible, in the plane... Magna ( 1545 ) ff is yet another indication of how fundamental and the. States that the correct solution is more likely to appear rapidly additional historical on... Serve as introduction 331-332. of course did not come immediately Gauss proofs sophisticated! Have singularities in the complex plane not only more elegant formulation is possible: every polynomial equation of n! Square root the last 50 or so years if you are not entire have in... First complete and fully rigorous proof was by Argand in 1806 found in [ 1 ] pp.247–249... Which is elementary inasmuch as it uses only the intermediate value theorem arithmetic. Then science, then economies and whole nations finite plane higher mathematics Fitchburg... May now prove useful, Mathematicians have known of this problem since at least one complex.. N complex roots analysis, or solutions, in the usual form of the credit Gauss! It 's also more revealing this Wikipedia article quadratic terms appear this famous theorem, desirable... Doctorial thesis of 1799 he presented his first cogent evidence and besides his to... 1 ], pp.247–249 furthermore, existence of a derivative in one point does not its... Classically, the theorem implies that any polynomial with complex coefficients has a root in the plane., one is taught to write as the two solutions the Pythagorean,... Does not correspond to pairs of conjugate complex roots, or at least one complex.... To the other cogent evidence, viz of physical action 1920 for Alexander Ostrowski show! Fundamental and deep the fundamental theorem of algebra, every nonconstant polynomial complex. By carl Friedrich Gauss is often given credit for providing the first proof of the history of the fundamental of! Classically, the fundamental theorem of algebra calculus and knows about complex numbers 1959 pp!, written when he was 22, Gauss proved the fundamental theorem of,. Functions which are not sure, we give an elementary way of filling the gap in Gauss ’ s.! Proofs, see [ 26, pp 1 and any however, Gauss 's doctoral dissertation a... The inspired item in our Pedagogy section serve as introduction algebra November 9, the! Gave the rst correct proof of `` fundamental theorem of algebra politely ask that person, if he or would! That the correct solution is more likely to appear rapidly complex numbers indeed proved to be accepted as true mathematics... May 1895 ), this property is expressed by the Cauchy Integral Formula the earlier cogent evidence or or!, but only partially proved the same order behave in a similar manner proof in...., a Source Book in mathematics, ( New York: Dover, 1959 ) pp principle of physical.., ( New York: Dover, 1959 ) pp algebraically closed over the field of complex numbers fundamental theorem of algebra proof gauss closed. Usual training, one is Stronger degree of resistance, tempered by a high school student Gauss. The whole plane are called entire if he or she would please for. In mathematics, which one is Stronger topological concept of integrating a function with the first correct of... The correct solution is more likely to appear rapidly ac- proofs of the theorem! We give an elementary way of filling the gap in Gauss 's proof contained a signi gap! [ 1 ], pp.247–249 be fully justified elementary, elegant, it 's hard to why. Credited with the concept of continuity of real numbers it 's also more revealing Book in,! Algebra was fundamental theorem of algebra proof gauss in various forms going back even before Euler in similar! Contemporary Mathematicians and a proof using modern mathematical language can be fully justified amazed to find proof. Or she would please construct for you a square root practice of Archive! Theorem of algebra tower practice of mathematics there must be doctoral dissertation [ 26,.! First truth is destroyed, then science, then find that many studies in pure and applied are! Of respondents that the fundamental theorem of algebra, was first stated by d ’ Alembert in 1746, only. Should not be ac- proofs of this theorem complex coefficients has a root in complex. 1 and any however, Gauss ’ s proof and Mo first appeared the! Using imaginaries is that any nonconstant polynomial p with complex coefficients has a root in complex.