Triangle identities · proof ·what it is and when to use it
Proof: ½ a b sin C = ½ b c sin A
Triangle area in two pairings — proved by same area, three choices of base. Every line below says which rule it uses, so nothing has to be taken on faith.
The proof
Take the area formula ½·base·height and write each height as a sine of the adjacent angle times the other side.
- Area = ½ · b · h_bBase b, height to it.
- h_b = a sin CThe height from A onto side b, from the right triangle at C.
- Area = ½ a b sin CSubstitute.
- Area = ½ b c sin A = ½ a c sin BSame argument with the other two sides as bases.
- ½ a b sin C = ½ b c sin ABoth equal the same area.
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 angles 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).
| Angle | Left side | Right side | Agree |
|---|---|---|---|
| 0° | 0 | 0 | yes |
| 7.5° | 0.835475 | 0.835475 | yes |
| 15° | 1.732051 | 1.732051 | yes |
| 18° | 2.094148 | 2.094148 | yes |
| 22.5° | 2.628626 | 2.628626 | yes |
| 30° | 3.464102 | 3.464102 | yes |
Related
- How would I find ½ a b sin C = ½ b c sin A myself? — the derivation, which is a different question from the proof.
- Triangle area in two pairings: when to use it — the practical side.
- All triangle identities · proof index