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.

What problem does this paper attempt to address?

An elementary proof of the theorem on the imaginary quadratic fields with class number 1

James E. Carter

2024-01-14

Abstract:Let $D$ be a square-free integer other than 1. Let $K$ be the quadratic field ${\mathbb Q}(\sqrt D)$. Let $\delta \in \{1,2\}$ with $\delta=2$ if $D\equiv 1 \pmod 4$. To each prime ideal $\mathcal P$ in $K$ that splits in $K/\mathbb Q$ we associate a binary quadratic form $f_{\mathcal P}$ and show that when $K$ is imaginary then $\mathcal P$ is principal if and only if $f_{\mathcal P}$ represents $\delta^2$, and when $K$ is real then $\mathcal P$ is principal if and only if $f_{\mathcal P}$ represents $\pm \delta^2$. As an application of this result we obtain an elementary proof of the well-known theorem on the imaginary quadratic fields with class number 1. The proof reveals some new information regarding necessary conditions for an imaginary quadratic field to have class number 1 when $D\equiv 1 \pmod 4$.

Number Theory
An extension of the Hermite-Biehler theorem with application to polynomials with one positive root

Richard Ellard,Helena Šmigoc

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

2017-01-27

Abstract:If a real polynomial $f(x)=p(x^2)+xq(x^2)$ is Hurwitz stable (every root if $f$ lies in the open left half-plane), then the Hermite-Biehler Theorem says that the polynomials $p(-x^2)$ and $q(-x^2)$ have interlacing real roots. We extend this result to general polynomials by giving a lower bound on the number of real roots of $p(-x^2)$ and $q(-x^2)$ and showing that these real roots interlace. This bound depends on the number of roots of $f$ which lie in the left half plane. Another classical result in the theory of polynomials is Descartes' Rule of Signs, which bounds the number of positive roots of a polynomial in terms of the number of sign changes in its coefficients. We use our extension of the Hermite-Biehler Theorem to give an inverse rule of signs for polynomials with one positive root.

Classical Analysis and ODEs
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
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
Inductive proof of Borchardt's theorem

Andy A. Chavez,Alec P. Adam,Paul W. Ayers,Ramón Alain Miranda-Quintana

DOI: https://doi.org/10.1007/s10910-023-01561-w

2024-01-12

Journal of Mathematical Chemistry

Abstract:We provide a (strong) inductive proof of Borchardt's theorem for calculating the permanent of a Cauchy matrix via the determinants of auxiliary matrices. This result has implications for antisymmetric products of interacting geminals (APIG), and suggests that the restriction of the APIG coefficients to Cauchy form (typically called APr2G) is special in its tractability.

chemistry, multidisciplinary,mathematics, interdisciplinary applications
On the Elementary Proof of the Inverse Erdős-Heilbronn Problem

Shengning Zhang

2024-08-25

Abstract:In this article, we studied the inverse Erdős-Heilbronn problem with the restricted sumset from two components $A$ and $B$ that are not necessarily the same. We give a completely elementary proof for the problem in $\mathbb{Z}$ and some partial results that contributes to the elementary proof of the problem in $\mathbb{Z}/p\mathbb{Z}$, avoiding the usage of the powerful polynomial method and the Combinatorial Nullstellensatz.

Combinatorics
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 short proof of an identity related to Type IV superorthogonality

Yixuan Pang

2024-04-14

Abstract:We provide a much shorter but even more powerful proof of an algebraic identity, which can be used to establish the direct and the converse inequality under Type IV superorthogonality. As an application, we obtain the optimal order of the formal constant in the direct inequality. This order turns out to be also sharp for Type III superorthogonality. When $p\geq 2$, our result recovers the optimal order of the constant in the Burkholder-Gundy inequality in martingale theory, and also recovers the currently best order of the constant in the reverse Littlewood-Paley inequality. We also introduce variants of Type IV superorthogonality, under which we prove the converse inequality.

Combinatorics
A polynomial with a root mod $p$ for every $p$ has a real root

Rodrigo Angelo,Max Wenqiang Xu

2024-06-21

Abstract:We prove that if a polynomial has a root mod $p$ for every large prime $p$, then it has a real root. As an application, we show that the primes can't be covered by finitely many positive definite binary quadratic forms.

Number Theory
Real-rootedness of the type A minuscule polynomials

Ming-Jian Ding,Jiang Zeng

2024-07-07

Abstract:We prove two recent conjectures of Bourn and Erickson (2023) regarding the real-rootedness of a certain family of polynomials $N_n(t)$ as well as the sum of their coefficients. These polynomials arise as the numerators of generating functions in the context of the discrete one-dimensional earth mover's distance (EMD) and have also connection to the Wiener index of minuscule lattices. We also prove that the coefficients of $N_n(x)$ are asymptotically normal, the coefficient matrix of $N_n(x)$ is totally positive and the polynomial sequence $N_n(x)$'s is $x$-log-concave.

Combinatorics
One curious proof of Fermat's little theorem

Giedrius Alkauskas

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

2008-01-05

Number Theory

Abstract:We give a proof of Fermat's little theorem which does not use nor arithmetic(Euclidean algorithm) neither algebra (group theory), but it rather employs the field of the formal power series Q((x)). The note is an example of a mathematical joke, though it contains a rigorous proof. (The paper will appear in print exactly as in the version v3).
Elementary real analysis without compactness argument

Claude-Alain Faure

2024-10-25

Abstract:In a famous paper, R. A. Gordon proved a dozen theorems using tagged partitions and Cousin's theorem. Recently, I gave simple proofs of extreme value theorem and intermediate value theorem using the key-lemma underlying Cousin's theorem. The purpose of this paper is to present some further applications of such a lemma.

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 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 detailed proof of a theorem of Aubin

Farid Madani

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

2013-03-14

Abstract:In this note we give a detailed proof of a theorem of Aubin.

Differential Geometry
The missing proof of Paley's theorem about lacunary coefficients

John J.F. Fournier

2024-06-28

Abstract:We modify the standard proof of Paley's theorem about lacunary coefficients of functions in $H^1$ to work without analytic factorization. This leads to the first direct proof of the extension of Paley's theorem that we applied to the former Littlewood conjecture about $L^1$ norms of exponential sums.

Classical Analysis and ODEs
A high-school algebra wallet-sized proof, of the Bieberbach conjecture After L. Weinstein]

Shalosh B. Ekhad,Doron Zeilberger

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

1993-07-09

Abstract:Weinstein's[2] brilliant short proof of de Branges'[1] theorem can be made yet much shorter(modulo routine calculations), completely elementary (modulo Löwner theory), self contained(no need for the esoteric Legendre polynomials' addition theorem), and motivated(ditto), as follows.

Classical Analysis and ODEs
Improvements in Birch's theorem on forms in many variables

T.D. Browning,Sean Prendiville

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

2014-02-19

Abstract:We show that a non-singular integral form of degree d is soluble non-trivially over the integers if and only if it is soluble non-trivially over the reals and the p-adic numbers, provided that the form has at least (d-\sqrt{d}/2)2^d variables. This improves on a longstanding result of Birch.

Number Theory
A new proof of the Herzog-Hibi-Zheng theorem

Antonino Ficarra

2024-09-24

Abstract:We give a new, elementary proof of the celebrated Herzog-Hibi-Zheng theorem on powers of quadratic monomial ideals.

Commutative Algebra,Combinatorics

A short proof of d'Alemberts theorem

An elementary proof of the theorem on the imaginary quadratic fields with class number 1

An extension of the Hermite-Biehler theorem with application to polynomials with one positive root

A short ODE proof of the Fundamental Theorem of Algebra

On an elementary proof of the fundamental theorem of algebra

Inductive proof of Borchardt's theorem

On the Elementary Proof of the Inverse Erdős-Heilbronn Problem

The Fundamental Theorem of Algebra: From The Four Basic Operations

A short proof of an identity related to Type IV superorthogonality

A polynomial with a root mod $p$ for every $p$ has a real root

Real-rootedness of the type A minuscule polynomials

One curious proof of Fermat's little theorem

Elementary real analysis without compactness argument

A simple proof of the Abel-Ruffini theorem

A proof of the Quadratic Reciprocity Law

A detailed proof of a theorem of Aubin

The missing proof of Paley's theorem about lacunary coefficients

A high-school algebra wallet-sized proof, of the Bieberbach conjecture After L. Weinstein]

Improvements in Birch's theorem on forms in many variables

A new proof of the Herzog-Hibi-Zheng theorem