Related papers: Pythagoras' theorem via equilateral triangles
Using a sums of squares formula for two variable polynomials with no zeros on the bidisk, we are able to give a new proof of a representation for distinguished varieties. For distinguished varieties with no singularities on the two-torus,…
We prove results about uniform convergence of densities in the free central limit theorem without assumptions of boundedness on the support.
It is easy to find a right-angled triangle with integer sides whose area is 6. There is no such triangle with area 5, but there is one with rational sides (a `\emph{Pythagorean triangle}'). For historical reasons, integers such as 6 or 5…
It is well known that Heron's theorem provides an explicit formula for the area of a triangle, as a symmetric function of the lengths of its sides. It has been extended by Brahmagupta to quadrilaterals inscribed in a circle (cyclic…
We prove that recent theorems of non-locality without inequalities are not effective, for systems of two spacelike separated 2-level sub-systems, in proving non-locality of any empirically valid theory sharing a set of correlations with…
Kepler's laws are derived from the inverse square law without the use of calculus and are simplified over previous such derivations.
This paper deals with the celebrated Euclidean theorem about isosceles triangles, comparing different proofs.
The paper presents a systematic construction of primitive Pythagorean triples. The order of enumeration on the set of primitive Pythagorean triples is defined. The order is based on the representation of a primitive Pythagorean triple by…
Pythagoras' theorem lies at the heart of physics as well as mathematics, yet its historical origins are obscure. We highlight a purely pictorial, gestalt-like proof that may have originated during the Zhou Dynasty. Generalizations of the…
In the early part of the paper, various geometrical formulas are derived. Then, at some point in the paper, the concept of a Pythagorean rational is introduced. A Pythagorean rational is a rational number which is the ratio of two integers…
There is no 5,7-triangulation of the torus, that is, no triangulation with exactly two exceptional vertices, of degree 5 and 7. Similarly, there is no 3,5-quadrangulation. The vertices of a 2,4-hexangulation of the torus cannot be…
We demonstrate the versatility of the tangle-tree duality theorem for abstract separation systems by using it to prove tree-of-tangles theorems. This approach allows us to strengthen some of the existing tree-of-tangles theorems by bounding…
We show that the Hermitian analogue of a famous result of Pfister fails. To do so we provide a Hermitian symmetric polynomial $r$ of total degree 2d such that any non-zero multiple of it cannot be written as a Hermitian sum of squares with…
We show that there are no non-trivial linear dependencies among p-norms of vectors in finite dimensions that hold for all p. The proof is by complex analytic continuation.
Specker's principle, the condition that pairwise orthogonal propositions must be jointly orthogonal, has been much investigated recently within the programme of finding physical principles to characterise quantum mechanics. It largely…
If $ABC$ is a given triangle in the plane, $P$ is any point not on the extended sides of $ABC$ or its anticomplementary triangle, $Q$ is the complement of the isotomic conjugate of $P$ with respect to $ABC$, $DEF$ is the cevian triangle of…
Boolos's proof of incompleteness is extended straightforwardly to yield simple ``diagonalization-free'' proofs of some classical limitative theorems of logic.
We examine a class of geometric theorems on cyclic 2n-gons. We prove that if we take n disjoint pairs of sides, each pair separated by an even number of polygon sides, then there is a linear combination of the angles between those sides…
We present an alternative frequencists' proof of the quantum probability rule which does not make use of the frequency operator, with expectation that this can circumvent the recent criticism against the previous proofs which use it. We…
This article highlights interactions of diverse areas: the Heron formula for the area of a triangle, the Descartes circle equation, and right triangles with integer or rational sides. New and old results are synthesized. We show that every…