Related papers: Pythagoras' theorem via equilateral triangles
This article contains the proof of a theorem on orthogonal-Pin duality that was cited without proof in a previous article in this journal.
We prove the theorem in the title, and prove the theorem for 11 as well as 7. By previous work of others, the problem reduces to a number of cases. The cases not solved already are solved here.
We construct a formula $\phi$ which axiomatizes non-narrow rectangular grids without using any binary relations other than the grid neighborship relations. As a corollary, we prove that a set $A \subseteq \mathbb{N}$ is a spectrum of a…
We give a new proof of Fitzgerald's criterion for primitive polynomials over a finite field. Existing proofs essentially use the theory of linear recurrences over finite fields. Here, we give a much shorter and self-contained proof which…
We provide proofs for the fact that certain orders have no descending chains and no antichains.
A new simple way to prove the Frobenius conjecture on the dimensions of real algebras without zero divisors is given.
We give a short proof of Szemer\'edi's regularity lemma, based on elementary Euclidean geometry. The general line of the proof is that of the standard proof (in fact, of Szemer\'edi's original proof), but most technicalities are swallowed…
A very short proof of Kneser's theorem via transversal is given.
We prove that Rado's graph admits no quantum symmetries.
We discover suprising connections between three seemingly different problems: finding right triangles with rational sides in a non-Euclidean geometry, finding three integers such that the difference of the squares of any two is a square,…
We give an example of a three-dimensional zonotope whose set of tight zonotopal tilings is not connected by flips. Using this, we show that the set of triangulations of $\Delta^4 \times \Delta^n$ is not connected by flips for large $n$. Our…
We prove a triangulation theorem for semi-algebraic sets over a p-adically closed field, quite similar to its real counterpart. We derive from it several applications like the existence of flexible retractions and splitting for…
Siegel proved that every totally positive element of a number field K is the sum of four squares, so in particular the Pythagoras number is uniformly bounded across number fields. The p-adic Kochen operator provides a p-adic analogue of…
We give a simple proof of the Fourier Inversion Theorem, using the methods of nonstandard analysis.
In this note we present a survey on some classical and modern approaches on Pythagorean triples. Some questions are also posed in direction of some materials under review. In particular some non commutative and operator theoretical…
We present a version of the Clarke-Ledyaev inequality that does not involve elements of the dual space. The proof relies mainly on geometry and on the classical lemma of Bishop and Phelps. In addition, this approach allows us to provide a…
In this paper we prove a conjecture that $D(4)$-quintuple does not exist using both classical and new methods. Also, we give a new version of the Rickert's theorem that can be applied on some $D(4)$-quadruples.
In the paper titled "Bockstein basis and resolution theorems in extension theory" (arXiv:0907.0491v2), we stated a theorem that we claimed to be a generalization of the Edwards-Walsh resolution theorem. The goal of this note is to show that…
We prove a result about the non-existence of certain sums-of-squares formulas over a field. This generalizes an old theorem which used topological K-theory to obtain obstruction conditions when the field is the real numbers. Our result…
An elementary proof of Kepler's first law, i.e. that bounded planetary orbits are elliptical, is derived without the use of calculus. The proof is similar in spirit to previous derivations, in that conservation laws are used to obtain an…