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.

Version

v2 · 2026-08-30 · History

Domain-specific #

2167

Origin domain

mathematics

Subdomain

trigonometry and triangle geometry

Core Idea

For a Euclidean triangle with side lengths \(a,b,c\) opposite angles \(A,B,C\) and circumradius \(R\), the law of sines states \(a/\sin A=b/\sin B=c/\sin C=2R\). each side is a chord of the circumcircle subtending its opposite inscribed angle, or equivalently altitude decompositions equate products of a side and an adjacent sine; the shared circumdiameter makes the three ratios identical.

Its autonomous residual is the invariant equality of opposite side-to-sine ratios for one triangle, together with circumcircle meaning and branch ambiguity; generic trigonometric inversion, similarity, or any ratio involving sines does not reproduce it.

Scope of Application

Law of sines applies when the analyst can specify a nondegenerate triangle in a declared Euclidean, spherical, hyperbolic, or constant-curvature geometry, with consistently paired side and opposite-angle labels and establish that the paired side and opposite angle of one nondegenerate triangle satisfy the geometry-appropriate common sine ratio, with Euclidean side length in the numerator and spherical or hyperbolic side functions used only under their declared curvature conventions. The entry centers the triangle theorem and explicitly types non-Euclidean extensions; it does not provide surveying instructions or imply that noisy field data form an exact triangle.

Clarity

A clear claim names the carrier, governing rule, assumptions, and recognition test. This matters because sine rule may mean the Euclidean relation, a spherical or hyperbolic analogue, or a classroom solution procedure, and each requires different side semantics and boundary conditions. The disciplined statement is that the object counts as Law of sines exactly when the paired side and opposite angle of one nondegenerate triangle satisfy the geometry-appropriate common sine ratio, with Euclidean side length in the numerator and spherical or hyperbolic side functions used only under their declared curvature conventions

Manages Complexity

The abstraction compresses Euclidean, spherical, hyperbolic, and generalized constant-curvature forms; exact and measured triangles; angle-angle-side and side-side-angle solution patterns; planar triangulation; and higher-dimensional analogues into a stable carrier, rule, invariant, and failure boundary. It makes comparison tractable while retaining the variables that control validity.

Compression can hide assumptions. A responsible use therefore declares geometry and curvature, side-angle labeling, angle units, known-data pattern, common ratio, circumradius, number of solutions, conditioning, degeneracy, and measurement uncertainty and returns to the full diagnostic whenever a convention or boundary case changes.

Abstract Reasoning

1. Type the carrier. Establish a nondegenerate triangle in a declared Euclidean, spherical, hyperbolic, or constant-curvature geometry, with consistently paired side and opposite-angle labels and reject examples from a different problem. 2. Lock the rule. Express that the paired side and opposite angle of one nondegenerate triangle satisfy the geometry-appropriate common sine ratio, with Euclidean side length in the numerator and spherical or hyperbolic side functions used only under their declared curvature conventions independently of one notation or implementation.

Knowledge Transfer

Transfer within mathematics is strong when new cases preserve the same carrier, mechanism, and diagnostic. The move from Given two angles and one side of a Euclidean triangle, the third angle follows from the angle sum and the other two sides follow by scaling their opposite sines through the known side-angle ratio. to In triangulation, a measured baseline and two sight angles determine the remaining sides of the observation triangle, subject to geometric consistency and measurement error. demonstrates that continuity.

Relationships to Other Abstractions

Current abstraction Law of sines Domain-specific

Parents (1) — more general patterns this builds on

• Law of sines is a kind of Ratio Prime

  The proposed strict upward parent is prime:ratio.

Hierarchy path (1) — routes to 1 parentless root

• Law of sines → Ratio → Comparison → Self Checking

Neighborhood in Abstraction Space

Law of sines sits in a moderately populated region (56^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

• Right triangle — 0.92
• Triangle group — 0.89
• One-seventh area triangle — 0.87
• Orthocentric system — 0.87
• Reuleaux polygon — 0.86

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