Related papers: $\pi$ and Arc-Length
For any three nonzero vectors $a,b,c$ in $\mathbb R^2$, we obtain a necessary and sufficient condition for the sum of the three pairwise angles between these vectors to equal $2\pi$. As an easy consequence of this, a proof of Euclid's…
We show that a homeomorphism of Euclidean space is quasiconformal if and only if at each point there exists a sequence of uncentered open sets with bounded eccentricity shrinking to that point whose images also have bounded eccentricity.…
It is proved that the set of geodesic circles in two dimensions may be given a variational description and the explicit form of it is presented. In the limit case of the Euclidean geometry a certain claim of uniqueness of such description…
We establish some basic properties of quotients of projective Fra\"iss\'e limits and exhibit some classes of compact metric spaces that are the quotient of a projective Fra\"iss\'e limit of a projective Fra\"iss\'e family in a finite…
We scrutinize congruence as one of the basic definitions of equality in geometry and pit it against physics of Special Relativity. We show that two non-rigid rods permanently kept congruent during their common expansion or compression may…
We give a non-Paschian plane based on the property of betweenness which cannot be derived from an ordering of the points of a line. In this model there is no possibility to define the congruence of segments but we can define angle, triangle…
We introduce fractional flat space, described by a continuous geometry with constant non-integer Hausdorff and spectral dimensions. This is the analogue of Euclidean space, but with anomalous scaling and diffusion properties. The basic tool…
When considering geometry, one might think of working with lines and circles on a flat plane as in Euclidean geometry. However, doing geometry in other spaces is possible, as the existence of spherical and hyperbolic geometry demonstrates.…
The aim of this paper is to develop a new axiomatization of planar geometry by reinterpreting the original axioms of Euclid. The basic concept is still that of a line segment but its equivalent notion of betweenness is viewed as a…
This paper investigates the algorithmic dimension spectra of lines in the Euclidean plane. Given any line L with slope a and vertical intercept b, the dimension spectrum sp(L) is the set of all effective Hausdorff dimensions of individual…
Geometric frameworks for analyzing curves are common in applications as they focus on invariant features and provide visually satisfying solutions to standard problems such as computing invariant distances, averaging curves, or registering…
We show that Hermite's approximations to values of the exponential function at given algebraic numbers are nearly optimal when considered from an adelic perspective. We achieve this by taking into account the ratio of these values whenever…
We study the recently reported qmetric (or zero-point-length) expressions of the Ricci (bi)scalar $R_{(q)}$ (namely, expressions of the Ricci scalar in a spacetime with a limit length $L_0$ built in), focusing specifically on the case of…
We study algorithmic problems on subsets of Euclidean space of low fractal dimension. These spaces are the subject of intensive study in various branches of mathematics, including geometry, topology, and measure theory. There are several…
The metric dimension of a graph is the smallest number of nodes required to identify all other nodes based on shortest path distances uniquely. Applications of metric dimension include discovering the source of a spread in a network,…
In an attempt to characterize the distribution of forms and shapes of nodal domains in wave functions, we define a geometric parameter - the ratio $\rho$ between the area of a domain and its perimeter, measured in units of the wavelength…
In non-Euclidean geometry, there are several known correspondings to Chapple-Euler Theorem. This remark shows that those results yield expressions corredponding to the well-known formula $d=\sqrt{R(R-2r)}$.
We describe the formalisation in Coq of a proof that the numbers e and $\pi$ are transcendental. This proof lies at the interface of two domains of mathematics that are often considered separately: calculus (real and elementary complex…
We give a definition of thickness in $\mathbb{R}^d$ that is useful even for totally disconnected sets, and prove a Gap Lemma type result. We also guarantee an interval of distances in any direction in thick compact sets, relate thick sets…
Diameter estimates for K\"ahler metrics are established which require only an entropy bound and no lower bound on the Ricci curvature. The proof builds on recent PDE techniques for $L^\infty$ estimates for the Monge-Amp\`ere equation, with…