A short proof of the thumbtack lemma

Adam Harris

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

2013-04-17

Logic

Abstract:We give a short proof of the main algebraic result of \cite{zilber2006covers}, also known as the `thumbtack lemma'.

What problem does this paper attempt to address?

A Short Proof of Knuth's Old Sum

Kunle Adegoke

2024-11-22

Abstract:We give a short proof of the well-known Knuth's old sum and provide some generalizations. Our approach utilizes the binomial theorem and integration formulas derived using the Beta function. Several new polynomial identities and combinatorial identities are derived.

General Mathematics
Notes on a short-cut to the proof of the $\mathbf{M}_3$-$\mathbf{N}_5$ Theorem

M. R. Emamy-K.,Gustavo A. Meléndez Ríos

2024-02-23

Abstract:This paper presents two shortcuts to a classical proof of the $\mathbf{M}_3$-$\mathbf{N}_5$ Theorem, which can be found in B. Davey and H. Priestley [2] and S. Burris and H. Sankappanavar [1]. To be precise, the shortcuts pertain a particular step of the proof that requires showing an algebraic equality. In addition, we briefly discuss how to compare the lengths of the three proofs (the original and our two proposed shortcuts). To do so, we introduce two methods to compare the lengths of proofs based on algebraic lattice expressions. We call them the proof count method and the proof poset method. Both methods indicate that our proofs are shorter but the difference is more pronounced in the former.

Mathematics
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 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 short proof of the Hanlon-Hicks-Lazarev Theorem

Michael K. Brown,Daniel Erman

DOI: https://doi.org/10.1017/fms.2024.40

2024-05-11

Forum of Mathematics Sigma

Abstract:We give a short new proof of a recent result of Hanlon-Hicks-Lazarev about toric varieties. As in their work, this leads to a proof of a conjecture of Berkesch-Erman-Smith on virtual resolutions and to a resolution of the diagonal in the simplicial case.

mathematics, applied
A shorter proof of the Marker-Steinhorn Theorem

Pablo Andújar Guerrero

2023-06-16

Abstract:By analyzing o-minimal definable preorders we give a proof of the Marker-Steinhorn Theorem [MS94] that shortens the original proof.

Logic
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
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).
A shorter proof of the Four Colour Theorem

Carl Feghali

2024-11-30

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

Combinatorics
Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization

Guillermo L. Incatasciato,Pedro Sánchez Terraf

2024-10-30

Abstract:We present an exposition of the *Chain Bounding Lemma*, which is a common generalization of both Zorn's Lemma and the Bourbaki-Witt fixed point theorem. The proofs of these results through the use of Chain Bounding are amongst the simplest ones that we are aware of. As a by-product, we show that for every poset $P$ and function $f$ from the powerset of $P$ into $P$, there exists a maximal well-ordered chain whose family of initial segments is appropriately closed under $f$. We also provide an introduction to the process of "computer formalization" of mathematical proofs by using *proofs assistants*. As an illustration, we verify our main results with the Lean proof assistant.

Logic,History and Overview
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
Yet another proof of Brooks' theorem

Landon Rabern

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

2014-09-24

Abstract:Arguably the simplest variation of this style of proof as we avoid reducing to the cubic case entirely.

Combinatorics
Another Proof for A Combinatorial Lemma of Liao

张勇

DOI: https://doi.org/10.3321/j.issn:0479-8023.2002.01.002

2002-01-01

Abstract:It is given a geometrical proof of an essential combinatorial lemma of Liao.
A short proof of the existence of designs

Peter Keevash

2024-11-27

Abstract:We give a new proof of the existence of designs, which is much shorter and gives better bounds.

Combinatorics
A Simple and Elementary Proof of Zorn's Lemma

Koji Nuida

DOI: https://doi.org/10.47443/dml.2023.143

2024-07-15

Abstract:Zorn's Lemma is a well-known equivalent of the Axiom of Choice. It is usually regarded as a topic in axiomatic set theory, and its historically standard proof (from the Axiom of Choice) relies on transfinite recursion, a non-elementary set-theoretic machinery. However, the statement of Zorn's Lemma itself uses only elementary terminology for partially ordered sets. Therefore, it is worthy to establish a proof using only such elementary terminology. Following this line of study, we give a new simple proof of Zorn's Lemma, which does not even use the notion of a well-ordered set.

Logic,Combinatorics
Bijective proof of a conjecture on unit interval posets

Wenjie Fang

DOI: https://doi.org/10.46298/dmtcs.10837

IF: 0.802

2024-02-23

Discrete Mathematics & Theoretical Computer Science

Abstract:In a recent preprint, Matherne, Morales and Selover conjectured that two different representations of unit interval posets are related by the famous zeta map in $q,t$-Catalan combinatorics. This conjecture was proved recently by G\'elinas, Segovia and Thomas using induction. In this short note, we provide a bijective proof of the same conjecture with a reformulation of the zeta map using left-aligned colored trees, first proposed in the study of parabolic Tamari lattices.

mathematics, applied,computer science, software engineering
A direct proof of Tychonoff's theorem

Oliver Tatton-Brown

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

2017-09-13

Abstract:Proofs of Tychonoff's theorem often seem to require a bit of magic. Machinery such as ultrafilters, nets or maximal families with the finite intersection property are employed to give proofs that can be very neat, but not the kind of thing that one would naturally think of when presented with the problem (given a background in standard open set topology). Here we present a direct and pretty simple proof of Tychonoff's theorem, straight from the open cover definition of compactness.

General Topology
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
The square sieve and the large sieve with square moduli

Stephan Baier

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

2016-06-07

Abstract:We give a short alternative proof using Heath-Brown's square sieve of a bound of the author for the large sieve with square moduli.

Number Theory

A short proof of the thumbtack lemma

A Short Proof of Knuth's Old Sum

Notes on a short-cut to the proof of the $\mathbf{M}_3$-$\mathbf{N}_5$ Theorem

A short proof of d'Alemberts theorem

A short proof of the Hilton-Milner Theorem

A short proof of the Hanlon-Hicks-Lazarev Theorem

A shorter proof of the Marker-Steinhorn Theorem

A new proof of the Herzog-Hibi-Zheng theorem

One curious proof of Fermat's little theorem

A shorter proof of the Four Colour Theorem

Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization

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

Yet another proof of Brooks' theorem

Another Proof for A Combinatorial Lemma of Liao

A short proof of the existence of designs

A Simple and Elementary Proof of Zorn's Lemma

Bijective proof of a conjecture on unit interval posets

A direct proof of Tychonoff's theorem

A Proof of Brouwer's Conjecture

The square sieve and the large sieve with square moduli