Related papers: Circular reasoning: who first proved that $C/d$ is…
How was this proof overlooked for 181 years? We give a simple proof of Descartes's circle theorem using Cayley-Menger determinants.
New condition is found for the set of points in the plane, for which the locus is a circle. It is proved: the locus of points, such that the sum of the $(2m)$-th powers $S_n^{(2m)}$}of the distances to the vertexes of fixed regular…
The attributes of Euler's constant Gamma have been a baffling problem to the world's mathematicians in the number theory field. In 1900, when German mathematician D. Hilbert addressed the 2nd International Congress of Mathematicians, he…
A classical result attributed to Joachimsthal in 1846 states that if two surfaces intersect with constant angle along a line of curvature of one surface, then the curve of intersection is also a line of curvature of the other surface. In…
D. Bailey and R. E. Crandall recently formulated a "Hypothesis A", which provides a general principle to explain the (conjectured) normality of constants like pi or log 2 and other related numbers, to base 2 or other integer bases. This…
A curve has the increasing chord property if for any points $a,b,c,d$ in this order on the curve, the distance of $a,d$ is not smaller than that of $b,c$. Answering a conjecture of Larman and McMullen, Rote proved in 1994 that the arclength…
Aristotle was the first to declare himself in the class of natural philosophers ({\em physiologoi}) and he was the first physicist because he spelled out the first definitions of some basic physical concepts. Moreover, he was the first…
In 1955 B. Segre showed that any oval in a projective plane over a finite field of odd order is a conic. His proof constructs a conic which matches the oval in some points and tangents, and then shows that it actually coincides with the…
We study six pedal-like curves associated with the ellipse which are area-invariant for pedal points lying on one of two shapes: (i) a circle concentric with the ellipse, or (ii) the ellipse boundary itself. Case (i) is a corollary to…
The study of graph discrepancy problems, initiated by Erd\H{o}s in the 1960s, has received renewed attention in recent years. In general, given a $2$-edge-coloured graph $G$, one is interested in embedding a copy of a graph $H$ in $G$ with…
The circumference denoted by $c(G)$ of a graph $G$ is the length of its longest cycle. Let $\delta(G)$ and $\omega(G)$ denote the minimum degree and the clique number of a graph $G$, respectively. In [\emph{Electron. J. Combin.} 31(4)(2024)…
A comparison theorem for the isoperimetric profile on the universal cover of surfaces evolving by normalised Ricci flow is proven. For any initial metric, a model comparison is constructed that initially lies below the profile of the…
The Dutch scientist Christiaan Huygens refined Archimedes' celebrated geometrical computation of $\pi$ to its highest point. Yet the rich content of his beautiful treatise \emph{De circuli magnitudine inventa} (1654) has apparently never…
In this paper, we consider fixed-circle problem in C*-algebra valued metric spaces and prove some fixed-circle theorems for self-mappings by defining the notion of fixed-circle on such spaces with geometric interpretation. Furthermore, we…
We use Herbrand's theorem to give a new proof that Euclid's parallel axiom is not derivable from the other axioms of first-order Euclidean geometry. Previous proofs involve constructing models of non-Euclidean geometry. This proof uses a…
Euclid uses an undefined notion of "equal figures", to which he applies the common notions about equals added to equals or subtracted from equals. When (in previous work) we formalized Euclid Book~I for computer proof-checking, we had to…
First, we fill in key gaps in Steiner's nice characterization of the most nearly circular ellipse which passes through the vertices of a convex quadrilateral, D. Steiner proved that there is only one pair of conjugate directions, M1 and M2,…
Let A \subseteq [1,..,N]^2 be a set of cardinality at least N^2/(log log N)^c, where c>0 is an absolute constant. We prove that A contains a triple {(k,m), (k+d,m), (k,m+d)}, where d>0. This theorem is a two-dimensional generalization of…
If we label the vertices of a triangle with 1, 2 and 4, and the orthocentre with 7, then any of the four numbers 1, 2, 4, 7 is the nim-sum of the other three and is their orthocentre. Regard the triangle as an orthocentric quadrangle.…
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…