Grandson and I are working on integrating trigonometric functions and he asked if Mathematica could be used to "prove" a trigonometic identity. We looked over various functions and it looked like "Equal" would be our best bet.
However, while "Equal", represented by two == signs, works when faced with simple identities such as:
Tan[alpha] == 1 / Cot[alpha] True
it seems to "fail" when given more complex identities such as
Sec[alpha]^4 - Sec[alpha]^2 == Tan[alpha]^4 + Tan[alpha]^2.
In those cases, it simply repeats the input as the output with no other other indication as to why, etc.
We've tried this with several other known identities with the same result.
Is there a better function for this? Or, are we asking too much of Mathematica, etc.