Related papers: Rational Spherical Triangles
A Heronian triangle is a triangle that has integer side lengths and integer area. Praton and Shalqini [1] define amicable Heronian triangles to be two Heronian triangles where the area of one equals the perimeter of the other, and vice…
This note offers a probabilistic proof of Girard's angle excess formula for the area of a spherical triangle, based on the observation that an unbounded 3-dimensional convex cone, with single vertex at the origin, has only three kinds of…
Let Fq be a finite field with q=8 or q at least 16. Let S be a smooth cubic surface defined over Fq containing at least one rational line. We use a pigeonhole principle to prove that all the rational points on S are generated via tangent…
We study the trigonometry of non-Euclidean tetrahedra using tools from algebraic geometry. We establish a bijection between non-Euclidean tetrahedra and certain rational elliptic surfaces. We interpret the edge lengths and the dihedral…
The Pythagorean Theorem has been proved in hundreds of ways, yet it inspires fresh insights through geometry and trigonometry. In this paper, we offer a new proof based on three circles that circumscribe the sides of a right triangle.…
A rational triangle $T$ (one whose angles are rational multiples of $\pi$) unfolds to a translation surface $(X_T,\omega_T)$. The lattice triangle problem asks to classify those $T$ for which $(X_T,\omega_T)$ is a Veech (lattice) surface,…
Any four mutually tangent spheres in R^3 determine three coincident lines through opposite pairs of tangencies. As a consequence, we define two new triangle centers.
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…
We quantify the density of rational points in the unit sphere $S^n$, proving analogues of the classical theorems on the embedding of $\q^n$ into $\r^n$. Specifically, we prove a Dirichlet theorem stating that every point $\alpha \in S^n$ is…
We classify spherical quadrilaterals up to isometry in the case when one inner angle is a multiple of pi while the other three are not. This is equivalent to classification of Heun's equations with real parameters and one apparent…
Every simple quadrangulation of the sphere is generated by a graph called a pseudo-double wheel with two local expansions (Brinkmann et al. "Generation of simple quadrangulations of the sphere." Discrete Math., Vol. 305, No. 1-3, pp. 33-54,…
In this paper, the proof of the existence of a rational point on an elliptic curve is transformed into the proof of the existence of an integer solution for a Diophantine equation. By a new formula for calculating the number of elements in…
We prove that the inner products of spherical $s$-distance $t$-designs with $t \geq 2s-2$ (Delsarte codes) and $s \geq 3$ are rational with the only exception being the icosahedron. In other formulations, we prove that all sharp…
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…
By examining the 3 surface angles which exist at any of the 8 vertices of a Diophantine parallelepiped, and classifying them by the appearance of a right angle, it is discovered that 5 unique classes of Diophantine parallelepipeds exist. It…
We consider rational points on the sphere and investigate their equidistribution in shrinking spherical caps. For the two-dimensional sphere, we leverage Hecke operators to obtain a significantly improved small-scale equidistribution bound,…
This is an English translation from the Latin original of Leonhard Euler's ``Solutio facilior problematis Diophantei circa triangulum, in quo rectae ex angulis latera opposita bisecantes rationaliter exprimantur''. In this paper, Euler…
As is well-known, numerical experiments show that Napoleon's Theorem for planar triangles does not extend to a similar statement for triangles on the unit sphere $S^2$. Spherical triangles for which an extension of Napoleon's Theorem holds…
We describe the space of spherical triangles (in the sense of Schwarz and Klein). It is a smooth connected orientable 3-manifold, homotopy equivalent to the 1-skeleton of the cubic partition of the closed first octant in $\mathbf{R}^3$. The…
A rational elliptic surface with section is a smooth, rational, complex, projective surface $\mathcal{X}$ that admits a relatively minimal fibration $f: \mathcal{X}\longrightarrow \bbP^1$ such that its general fibre is a smooth irreducible…