A spherical triangle is a figure formed on the surface of a sphere by three great circular arcs intersecting pairwise in three vertices.
Let be the sphere with the centre and radius .
Let be the set of points on the surface of with integer coordinates.
Let be the set of spherical triangles with vertices in .
Degenerate spherical triangles, formed by three points on the same great arc, are not included in .
Let be the area of the smallest spherical triangle in .
For example is rounded to six decimal places.
Find . Give your answer rounded to six decimal places.
Write-up coming later
The complete problem is available here. An approach, code, and answer will be added later.