Related papers: Can the quadratrix truly square the circle?

A rational spherical triangle is a triangle on the unit sphere such that the lengths of its three sides and its area are rational multiples of $\pi$. Little and Coxeter have given examples of rational spherical triangles in 1980s. In this…

We consider the coincidence problem for the square lattice that is translated by an arbitrary vector. General results are obtained about the set of coincidence isometries and the coincidence site lattices of a shifted square lattice by…

We prove that the Pythagoras number of the ring of integers of the compositum of all real quadratic fields is infinite. The same holds for certain infinite totally real cyclotomic fields. In contrast, we construct infinite degree totally…

Here is a square problem: in a unit square, is there a point with four rational distances to the vertices? A probability argument suggests a negative answer. This paper proves several special cases of the square problem: if the point sits…

Conics in the Euclidean space have been known for their geometrical beauty and also for their power to model several phenomena in real life. It usually happens that when thinking about the conics in a semi-Riemannian manifold, the equations…

We study some properties of a triad of circles associated with a triangle. Each circle is inside the triangle, tangent to two sides of the triangle, and externally tangent to the circle on the third side as diameter. In particular, we find…

The problem of defining correctly geometric objects such as the curvature is a hard one in discrete geometry. In 2009, Ollivier defined a notion of curvature applicable to a wide category of measured metric spaces, in particular to graphs.…

Does a given a set of polyominoes tile some rectangle? We show that this problem is undecidable. In a different direction, we also consider tiling a cofinite subset of the plane. The tileability is undecidable for many variants of this…

In this short paper Euler gives a highly convergent series for arctan and thus pi, which converges much faster than the Leibniz series for arctan.

The congruence orbit of a matrix has a natural connection with the linear complementarity problem on simplicial cones formulated for the matrix. In terms of the two approaches -- the congruence orbit and the family of all simplicial cones…

A quasigeodesic is a curve on the surface of a convex polyhedron that has $\le \pi$ surface to each side at every point. In contrast, a geodesic has exactly $\pi$ to each side and so can never pass through a vertex, whereas quasigeodesics…

For a given family of similar shapes, what we call a "unit shape" strongly analogizes the role of the unit circle within the family of all circles. Within many such families of similar shapes, we present what we believe is naturally and…

We derive the Cardano formula of cubic equations by completing the cube, and provide radical solutions to some algebraic equations of higher degree by completing powers. The main idea of completing powers arises from Harrison's center…

Newton's quadrilateral theorem can be phrased as follows. If H is a circle that is tangent to the four extended sides of a non-parallelogram quadrilateral Q, the center of H lies on the Newton line of Q. We prove that the theorem remains…

On the perimeter length determination of the eight-centered oval. Several studies have shown that an eight-centered oval coincides almost perfectly with the ellipse constructed on the same axes and can be considered as a representation of…

An arrangement of pseudocircles is a finite set of oriented closed Jordan curves each two of which cross each other in exactly two points. To describe the combinatorial structure of arrangements on closed orientable surfaces, in (Linhart,…

From Euclid's fundamental formula for the Pythagorean triples we define the rational triples relating certain congruent numbers by an identity and explore their relationships. We introduce two geometric methods relating the congruent number…

Until recently, Ricci flow was viewed almost exclusively as a way of deforming Riemannian metrics of bounded curvature. Unfortunately, the bounded curvature hypothesis is unnatural for many applications, but is hard to drop because so many…

A well-known conjecture asserts that there are infinitely many primes $p$ for which $p - 1$ is a perfect square. We obtain upper and lower bounds of matching order on the number of pairs of distinct primes $p,q \le x$ for which $(p - 1)(q -…

Consider a polygon P and all neighboring circles (circles going through three consecutive vertices of P). We say that a neighboring circle is extremal if it is empty (no vertices of P inside) or full (no vertices of P outside). It is well…