Triangle identities · proof ·what it is and when to use it
Proof: a/sin A = b/sin B
Law of sines — proved by one altitude, two right triangles. Every line below says which rule it uses, so nothing has to be taken on faith.
The proof
The sine rule is the right-triangle definition of sine applied twice to the same height, so nothing about a general triangle is assumed anywhere.
- h = b·sin(A)In the right triangle at A, the perpendicular from C is opposite angle A.
- h = a·sin(B)The same perpendicular is opposite angle B in the right triangle at B.
- b·sin(A) = a·sin(B)Both expressions are the same height h.
- a/sin(A) = b/sin(B)Divide both sides by sin(A)·sin(B). This is the checked claim. · Law of sines
- a/sin(A) = b/sin(B) = c/sin(C)The same argument with the altitude from A instead of C gives B ↔ C, so the third ratio joins the chain.
The sampler checks the two-ratio claim on real triangles (A + B + C = 180°, sides measured from the corners); the last line is an argument, not a second measurement.
Where the proof stops applying
The variables are one triangle's angles and sides, so they obey A + B + C = 180° and the sine rule. Drop that constraint and the equation is simply not true — which is why the sampler here generates triangles rather than random numbers.
The same claim, checked numerically
A proof is not the same thing as a check, and this page shows both: the reasoning above, and the first few triangles fed to the same engine behind the verifier. If they ever disagreed, the data would be broken — the build would fail before publishing (accuracy policy).
| Triangle (A) | Left side | Right side | Agree |
|---|---|---|---|
| 7.5° | 12.419529 | 12.419529 | yes |
| 15° | 3.006778 | 3.006778 | yes |
| 18° | 3.731834 | 3.731834 | yes |
| 22.5° | 5.219878 | 5.219878 | yes |
| 30° | 6.408182 | 6.408182 | yes |
| 37° | 4.162155 | 4.162155 | yes |
Related
- How would I find a/sin A = b/sin B myself? — the derivation, which is a different question from the proof.
- Law of sines: when to use it — the practical side.
- All triangle identities · proof index