IJPAM: Volume 86, No. 1 (2013)
``FUNDAMENTAL THEOREM OF ALGEBRA"
Alexandria VA 22301, USA
2Department of Computer & Information Sciences
8000 York Rd, Towson, MD 21252, USA
Abstract. The Fundamental Theorem of Algebra (FTA) has been studied for more than 300 years: more or less satisfactory proofs of FTA emerged in the 18th and 19th centuries. Proofs denoted as `algebraic' or `elementary' derived from the axioms defining a Real-Closed Field (RCF). A proof is given that brings up-to-date work of Gauss (1816) and P. Gordan (1879). It does not refer explicitly to the complex numbers but instead works with auxiliary polynomials in two variables. We report that computer software has been developed to effect symbolic calculation in the context of exact arithmetic. Some examples show how these routines apply to the algebra of symmetric multinomial forms used in Laplace's proof (1795) of FTA, as well as to the theory of Sylvester forms and the Beezoutian formulation of the resultant.
Received: April 4, 2013
AMS Subject Classification: 08-02
Key Words and Phrases: Fundamental Theorem Algebra (FTA), Real Closed Field (RCF), symmetric polynomial, symbolic calculation, error-free computing
Download paper from here.
DOI: 10.12732/ijpam.v86i1.9 How to cite this paper?
Source: International Journal of Pure and Applied Mathematics
ISSN printed version: 1311-8080
ISSN on-line version: 1314-3395