Spherical trigonometry¶

Spherical trigonometry is the branch of spherical geometry and trigonometry that deals with the metrical relationships between the sides and angles of spherical triangles, traditionally expressed using trigonometric functions.

Version: v1 · 2026-09-28 · History
Domain-specific #: 12212
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Spherical Geometry, Trigonometry → Mathematics

Core Idea¶

Spherical trigonometry is treated here as the recurring mathematics, logic, and statistics identity summarized by this source-grounded definition: Spherical trigonometry is the branch of spherical geometry and trigonometry that deals with the metrical relationships between the sides and angles of spherical triangles, traditionally expressed using trigonometric functions.

Spherical trigonometry is the branch of spherical geometry and trigonometry that deals with the metrical relationships between the sides and angles of spherical triangles, traditionally expressed using trigonometric functions. On the sphere, geodesics are great circles. Spherical trigonometry is of great importance for calculations in astronomy, geodesy, and navigation.

The origins of spherical trigonometry in Greek mathematics and the major developments in Islamic mathematics are discussed fully in History of trigonometry and Mathematics in medieval Islam. The subject came to fruition in Early Modern times with important developments by John Napier, Delambre and others. Since then, significant developments have been the application of vector methods, quaternion methods, and the use of numerical methods.

For Spherical trigonometry, the abstraction is narrower than the article's general subject matter: a positive case must preserve Spherical trigonometry is the branch of spherical geometry and trigonometry that deals with the metrical relationships between the sides and angles of spherical triangles, traditionally expressed using trigonometric functions. Retaining only the name, a familiar example, or a downstream effect is insufficient. The specialist roles and tests remain anchored in mathematics, logic, and statistics, which is why this identity is domain-specific rather than prime.

Structural Signature¶

Sig role-phrases:

Defining carrier — Two-sided spherical polygons—lunes, also called digons or bi-angles—are bounded by two great-circle arcs: a familiar example is the curved outward-facing surface of a segment of an orange.
Constitutive relation — Both vertices and angles at the vertices of a triangle are denoted by the same upper case letters , , and .
Operating condition — Side lengths on a unit-radius sphere are denoted by lower-case letters: , , and .
Recognition evidence — For specific practical problems on a sphere of radius the measured lengths of the sides must be divided by before using the identities given below.
Admissible variation — Likewise, after a calculation on the unit sphere the sides , , and must be multiplied by .
Characteristic consequence — This great circle is defined by the intersection of a diametral plane with the surface.
Failure boundary — Draw the normal to that plane at the centre: it intersects the surface at two points and the point that is on the same side of the plane as is (conventionally) termed the pole of and it is denoted by .

What It Is Not¶

Not the whole field of mathematics, logic, and statistics. The node requires the specific identity stated by Spherical trigonometry is the branch of spherical geometry and trigonometry that deals with the metrical relationships between the sides and angles of spherical triangles, traditionally expressed using trigonometric functions.
Not an over-broad reading. The page on Spherical law of cosines gives four different proofs of the cosine rule.
Not an over-broad reading. Text books on geodesy and spherical astronomy give different proofs and the online resources of MathWorld provide yet more.
Not an over-broad reading. There are even more exotic derivations, such as that of Banerjee who derives the formulae using the linear algebra of projection matrices and also quotes methods in differential geometry and the group theory of rotations.
Not automatically Law of sines. Retrieval proximity does not establish equivalence; the two identities must be compared by carrier, operation, and failure boundary.

Scope of Application¶

Spherical trigonometry applies literally inside mathematics, logic, and statistics wherever the source-defined carrier and relation can be established. Its documented habitats include:

Documented setting. Since then, significant developments have been the application of vector methods, quaternion methods, and the use of numerical methods.
Alternative derivations. There are even more exotic derivations, such as that of Banerjee who derives the formulae using the linear algebra of projection matrices and also quotes methods in differential geometry and the group theory of rotations.
Alternative derivations. However, the above geometry may be used to give an independent proof of the sine rule.
Differential variations. When any three of the differentials , , , , , are known, the following equations, which are found by differentiating the cosine rule and using the sine rule, can be used to calculate the other three by elimination.
Napier's rules for right spherical triangles. The key for remembering which trigonometric function goes with which part is to look at the first vowel of the kind of part: middle parts take the sine, adjacent parts take the tangent, and opposite parts take the cosine.
Solution of trianglesOblique triangles. The solution of triangles is the principal purpose of spherical trigonometry: given three, four or five elements of the triangle, determine the others.

Outside mathematics, logic, and statistics, the name should be retained only when these same operational conditions survive; otherwise the comparison belongs to the broader parent Pattern or should be marked as analogy.

Clarity¶

A clear use of Spherical trigonometry names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is Spherical trigonometry is the branch of spherical geometry and trigonometry that deals with the metrical relationships between the sides and angles of spherical triangles, traditionally expressed using trigonometric functions. The strongest recognition evidence in the frozen account is: For specific practical problems on a sphere of radius the measured lengths of the sides must be divided by before using the identities given below. A report should distinguish that evidence from a proxy, consequence, or common implementation. It should also state the qualification The page on Spherical law of cosines gives four different proofs of the cosine rule. so that a reader can reproduce the classification rather than infer it from topical resemblance.

Manages Complexity¶

Spherical trigonometry compresses multiple mathematics, logic, and statistics details into a stable diagnostic relation. The source shows both the central mechanism—both vertices and angles at the vertices of a triangle are denoted by the same upper case letters , , and .—and the practical consequence—this great circle is defined by the intersection of a diametral plane with the surface. This compression makes cases comparable while leaving parameters, conventions, exceptions, and evidential quality explicit. It is lossy by design: local history and implementation details may be omitted only when they do not alter the defining relation.

Abstract Reasoning¶

Type the carrier. Identify the mathematics, logic, and statistics entities to which the claim applies.
State the relation. Use the source-grounded identity: Spherical trigonometry is the branch of spherical geometry and trigonometry that deals with the metrical relationships between the sides and angles of spherical triangles, traditionally expressed using trigonometric functions.
Check operation and conditions. Side lengths on a unit-radius sphere are denoted by lower-case letters: , , and .
Demand recognition evidence. For specific practical problems on a sphere of radius the measured lengths of the sides must be divided by before using the identities given below.
Test variation. Change an implementation or setting while preserving likewise, after a calculation on the unit sphere the sides , , and must be multiplied by .
Run the collapse test. Remove the defining operation; if the label still seems equally apt, only a topic or correlate was retained.
Reduce cautiously. When the specialist conditions cannot be carried, route the residual comparison to Pattern.

Knowledge Transfer¶

Within the home domain. Knowledge about Spherical trigonometry transfers literally when a new case preserves the same carrier type, relation, and recognition test. Since then, significant developments have been the application of vector methods, quaternion methods, and the use of numerical methods. There are even more exotic derivations, such as that of Banerjee who derives the formulae using the linear algebra of projection matrices and also quotes methods in differential geometry and the group theory of rotations.

Beyond the home domain. No canonical parent is asserted for Spherical trigonometry. An outside case receives the specialist name only when the same typed roles and rejection conditions can be filled literally; otherwise the comparison remains an analogy pending later graph densification.

Examples¶

Canonical¶

For example, Todhunter, (Art.101—103) gives ten examples including that of L'Huilier. This case is canonical because it supplies a concrete carrier and lets the defining relation be checked rather than merely named.

Mapped back: carrier → the entities in the documented case; operation → Spherical trigonometry is the branch of spherical geometry and trigonometry that deals with the metrical relationships between the sides and angles of spherical triangles, traditionally expressed using trigonometric functions; recognition evidence → For specific practical problems on a sphere of radius the measured lengths of the sides must be divided by before using the identities given below

Applied / In Practice¶

For example, take the Case 3 example where , , and are given. The applied case shows how the identity is used under a second setting or qualification while keeping the same operative relation.

Mapped back: changed setting → Solution by right-angled triangles; invariant → Spherical trigonometry is the branch of spherical geometry and trigonometry that deals with the metrical relationships between the sides and angles of spherical triangles, traditionally expressed using trigonometric functions; boundary → the case exits the class when the page on Spherical law of cosines gives four different proofs of the cosine rule

Structural Tensions¶

T1 — Stable identity versus admissible variation. The page on Spherical law of cosines gives four different proofs of the cosine rule. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Which changes preserve the defining relation, and which replace it?

T2 — Recognition versus proxy. Text books on geodesy and spherical astronomy give different proofs and the online resources of MathWorld provide yet more. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Does the cited evidence establish the identity or only a correlated sign?

T3 — Definition versus implementation. There are even more exotic derivations, such as that of Banerjee who derives the formulae using the linear algebra of projection matrices and also quotes methods in differential geometry and the group theory of rotations. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Is the observed implementation constitutive, optional, or merely common?

T4 — Scope versus overextension. However, the above geometry may be used to give an independent proof of the sine rule. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Can every claimed application fill the same typed roles without metaphor?

T5 — Transfer versus domain accent. Two-sided spherical polygons—lunes, also called digons or bi-angles—are bounded by two great-circle arcs: a familiar example is the curved outward-facing surface of a segment of an orange. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Does the receiving case instantiate Spherical trigonometry literally, co-instantiate Pattern, or only resemble it?

T6 — Autonomy versus reduction. Both vertices and angles at the vertices of a triangle are denoted by the same upper case letters , , and . The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: What does Spherical trigonometry distinguish that the broader parent Pattern leaves together?

Structural–Framed Character¶

Spherical trigonometry is structural-leaning. Its structural side is the repeatable organization summarized by Spherical trigonometry is the branch of spherical geometry and trigonometry that deals with the metrical relationships between the sides and angles of spherical triangles, traditionally expressed using trigonometric functions. Its framed side is the mathematics, logic, and statistics vocabulary that fixes the carrier, evidence, exceptions, and admissible transformations.

Evaluative weight: the identity can be stated descriptively even when applications carry practical stakes. Human-practice dependence: the source-grounded carrier determines whether the relation exists independently or is constituted by a practice. Institutional origin: disciplinary conventions stabilize the name and test. Vocabulary portability: Side lengths on a unit-radius sphere are denoted by lower-case letters: , , and . Import versus recognition: literal transfer requires the same mechanism; shape alone is analogy.

Its portable skeleton is Pattern. Its character: a recurring specialist identity whose thin organization can be abstracted, while its operational meaning remains domain-bound.

Structural Core vs. Domain Accent¶

What is skeletal. Spherical trigonometry is the branch of spherical geometry and trigonometry that deals with the metrical relationships between the sides and angles of spherical triangles, traditionally expressed using trigonometric functions. The stable skeleton is the typed relation expressed in that definition and the entry's recognition and collapse tests. The source identifies these operative conditions: Two-sided spherical polygons—lunes, also called digons or bi-angles—are bounded by two great-circle arcs: a familiar example is the curved outward-facing surface of a segment of an orange. Both vertices and angles at the vertices of a triangle are denoted by the same upper case letters , , and . It further constrains recognition and variation through: Side lengths on a unit-radius sphere are denoted by lower-case letters: , , and . For specific practical problems on a sphere of radius the measured lengths of the sides must be divided by before using the identities given below.

What is domain-bound. mathematics, logic, and statistics supplies the operative entities, technical vocabulary, warrants, and exceptions that make Spherical trigonometry literal. Its documented scope includes the condition that Since then, significant developments have been the application of vector methods, quaternion methods, and the use of numerical methods. Another bounded application condition is that There are even more exotic derivations, such as that of Banerjee who derives the formulae using the linear algebra of projection matrices and also quotes methods in differential geometry and the group theory of rotations. These are not decorative examples; they determine which carrier and evidence can fill the abstraction's roles.

Why no parent is asserted. Removing those specialist details does not currently yield one live catalog node that is a necessary genus for every instance. The entry is therefore approved as unparented rather than attached by topical resemblance. Its collapse evidence remains specific—Likewise, after a calculation on the unit sphere the sides , , and must be multiplied by .—and future graph densification may discover a defensible relation only if it preserves that boundary.

This entry typically is a kind of Generalized trigonometry.

Approved unparented node. No current live node supplies a defensible necessary genus or structural prerequisite for Spherical trigonometry. The reviewed identity is: Spherical trigonometry is the branch of spherical geometry and trigonometry that deals with the metrical relationships between the sides and angles of spherical triangles, traditionally expressed using trigonometric functions. The accelerated suggestion was declined because topical or lexical similarity does not establish hierarchy; the node is admitted without a parent pending later graph densification.
Related reasoning operations. Evidence, representation, comparison, classification, transformation, or evaluation may participate in particular cases, but participation does not make any one of them a necessary parent of every instance.

Relationships to Other Abstractions¶

Current abstraction Spherical trigonometry Domain-specific

Parents (1) — more general patterns this builds on

Spherical trigonometry is a kind of, typical Generalized trigonometry Domain-specific

Spherical trigonometry is exactly the case of trigonometric relations adapted to a curved (spherical) metric, one of generalized trigonometry's own named extension strategies.

Hierarchy path (1) — routes to 1 parentless root

Spherical trigonometry → Generalized trigonometry

Neighborhood in Abstraction Space¶

Spherical trigonometry sits in a sparse region of the domain-specific corpus (65^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Geometric Figures & Constructions (32 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

Pattern. The parent omits the specialist differentia. Tell: Can the case establish Spherical trigonometry is the branch of spherical geometry and trigonometry that deals with the metrical relationships between the sides and angles of spherical triangles, traditionally expressed using trigonometric functions?
Law of sines. Relate each side of a triangle to the sine of its opposite angle through one common ratio equal to the circumdiameter in Euclidean geometry, enabling triangle solution while preserving the side-side-angle ambiguous case and curvature-specific variants. Tell: Which entry's carrier, operation, and failure condition are satisfied?
Right triangle. Specify a triangle with exactly one right angle, making the opposite side the hypotenuse and coupling its sides, acute angles, altitude, circumcircle, and similarity relations through Euclidean constraints. Tell: Which entry's carrier, operation, and failure condition are satisfied?
Haversine Formula. A half-angle spherical-trigonometry relation that converts two latitude–longitude positions into their central angle and great-circle arc distance, with explicit radius, angle-unit, and numerical-boundary controls. Tell: Which entry's carrier, operation, and failure condition are satisfied?
A measurement, proxy, or consequence. Those may provide evidence without being the identity. Tell: Would Spherical trigonometry remain present if the detector or downstream effect changed?
A metaphorical analogue. A similar shape outside mathematics, logic, and statistics lacks the specialist mechanism. Tell: Do the native roles transfer literally, or only the parent Pattern?

References¶

Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Spherical_trigonometry (revision 1370877386).
Preserved source candidate: http://www.gutenberg.org/ebooks/19770
Preserved source candidate: https://archive.org/details/in.ernet.dli.2015.42772
Preserved source candidate: https://archive.org/details/textbookonspheri0000smar
Preserved source candidate: https://www.researchgate.net/publication/228849546
Preserved source candidate: https://books.google.com/books?id=nWu4EAAAQBAJ
Preserved source candidate: https://gutenberg.org/files/19770/19770-pdf.pdf
Preserved source candidate: https://books.google.com/books?id=M8Mi6hU5tR0C&pg=PA445
Preserved source candidate: https://books.google.com/books?id=VukHAQAAIAAJ

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.