Related papers: A simple proof of Feuerbach's theorem
This note is an exposition of Waldhausen's proof of Waldhausen's Theorem: the three-sphere has a single Heegaard splitting, up to isotopy, in every genus. As a necessary step we also give a sketch of the Reidemeister-Singer Theorem.
The ternary Goldbach conjecture, or three-primes problem, asserts that every odd integer $n$ greater than $5$ is the sum of three primes. The present paper proves this conjecture. Both the ternary Goldbach conjecture and the binary, or…
By a transfer principle Pascal's Theorem is equivalent to a theorem about point pairs on the real line. It appears that Pascal's Theorem is equivalent to the vanishing of a common invariant of six quadratic forms. Using the q-deformed…
In 1840 Jacob Steiner on Christian Rudolf's request proved that a triangle with two equal bisectors is isosceles. But what about changing the bisectors to cevians? Cevian is any line segment in a triangle with one endpoint on a vertex of…
We discuss an alternative non-perturbative proof of Bertrand's theorem that leads in a concise way directly to the two allowed fields: the newtonian and the isotropic harmonic oscillator central fields.
Vogt's theorem, concerning boundary angles of a convex arc with monotonic curvature (spiral arc), is taken as a starting point to establish basic properties of spirals. The theorem is expanded by removing requirements of convexity and…
The von Neumann entropy of a $k$-body reduced density matrix $\gamma_k$ quantifies the entanglement between $k$ quantum particles and the remaining ones. In this short paper, we rigorously prove general properties of this entanglement…
Eberhard-type theorems are statements about the realizability of a polytope (or more general polyhedral maps) given the valency of its vertices and sizes of its polygonal faces up to a linear linear degree of freedom. We present new…
Some translations into non-euclidean geometry of classical theorems of planar projective geometry are explored. The existence of some common triangle centers is dedeuced from theorems of Pascal and Chasles. Desargues' Theorem allows to…
We establish a global Torelli theorem for the complete family of Calabi-Yau threefolds arising from cyclic triple covers of $\mathbb P^3$ branched along stable hyperplane arrangements.
We provide a short proof for the Figiel, Lindenstrauss and Milman inequality regarding the number of vertices and faces of certain polytope, with an explicit bound on the universal constant involved. The proof is completely elementary and…
The Pythagorean Theorem has been proved in hundreds of ways, yet it inspires fresh insights through geometry and trigonometry. In this paper, we offer a new proof based on three circles that circumscribe the sides of a right triangle.…
Proving that a finitely generated convex cone is closed is often considered the most difficult part of geometric proofs of Farkas' lemma. We provide a short simple proof of this fact and (for completeness) derive Farkas' lemma from it using…
Given a finite set of points in $\mathbb{R}^d$, Tverberg's theorem guarantees the existence of partitions of this set into parts whose convex hulls intersect. We introduce a graph structured on the family of Tverberg partitions of a given…
In this paper, we give a detailed account of Goldfeld's proof of Siegel's theorem. Particularly, we present complete proofs of the nontrivial assumptions made in his paper.
We construct a simple finite-dimensional topological quantum field theory for compact 3-manifolds with triangulated boundary.
We prove a generalization of the Poincar\'e-Birkhoff theorem for the open annulus showing that if a homeomorphism satisfies a certain twist condition and the nonwandering set is connected, then there is a fixed point. Our main focus is the…
Feynman's formulation of quantum theory is remarkable in its combination of formal simplicity and computational power. However, as a formulation of the abstract structure of quantum theory, it is incomplete as it does not account for most…
The central idea of the proof is to show that a minimal flow v on a compact 3-manifold M implies the existence of a codimension one foliation F on it, which is transverse to the flow. If M is the 3-sphere, Novikov's theorem applies to show…
In 1984, Michael Aschbacher proved a seminal classification theorem for the maximal subgroups of effectively all of the classical groups. In this thesis we give a comprehensive, yet accessible description and proof of Aschbacher's theorem,…