Rational spherical triangles

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 [Formula: see text]. Little and Coxeter have given examples of rational spherical triangles in the 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.