English
Related papers

Related papers: A Simple Proof of McNaughton Theorem

200 papers

This paper presents a short and simple proof of the Four-Color Theorem that can be utterly checkable by human mathematicians, without computer assistance. The new key idea that has allowed it and the global structure of the proof are…

Discrete Mathematics · Computer Science 2019-11-05 André Luiz Barbosa

I give a proof of the uniform boundedness theorem that is elementary (i.e. does not use any version of the Baire category theorem) and also extremely simple.

Functional Analysis · Mathematics 2011-05-03 Alan D. Sokal

A proof of the continuous martingale convergence theorem is provided. It relies on a classical martingale inequality and the almost sure convergence of a uniformly bounded non-negative super-martingale, after a truncation argument.

Probability · Mathematics 2021-11-25 Joe Ghafari

We give a short proof of a theorem of J.-E. Pin (theorem 1.1 below), which can be found in his thesis. The part of the proof which is my own (not Pin's) is a complete replacement of the same part in an earlier version of this paper.

Formal Languages and Automata Theory · Computer Science 2022-09-16 Michiel de Bondt

We give a pen and paper and (comparatively) much simpler proof to verify of the Four Colour Theorem.

Combinatorics · Mathematics 2025-01-24 Carl Feghali

Standard proofs of Lusin's theorem, using simple functions, are sometimes quite elaborate. Here, we give a one-sentence proof of Lusin's theorem. We do not believe our approach, by way of inverse images, is new. However, this particular…

Classical Analysis and ODEs · Mathematics 2018-11-01 Samuel J. Ferguson , Tianqi Wu

I present a simple, elementary proof of Morley's theorem, highlighting the naturalness of this theorem.

History and Overview · Mathematics 2020-03-31 Stéphane Peigné

A very simple but useful almost sure convergence theorem of probability is given.

General Mathematics · Mathematics 2011-12-19 Masumi Nakajima

In this paper, we provide an easy proof of the Four-colour Theorem in a special case indeed.

General Mathematics · Mathematics 2018-07-09 Bin Shen

We present in this work a new and simple proof of the false centre theorem.

Metric Geometry · Mathematics 2021-10-28 Luis Montejano , Efren Morales-Amaya

A very short proof of Kneser's theorem via transversal is given.

Combinatorics · Mathematics 2021-09-16 Luis Montejano

We give a simple direct proof of Fermat's two squares theorem. Our argument uses no intricate notions or ideas; one might say that it is a proof by careful bookkeeping. As such, the proof may be particularly easy to comprehend by students…

History and Overview · Mathematics 2025-08-15 Gennady Bachman

We give a very simple proof of a strengthened version of Chernoff's Inequality. We derive the same conclusion from much weaker assumptions.

Probability · Mathematics 2014-04-01 Nathan Linial , Zur Luria

In this note, we give an alternate proof of the multinomial theorem using a probabilistic approach. Although the multinomial theorem is basically a combinatorial result, our proof may be simpler for a student familiar with only basic…

General Mathematics · Mathematics 2019-07-25 K. K. Kataria

In the current note, we present a new, short proof of the famous AM-GM-HM inequality using only induction and basic calculus.

General Mathematics · Mathematics 2022-06-06 Konstantinos Gaitanas

We give a remarkably elementary proof of the Brouwer fixed point theorem. The proof is verifiable for most of the mathematicians.

History and Overview · Mathematics 2011-09-22 Yukio Takeuchi , Tomonari Suzuki

We extend the treatment of functional dependence, the basic concept of dependence logic, to include the possibility of dependence with a limited number of exceptions. We call this approximate dependence. The main result of the paper is a…

Logic · Mathematics 2014-08-20 Jouko Väänänen

In this note, we present a simple non-directed graph proof of Sharkovsky's theorem which is different from the one given in [2].

Dynamical Systems · Mathematics 2007-05-23 Bau-Sen Du

A very short proof of G\"odel's second incompleteness theorem (for set theory, second order arithmetic etc.)

Logic · Mathematics 2009-09-25 Thomas Jech

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…

Number Theory · Mathematics 2009-11-03 Giedrius Alkauskas