In spherical geometry, Lexell's theorem holds that every spherical triangle with the same surface area on a fixed base has its apex on a small circle, called Lexell's circle or Lexell's locus, passing through each of the two points antipodal to the two base vertices. A spherical triangle is a shape on a sphere consisting of three vertices (corner points) connected by three sides, each of which is part of a great circle, the analog on the sphere of a straight line in the plane (for example the equator and meridians of a globe); the spherical analog of planar circles, which curve relative to the surface, are called small circles (for example the circles of latitude other than the equator). Any of the sides of a spherical triangle can be considered the base, and the opposite vertex is the corresponding apex. Two points on a sphere are antipodal if they are diametrically opposite, as far apart as possible. The theorem is named for Anders Johan Lexell, who presented a paper about it c. 1777 (published 1784) including both a trigonometric proof and a geometric one. Lexell's colleague Leonhard Euler wrote another pair of proofs in 1778 (published 1797), and a variety of proofs have been written since by Adrien-Marie Legendre (1800), Jakob Steiner (1827), Carl Friedrich Gauss (1841), Paul Serret (1855), and Joseph-Émile Barbier (1864), among others. The theorem is the analog of propositions 37 and 39 in Book I of Euclid's Elements, which prove that every planar triangle with the same area on a fixed base has its apex on a straight line parallel to the base. An analogous theorem can also be proven for hyperbolic triangles, for which the apex lies on a hypercycle.
Statement
Given a fixed base A B , {\displaystyle AB,} an arc of a great circle on a sphere, and two apex points C {\displaystyle C} and X {\displaystyle X} on the same side of great circle A B , {\displaystyle AB,} Lexell's theorem holds that the surface area of the spherical triangle △ A B X {\displaystyle \triangle ABX} is equal to that of △ A B C {\displaystyle \triangle ABC} if and only if X {\displaystyle X} lies on the small-circle arc B ∗ C A ∗ , {\displaystyle B^{*~\!\!}CA^{*}\!,} where A ∗ {\displaystyle A^{*~\!\!}} and B ∗ {\displaystyle B^{*~\!\!}} are the points antipodal to A {\displaystyle A} and B , {\displaystyle B,} respectively. As one analog of the planar formula area = 1 2 base ⋅ height {\displaystyle {\text{area}}={\tfrac {1}{2}}\,{\text{base}}\cdot {\text{height}}} for the area of a triangle, the spherical excess ε {\displaystyle \varepsilon } of spherical triangle △ A B C {\displaystyle \triangle ABC} can be computed in terms of the base c {\displaystyle c} (the angular length of arc A B {\displaystyle AB} ) and "height" h c {\displaystyle h_{c}} (the angular distance between the parallel small circles A ∗ B ∗ C {\displaystyle A^{*~\!\!}B^{*~\!\!}C} and A B C ∗ {\displaystyle ABC^{*~\!\!}} ):
sin 1 2 ε = tan 1 2 c tan 1 2 h c . {\displaystyle \sin {\tfrac {1}{2}}\varepsilon =\tan {\tfrac {1}{2}}c\,\tan {\tfrac {1}{2}}h_{c}.}
… excerpt ends here. Continue reading the full article.






