Rational Spherical Triangles

Haiyang Wang

2023-12-04

Abstract: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 work, we are interested in determining all the rational spherical triangles. We introduce a conjecture on the solutions to a trigonometric Diophantine equation. An implication of the conjecture is that the only rational spherical triangles are the ones given by Little and Coxeter. We prove some partial results towards the conjecture.

Number Theory

What problem does this paper attempt to address?

### Problems the paper attempts to solve

This paper aims to explore and determine all possible rational spherical triangles. Specifically, a rational spherical triangle refers to a triangle on the unit sphere whose side lengths and area are all rational multiples of π. Little and Coxeter gave several examples of rational spherical triangles in the 1980s. This paper proposes a conjecture about the solutions of trigonometric Diophantine equations and infers that, according to this conjecture, the only existing rational spherical triangles are the examples given by Little and Coxeter.

#### Specific problem description

1. **Definition and background**:
- A spherical triangle is a triangle located on the unit sphere, and each of its sides is part of a great circle arc.
- A spherical triangle is called "proper" if each of its side lengths is less than π and its area is less than 2π.
- L'Huilier's formula (Theorem 1.2) gives the relationship between the side lengths and the area of a spherical triangle:
\[
\tan^2\left(\frac{E}{4}\right)=\tan\left[\frac{-a + b + c}{4}\right]\tan\left[\frac{a - b + c}{4}\right]\tan\left[\frac{a + b - c}{4}\right]\tan\left[\frac{a + b + c}{4}\right]
\]

2. **Objectives**:
- Explore when the side lengths and area of a spherical triangle are simultaneously rational multiples of π.
- Propose and verify a conjecture about the generalized form of L'Huilier's formula to determine the measurements of all possible rational spherical triangles.

3. **Main conjecture**:
- **Conjecture 1.6**: The set of measurements \( \Lambda_1\cup\Lambda_2 \) given by Little and Coxeter contains the measurements of all possible proper rational spherical triangles. In particular, there are only seven measurements for proper rational spherical triangles with distinct side lengths, namely the seven discovered by Little and Coxeter.

4. **Partial results**:
- The article proves some partial results of the above conjecture by studying the solutions of L'Huilier's formula and its generalized form.
- Use the basis representation method in finitely generated free abelian groups to analyze these solutions and obtain information about the given solutions by comparing coefficients.

5. **Conclusion**:
- If the conjecture holds, only the eight additional rational spherical triangles given by Little and Coxeter need to be considered to answer the question raised by Huang - Lalín - Mila [5] about the existence of other such rational spherical triangles.

In conclusion, the main purpose of this paper is to verify and determine the existence of all possible rational spherical triangles through mathematical methods, thereby filling this theoretical gap in this field.