A High-School Algebra and high-school (purely formal) calculus,. Wallet-Sized Proof, of the Bieberbach Conjecture [after L. Weinstein]

Shalosh B. Ekhad,Doron Zeilberger

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

1994-07-03

Abstract:L. Weinstein's brilliant short proof of de Branges's Theorem is made even shorter by using computer algebra.

Combinatorics

What problem does this paper attempt to address?

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
Easy Proofs of Some Borwein Algorithms for $π$

Jesus Guillera

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

2008-03-07

Abstract:In 1987 Jonathan and Peter Borwein, inspired by the works of Ramanujan, derived many efficient algorithms for computing $\pi$. We will see that by using only a formula of Gauss's and elementary algebra we are able to prove the correctness of two of them.

Number Theory,Classical Analysis and ODEs
An introduction to univalent function theory and the Bieberbach conjecture

Jiakai Qu

2024-11-12

Abstract:The purpose of this paper is to make an introduction to univalent function theory for readers of any level, assuming only foundational knowledge in real and complex analysis. In particular, we state and proof (with details) important theorems utilised in proving Bieberbach's conjecture, especially those that were missed or merely sketched by other texts on univalent functions. We will finally prove the conjecture following the proof given by Lenard Weinstein in a comprehensive and self-contained manners, exposing its full technical details in each step. Readers are encouraged to make used of this paper to accompany the preliminary chapters of Duren's Univalent Functions and Lenard Weinstein's the Bieberbach Conjecture.

Complex Variables
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
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.
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 Proof of Brouwer's Conjecture

Vladimir Blinovsky,Llohann D. Sperança

2023-07-28

Abstract:Building up from recent results by other authors, we present proof for Brouwer's Conjecture.

Combinatorics
A Short Proof of Jacobi's Formula for the Number of Representations of an Integer as a Sum of Four Squares

George Andrews,Shalsoh B. Ekhad,Doron Zeilberger

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

1992-06-04

Abstract:A short and elementary proof, and a finite-form generalization, are given of Jacobi's formula for the number of ways of writing an integer as a sum of four squares (that implies Lagrange's famous 1777 theorem.)

Combinatorics
A Geometric Proof of the Hecke Conjecture

Kaida Shi

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

2003-09-01

General Mathematics

Abstract:Beginning from the resolution of the Dirichlet L function, using the inner product formula between two infinite-dimensional vectors in the complex space, the author proved the baffling problem--Hecke conjecture.
Teaching the Computer how to Discover(!) and then Prove(!!) (all by Itself(!!!)) Analogs of Collatz's Notorious 3x+1 Conjecture

Doron Zeilberger

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

2009-03-24

Abstract:Paul Erdos claimed that mathematics is not yet ready to settle the 3x+1 conjecture. I agree, but very soon it will be! With the exponential growth of computer-generated mathematics, we (or rather our silicon brethrern) would have a shot at it. Of course, not by number crunching, but by symbol crunching and automatic deduction. In the present article, I taught my computer how to use the brilliant ideas of four human beings (Amal Amleh, Ed Grove, Candy Kent, and Gerry Ladas) to prove two-dimensional analogs of this notorious conjecture. Once programmed (using my Maple package LADAS) it reproduced their ten theorems, and generated 134 new ones, complete with proofs. All by itself! I believe that the proof of the original 3x+1 conjecture would be in the same vein, but one would need a couple of extra human ideas, and better computers.

Combinatorics,Dynamical Systems
The Cantor–Bernstein theorem: how many proofs?

Wilfried Sieg

DOI: https://doi.org/10.1098/rsta.2018.0031

2019-01-21

Abstract:Dedekind's proof of the Cantor–Bernstein theorem is based on his chain theory, not on Cantor's well-ordering principle. A careful analysis of the proof extracts an argument structure that can be seen in the many other proofs that have been given since. I contend there is essentially one proof that comes in two variants due to Dedekind and Zermelo , respectively. This paper is a case study in analysing proofs of a single theorem within a given methodological framework, here Zermelo–Fraenkel set theory (ZF). It uses tools from proof theory, but focuses on heuristic ideas that shape proofs and on logical strategies that help to construct them. It is rooted in a perspective on Beweistheorie that predates its close connection and almost exclusive attention to the goals of Hilbert's finitist consistency programme. This earlier perspective can be brought to life (only) with the support of powerful computational tools. This article is part of the theme issue ‘The notion of ‘simple proof’ - Hilbert's 24th problem’.
Counterexamples to a Conjecture of Ahmadi and Shparlinski

Taylor Dupuy,Kiran Kedlaya,David Roe,Christelle Vincent

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

2021-10-26

Experimental Mathematics

Abstract:Ahmadi-Shparlinski conjectured that every ordinary, geometrically simple Jacobian over a finite field has maximal angle rank. Using the L-Functions and Modular Forms Database, we provide two counterexamples to this conjecture in dimension 4.

mathematics
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
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
Proof of Aharoni Berger Conjecture

Vladimir Blinovsky

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

2019-04-15

Abstract:We prove the Aharoni Berger Conjecture

Combinatorics
A short proof of the Hilton-Milner Theorem

Denys Bulavka,Russ Woodroofe

2024-11-05

Abstract:We give a short and relatively elementary proof of the Hilton-Milner Theorem.

Combinatorics
A Proof of the Conjecture of Lehmer and of the Conjecture of Schinzel-Zassenhaus

Jean-Louis Verger-Gaugry

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

2017-09-12

Abstract:The conjecture of Lehmer is proved to be true. The proof mainly relies upon: (i) the properties of the Parry Upper functions $f_{house(\alpha)}(z)$ associated with the dynamical zeta functions $\zeta_{house(\alpha)}(z)$ of the Rényi--Parry arithmetical dynamical systems, for $\alpha$ an algebraic integer $\alpha$ of house "$house(\alpha)$" greater than 1, (ii) the discovery of lenticuli of poles of $\zeta_{house(\alpha)}(z)$ which uniformly equidistribute at the limit on a limit "lenticular" arc of the unit circle, when $house(\alpha)$ tends to $1^+$, giving rise to a continuous lenticular minorant ${\rm M}_{r}(house(\alpha))$ of the Mahler measure ${\rm M}(\alpha)$, (iii) the Poincaré asymptotic expansions of these poles and of this minorant ${\rm M}_{r}(house(\alpha))$ as a function of the dynamical degree. With the same arguments the conjecture of Schinzel-Zassenhaus is proved to be true. An inequality improving those of Dobrowolski and Voutier ones is obtained. The set of Salem numbers is shown to be bounded from below by the Perron number $\theta_{31}^{-1} = 1.08545\ldots$, dominant root of the trinomial $-1 - z^{30} + z^{31}$. Whether Lehmer's number is the smallest Salem number remains open. A lower bound for the Weil height of nonzero totally real algebraic numbers, $\neq \pm 1$, is obtained (Bogomolov property). For sequences of algebraic integers of Mahler measure smaller than the smallest Pisot number, whose houses have a dynamical degree tending to infinity, the Galois orbit measures of conjugates are proved to converge towards the Haar measure on $|z|=1$ (limit equidistribution).

Number Theory
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 PROOF OF HIRSCHHORN'S CONJECTURE ON -DISSECTION OF EULER'S PRODUCT

BIPUL KUMAR SARMAH,SATYAJIT GAYAN

DOI: https://doi.org/10.1017/s0004972724000595

2024-10-10

Bulletin of the Australian Mathematical Society

Abstract:Using properties of Ramanujan's theta functions, we give an elementary proof of Hirschhorn's conjecture on -dissection of Euler's product .

mathematics
A One-Line Proof of Leversha's "Quartet of Isogonal Conjugates" Theorem

Shalosh B. Ekhad

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

2021-04-29

Abstract:We give a short and insightful proof of Gerry Leversha's elegant theorem regarding the isogonal conjugates of each of the vertices of a non-cyclic quadrilateral with respect to the triangle formed by the other three. It uses the Maple package <a class="link-external link-http" href="http://RENE.txt" rel="external noopener nofollow">this http URL</a>, available from . <a class="link-external link-http" href="http://www.math.rutgers.edu/~zeilberg/tokhniot/RENE.txt" rel="external noopener nofollow">this http URL</a>

History and Overview,Combinatorics

A High-School Algebra and high-school (purely formal) calculus,. Wallet-Sized Proof, of the Bieberbach Conjecture [after L. Weinstein]

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

Easy Proofs of Some Borwein Algorithms for $π$

An introduction to univalent function theory and the Bieberbach conjecture

On the BCSS Proof of the Fundamental Theorem of Algebra

A simple proof of the Abel-Ruffini theorem

The Fundamental Theorem of Algebra: From The Four Basic Operations

A Proof of Brouwer's Conjecture

A Short Proof of Jacobi's Formula for the Number of Representations of an Integer as a Sum of Four Squares

A Geometric Proof of the Hecke Conjecture

Teaching the Computer how to Discover(!) and then Prove(!!) (all by Itself(!!!)) Analogs of Collatz's Notorious 3x+1 Conjecture

The Cantor–Bernstein theorem: how many proofs?

Counterexamples to a Conjecture of Ahmadi and Shparlinski

On an elementary proof of the fundamental theorem of algebra

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

Proof of Aharoni Berger Conjecture

A short proof of the Hilton-Milner Theorem

A Proof of the Conjecture of Lehmer and of the Conjecture of Schinzel-Zassenhaus

A short proof of d'Alemberts theorem

A PROOF OF HIRSCHHORN'S CONJECTURE ON -DISSECTION OF EULER'S PRODUCT

A One-Line Proof of Leversha's "Quartet of Isogonal Conjugates" Theorem