Trig Identities
Simplify Trig Expressions
Simplify (1 − cos²θ)/sin θ to sin θ by substituting the Pythagorean identity, verified symbolically in the Pythagorean polynomial ring.
Symbolic verification: in the ring ℚ[s,c]/(s²+c²−1), 1 − c² reduces to s², confirming the substitution is exact.
Example
simplify-trig-expression
Use the Pythagorean identity sin²θ + cos²θ = 1 to replace 1 − cos²θ with sin²θ, then cancel the common sin θ factor: (1 − cos²θ)/sin θ = sin²θ/sin θ = sin θ