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: v3 · 2026-09-19 · History
Domain-specific #: 2167
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Trigonometry and Triangle Geometry → Mathematics

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.

How would you explain it like I'm…

Across-the-Corner Rule

Every triangle has three sides, and each side has a corner sitting right across from it. If you draw a circle through all three corners, each side matched with its across-corner gives the same answer when you do a special corner-measure calculation. That answer is the width of the circle.

Side-and-Opposite-Angle Rule

In a triangle, every side has an angle directly opposite it. The law of sines says that if you divide each side's length by the sine of its opposite angle, all three answers come out the same. That shared number equals the width (diameter) of the circle passing through all three corners. It only works if you pair each side with the angle across from it, not one touching it. It lets you find missing sides or angles when you know only some of them.

Opposite Side–Sine Ratio Rule

The law of sines says a/sin A = b/sin B = c/sin C for any flat triangle, where each side is opposite the angle with the same letter. The common value equals 2R, the diameter of the circle through the three vertices. This works because each side is a chord of that circle, and the angle across from it is an inscribed angle standing on that chord. It lets you solve triangles when you know two angles and a side, or two sides and an angle not between them. In that second case, inverting the sine can give two valid angles, because an angle and its supplement have the same sine. You have to check both. Pairing a side with an adjacent angle, or mixing degrees and radians, breaks the formula.

For a Euclidean triangle with sides a, b, c opposite angles A, B, C and circumradius R, a/sin A = b/sin B = c/sin C = 2R. One proof uses the circumcircle: each side is a chord subtending the opposite inscribed angle, so its length is 2R sin of that angle. Another drops an altitude and expresses its length two ways, as b sin C and c sin B, equating side-times-sine products. Correct use requires labeling every side opposite its angle, fixing angle units, and checking that lengths are positive and angles sum to 180 degrees. In the side-side-angle case, arcsine returns only the principal value, but the supplementary angle may also give a valid triangle, so both branches must be tested against the remaining constraints. Applications include triangulation, solving AAS and SSA triangles, and linking to area formulas. On spheres or hyperbolic surfaces the side lengths must be replaced by sine or hyperbolic sine of sides; the flat formula does not carry over unchanged.

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¶

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.
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) — outgoing typed relations

Law of sines is a kind of Ratio Prime

The theorem literally equates ratios between side lengths and nonzero sines; What makes it its own entry: 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.

Hierarchy path (1) — routes to 1 parentless root

Law of sines → is a kind of Ratio → is a kind of Comparison

Neighborhood in Abstraction Space¶

Law of sines sits in a crowded region of the domain-specific corpus (37^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Euclidean & Geometric Structures (25 abstractions)

Nearest neighbors

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