Cofunction and even/odd identities · proof ·what it is and when to use it
Proof: sin θ = cos(90° − θ)
Cofunction identity for sine — proved by the two acute angles of a right triangle. Every line below says which rule it uses, so nothing has to be taken on faith.
sin θ = cos(90° − θ)
The proof
One triangle, two labels for the same ratio.
- A + B = 90°Acute angles of a right triangle are complementary.
- sin A = opp(A)/hyp = adj(B)/hypThe side facing A is the side beside B.
- adj(B)/hyp = cos BDefinition of cosine at B.
- sin A = cos(90° − A)Substitute B = 90° − A.
Where the proof stops applying
Both sides are undefined at the same angles — where a denominator in the proof reaches zero (for instance cos x = 0 in a tangent or secant form). Elsewhere the argument above holds for every real angle.
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.130526 | 0.130526 | yes |
| 15° | 0.258819 | 0.258819 | yes |
| 18° | 0.309017 | 0.309017 | yes |
| 22.5° | 0.382683 | 0.382683 | yes |
| 30° | 0.5 | 0.5 | yes |
Related
- How would I find sin θ = cos(90° − θ) myself? — the derivation, which is a different question from the proof.
- Cofunction identity for sine: when to use it — the practical side.
- All cofunction and even/odd identities · proof index