Related papers: A Simple Vector Proof of Feuerbach's Theorem
We prove a Wiener-type theorem for arcs in the unit circle which concerns express the measure of an arc in the unit circle via the measure's Fourier coefficients. Then we use it to give the Fourier series of the Cantor and to compute the…
The wide-spread opinion is that original quantum mechanics is a reversible theory, but this statement is only true for undecomposed systems, that are those systems which sub-systems are out of consideration. Taking sub-systems into account,…
It is proved that the Wedderburn Theorem on finite division rings implies that all knots and links in the smooth 4-dimensional manifolds are trivial.
By analyzing $F$-theory on $K3$ near the orbifold limit of $K3$ we establish the equivalence between $F$-theory on $K3$ and an orientifold of type IIB on $T^2$, which in turn, is related by a T-duality transformation to type I theory on…
The Jordan Curve Theorem (JCT) states that a simple closed curve divides the plane into exactly two connected regions. We formalize and prove the theorem in the context of grid graphs, under different input settings, in theories of bounded…
We present a simple short proof of the Fundamental Theorem of Algebra, without complex analysis and with a minimal use of topology. It can be taught in a first year calculus class.
The two squares theorem of Fermat is a gem in number theory, with a spectacular one-sentence "proof from the Book". Here is a formalisation of this proof, with an interpretation using windmill patterns. The theory behind involves…
We show that the virial theorem provides a useful simple tool for approximating nonlinear problems. In particular we consider conservative nonlinear oscillators and a bifurcation problem. In the former case we obtain the same main result…
The ternary Goldbach conjecture (or three-prime conjecture) states that every odd number greater than 5 can be written as the sum of three primes. The purpose of this book is to give the first proof of the conjecture, in full.
In this paper, through the combination of Tietze extension theorem and Baer criteria, we build a new mathematical structure which is similar to a triangular pyramid, and then we prove that the topological space which we call it Tb appeared…
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…
There are several proofs of the Fundamental Theorem of Algebra, mainly using algebra, analysis and topology. In this article, we have shown that the Fundamental Theorem of Algebra can be proved using Nevanlinna's first fundamental theorem…
We prove two generalizations of Furstenberg's Diophantine result regarding density of an orbit of an irrational point in the one-torus under the action of multiplication by a non-lacunary multiplicative semi-group of $\mathbb{N}$. We show…
Wigner's theorem asserts that any symmetry of a quantum system is unitary or antiunitary. In this short note we give two proofs based on the geometry of the Fubini-Study metric.
We give an elementary proof of Brouwer's fixed-point theorem. The only mathematical prerequisite is a version of the Bolzano-Weierstrass theorem: a sequence in a compact subset of $n$-dimensional Euclidean space has a convergent subsequence…
We give new proofs of some well-known results from Invariant Theorey using the Kempf-Ness theorem.
On the twisted Fermat cubic, an elliptic divisibility sequence arises as the sequence of denominators of the multiples of a single rational point. We prove that the number of prime terms in the sequence is uniformly bounded. When the…
We prove that if a continuous piecewise-smooth map on $\mathbb{R}^n$ is comprised of two linear functions, has a bounded orbit, and satisfies a certain non-degeneracy condition, then it has a fixed point. The result has important…
We show that Thompson's $A\times B$-Lemma can be obtained as a consequence of the Brauer pair version of Brauer's Third Main Theorem.
In a reasonably self-contained and explicit presentation we illustrate the efficiency of the Feynman-Kac formula for the rigorous derivation of three inequalities of interest in non-relativistic quantum mechanics.