Related papers: A really simple elementary proof of the uniform bo…

We present simple and direct proof to an important case of Nash-Moser-Ekeland theorem.

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…

We give a purely combinatorial proof for the infinitary van der Waerden's theorem.

A short and almost elementary proof of the Boros-F\"uredi-B\'ar\'any-Pach-Gromov theorem on the multiplicity of covering by simplices in $\mathbb R^d$ is given.

We give a simple proof of the exponential de Finetti theorem due to Renner. Like Renner's proof, ours combines the post-selection de Finetti theorem, the Gentle Measurement lemma, and the Chernoff bound, but avoids virtually all…

In this short note, we mimic the proof of the simplicity of the theory ACFA of generic difference fields in order to provide a criterion, valid for certain theories of pure fields and fields equipped with operators, which shows that a…

We provide a short proof of the 1-dimensional flat chain conjecture.

We generalize several recognizability theorems for free single-sorted algebras to the field of many-sorted algebras and provide, in a uniform way and without using neither regular tree grammars nor tree automata, purely algebraic proofs of…

Equations are ubiquitous in most mathematical activities. Nevertheless, in this paper it is shown how to do standard mathematics without any equation at all. More than that, it is proven there is a foundational framework for standard…

Many proofs of the Fundamental Theorem of Algebra, including various proofs based on the theory of analytic functions of a complex variable, are known. To the best of our knowledge, this proof is different from the existing ones.

Let $E$ be an elliptic curve over a number field $k$ of degree $d$ that admits a $k$-rational isogeny of prime degree $p$. We study the question of finding a uniform bound on $p$ that depends only on $d$, and obtain, under a certain…

In this note, we present a simpler way to prove the compactness of the closed intervals in simply ordered set with order topology.

In this note we prove a general version of the Extrapolation Theorem, extending the classical linear extrapolation theorem due to B. Maurey. Our result shows, in particular, that the operators involved do not need to be linear.

We give an easy proof of the Bernstein-Lunts equivalence of ordinary and equivariant derived categories of Harish-Chandra modules. This proof requires no boundedness assumptions. In the appendix we collect some needed, but not completely…

We give a proof of Pythagoras' theorem which does not use neither squares nor similarity of triangles.

For a compact differentiable surface with boundary embedded in $\Bbb R^3$, we give simple proofs of the Gauss-Bonnet theorem, Poincar\'{e}-Hopf theorem, and several other integral formulas. We complete all of the proofs without using…

In this paper we give a simple, short, and self-contained proof for a non-trivial upper bound on the probability that a random $\pm 1$ symmetric matrix is singular.

We prove an uniform boundedness principle for the Lipschitz seminorm of continuous, monotone, positively homogeneous and subadditive mappings on suitable cones of functions. The result is applicable to several classes of classically…

In this note we give an elementary demonstration of the fact that AB=I implies BA=I for square matrices A,B with coefficients in a field K. By elementary we mean that our proof follows from the very definitions of matrix and product of a…

We present a simple proof of the fundamental theorem of Galois theory, which establishes a correspondence between the intermediate fields of a finite Galois extension and the subgroups of its Galois group. The proof is based on the…