View source for Lexell's theorem

{{short description|Characterizes spherical triangles with fixed base and area}}
{{use dmy dates|cs1-dates=sy|date=August 2023}}

[[File:Lexell's theorem.png|thumb|upright=1.25|Orange triangles {{math|△''ABC''}} share a base {{mvar|AB}} and have the same area. The locus of their variable apex {{mvar|C}} is a small circle (dashed green) passing through the points antipodal to {{mvar|A}} and {{mvar|B}}.]]

In [[spherical geometry]], '''Lexell's theorem''' holds that every [[spherical triangle]] with the same [[surface area]] on a fixed [[base (geometry)|base]] has its [[apex (geometry)|apex]] on a [[small circle]], called ''Lexell's circle'' or ''Lexell's [[locus (geometry)|locus]]'',{{r|tl-lexell}} passing through each of the two points [[antipodal point|antipodal]] to the two base [[vertex (geometry)|vertices]].

A ''spherical triangle'' is a shape on a [[sphere]] consisting of three vertices (corner [[point (geometry)|point]]s) connected by three sides, each of which is part of a ''[[great circle]]'' (the analog on the sphere of a [[straight line]] in the [[Euclidean plane|plane]], for example the [[equator]] and [[meridian (geography)|meridian]]s of a globe). 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 [[spherical trigonometry|trigonometric]] proof and a [[synthetic geometry|geometric]] one.<ref>{{harvnb|Lexell|1784}}, {{harvnb|Stén|2014}}, {{harvnb|Atzema|2017}}, {{harvnb|Zhukova|2019}}</ref> 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.{{r|earlyhistory}}

The theorem is the analog of propositions 37 and 39 in Book I of [[Euclid's Elements|Euclid's ''Elements'']], which prove that every [[triangle|planar triangle]] with the same area on a fixed base has its apex on a [[straight line]] [[parallel (geometry)|parallel]] to the base.{{r|euclid}} An analogous theorem can also be proven for [[hyperbolic triangle]]s, for which the apex lies on a [[hypercycle (geometry)|hypercycle]].

== Statement ==
[[File:Area of a spherical triangle via Lexell circles.png|thumb|upright=1.25|An area formula for spherical triangles analogous to the formula for planar triangles]]

Given a fixed base <math>AB,</math> an arc of a [[great circle]] on a sphere, and two apex points <math>C</math> and <math>X</math> on the same side of great circle <math>AB,</math> Lexell's theorem holds that the surface area of the spherical triangle <math>\triangle ABX</math> is equal to that of <math>\triangle ABC</math> [[if and only if]] <math>X</math> lies on the small-circle arc <math>B^* C A^*\!,</math> where <math>A^*</math> and <math>B^*</math> are the [[antipodal point|points antipodal]] to <math>A</math> and <math>B,</math> respectively.

As one analog of the planar formula <math>\text{area} = \tfrac12 \, \text{base} \cdot \text{height}</math> for the [[area of a triangle]], the [[spherical excess]] <math>\varepsilon</math> of spherical triangle <math>\triangle ABC</math> can be computed in terms of the base <math>c</math> (the [[central angle|angular length]] of arc {{nobr|<math>AB</math>)}} and "height" <math>h_c</math> (the angular distance between the parallel small circles {{nobr|<math>A^* B^* C</math> and <math>A B C^*</math>):}}{{r|eulermistake}}

:<math>\sin \tfrac12 \varepsilon = \tan \tfrac12 c \, \tan\tfrac12 h_c.</math>

This formula is based on consideration of a [[unit sphere|sphere of radius <math>1</math>]], on which arc length is called ''[[angle measure]]'' and surface area is called ''spherical excess'' or ''[[solid angle]] measure''. The angle measure of a complete great circle is <math>2\pi</math> [[radians]], and the spherical excess of a hemisphere (half-sphere) is <math>2\pi</math> [[steradians]], where <math>\pi</math> is the [[pi|circle constant]].

In the [[limit (mathematics)|limit]] for triangles [[much less than|much smaller than]] the [[radius]] of the sphere, this reduces to the planar formula.

The small circles <math>A^* B^* C</math> and <math>A B C^*</math> each intersect the great circle <math>AB</math> at an angle of <math>\tfrac12 \varepsilon.</math><ref>See {{slink||Stereographic projection}} below for a proof of this.</ref>

== Proofs ==

There are several ways to prove Lexell's theorem, each illuminating a different aspect of the relationships involved.

=== Isosceles triangles ===
[[File:Lexell's proof of Lexell's theorem.png|thumb|Lexell's proof by breaking the triangle {{math|△''A''<sup>∗</sup>''B''<sup>∗</sup>''C''}} into three isosceles triangles]]
The main idea in Lexell's {{c.|1777}} geometric proof – also adopted by [[Eugène Charles Catalan|Eugène Catalan]] (1843), [[Robert Edgar Allardice|Robert Allardice]] (1883), [[Jacques Hadamard]] (1901), [[Antoine Gob]] (1922), and Hiroshi Maehara (1999) – is to split the triangle <math>\triangle A^* B^* C</math> into three isosceles triangles with common apex at the [[circumcenter]] <math>P</math> and then [[angle chasing|chase angles]] to find the spherical excess <math>\varepsilon</math> of triangle <math>\triangle ABC.</math> In the figure, points <math>A</math> and <math>B</math> are on the far side of the sphere so that we can clearly see their antipodal points and all of Lexell's circle <math>l.</math>{{r|isosceles}}

Let the base angles of the isosceles triangles <math>\triangle B^* C P</math> (shaded red in the figure), <math>\triangle CA^* P</math> (blue), and <math>\triangle A^* B^* P</math> (purple) be respectively <math>\alpha,</math> <math>\beta,</math> and <math>\delta.</math> (In some cases <math>P</math> is outside {{nobr|<math>\triangle A^* B^* C</math>;}} then one of the quantities <math>\alpha, \beta, \delta</math> will be negative.) We can compute the internal angles of <math>\triangle ABC</math> (orange) in terms of these angles: <math>\angle A = \pi - \beta - \delta</math> (the [[supplementary angles|supplement]] of {{nobr|<math>\angle A^*</math>)}} and likewise <math>\angle B = \pi - \alpha - \delta,</math> and finally <math>\angle C = \alpha + \beta.</math>

By [[Girard's theorem]] the spherical excess of <math>\triangle ABC</math> is

:<math>\begin{align}
\varepsilon
&= \angle A + \angle B + \angle C - \pi \\[3mu]
&= (\pi - \beta - \delta) + (\pi - \alpha - \delta) + (\alpha + \beta) - \pi \\[3mu]
&= \pi - 2\delta.
\end{align}</math>

If base <math>AB</math> is fixed, for any third vertex <math>C</math> falling on the same arc of Lexell's circle, the point <math>P</math> and therefore the quantity <math>\delta</math> will not change, so the excess <math>\varepsilon</math> of <math>\triangle ABC,</math> which depends only on <math>\delta,</math> will likewise be constant. And vice versa: if <math>\varepsilon</math> remains constant when the point <math>C</math> is changed, then so must <math>\delta</math> be, and therefore <math>P</math> must be fixed, so <math>C</math> must remain on Lexell's circle.

=== Cyclic quadrilateral ===

[[File:Steiner's proof of Lexell's theorem.png|thumb|Steiner's proof by constructing a cyclic quadrilateral {{math|◻''A''<sup>∗</sup>''DB''<sup>∗</sup>''C''}} inside Lexell's circle]]

[[Jakob Steiner]] (1827) wrote a proof in similar style to Lexell's, also using Girard's theorem, but demonstrating the angle invariants in the triangle <math>\triangle A^* B^* C</math> by constructing a [[cyclic quadrilateral]] inside the Lexell circle, using the property that pairs of opposite angles in a spherical cyclic quadrilateral have the same sum.{{r|cyclicquad}}{{r|cyclicproof}}

Starting with a triangle <math>\triangle ABC</math>, let <math>l</math> be the Lexell circle circumscribing <math>\triangle A^* B^* C,</math> and let <math>D</math> be another point on <math>l</math> separated from <math>C</math> by the great circle <math>B^* A^*\!.</math> Let <math>\alpha_1 = \angle C A^* B^*\!,</math> <math>\beta_1 = \angle A^* B^* C,</math> <math>\alpha_2 = \angle B^* A^* D,</math> <math>\beta_2 = \angle D A^* B^*\!.</math>

Because the quadrilateral <math>\square A^* D B^* C</math> is cyclic, the sum of each pair of its opposite angles is equal, <math>\angle C + \angle D = {}\!</math><math> \alpha_1 + \alpha_2 + \beta_1 + \beta_2,</math> or rearranged <math>\alpha_1 + \beta_1 - \angle C = {}\!</math><math>\angle D - \alpha_2 - \beta_2.</math>

By Girard's theorem the spherical excess <math>\varepsilon</math> of <math>\triangle ABC</math> is

:<math>\begin{align}
\varepsilon
&= \angle A + \angle B + \angle C - \pi \\[3mu]
&= (\pi - \alpha_1) + (\pi - \beta_1) + \angle C - \pi \\[3mu]
&= \pi - (\alpha_1 + \beta_1 - \angle C) \\[3mu]
&= \pi - (\angle D - \alpha_2 - \beta_2).
\end{align}</math>

The quantity <math>\angle D - \alpha_2 - \beta_2</math> does not depend on the choice of <math>C,</math> so is invariant when <math>C</math> is moved to another point on the same arc of <math>l.</math> Therefore <math>\varepsilon</math> is also invariant.

Conversely, if <math>C</math> is changed but <math>\varepsilon</math> is invariant, then the opposite angles of the quadrilateral <math>\square A^* D B^* C</math> will have the same sum, which implies <math>C</math> lies on the small circle <math> A^* D B^*\!.</math>

=== Spherical parallelograms ===
Euler in 1778 proved Lexell's theorem analogously to [[#Euclidean plane|Euclid's proof of ''Elements'' I.35 and I.37]], as did [[Victor-Amédée Lebesgue]] independently in 1855, using [[#Spherical parallelogram|spherical parallelogram]]s – spherical quadrilaterals with congruent opposite sides, which have parallel small circles passing through opposite pairs of adjacent vertices and are in many ways analogous to Euclidean [[parallelograms]]. There is one complication compared to Euclid's proof, however: The four sides of a spherical parallelogram are the great-circle arcs through the vertices rather than the parallel small circles. Euclid's proof does not need to account for the small [[Circular segment|lens-shaped regions]] sandwiched between the great and small circles, which vanish in the planar case.<ref>{{harvnb|Euler|1797}}, {{harvnb|Papadopoulos|2014}}, {{harvnb|Atzema|2017}}, {{harvnb|Maehara|Martini|2023}} {{pb}}
Euler's proof differs slightly from the proof presented here in that Euler did not consider spherical parallelograms per se, but instead the parallelogram-like regions bounded by great circle arcs on the two sides and by small-circle arcs on top and bottom. The main idea of the proof is the same, but the lens-shaped regions between the two shapes must be treated slightly differently. A proof using spherical parallelograms proper is found in: {{pb}}
{{cite journal |mode=cs2 |last=
  Lebesgue |first=Victor-Amédée |author-link=Victor-Amédée Lebesgue |year=
  1855 |title=Démonstration du théorème de Lexell |trans-title=Proof of Lexell's theorem |language=fr |journal=Nouvelles annales de mathématiques |volume=14 |pages=24–26 |url=https://archive.org/details/nouvellesannales1418unse/page/24/ |id={{EuDML|96674}} }}
</ref>

[[File:Spherical analog of Elements I.35.png|thumb|Lemma: Two spherical parallelograms with the same base and between the same parallels have equal area.]]

A [[lemma (mathematics)|lemma]] analogous to ''Elements'' I.35: two spherical parallelograms on the same base and between the same parallels have equal area.

''Proof'':  Let <math>\square ABC_1D_1</math> and <math>\square ABC_2D_2</math> be spherical parallelograms with the great circle <math>m</math> (the "midpoint circle") passing through the midpoints of sides <math>BC_1</math> and <math>AD_1</math> coinciding with the corresponding midpoint circle in <math>\square ABC_2D_2.</math> Let <math>F</math> be the intersection point between sides <math>AD_2</math> and <math>BC_1.</math> Because the midpoint circle <math>m</math> is shared, the two top sides <math>C_1D_1</math> and <math>C_2D_2</math> lie on the same small circle <math>l</math> parallel to <math>m</math> and antipodal to a small circle <math>l^*</math> passing through <math>A</math> and <math>B.</math>

Two arcs of <math>l</math> are congruent, <math>D_1D_2 \cong C_1C_2,</math> thus the two curvilinear triangles <math>\triangle BC_1C_2</math> and <math>\triangle AD_1D_2,</math> each bounded by <math>l</math> on the top side, are congruent. Each parallelogram is formed from one of these curvilinear triangles added to the triangle <math>\triangle ABF</math> and to one of the congruent lens-shaped regions between each top side and <math>l,</math> with the curvilinear triangle <math>\triangle D_2C_1F</math> cut away. Therefore the parallelograms have the same area. (As in ''Elements'', the case where the parallelograms do not intersect on the sides is omitted, but can be proven by a similar argument.)

''Proof of Lexell's theorem'': Given two spherical triangles <math>\triangle ABC_1</math> and <math>\triangle ABC_2</math> each with its apex on the same small circle <math>l</math> through points <math>A^*</math> and <math>B^*\!,</math> construct new segments <math>C_1D_1</math> and <math>C_2D_2</math> congruent to <math>AB</math>  with vertices <math>D_1</math> and <math>D_2</math> on <math>l.</math> The two quadrilaterals <math>\square ABC_1D_1</math> and <math>\square ABC_2D_2</math> are spherical parallelograms, each formed by pasting together the respective triangle and a congruent copy. By the lemma, the two parallelograms have the same area, so the original triangles must also have the same area.

''Proof of the converse'': If two spherical triangles have the same area and the apex of the second is assumed to not lie on the Lexell circle of the first, then the line through one side of the second triangle can be intersected with the Lexell circle to form a new triangle which has a different area from the second triangle but the same area as the first triangle, a contradiction. This argument is the same as that found in ''Elements'' I.39.

=== Saccheri quadrilateral ===
[[File:Lexell's theorem via a Saccheri quadrilateral.png|thumb|Gauss's proof using a Saccheri quadrilateral]]

Another proof using the midpoint circle which is more visually apparent in a single picture is due to [[Carl Friedrich Gauss]] (1841), who constructs the [[Saccheri quadrilateral]] (a quadrilateral with two adjacent right angles and two other equal angles) formed between the side of the triangle and its perpendicular projection onto the midpoint circle {{nobr|<math>m,</math><ref>By ''perpendicular projection'' of a point <math>P</math> onto a great circle <math>g</math> we mean the foot of the altitude through <math>P,</math> i.e. the intersection between <math>g</math> and the great circle <math>h</math> which is perpendicular to <math>g</math> and passes through <math>P.</math></ref>}} which has the same area as the triangle.{{r|saccheri}}

Let <math>m</math> be the great circle through the midpoints <math>M_1</math> of <math>AC</math> and <math>M_2</math> of <math>BC,</math> and let <math>A',</math> <math>B',</math> and <math>C'</math> be the perpendicular projections of the triangle vertices onto <math>m.</math>  The resulting pair of right triangles <math>\triangle AA'M_1</math> and <math>\triangle CC'M_1</math> (shaded red) have equal angles at <math>M_1</math> ([[vertical angles]]) and equal [[hypotenuse]]s, so they are [[congruence (geometry)|congruent]]; so are the triangles <math>\triangle BB'M_2</math> and <math>\triangle CC'M_2</math> (blue). Therefore, the area of triangle <math>\triangle ABC</math> is equal to the area of Saccheri quadrilateral <math>\square ABB'A',</math> as each consists of one red triangle, one blue triangle, and the green quadrilateral <math>\square ABM_2M_1</math> pasted together. (If <math>C'</math> falls outside the arc <math>A'B',</math> then either the red or blue triangles will have negative signed area.) Because the great circle <math>m,</math> and therefore the quadrilateral <math>\square ABB'A',</math> is the same for any choice of <math>C</math> lying on the Lexell circle <math>l,</math> the area of the corresponding triangle <math>\triangle ABC</math> is constant.

=== Stereographic projection ===

The [[stereographic projection]] maps the sphere to the plane. A designated great circle is mapped onto the ''primitive circle'' in the plane, and its poles are mapped to the origin (center of the primitive circle) and the [[point at infinity]], respectively. Every circle on the sphere is mapped to a [[generalized circle|circle or straight line]] in the plane, with straight lines representing circles through the second pole. The stereographic projection is [[conformal map|conformal]], meaning it preserves angles.

[[File:Stereographic proof of Lexell's theorem.png|thumb|upright=1.25|Paul Serret's proof by stereographic projection with {{mvar|A}} projected to the origin]]

To prove relationships about a general spherical triangle <math>\triangle ABC,</math> [[without loss of generality]] vertex <math>A</math> can be taken as the point which projects to the origin. The sides of the spherical triangle then project to two straight segments and a circular arc. If the tangent lines to the circular side at the other two vertices intersect at point <math>E,</math> a planar straight-sided quadrilateral <math>\square ABEC</math> can be formed whose external angle at <math>E</math> is the spherical excess <math>\varepsilon = \angle A + \angle B + \angle C - \pi</math> of the spherical triangle. This is sometimes called the [[Cesàro method]] of spherical trigonometry, after [[crystallography|crystallographer]] {{ill|Giuseppe Cesàro|de|Giuseppe Raimondo Pio Cesàro|fr|Giuseppe Raimondo de Cesàro}} who popularized it in two 1905 papers.{{r|cesàro}}

[[Paul Serret]] (in 1855, a half century before Cesàro), and independently Aleksander Simonič (2019), used Cesàro's method to prove Lexell's theorem. Let <math>O</math> be the center in the plane of the circular arc to which side <math>BC</math> projects. Then <math>\square OBEC</math> is a [[right kite]], so the central angle <math>\angle BOC</math> is equal to the external angle at <math>E,</math> the triangle's spherical excess <math>\varepsilon.</math> Planar angle <math>\angle BB^*C</math> is an inscribed angle subtending the same arc, so by the [[inscribed angle theorem]] has measure <math>\tfrac12\varepsilon.</math> This relationship is preserved for any choice of {{nobr|<math>C</math>;}} therefore, the spherical excess of the triangle is constant whenever <math>C</math> remains on the Lexell circle <math>l,</math> which projects to a line through <math>B^*</math> in the plane. (If the area of the triangle is greater than a half-hemisphere, a similar argument can be made, but the point <math>E</math> is no longer internal to the angle {{nobr|<math>\angle BOC.</math>)}}{{r|stereo}}

=== Perimeter of the polar triangle ===
[[File:Lexell's theorem via perimeter of the polar triangle.png|thumb|upright=1.25|Barbier's proof using the perimeter of a polar triangle {{math|△''A′B′C′''}}, pictured in stereographic projection]]

Every spherical triangle has a [[duality (mathematics)|dual]], its [[polar triangle]]; if triangle <math>\triangle A'B'C'</math> (shaded purple) is the polar triangle of <math>\triangle ABC</math> (shaded orange) then the vertices <math>A'\!, B'\!, C'</math> are the poles of the respective sides <math>BC, CA, AB,</math> and vice versa, the vertices <math>A, B, C</math> are the poles of the sides  <math>B'C'\!, C'A'\!, A'B'\!.</math> The polar duality exchanges the sides ([[central angle]]s) and [[external angle]]s (dihedral angles) between the two triangles.

Because each side of the dual triangle is the supplement of an internal angle of the original triangle, the spherical excess <math>\varepsilon</math> of <math>\triangle ABC</math> is a function of the perimeter <math>p'</math> of the dual triangle {{nobr|<math>\triangle A'B'C'</math>:}}

:<math>\begin{align}
\varepsilon
&= \angle A + \angle B + \angle C - \pi \\[3mu]
&= \bigl(\pi - |B'C'|\bigr) + \bigl(\pi - |C'A'|\bigr) + \bigl(\pi - |A'B'|\bigr) - \pi  \\[3mu]
&= 2\pi - p',
\end{align}</math>

where the notation <math>|PQ|</math> means the angular length of the great-circle arc <math>PQ.</math>

In 1854 [[Joseph-Émile Barbier]] – and independently [[László Fejes Tóth]] (1953) – used the polar triangle in his proof of Lexell's theorem, which is essentially dual to [[#Isosceles triangles|the proof by isosceles triangles above]], noting that under polar duality the Lexell circle <math>l</math> circumscribing <math>\triangle A^* B^* C</math> becomes an [[excircle]] <math>l'</math> of <math>\triangle A'B'C'</math> ([[incircle]] of a [[colunar triangle]]) externally tangent to side <math>A'B'.</math>{{r|polar}}

If vertex <math>C</math> is moved along <math>l,</math> the side <math>A'B'</math> changes but always remains tangent to the same circle <math>l'.</math> Because the arcs from each vertex to either adjacent touch point of an incircle or excircle are congruent, <math>A'T_B \cong A'T_C</math> (blue segments) and <math>B'T_A \cong B'T_C</math> (red segments), the perimeter <math>p'</math> is

:<math>\begin{align}
p' &= |A'B'| + |B'C'| + |C'A'| \\[3mu]
&= \bigl(|A'T_C| + |B'T_C|\bigr) + |C'B'| + |C'A'| \\[3mu]
&= \bigl(|C'A'| + |A'T_B|\bigr) + \bigl(|C'B'| + |B'T_A|\bigr)  \\[3mu]
&= |C'T_B| + |C'T_A|,
\end{align}</math>

which remains constant, depending only on the circle <math>l'</math> but not on the changing side <math>A'B'.</math> Conversely, if the point <math>C</math> moves off of <math>l,</math> the associated excircle <math>l'</math> will change in size, moving the points <math>T_A</math> and <math>T_B</math> both toward or both away from <math>C'^*</math> and changing the perimeter <math>p'</math> of <math>\triangle A'B'C'\!</math> and thus changing <math>\varepsilon.</math>

The locus of points <math>C</math> for which <math>\varepsilon</math> is constant is therefore <math>l.</math>

=== Trigonometric proofs ===

Both Lexell ({{c.|1777}}) and Euler (1778) included trigonometric proofs in their papers, and several later mathematicians have presented trigonometric proofs, including [[Adrien-Marie Legendre]] (1800), [[Louis Puissant]] (1842), [[Ignace-Louis-Alfred Le Cointe]] (1858), and [[Joseph-Alfred Serret]] (1862). Such proofs start from known triangle relations such as the [[spherical law of cosines]] or a formula for spherical excess, and then proceed by algebraic manipulation of [[trigonometric identities]].{{r|trig}}

== Opposite arcs of Lexell's circle ==
The sphere is separated into two hemispheres by the great circle <math>AB,</math> and any Lexell circle through <math>A^*</math> and <math>B^*</math> is separated into two arcs, one in each hemisphere. If the point <math>X</math> is on the opposite arc from <math>C,</math> then the areas of <math>\triangle ABC</math> and <math>\triangle ABX</math> will generally differ. However, if spherical surface area is interpreted to be signed, with sign determined by boundary orientation, then the areas of triangle <math>\triangle ABC</math> and <math>\triangle ABX</math> have opposite signs and differ by the area of a hemisphere.

Lexell suggested a more general framing. Given two distinct non-antipodal points <math>A</math> and <math>B,</math> there are two great-circle arcs joining them: one shorter than a semicircle and the other longer. Given a [[tuple|triple]] <math>A,B, C</math> of points, typically <math>\triangle ABC</math> is interpreted to mean the area enclosed by the three shorter arcs joining each pair. However, if we allow choice of arc for each pair, then 8 distinct generalized spherical triangles can be made, some with self intersections, of which four might be considered to have the same base <math>AB.</math>

{{multiple image
 | width = 300
 | footer = The eight generalized spherical triangles for vertices {{mvar|A,&hairsp;B,&hairsp;C}}, shown in [[stereographic projection]], with orange and purple shading representing areas of opposite signs
 | align = none
 | image_style=border:none
 | image1 = Generalized spherical triangles 1.svg
 | image2 = Generalized spherical triangles 2.svg
}}

These eight triangles do not all have the same surface area, but if area is interpreted to be signed, with sign determined by boundary orientation, then those which differ <!-- intentional doubled word --> differ by the area of a hemisphere.{{r|extended-triangles}}

In this context, given four distinct, non-antipodal points <math>A,</math> <math>B,</math> <math>C,</math> and <math>X</math> on a sphere, Lexell's theorem holds that the signed surface area of any generalized triangle <math>\triangle ABC</math> differs from that of any generalized triangle <math>\triangle ABX</math> by a whole number of hemispheres if and only if <math>A^*\!,</math> <math>B^*\!,</math> <math>C,</math> and <math>X</math> are [[concyclic points|concyclic]].

== Special cases ==

=== Lunar degeneracy ===
[[File:Degenerate lunar case of Lexell's theorem.png|thumb|upright=1.25|In the limit as {{math|''C'' → ''B''<sup>∗</sup>}} along Lexell's circle {{mvar|l}} the triangle {{math|△''ABC''}} degenerates to the lune (shaded orange or purple) with its side tangent to {{mvar|l}} (here pictured in stereographic projection).]]
As the apex <math>C</math> approaches either of the points antipodal to the base vertices – say <math>B^*</math> – along Lexell's circle <math>l,</math> in the limit the triangle [[degeneracy (mathematics)|degenerates]] to a [[spherical lune|lune]] tangent to <math>l</math> at <math>B^*</math> and tangent to the antipodal small circle  <math>l^*</math> at <math>B,</math> and having the same excess <math>\varepsilon</math> as any of the triangles with apex on the same arc of <math>l.</math> As a degenerate triangle, it has a straight angle at <math>A</math> (i.e. <math>\angle A = \pi,</math> a half turn) and equal angles <math>B = B^* = \tfrac12\varepsilon.</math><ref>{{harvnb|Steiner|1827}}, {{harvnb|Steiner|1841}}, {{harvnb|Atzema|2017}}</ref>

As <math>C</math> approaches <math>B^*</math> from the opposite direction (along the other arc of Lexell's circle), in the limit the triangle degenerates to the co-hemispherical lune tangent to the Lexell circle at <math>B^*</math> with the opposite orientation and angles <math>\angle B = \angle B^\star = \pi - \tfrac12\varepsilon.</math>

=== Half-hemisphere area ===

The area of a spherical triangle is equal to half a hemisphere (excess {{nobr|<math>\varepsilon = \pi</math>)}} if and only if the Lexell circle <math>A^*B^*C</math> is [[orthogonal circles|orthogonal]] to the great circle <math>AB,</math> that is if arc <math>A^*B^*</math> is a diameter of circle <math>A^*B^*C</math> and arc <math>AB</math> is a diameter of <math>ABC^*\!.</math>

In this case, letting <math>D</math> be the point diametrically opposed to <math>C</math> on the Lexell circle <math>A^*B^*C</math> then the four triangles <math>\triangle ABC,</math> <math>\triangle BAD,</math> <math>\triangle CDA,</math> and <math>\triangle DCB</math> are congruent, and together form a spherical disphenoid <math>ABCD</math> (the central projection of a [[disphenoid]] onto a concentric sphere). The eight points <math>AA^*BB^*CC^*DD^*</math> are the vertices of a [[rectangular cuboid]].{{r|disphenoid}}

{{clear}}

== Related concepts and results ==

=== Spherical parallelogram ===
[[File:Spherical parallelogram.png|thumb|right|A spherical parallelogram, showing great circles with solid lines and small circles with dashed lines]]
A ''[[spherical parallelogram]]'' is a spherical quadrilateral <math>\square ABCD</math> whose opposite sides and opposite angles are congruent {{nobr|(<math>AB \cong CD,</math>}} <math>BC \cong DA,</math> <math>\angle A = \angle C,</math> {{nobr|<math>\angle B = \angle D</math>).}} It is in many ways analogous to a planar [[parallelogram]]. The two diagonals <math>AC</math> and <math>BD</math> bisect each-other and the figure has 2-fold [[rotational symmetry]] about the intersection point (so the diagonals each split the parallelogram into two congruent spherical triangles, <math>\triangle ABC \cong \triangle CDA</math> and {{nobr|<math>\triangle ABD \cong \triangle CDB</math>);}} if the midpoints of either pair of opposite sides are connected by a great circle <math>m</math>, the four vertices fall on two parallel small circles equidistant from it. More specifically, any vertex (say {{nobr|<math>D</math>)}} of the spherical parallelogram lies at the intersection of the two Lexell circles (<math>l_{cd}</math> and <math>l_{da}</math>) passing through one of the adjacent vertices and the points antipodal to the other two vertices.

As with spherical triangles, spherical parallelograms with the same base and the apex vertices lying on the same Lexell circle have the same area; see {{slink|#Spherical parallelograms}} above. Starting from any spherical triangle, a second congruent triangle can be formed via a (spherical) point reflection across the midpoint of any side. When combined, these two triangles form a spherical parallelogram with twice the area of the original triangle.<ref>{{harvnb|Lebesgue|1855}}; {{harvnb|Casey|1889}}, [https://archive.org/details/treatiseonspheri00seri/page/n34/ Def. 17], {{p.|18}}; {{harvnb|Todhunter|Leathem|1901}}, [https://archive.org/details/sphericaltrigono00todh/page/239/ Examples XIX, No. 14], {{p.|239}}</ref>

=== Sorlin's theorem (polar dual) ===

The [[polar duality|polar dual]] to Lexell's theorem, sometimes called ''Sorlin's theorem'' after [[A. N. J. Sorlin]] who first proved it trigonometrically in 1825, holds that for a spherical trilateral <math>\triangle abc</math> with sides on fixed great circles <math>a, b</math> (thus fixing the angle between them) and a fixed perimeter <math>p = |a| + |b| + |c|</math> (where <math>|a|</math> means the length of the triangle side {{nobr|<math>a</math>),}} the [[envelope (mathematics)|envelope]] of the third side <math>c</math> is a small circle internally tangent to <math>a, b</math> and externally tangent to <math>c,</math> the [[excircle]] to trilateral <math>\triangle abc.</math> Joseph-Émile Barbier later wrote a geometrical proof (1864) which he used to prove Lexell's theorem, by duality; see {{slink|#Perimeter of the polar triangle}} above.<ref>{{harvnb|Todhunter|Leathem|1901}}, [https://archive.org/details/sphericaltrigono00todh/page/154/ § 195], {{p.|154}} {{pb}}
{{ cite journal |mode=cs2 |last1=
  Sorlin |first1=A. N. J. |last2=
  Gergonne |first2=Joseph Diez |author2-link=Joseph Diez Gergonne |year=
  1825 |title=Trigonométrie. Recherches de trigonométrie sphérique |trans-title=Trigonometry. Research on spherical trigonometry
|journal=Annales de Mathématiques Pures et Appliquées |volume=15 |pages=273–304 |url=https://babel.hathitrust.org/cgi/pt?id=nyp.33433062736982&seq=303 |id={{EuDML|80036}} }}</ref>

This result also applies in Euclidean and hyperbolic geometry: Barbier's geometrical argument can be transplanted directly to the Euclidean or hyperbolic plane.

=== Foliation of the sphere ===
[[File:Foliation of the sphere by Lexell circles.png|thumb|A foliation of the sphere by Lexell's loci]]

Lexell's loci for any base <math>AB</math> make a ''[[foliation]]'' of the sphere (decomposition into one-dimensional ''leaves''). These loci are arcs of small circles with endpoints at <math>A^*</math> and <math>B^*\!,</math> on which any intermediate point <math>C</math> is the apex of a triangle <math>ABC</math> of a fixed signed area. That area is twice the signed angle between the Lexell circle and the great circle <math>ABA^*B^*</math> at either of the points <math>A^*</math> or {{nobr|<math>B^*</math>;}} see {{slink|#Lunar degeneracy}} above. In the figure, the Lexell circles are in green, except for those whose triangles' area is a multiple of a half hemisphere, which are black, with area labeled; see {{slink|#Half-hemisphere area}} above.<ref>{{harvnb|Papadopoulos|Su|2017}}</ref>

These Lexell circles through <math>A^*</math> and <math>B^*</math> are the spherical analog of the family of [[Apollonian circles]] through two points in the plane.

=== Maximizing spherical triangle area subject to constraints  ===

In 1784 [[Nicolas Fuss]] posed and solved the problem of finding the triangle <math>\triangle ABC</math> of maximal area on a given base <math>AB</math> with its apex <math>C</math> on a given great circle <math>g.</math> Fuss used an argument involving infinitesimal variation of <math>C,</math> but the solution is also a straightforward corollary of Lexell's theorem: the Lexell circle <math>A^*B^*C</math> through the apex must be tangent to <math>g</math> at <math>C.</math>

If <math>g</math> crosses the great circle through <math>AB</math> at a point <math>P</math>, then by the spherical analog of the [[tangent–secant theorem]], the angular distance <math>PC</math> to the desired point of tangency satisfies

:<math>\tan^2 \tfrac12|PC| = \tan \tfrac12 |PA^*|\,\tan \tfrac12 |PB^*|,</math>

from which we can explicitly construct the point <math>C</math> on <math>g</math> such that <math>\triangle ABC</math> has maximum area.<ref>{{harvnb|Papadopoulos|2014}}, {{harvnb|Atzema|2017}} {{pb}}
{{cite journal |mode=cs2 |last=
  Fuss |first=Nicolas |author-link=Nicolas Fuss |year=1788 |orig-year=written 1784 |title=Problematum quorundam sphaericorum solutio |journal=Nova Acta Academiae Scientiarum Imperialis Petropolitanae |volume=2 |pages=70–83 |url=https://archive.org/details/novaactaacademia02impe/page/70/ }}
</ref>

In 1786 [[Theodor von Schubert]] posed and solved the problem of finding the spherical triangles of maximum and minimum area of a given base and altitude (the spherical length of a perpendicular dropped from the apex to the great circle containing the base); spherical triangles with constant altitude have their apex on a common small circle (the "altitude circle") parallel to the great circle containing the base. Schubert solved this problem by a calculus-based trigonometric approach to show that the triangle of minimal area has its apex at the nearest intersection of the altitude circle and the perpendicular bisector of the base, and the triangle of maximal area has its apex at the far intersection. However, this theorem is also a straightforward corollary of Lexell's theorem: the Lexell circles through the points antipodal to the base vertices representing the smallest and largest triangle areas are those tangent to the altitude circle. In 2019 Vincent Alberge and Elena Frenkel solved the analogous problem in the hyperbolic plane.<ref>{{harvnb|Atzema|2017}} {{pb}}
{{cite journal |mode=cs2 |last=
  Schubert |first=Friedrich Theodor |author-link=Theodor von Schubert |year=
  1789 |orig-date=written 1786 |title=Problematis cuiusdam sphaerici solutio |trans-title=The solution of a certain spherical problem |language=la |journal=Nova Acta Academiae Scientiarum Imperialis Petropolitanae |volume=4 |pages=89–94 |url=https://books.google.com/books?id=FQFlAAAAcAAJ&pg=PA89 }} {{pb}}
{{cite book |mode=cs2 |last1=
  Alberge |first1=Vincent |last2=
  Frenkel |first2=Elena |year=
  2019 |chapter=3. On a problem of Schubert in hyperbolic geometry |title=Eighteen Essays in Non-Euclidean Geometry |editor1-last=Alberge |editor1-first=Vincent |editor2-last=Papadopoulos |editor2-first=Athanase |publisher=European Mathematical Society |pages=27–46 |doi=10.4171/196-1/2 }}</ref>

=== Steiner's theorem on area bisectors ===
[[File:Steiner's theorem on area bisectors of a spherical triangle.png|thumb|Steiner's theorem: the "equalizers" (area-bisecting arcs through each vertex) of a spherical triangle all intersect in a point {{mvar|S}}. (This is distinct from the intersection of the medians {{mvar|G}}.)]]

In the Euclidean plane, a [[median (geometry)|median]] of a triangle is the line segment connecting a vertex to the midpoint of the opposite side. The three medians of a triangle all intersect at its [[centroid]]. Each median bisects the triangle's area.

On the sphere, a median of a triangle can also be defined as the great-circle arc connecting a vertex to the midpoint of the opposite side. The three medians all intersect at a point, the central projection onto the sphere of the triangle's extrinsic centroid – that is, centroid of the flat triangle containing the three points if the sphere is embedded in 3-dimensional Euclidean space. However, on the sphere the great-circle arc through one vertex and a point on the opposite side which bisects the triangle's area is, in general, distinct from the corresponding median.

[[Jakob Steiner]] used Lexell's theorem to prove that these three area-bisecting arcs (which he called "equalizers") all intersect in a point, one possible alternative analog of the planar centroid in spherical geometry. (A different spherical analog of the centroid is the apex of three triangles of equal area whose bases are the sides of the original triangle, the point with <math>\bigl(\tfrac13,\tfrac13,\tfrac13\bigr)</math> as its [[#Spherical area coordinates|spherical area coordinates]].)<ref>{{harvnb|Steiner|1827}}, {{harvnb|Steiner|1841}}, {{harvnb|Atzema|2017}}. {{harvnb|Simonič|2019}} includes another proof of this theorem without relying on Lexell's theorem.</ref>

=== Spherical area coordinates ===

[[File:Spherical area coordinates.png|thumb|upright=1.25|Mapping from spherical area coordinates to barycentric coordinates in the plane]]

The [[barycentric coordinate system]] for points relative to a given triangle in [[affine space]] does not have a perfect analogy in spherical geometry; there is no single spherical coordinate system sharing all of its properties. One partial analogy is ''spherical area coordinates'' for a point <math>P</math> relative to a given spherical triangle <math>\triangle ABC,</math>

:<math>\left(
\frac{\varepsilon_{PBC}}{\varepsilon_{ABC}},
\frac{\varepsilon_{APC}}{\varepsilon_{ABC}},
\frac{\varepsilon_{ABP}}{\varepsilon_{ABC}}
\right),</math>

where each quantity <math>\varepsilon_{QRS}</math> is the signed spherical excess of the corresponding spherical triangle <math>\triangle QRS.</math> These coordinates sum to <math>1,</math> and using the same definition in the plane results in barycentric coordinates.

By Lexell's theorem, the locus of points with one coordinate constant is the corresponding Lexell circle. It is thus possible to find the point corresponding to a given triple of spherical area coordinates by intersecting two small circles.

Using their respective spherical area coordinates, any spherical triangle can be mapped to any other, or to any planar triangle, using corresponding barycentric coordinates in the plane. This can be used for polyhedral [[map projection]]s; for the definition of [[discrete global grid]]s; or for [[mesh parameterization|parametrizing]] [[surface triangulation|triangulations]] of the sphere or [[texture mapping]] any [[triangular mesh]] topologically equivalent to a sphere.{{r|sac}}

== Euclidean plane ==
[[File:Lexell's theorem in the plane.png|thumb|Orange triangles {{math|△''ABC''}} share a base {{mvar|AB}} and area. The locus of their apex {{mvar|C}} is a line (dashed green) parallel to the base.]]

The analog of Lexell's theorem in the Euclidean plane comes from antiquity, and can be found in Book I of [[Euclid's Elements|Euclid's ''Elements'']], propositions 37 and 39, built on proposition 35. In the plane, Lexell's circle degenerates to a straight line (which could be called ''Lexell's line'') parallel to the base.{{r|euclid}}

[[File:Euclid's Elements I.35.png|thumb|''Elements'' I.35]]

''Elements'' I.35 holds that parallelograms with the same base whose top sides are colinear have equal area. ''Proof'': Let the two parallelograms be <math>\square ABC_1D_1</math> and <math>\square ABC_2D_2,</math> with common base <math>AB</math> and <math>C_1,</math> <math>D_1,</math> <math>C_2,</math> and <math>D_2</math> on a common line parallel to the base, and let <math>F</math> be the intersection between <math>BC_1</math> and <math>AD_2.</math> Then the two top sides are congruent <math>C_1D_1 \cong C_2D_2</math> so, adding the intermediate segment to each,  <math>C_1C_2 \cong D_1D_2.</math> Therefore the two triangles <math>\triangle BC_1C_2</math> and <math>\triangle AD_1D_2</math> have matching sides so are congruent. Now each of the parallelograms is formed from one of these triangles, added to the triangle <math>\triangle ABF</math> with the triangle <math>\triangle D_2C_1F</math> cut away, so therefore the two parallelograms  <math>\square ABC_1D_1</math> and <math>\square ABC_2D_2</math> have equal area.

''Elements'' I.37 holds that triangles with the same base and an apex on the same line parallel to the base have equal area. ''Proof'': Let triangles <math>\triangle ABC_1</math> and <math>\triangle ABC_2</math> each have its apex on the same line <math>l</math> parallel to the base <math>AB.</math> Construct new segments <math>C_1D_1</math> and <math>C_2D_2</math> congruent to <math>AB</math> with vertices <math>D_1</math> and <math>D_2</math> on <math>l.</math> The two quadrilaterals <math>\square ABC_1D_1</math> and <math>\square ABC_2D_2</math> are parallelograms, each formed by pasting together the respective triangle and a congruent copy. By I.35, the two parallelograms have the same area, so the original triangles must also have the same area.

''Elements'' I.39 is the converse: two triangles of equal area on the same side of the same base have their apexes on a line parallel to the base. ''Proof'': If two triangles have the same base and same area and the apex of the second is assumed to not lie on the line parallel to the base (the "Lexell line") through the first, then the line through one side of the second triangle can be intersected with the Lexell line to form a new triangle which has a different area from the second triangle but the same area as the first triangle, a contradiction.

In the Euclidean plane, the [[Area of a triangle|area <math>\varepsilon</math> of triangle]] <math>\triangle ABC</math> can be computed using any side length (the ''base'') and the distance between the line through the base and the parallel line through the apex (the corresponding ''height''). Using point <math>C</math> as the apex, and multiplying both sides of the traditional identity by <math>\tfrac12</math> to make the analogy to the spherical case more obvious, this is:

:<math>\tfrac12 \varepsilon = \tfrac12 c\,\tfrac12 h_c.</math>

The Euclidean theorem can be taken as a corollary of Lexell's theorem on the sphere. It is the [[limiting case (mathematics)|limiting case]] as the curvature of the sphere approaches zero, i.e. for spherical triangles as which are infinitesimal in proportion to the radius of the sphere.

== Hyperbolic plane ==
[[File:Lexell's theorem in the hyperbolic plane (half-plane model).png|thumb|In the half-plane model, antipodal points are reflections into the opposite half-plane (shaded gray). Hyperbolic triangles {{math|△''ABC''}} (orange) share a base {{mvar|AB}} and area. The locus of apex {{mvar|C}} is a hypercycle (dashed green) passing through points antipodal to {{mvar|A}} and {{mvar|B}}.]]

In the [[hyperbolic plane]], given a triangle <math>\triangle ABC,</math> the locus of a variable point <math>X</math> such that the triangle <math>\triangle ABX</math> has the same area as <math>\triangle ABC</math> is a [[hypercycle (geometry)|hypercycle]] passing through the points antipodal to <math>A</math> and <math>B,</math> which could be called ''Lexell's hypercycle''. Several proofs from the sphere have straightforward analogs in the hyperbolic plane, including a [[#Saccheri quadrilateral|Gauss-style proof via a Saccheri quadrilateral]] by Barbarin (1902) and Frenkel & Su (2019), [[#Spherical parallelograms|an Euler-style proof via hyperbolic parallelograms]] by Papadopoulos & Su (2017), and [[#Stereographic projection|a Paul Serret-style proof via stereographic projection]] by Shvartsman (2007).{{r|hyperbolic}}

In spherical geometry, the ''antipodal transformation'' takes each point to its [[antipodal point|antipodal]] (diametrically opposite) point. For a sphere embedded in Euclidean space, this is a [[point reflection]] through the center of the sphere; for a sphere stereographically projected to the plane, it is an inversion across the primitive circle composed with a point reflection across the origin (or equivalently, an inversion in a circle of imaginary radius of the same magnitude as the radius of the primitive circle).

In planar [[hyperbolic geometry]], there is a similar antipodal transformation, but any two antipodal points lie in opposite branches of a double hyperbolic plane. For a [[hyperboloid of two sheets]] embedded in [[Pseudo-Euclidean space|Minkowski space]] of [[metric signature|signature]] <math>(-, +, +),</math> known as the [[hyperboloid model]], the antipodal transformation is a point reflection through the center of the hyperboloid which takes each point onto the opposite sheet; in the [[Poincaré half-plane model|conformal half-plane model]] it is a reflection across the boundary line of ideal points taking each point into the opposite half-plane; in the [[Poincaré disk model|conformal disk model]] it is an [[inversive geometry#Inversion in a circle|inversion]] across the boundary circle, taking each point in the disk to a point in its complement. As on the sphere, any generalized circle passing through a pair of antipodal points in hyperbolic geometry is a [[geodesic]].{{r|hyperbolic-antipodes}}

Analogous to the planar and spherical triangle area formulas, the hyperbolic area <math>\varepsilon</math> of the triangle can be computed in terms of the base <math>c</math> (the hyperbolic length of arc {{nobr|<math>AB</math>)}} and "height" <math>h_c</math> (the hyperbolic distance between the parallel hypercycles {{nobr|<math>A^* B^* C</math> and <math>A B C^*</math>):}}

:<math>\sin \tfrac12 \varepsilon = \tanh\tfrac12 c \, \tanh\tfrac12 h_c.</math>

As in the spherical case, in the small-triangle limit this reduces to the planar formula.

== Notes ==
{{reflist|30em|refs=

<ref name=cesàro>
{{cite journal |mode=cs2 |last=
  Cesàro |first=Giuseppe |author-link=Giuseppe Cesàro |year=
  1905 |title=Nouvelle méthode pour l'établissement des formules de la trigonométrie sphérique |trans-title=New method for establishing the formulas of spherical trigonometry |language=fr |journal=Académie royale de Belgique: Bulletins de la Classe des sciences |series=ser. 4 |volume=7 |number=9–10 |pages=434–454 |url=https://www.biodiversitylibrary.org/item/310817#page/452/mode/1up }} {{pb}}
{{cite journal |mode=cs2 |last=
  Cesàro |first=Giuseppe |year=
  1905 |title=Les formules de la trigonométrie sphérique déduites de la projection stéréographique du triangle. – Emploi de cette projection dans les recherches sur la sphère |trans-title=The formulas of spherical trigonometry deduced by spherical projection of the triangle. – Use of this projection in researches on the sphere |language=fr |journal=Académie royale de Belgique: Bulletins de la Classe des sciences |series=ser. 4 |volume=7 |number=12 |pages=560–584 |url=https://www.biodiversitylibrary.org/item/310817#page/582/ }} {{pb}}
{{cite book |mode=cs2 |last=
  Donnay |first=Joseph Desire Hubert |author-link=J. D. H. Donnay |year=
  1945 |title=Spherical Trigonometry after the Cesàro Method |location=New York |publisher=Interscience |url=https://archive.org/details/bwb_P8-ABB-831/ |url-access=limited }} {{pb}}
{{cite book |mode=cs2 |last=
  Van Brummelen |first=Glen |author-link=Glen Van Brummelen |year=
  2012 |chapter=8. Stereographic Projection |title=Heavenly Mathematics |publisher=Princeton University Press |pages=129–150 }}
</ref>

<ref name=cyclicproof>
{{harvnb|Papadopoulos|2014}}, {{harvnb|Atzema|2017}}, {{harvnb|Maehara|Martini|2023}} {{pb}}
{{cite journal |mode=cs2 |last=
  Steiner |first=Jakob |author-link=Jakob Steiner |year=
  1827 |title=Verwandlung und Theilung sphärischer Figuren durch Construction |trans-title=Transformation and Division of Spherical Figures by Construction |language=de |journal=[[Crelle's Journal|Journal für die reine und angewandte Mathematik]] |volume=2 |issue=1 |pages=45–63 |url=https://archive.org/details/journalfurdierei1218unse/page/45 |doi=10.1515/crll.1827.2.45 |id={{EuDML|183090}}
}} {{pb}}
{{cite journal |mode=cs2 |last=
  Steiner |first=Jakob |display-authors=0 |year=
  1845 |title=Théorème de Lexell, et transformation des polygones sphériques, d'après M. Steiner |trans-title=Lexell's theorem, and transformation of spherical polygons, after Mr. Steiner |journal=Nouvelles Annales de Mathématiques |volume=4 |pages=587–590 |language=fr |url=https://hdl.handle.net/2027/pst.000067416042?urlappend=%3Bseq=595 |id={{EuDML|95439}} }} {{pb}}
{{cite journal |mode=cs2 |last=
  Steiner |first=Jakob |author-link=Jakob Steiner |year=
  1841 |title=Sur le maximum et le minimum des figures dans le plan, sur la sphère et dans l'espace général |trans-title=On the maximum and the minimum of figures in the plane, on the sphere and in general space |language=fr |journal=Journal de mathématiques pures et appliquées |volume=6 |pages=105–170 |url=https://archive.org/details/s1journaldemat06liou/page/105/ |id={{EuDML|234575}} }}
</ref>

<ref name=cyclicquad>
This property was first proven in: {{pb}}
{{cite journal |mode=cs2 |last=
  Lexell |first=Anders Johan |author-link=Anders Johan Lexell |year=
  1786 |title=De proprietatibus circulorum in superficie sphaerica descriptorum |trans-title=On the properties of circles described on a spherical surface |language=la |journal=Acta Academiae Scientiarum Imperialis Petropolitanae |volume='''6''': 1782 |issue=1 |pages=58–103, [https://archive.org/details/actaacademiaesci82impe/page/n481/mode/1up figures tab. 3] |url=https://archive.org/details/actaacademiaesci82impe/page/58/ }}
</ref>

<ref name=disphenoid>
{{cite journal |mode=cs2 |last1=
  Maehara |first1=Hiroshi |last2=
  Martini |first2=Horst |year=
  2017 |title=On Lexell's Theorem |journal=American Mathematical Monthly |volume=124 |number=4 |pages=337–344 |doi=10.4169/amer.math.monthly.124.4.337 }} {{pb}}
{{cite journal |mode=cs2 |last1=
  Brooks |first1=Jeff |last2=
  Strantzen |first2=John |year=
  2005 |title=Spherical Triangles of Area {{mvar|π}} and Isosceles Tetrahedra |journal=Mathematics Magazine |volume=78 |number=4 |pages=311–314 |jstor=30044179 |doi=10.1080/0025570X.2005.11953347 |url=https://www.maa.org/sites/default/files/3004417919846.pdf.bannered.pdf }}
</ref>

<ref name=earlyhistory>See {{harvp|Papadopoulos|2014}} and {{harvp|Atzema|2017}} about the early history, and {{harvp|Maehara|Martini|2023}} for a variety of proofs. For further context, see: {{pb}}
{{cite book |mode=cs2 |last=
  Chasles |first=Michel |author-link=Michel Chasles |year=
  1837 |title=Aperçu historique sur l'origine et le développment des méthodes en géométrie |trans-title=Historical overview of the origin and development of methods in geometry |place=Brussels |publisher=Hayez |language=fr |at=Ch. 5, {{nobr|§§ 42–45}}, "Géométrie de la sphère" [Spherical geometry], {{pgs|235–240}} |url=https://archive.org/details/aperuhistoriqu00chasuoft/page/235/}}
</ref>

<ref name=euclid>
[[Euclid]] (c. 300 BCE), ''[[Euclid's Elements|Elements]]'',
[http://aleph0.clarku.edu/~djoyce/java/elements/bookI/propI35.html Prop. I.35]: "Parallelograms which are on the same base and in the same parallels equal one another."
[http://aleph0.clarku.edu/~djoyce/java/elements/bookI/propI37.html Prop. I.37]: "Triangles which are on the same base and in the same parallels equal one another."
[http://aleph0.clarku.edu/~djoyce/java/elements/bookI/propI39.html Prop. I.39]: "Equal triangles which are on the same base and on the same side are also in the same parallels."
</ref>

<ref name=eulermistake>
{{harvp|Puissant|1842}} expresses this in terms of the radius of Lexell's circle, as does {{harvp|Euler|1797}} who mistakenly writes <math>\tan \tfrac12 \varepsilon</math> instead of <math>\sin \tfrac12 \varepsilon.</math> {{pb}}
If <math>r_c</math> is the radius of Lexell's circle, <math display=block>\tan\tfrac12 h_c = 1 / \tan r_c.</math> {{pb}}
Note that <math>h_c</math> is the shortest angular distance from <math>C</math> to the small circle <math>ABC^*\!,</math> ''not'' the shortest distance from <math>C</math> to the great circle <math>AB.</math>
</ref>

<ref name=extended-triangles>
{{harvnb|Lexell|1784}}, [https://archive.org/details/actaacademiaesci81impe/page/124/ § 11], {{pgs|124–145}}; [https://17centurymaths.com/contents/euler/lexellone.pdf#page=17 in Stén's translation] {{pgs|17–18}} {{pb}}
For more about generalized triangles, see {{harvp|Todhunter|Leathem|1901}}, [https://archive.org/details/sphericaltrigono00todh/page/240/ Ch. 19. "The Extended Definition of the Spherical Triangle"], {{pgs|240–258}} {{pb}}
{{cite book |mode=cs2 |last=
  Study |first=Eduard |author-link=Eduard Study |year=
  1893 |title=Sphärische trigonometrie, orthogonale substitutionen und elliptische functionen |language=de |trans-title=Spherical trigonometry, orthogonal substitutions and elliptic functions |publisher=S. Hirzel |url=https://hdl.handle.net/2027/coo.31924059019046 }} {{pb}}
{{cite conference |mode=cs2 |last=
  Study |first=Eduard |author-link=Eduard Study |year=
  1896 |publication-date=|title=Some Researches in Spherical Trigonometry |pages=382–394 |url=https://archive.org/details/cu31924062544352/page/382/ |conference=[[International Congress of Mathematicians|International Mathematical Congress]], Chicago, 1893 |book-title=Mathematical Papers Read at the International Mathematical Congress|publisher=MacMillan }}
</ref>

<ref name=hyperbolic>
Proof by Saccheri quadrilateral: {{pb}}
{{cite book |mode=cs2 |last=
  Barbarin |first=Paul Jean Joseph |author-link=Paul Jean Joseph Barbarin |year=
  1902 |title=La géométrie non Euclidienne |language=fr |trans-title=Non-Euclidean Geometry |chapter=§ 6.23 Aires planes, triangle et polygone |trans-chapter=Plane areas, triangle and polygon |publisher=Scientia |chapter-url=https://books.google.com/books?id=JYrTAdO34CoC&pg=PA50 |pages=50–55 }} {{pb}}
{{cite book |mode=cs2 |last1=
  Frenkel |first1=Elena |last2=
  Su |first2=Weixu |year=
  2019 |chapter=2. The area formula for hyperbolic triangles |title=Eighteen Essays in Non-Euclidean Geometry |editor1-last=Alberge |editor1-first=Vincent |editor2-last=Papadopoulos |editor2-first=Athanase |publisher=European Mathematical Society |pages=27–46 |doi=10.4171/196-1/2 }} {{pb}}
Euclid-style proof by parallelograms, and a trigonometric proof: {{pb}}
{{cite book |mode=cs2 |last1=
  Papadopoulos |first1=Athanase |last2=
  Su |first2=Weixu |year=
  2017 |contribution=On hyperbolic analogues of some classical theorems in spherical geometry |title= Hyperbolic Geometry and Geometric Group Theory |editor1-last=Fujiwara |editor1-first=Koji |editor2-last=Kojima |editor2-first=Sadayoshi |editor3-last=Ohshika |editor3-first=Ken'ichi |publisher=Mathematical Society of Japan |pages=225–253 |arxiv=1409.4742 |doi=10.2969/aspm/07310225 }} {{pb}}
Proof by stereographic projection with one vertex at the origin: {{pb}}
{{cite journal |mode=cs2 |last=
  Shvartsman |first=Osip Vladimirovich |year=
  2007 |script-title=ru:Комментарий к статье П. В. Бибикова и И. В. Ткаченко «О трисекции и бисекции треугольника на плоскости Лобачевского» |language=ru |trans-title=Comment on the article by P. V. Bibikov and I. V. Tkachenko 'On trisection and bisection of a triangle in the Lobachevsky plane' |journal=Matematicheskoe Prosveschenie |series=ser. 3 |volume=11 |pages=127–130 |url=https://www.mccme.ru/free-books/matpros/pdf/mp-11.pdf#page=127 }}
</ref>

<ref name=hyperbolic-antipodes>
{{wikicite |ref = {{harvid|Akopyan|2009}}
|reference = {{cite journal |mode=cs2 |ref=none |last=
  Akopyan |first=Arseniy V. |year=
  2009 |script-title=ru:О некоторых классических конструкциях в геометрии Лобачевского |language=ru |journal=Matematicheskoe Prosveshenie |series=ser. 3 |volume=13 |pages=155–170 |url=https://www.mccme.ru/free-books/matpros/mpd.pdf#page=155 }}, translated as [https://arxiv.org/abs/1105.2153 "On some classical constructions extended to hyperbolic geometry"], translated by Russell, Robert A., 2011, {{arXiv|1105.2153}}
}} {{pb}}
For a fuller elaboration of antipodal transformations in general, which [[Norman Johnson (mathematician)|Norman Johnson]] calls ''central inversions'', see: {{pb}}
{{cite book |mode=cs2 |last=
  Johnson |first=Norman W. |author-link=Norman Johnson (mathematician) |year=
  1981 |chapter=Absolute Polarities and Central Inversion |title=The Geometric Vein: The Coxeter Festschrift |editor1-last=Davis |editor1-first=Chandler |editor2-last=Grünbaum |editor2-first=Branko |editor3-last=Sherk |editor3-first=F.A. |publisher=Springer |pages=443–464 |chapter-url=https://archive.org/details/geometricveincox0000unse/page/443/ |chapter-url-access=limited |doi=10.1007/978-1-4612-5648-9_28 }}
</ref>

<ref name=isosceles>
{{harvnb|Lexell|1784}}, {{harvnb|Atzema|2017}}, {{harvnb|Maehara|Martini|2023}} {{pb}}
The same basic idea was used in: {{pb}}
{{cite book |mode=cs2 |last=
  Catalan |first=Eugène Charles |author-link=Eugène Charles Catalan |year=
  1843 |title=Éléments de géométrie |trans-title=Elements of geometry |language=fr |publisher=Bachelier |chapter=Livre 7, Problème 7. Quel est le lieu géométrique des sommets des triangles sphériques de méme base et de méme surface? |trans-chapter=What is the locus of the apices of spherical triangles with the same base and the same area?
|chapter-url=https://babel.hathitrust.org/cgi/pt?id=uva.x001126751&view=1up&seq=321 |pages=271–272 }} {{pb}}
{{cite journal |mode=cs2 |last=
  Allardice |first=Robert Edgar |author-link=Robert Edgar Allardice |year=
  1883 |title=Spherical Geometry |journal=Proceedings of the Edinburgh Mathematical Society |volume=2 |pages=8–16 |doi=10.1017/S0013091500037020 |doi-access=free }} <!-- hathi trust: https://babel.hathitrust.org/cgi/pt?id=inu.30000021035997&view=1up&seq=16 --> {{pb}}
{{cite book |mode=cs2 |last=
  Hadamard |first=Jacques |author-link=Jacques Hadamard |year=
  1901 |title=Leçons de géométrie élémentaire |language=fr |trans-title=Lessons in elementary geometry |volume=2: Géométrie dans l'espace [Geometry in space] |publisher=Armand Colin |chapter=§ 697. Théorème de Lexell. |chapter-url=https://babel.hathitrust.org/cgi/pt?id=msu.31293001875354&seq=424 |pages=392–393 }} {{pb}}
{{cite journal |mode=cs2 |last=
  Gob |first=Antoine |author-link=Antoine Gob |year=
  1922 |title=Notes de géometrie et de trigonométrie spheriques |language=fr |trans-title=Notes on geometry and spherical trigonometry |journal=Mémoires de la Société Royale des Sciences de Liège |series=ser. 3 |volume=11 |at=No. 3 (pp. 1–29) |url=https://archive.org/details/memoiresdelasoci3111soci/page/n340/ }} {{pb}}
{{cite journal |mode=cs2 |last=
  Maehara |first=Hiroshi |year=
  1999 |title=Lexell's theorem via an inscribed angle theorem |journal=American Mathematical Monthly |volume=106 |number=4 |pages=352–353 |doi=10.1080/00029890.1999.12005052 }}
</ref>

<ref name=polar>
{{harvnb|Maehara|Martini|2023}} {{pb}}
{{cite journal |mode=cs2 |last=
  Barbier |first=Joseph-Émile |author-link=Joseph-Émile Barbier |year=
  1864 |title=Démonstration du théorème de Lexell |trans-title=Proof of Lexell's theorem |language=fr |journal=Les Mondes |volume=4 |pages=42–43 |url=https://books.google.com/books?id=dsgWAQAAIAAJ&pg=PA42 }} {{pb}}
{{wikicite |ref = {{harvid|Fejes Tóth|1953}}
|reference = {{cite book |mode=cs2 |ref=none |last=
  Fejes Tóth |first=László |author-link=László Fejes Tóth |year=
  1953 |chapter=§ 1.8 Polare Dreiecke, der Lexellsche Kreis |title=Lagerungen in der Ebene auf der Kugel und in Raum |language=de |series=Die Grundlehren der mathematischen Wissenschaften |volume=65 |publisher=Springer |chapter-url=https://archive.org/details/lagerungenindere0000feje/page/22/ |chapter-url-access=limited |pages=22–23
}}, 2nd ed. 1972, {{doi|10.1007/978-3-642-65234-9_1}}, translated as {{cite book |mode=cs2 |last=
  Fejes Tóth |first=László |display-authors=0 |translator1-last=
  Fejes Tóth |translator1-first=Gábor |translator2-last=
  Kuperberg |translator2-first=Włodzimierz |year=
  2023 |title=Lagerungen: Arrangements in the Plane, on the Sphere, and in Space |chapter=§ 1.8 Polar Triangles, Lexell's Circle  |pages=25–26 |doi=10.1007/978-3-031-21800-2_1 }}
}} {{pb}}
The polar dual to Lexell's theorem had been previously proved trigonometrically by  A. N. J. Sorlin (1825); see [[#Sorlin's theorem (polar dual)|{{nobr|§ Sorlin's theorem}}]] below.
</ref>

<ref name=sac>{{cite journal |mode=cs2 |last1=
  Praun |first1=Emil |last2=
  Hoppe |first2=Hugues |year=
  2003 |title=Spherical parametrization and remeshing |journal=ACM Transactions on Graphics |volume=22 |number=3 |pages=340–349 |url=http://hhoppe.com/sphereparam.pdf |doi=10.1145/882262.882274 }} {{pb}} 
{{cite journal |mode=cs2 |last=
  Carfora |first=Maria Francesca |year=
  2007 |title=Interpolation on spherical geodesic grids: A comparative study |journal=Journal of Computational and Applied Mathematics |volume=210 |number=1–2 |pages=99–105 |doi=10.1016/j.cam.2006.10.068 |doi-access=free }} {{pb}}
{{cite journal |mode=cs2 |last1=
  Lei |first1=Kin |last2=
  Qi |first2=Dongxu |last3=
  Tian |first3=Xiaolin |title=A new coordinate system for constructing spherical grid systems |journal=Applied Sciences |volume=10 |number=2 |year=2020 |pages=655 |doi=10.3390/app10020655 |doi-access=free }}
</ref>

<ref name=saccheri>
{{harvnb|Atzema|2017}}, {{harvnb|Maehara|Martini|2023}} {{pb}}
Gauss wrote this proof in a letter to [[Heinrich Christian Schumacher]] in 1841, in response to a related proof from [[Thomas Clausen (mathematician)|Thomas Clausen]] sent to him by Schumacher. The correspondence was later published in: {{pb}}
{{cite book |mode=cs2 |author1-last=
  Gauss |author1-first=Carl Friedrich |author1-link=Carl Friedrich Gauss |author2-last=
  Schumacher |author2-first=Heinrich Christian |author2-link=Heinrich Christian Schumacher |year=
  1862 |editor-last=Peters |editor-first=Christian August Friedrich |editor-link=Christian August Friedrich Peters |title=Briefwechsel zwischen C. F. Gauss und H. C. Schumacher |volume=4 |publisher=Gustav Esch |pages=46–49 |url=https://archive.org/details/bub_gb_wkYvBhl9XaQC/page/n59/ }} {{pb}}
The same proof can also be found in: {{pb}}
{{cite journal |mode=cs2 |last=
  Persson |first=Ulf |year=
  2012 |title=Lexell's Theorem |journal=Normat |volume=60 |number=3 |pages=133–134 |url=https://normat.ncm.gu.se/pdf_html/2012-03-133.pdf }}
</ref>

<ref name=stereo>
{{harvnb|Maehara|Martini|2023}} {{pb}}
{{cite book |mode=cs2 |last=
  Serret |first=Paul |author-link=Paul Serret |year=
  1855 |title=Des méthodes en géométrie |trans-title=Methods in geometry |language=fr |chapter=§ 2.3.24 Démonstration du théorème de Lexell. – Énoncé d'un théorème de M. Steiner. – Construction du demi-excès sphérique. |trans-chapter=Proof of Lexell's theorem. – Statement of a theorem of Mr. Steiner. – Construction of the spherical half-excess. |publisher=Mallet-Bachelier |pages=31–34 |chapter-url=https://archive.org/details/desmthodeseng00serruoft/page/31/ }} {{pb}}
{{cite journal |mode=cs2 |last=
  Simonič |first=Aleksander |year=
  2019 |title=Lexell's theorem via stereographic projection |journal=Beiträge zur Algebra und Geometrie |volume=60 |number=3 |pages=459–463 |doi=10.1007/s13366-018-0426-2 }} {{pb}}
{{cite journal |mode=cs2 |last1=
  Maehara |first1=Hiroshi |last2=
  Martini |first2=Horst |year=
  2022 |title=On Cesàro triangles and spherical polygons |journal=Aequationes Mathematicae |volume=96 |number=2 |pages=361–379 |doi=10.1007/s00010-021-00820-y }}
</ref>

<ref name=tl-lexell>
{{harvnb|Todhunter|Leathem|1901}}, [https://archive.org/details/sphericaltrigono00todh/page/118/ § 153. Lexell's locus], {{pgs|118–119}}
</ref>

<ref name=trig>
{{harvnb|Lexell|1784}};
{{harvnb|Euler|1797}};
{{harvnb|Casey|1889}}, [https://archive.org/details/treatiseonspheri00seri/page/n108/ 5.2 Lexell's Theorem], {{nobr|§§ 88–91}}, {{pgs|92–97}};
{{harvnb|Todhunter|Leathem|1901}}, [https://archive.org/details/sphericaltrigono00todh/page/118/ § 153. Lexell's locus], {{pgs|118–119}};
{{harvnb|Maehara|Martini|2023}} {{pb}}
{{cite book |mode=cs2 |last=
  Legendre |first=Adrien-Marie |author-link=Adrien-Marie Legendre |year=
  1800 |title=Éléments de géométrie, avec des notes |trans-title=Elements of geometry, with notes |language=fr |edition=3rd |publisher=Firmin Didot |chapter=Note X, Problème III. Déterminer sur la surface de la sphère la ligne sur laquelle sont situés tous les sommets des triangles de même base et de même surface. |trans-chapter=Determine on the surface of the sphere the curve on which are located all the vertices of the triangles with the same base and the same surface area |pages=320–321 in the 15th edition (1862, for which a better scan is available), [https://archive.org/details/lmentsdego00lege/page/n467/mode/1up figure 285 pl. 13] |chapter-url=https://archive.org/details/lmentsdego00lege/page/320/ }} {{pb}}
{{cite book |mode=cs2 |last=
  Puissant |first=Louis |author-link=Louis Puissant |year=
  1842 |title=Traité de géodésie |trans-title=Treatise on Geodesy |language=fr |volume=1 |edition=3rd |publisher=Bachelier |pages=114–115 |url=https://babel.hathitrust.org/cgi/pt?id=wu.89078557931&seq=136 }} <!-- internet archive: https://archive.org/details/LIA0235969_TO0324_50768_000001/page/114/ --> {{pb}}
{{cite book |mode=cs2 |last=
  Le Cointe |first=Ignace-Louis-Alfred |author-link=Ignace-Louis-Alfred Le Cointe |year=
  1858 |title=Leçons sur la théorie des fonctions circulaires et la trigonométrie |language=fr |chapter=Théorème de Lexell |trans-title=Lessons on the theory of circular functions and trigonometry |publisher=Mallet-Bachelier |chapter-url=https://babel.hathitrust.org/cgi/pt?id=ucm.5305751310&seq=279 |at={{nobr|§§ 181–182}}, {{pgs|263–265}} }} {{pb}}
{{cite book |mode=cs2 |last=
  Serret |first=Joseph-Alfred |author-link=Joseph-Alfred Serret |year=
  1862 |title=Traité de trigonométrie |trans-title=Treatise on trigonometry |edition=3rd |publisher=Mallet-Bachelier |chapter=Expressions du rayon du cercle circonscrit et des rayons des cercles inscrit et exinscrits. |trans-chapter=Expressions of the radius of the circumscribed circle and the radii of the inscribed and exscribed circles. |language=fr |at={{nobr|§ 94}}, {{pgs|141–142}} |chapter-url=https://babel.hathitrust.org/cgi/pt?id=chi.11707201&seq=157 }}
</ref>

}}

== References ==
{{refbegin|30em|indent=yes}}
* {{cite conference |mode=cs2 |last=
  Atzema |first=Eisso J. |year=
  2017 |contribution = 'A Most Elegant Property': On the Early History of Lexell’s Theorem |conference=CSHPM 2016, Calgary, Alberta |title=Research in History and Philosophy of Mathematics |editor1-last=Zack |editor1-first=Maria |editor2-last=Schlimm |editor2-first=Dirk |pages=117–132 |publisher=Birkhäuser |doi=10.1007/978-3-319-64551-3_8 }}
* {{cite book |mode=cs2 |last=
  Casey |first=John |author-link=John Casey (mathematician) |year=
  1889 |title=A treatise on spherical trigonometry, and its application to geodesy and astronomy, with numerous examples |location=Dublin |publisher=Hodges, Figgis, & Co. |url=https://archive.org/details/treatiseonspheri00seri/ }}
* {{wikicite |ref = {{harvid|Euler|1797}}
|reference = {{cite journal |mode=cs2 |ref=none |last=
  Euler |first=Leonhard |author1-link=Leonhard Euler |year=
  1797 |orig-year=written 1778 |title=Variae speculationes super area triangulorum sphaericorum |journal=Nova Acta Academiae Scientiarum Imperialis Petropolitanae |volume=10 |pages=47–62; [https://archive.org/details/novaactaacademia10petr/page/n781/mode/1up figures tab. 1] |id=[[Eneström index|E]][https://scholarlycommons.pacific.edu/euler-works/698/ 698] |language=la |url=https://archive.org/details/novaactaacademia10petr/page/47/
}}, in ''Opera omnia'', ser. 1, vol. 29, {{pgs|253–266}}, translated as {{cite web |mode=cs2 |last=
  Euler |first=Leonhard |display-authors=0 |translator-last=
  Stén |translator-first=Johan Carl-Erik |year=
  2008 |work=17centurymaths.com |title=Different Speculations on the Area of Spherical Triangles |url=https://17centurymaths.com/contents/euler/e698tr.pdf }}
}}
* {{wikicite |ref = {{harvid|Lexell|1784}}
|reference = {{cite journal |mode=cs2 |ref=none |last=
  Lexell |first=Anders Johan |author-link=Anders Johan Lexell |year=
  1784 |orig-date=written c. 1777 |title=Solutio problematis geometrici ex doctrina sphaericorum |language=la |journal=Acta Academiae Scientarum Imperialis Petropolitinae |volume='''5''': 1781 |number=1 |pages=112–126; [https://archive.org/details/actaacademiaesci81impe/page/n473/mode/1up figures tab. 4] |url=https://archive.org/details/actaacademiaesci81impe/page/112/
}}, translated as {{cite web |mode=cs2 |last=
  Lexell |first=Anders Johan |display-authors=0 |translator-last=
  Stén |translator-first=Johan Carl-Erik |year=
  2009 |work=17centurymaths.com |title=Solution of a geometrical problem from the theory of the sphere  |url=https://17centurymaths.com/contents/euler/lexellone.pdf }}
}}
* {{cite journal |mode=cs2 |last1=
  Maehara |first1=Hiroshi |last2=
  Martini |first2=Horst |year=
  2023 |title=Seven Proofs of Lexell's Theorem: An Excursion into Spherical Geometry |journal=Mathematical Intelligencer |doi=10.1007/s00283-023-10281-7 }}
* {{cite journal |mode=cs2 |last=
  Papadopoulos |first=Athanase |author-link=Athanase Papadopoulos |year=
  2014 |title=On the works of Euler and his followers on spherical geometry |journal=Gaṇita Bhārati |volume=36 |pages=53–108 |arxiv=1409.4736 }}
* {{cite book |mode=cs2 |last=
  Stén |first=Johan Carl-Erik |year=
  2014 |title=A Comet of the Enlightenment: Anders Johan Lexell's Life and Discoveries |publisher=Birkhäuser |doi=10.1007/978-3-319-00618-5 }}
* {{cite book |mode=cs2 |last1=
  Todhunter |first1=Isaac |author1-link=Isaac Todhunter |last2=
  Leathem |first2=John Gaston |year=
  1901 |title=Spherical Trigonometry |edition=Revised |publisher=MacMillan |url=https://archive.org/details/sphericaltrigono00todh/ }}
* {{cite journal |mode=cs2 |last=
  Zhukova |first=Alena M. |year=
  2019 |title=On the Contribution of Anders Johan Lexell in Spherical Geometry |journal=Gaṇita Bhārati |volume=41 |number=1–2 |pages=127–149 |doi=10.32381/GB.2019.41.1-2.5 |id={{ProQuest|2561520777}} }}
{{refend}}

{{bots|deny=Citation bot}}

[[Category:Eponymous theorems of geometry]]
[[Category:Theorems about triangles and circles]]
[[Category:Area]]
[[Category:Spherical trigonometry]]
[[Category:Articles containing proofs]]