Pythagorean identities · proof ·what it is and when to use it
Proof: 1 + tan²θ = sec²θ
Pythagorean identity (tangent form) — proved by divide the pythagorean identity. Every line below says which rule it uses, so nothing has to be taken on faith.
The proof
Start from the one identity everybody knows and divide every term by cos²θ.
- sin²θ + cos²θ = 1Pythagorean identity. · Pythagorean identity
- sin²θ/cos²θ + cos²θ/cos²θ = 1/cos²θDivide all three terms by cos²θ (allowed when cos θ ≠ 0).
- tan²θ + 1 = sec²θQuotient identity tan = sin/cos and reciprocal identity sec = 1/cos. · Quotient identity (tangent), Reciprocal identity (secant)
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° | 1 | 1 | yes |
| 7.5° | 1.017332 | 1.017332 | yes |
| 15° | 1.071797 | 1.071797 | yes |
| 18° | 1.105573 | 1.105573 | yes |
| 22.5° | 1.171573 | 1.171573 | yes |
| 30° | 1.333333 | 1.333333 | yes |
Related
- How would I find 1 + tan²θ = sec²θ myself? — the derivation, which is a different question from the proof.
- Pythagorean identity (tangent form): when to use it — the practical side.
- All pythagorean identities · proof index