Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This question is motivated from the following excerpt from Rational Points on Elliptic Curves by Silverman and Tate:

$$\cos \theta = \frac{1 - t^2}{1 + t^2}, \sin \theta = \frac{2t}{1+t^2}$$

If you have some complicated identity in sine and cosine that you want to test, all you have to do is substitute these formulas, collect powers of $t$, and see if you get zero. (If they had told you this in high school, the whole business of trigonometric identities would have become a trivial exercise in algebra!)

I realized that they are absolutely right. The above substitution and de'Moivre's formula allows us to convert any polynomial equation in $\left\{\sin n \theta, \cos n\theta \right\}_{n\in \mathbb{N}}$ into a polynomial equation in $t$. And a polynomial equation in $t$ can be simple to verify (may be laborious at times though).

Are there trigonometric formulas in one variable that cannot be derived through this method? If you know any, please point it out.

Additionally, are there software packages that use this method to verify trigonometric formulas? I would like to know any algorithms used to verify trig. identities.

Thank you :)

share|cite|improve this question
up vote 3 down vote accepted

Right now a simple answer is "any trigonometric formula involving more than one variable." The most straightforward fix, to my mind, doesn't involving generalizing this idea but using Euler's formula instead (generalizing this idea requires using the angle addition formula whereas in the Euler's formula approach the angle addition formula is a corollary). That is, instead make the substitutions

$$\cos \theta = \frac{e^{i \theta} + e^{-i \theta}}{2}, \sin \theta = \frac{e^{i \theta} - e^{-i \theta}}{2i}$$

and similarly for any other variables that appear.

share|cite|improve this answer
Hello, I know of this generalization. I was about to include it in a separate post involving multiple angles. – Isomorphism Dec 15 '12 at 11:11

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.