A short ODE proof of the Fundamental Theorem of Algebra

Ramona Anton,Nicolae Mihalache,François Vigneron

2023-09-22

Abstract:We propose a short proof of the Fundamental Theorem of Algebra based on the ODE that describes the Newton flow and the fact that the value $|P(z)|$ is a Lyapunov function. It clarifies an idea that goes back to Cauchy.

Classical Analysis and ODEs

What problem does this paper attempt to address?

On an elementary proof of the fundamental theorem of algebra

Aivaras Novikas,Juozas Juvencijus Mačys

DOI: https://doi.org/10.1007/s10986-024-09651-1

2024-10-18

Lithuanian Mathematical Journal

Abstract:We present an elementary proof of the fundamental theorem of algebra, in which only the most basic notions of calculus are used. Considering discrete quantities instead of continuous functions allows us to obtain a proof that is fairly approachable but maintains the mathematical rigor.

mathematics
The Fundamental Theorem of Algebra: From The Four Basic Operations

Oswaldo Rio Branco de Oliveira

DOI: https://doi.org/10.4169/amer.math.monthly.119.09.753

2011-10-02

Abstract:This paper presents an elementary and direct proof of the Fundamental Theorem of Algebra, via Bolzano-Weierstrass Theorem on Minima, that avoids: every root extraction, angle, non-algebraic functions, differentiation, integration, series and arguments by induction.

Classical Analysis and ODEs,History and Overview
A simple proof of the Abel-Ruffini theorem

A. Skopenkov

DOI: https://doi.org/10.48550/arXiv.1102.2100

2011-02-10

History and Overview

Abstract:This paper is purely expositional. The statement of the Abel-Ruffini theorem on unsolvability of equations using radicals is simple and well-known. We sketch an elementary proof of this theorem. We do not use the terms 'field extension', 'Galois group' and even 'group'. However, our presentation is a good way to learn (or recall) starting idea of the Galois theory. Our exposition follows `Mathematical Omnibus' of S. Tabachnikov and D.B. Fuchs (in English, http://www.math.psu.edu/tabachni/Books/taba.pdf). The main difference is that we show how the proof could have been invented. The paper is accessible for students familiar with complex numbers, and could be an interesting easy reading for mature mathematicians. The material is presented as a sequence of problems, which is peculiar not only to Zen monasteries but also to advanced mathematical education; most problems are presented with hints or solutions.
A short proof of d'Alemberts theorem

Tord Sjödin

DOI: https://doi.org/10.48550/arXiv.1304.4261

2013-04-10

History and Overview

Abstract:A classical theorem of d'Alembert states that if a polynomial P(x) with real coefficients has a non-real root x=a+ib, then it also has a root x=a-ib. We give a short and elementary inductive proof that avoids any properties of the complex conjugation operator.
A new and elementary proof of Newton's "favorite" quadrature formulae

Cezar Lupu,Tudorel Lupu

DOI: https://doi.org/10.48550/arXiv.math/0701289

2007-01-10

Abstract:In this note we shall give a new proof to a quadrature formulae due to Newton.

Numerical Analysis
A motivic Fundamental Lemma

Arthur Forey,François Loeser,Dimitri Wyss

DOI: https://doi.org/10.48550/arXiv.2308.12195

2023-08-23

Abstract:In this paper we prove motivic versions of the Langlands-Shelstad Fundamental Lemma and Ngô's Geometric Stabilization. To achieve this, we follow the strategy from the recent proof by Groechenig, Wyss and Ziegler which avoided the use of perverse sheaves using instead $p$-adic integration and Tate duality. We make a key use of a construction of Denef and Loeser which assigns a virtual motive to any definable set in the theory of pseudo-finite fields.

Algebraic Geometry,Logic,Number Theory
A proof of the Brill-Noether method from scratch

Elena Berardini,Alain Couvreur,Grégoire Lecerf

DOI: https://doi.org/10.1145/3653002.3653004

2024-09-23

Abstract:In 1874 Brill and Noether designed a seminal geometric method for computing bases of Riemann-Roch spaces. From then, their method has led to several algorithms, some of them being implemented in computer algebra systems. The usual proofs often rely on abstract concepts of algebraic geometry and commutative algebra. In this paper we present a short self-contained and elementary proof that mostly needs Newton polygons, Hensel lifting, bivariate resultants, and Chinese remaindering.

Algebraic Geometry,Symbolic Computation
Quantitative Fundamental Theorem of Algebra

Daniel Perrucci,Marie-Françoise Roy

DOI: https://doi.org/10.48550/arXiv.1803.04358

2019-03-16

Abstract:Using subresultants, we modify a recent real-algebraic proof due to Eisermann of the Fundamental Theorem of Algebra ([FTA]) to obtain the following quantitative information: in order to prove the [FTA] for polynomials of degree $d$, the Intermediate Value Theorem ([IVT]) is requested to hold for real polynomials of degree at most $d^2$. We also explain that the classical proof due to Laplace requires [IVT] for real polynomials of exponential degree. These quantitative results highlight the difference in nature of these two proofs.

Algebraic Geometry
The Lagrange-D'Alembert Principle from the Viewpoint of ODE

Oleg Zubelevich

2024-06-14

Abstract:We construct the Lagrange-D'Alembert Principle as a pure mathematical theory that meets the modern standards of rigor. We note several new aspects of the Lagrange-D'Alembert principle but the article is mainly methodological by its substance. The article is addressed to specialists in ODE who are not experts in theoretical mechanics and to graduate students that specialize in dynamical systems.

History and Overview,Mathematical Physics
On the BCSS Proof of the Fundamental Theorem of Algebra

J. Maurice Rojas

2024-06-20

Abstract:Section 10.4 of the 1998 Springer-Verlag book {\em Complexity and Real Computation}, by Blum, Cucker, Shub, and Smale, contains a particularly elegant proof of the Fundamental Theorem of Algebra: The central idea of the proof naturally leads to a homotopy continuation algorithm for finding the roots of univariate polynomials, and extends naturally to a proof of Bézout's Theorem (on the number of roots of systems of $n$ equations in $n$ unknowns). We present a more detailed version of the BCSS Proof which is hopefully useful for students and researchers not familiar with algebraic geometry. So while there are no new results in this paper, the exposition is arguably more elementary. Any errors here are solely the responsibility of the current author.

Algebraic Geometry
On the geometric fundamental lemma of Kottwitz

Zongbin Chen

2024-10-18

Abstract:We give a proof of the geometric fundamental lemma of Kottwitz. As explained by Laumon, this implies the fundamental lemma for the unitary groups.

Algebraic Geometry
A Statement of the Fundamental Lemma

Thomas C. Hales

DOI: https://doi.org/10.48550/arXiv.math/0312227

2003-12-31

Abstract:These notes give a statement of the "fundamental lemma," which is a conjectural identity between p-adic integrals that arises as part of the Langlands program.

Representation Theory
A Geometric Proof of Fermat’s Little Theorem

Thomas Beatty,Marc Barry,Andrew Orsini

DOI: https://doi.org/10.4236/apm.2018.81004

2018-01-01

Advances in Pure Mathematics

Abstract:We present an intuitively satisfying geometric proof of Fermat's result for positive integers that for prime moduli p, provided p does not divide a. This is known as Fermat’s Little Theorem. The proof is novel in using the idea of colorings applied to regular polygons to establish a number-theo retic result. A lemma traditionally, if ambiguously, attributed to Burnside provides a critical enumeration step.

English Else
Abel-Ruffini's Theorem: Complex but Not Complicated!

Paul Ramond

DOI: https://doi.org/10.1080/00029890.2022.2010494

2020-11-06

Abstract:In this article, using only elementary knowledge of complex numbers, we sketch a proof of the celebrated Abel--Ruffini theorem, which states that the general solution to an algebraic equation of degree five or more cannot be written using radicals, that is, using its coefficients and arithmetic operations $+,-,\times,÷,$ and $\sqrt{\ }$. The present article is written purposely with concise and pedagogical terms and dedicated to students and researchers not familiar with Galois theory, or even group theory in general, which are the usual tools used to prove this remarkable theorem. In particular, the proof is self-contained and gives some insight as to why formulae exist for equations of degree four or less (and how they are constructed), and why they do not for degree five or more.

History and Overview,Algebraic Geometry
An Elementary Proof of the Existence and Uniqueness Theorem for the Navier-Stokes Equations

J. C. Mattingly,Ya. G. Sinai

DOI: https://doi.org/10.48550/arXiv.math/9903042

1999-04-08

Abstract:We give a geometric approach to proving know regularity and existence theorems for the 2D Navier-Stokes Equations. We feel this point of view is instructive in better understanding the dynamics. The technique is inspired by constructions in the Dynamical Systems.

Analysis of PDEs,Mathematical Physics,Dynamical Systems,Functional Analysis,Chaotic Dynamics,Fluid Dynamics
Note on a simple trigonometric equality

J.-P. Allouche

DOI: https://doi.org/10.1007/s11139-024-00840-7

2024-03-25

The Ramanujan Journal

Abstract:In a recent paper Vinay, Shweta, and Harshitha use Ramanujan's theta functions to prove several trigonometric equalities. Elementary proofs for some of these equalities were given by the author and Zeilberger, then for all but one by Berndt, Kim, and Zaharescu. The remaining equality was proved in the same paper of Berndt, Kim, and Zaharescu in a non-totally elementary way, in that it uses a result of Gauss in cyclotomy: here we give an elementary proof of the same equality. Also we show how to use automated tools to discover and prove some generalizations.

mathematics
A short elementary proof of the insolvability of the equation of degree 5

A. Skopenkov

DOI: https://doi.org/10.48550/arXiv.1508.03317

2015-08-13

History and Overview

Abstract:We present short elementary proofs of the well-known Ruffini-Abel-Galois theorems on insolvability of algebraic equations in radicals. These proofs are obtained from existing expositions by stripping away material not required for the proofs (but presumably required elsewhere). In particular, we do not use the terms `Galois group' and even `group'. However, our presentation is a good way to learn (or to recall) a starting idea of Galois theory: the symmetry of a polynomial of several variables is decreased when a radical is extracted. So the note provides a bridge (by showing that there is no gap) between elementary mathematics and Galois theory. The note is accessible to students familiar with polynomials, complex numbers and permutations; so the note might be interesting easy reading for professional mathematicians.
A Simple Proof of Frobenius Theorem

Shiing-shen Chern,Jon G. Wolfson

DOI: https://doi.org/10.1007/978-1-4612-5987-9_4

1981-01-01

Abstract:Frobenius Theorem, as stated in Y. Matsushima, Differential Manifolds, Marcel Dekker, N.Y., 1972, p. 167, is the following:Let D be an r-dimensional differential system on an n-dimensional manifold M. Then D is completely integrabte if and only if for every local basis {X1,...,Xr} of D on any open set V of M , there are C∞-functvons cijkon V such that we have1$$ [{x_i},{x_j}] = \sum\limits_k {c_i^k} {j^{{x_k}}},1 \mathbin{\lower.3ex\hbox{$$\buildrel<\over{\smash{\scriptstyle=}\vphantom{_x}} $$}} i,j,k \mathbin{\lower.3ex\hbox{$$ \buildrel<\over{\smash{\scriptstyle=}\vphantom{_x}} $$}} r $$ .
A Boundedness theorem for nearby slopes of holonomic D-modules

Jean-Baptiste Teyssier

DOI: https://doi.org/10.1112/S0010437X16007533

2015-03-08

Abstract:Using twisted nearby cycles, we define a new notion of slopes for complex holonomic D-modules. We prove a boundedness result for these slopes, study their functoriality and use them to characterize regularity. For a family of (possibly irregular) algebraic connections E\_t parametrized by a smooth curve, we deduce under natural conditions an explicit bound for the usual slopes of the differential equation satisfied by the family of irregular periods of the E\_t. This generalizes the regularity of the Gauss-Manin connection proved by Katz and Deligne. Finally, we address some questions about analogues of the above results for wild ramification in the arithmetic context.

Algebraic Geometry
A proof of the Quadratic Reciprocity Law

Math Dicker

DOI: https://doi.org/10.48550/arXiv.1210.7744

2012-10-26

History and Overview

Abstract:A proof of the Quadratic Reciprocity Law is presented using a Lemma of Gauss, the theory of finite fields and the Frobenius automorfism.

A short ODE proof of the Fundamental Theorem of Algebra

On an elementary proof of the fundamental theorem of algebra

The Fundamental Theorem of Algebra: From The Four Basic Operations

A simple proof of the Abel-Ruffini theorem

A short proof of d'Alemberts theorem

A new and elementary proof of Newton's "favorite" quadrature formulae

A motivic Fundamental Lemma

A proof of the Brill-Noether method from scratch

Quantitative Fundamental Theorem of Algebra

The Lagrange-D'Alembert Principle from the Viewpoint of ODE

On the BCSS Proof of the Fundamental Theorem of Algebra

On the geometric fundamental lemma of Kottwitz

A Statement of the Fundamental Lemma

A Geometric Proof of Fermat’s Little Theorem

Abel-Ruffini's Theorem: Complex but Not Complicated!

An Elementary Proof of the Existence and Uniqueness Theorem for the Navier-Stokes Equations

Note on a simple trigonometric equality

A short elementary proof of the insolvability of the equation of degree 5

A Simple Proof of Frobenius Theorem

A Boundedness theorem for nearby slopes of holonomic D-modules

A proof of the Quadratic Reciprocity Law