# Which trigonometric identities involve trigonometric functions?

Another question that's getting no answers on stackexchange:

Once upon a time, when Wikipedia was only three-and-a-half years old and most people didn't know what it was, the article titled functional equation gave the identity $$\sin^2\theta+\cos^2\theta = 1$$ as an example of a functional equation. In this edit in July 2004, my summary said "I think the example recently put here is really lousy, because it's essentially just an algebraic equation in two variables." (Then some subsequent edits I did the same day brought the article to this state, and much further development of the article has happened since then.)

The fact that it's really only an algebraic equation in two variables, $x^2+y^2=1$, makes it a lousy example of a functional equation. It doesn't really involve $x$ and $y$ as functions of $\theta$, since any other parametrization of the circle would have satisfied the same equation. In a sense, that explains why someone like Norman Wildberger can do all sorts of elaborate things with trigonometry without ever using trigonometric functions.

But some trigonometric identities do involve trigonometric functions, e.g. $$\sin(\theta_1+\theta_2)=\sin\theta_1\cos\theta_2+\cos\theta_1\sin\theta_2$$ $$\sec(\theta_1+\cdots+\theta_n) = \frac{\sec\theta_1\cdots\sec\theta_n}{e_0-e_2+e_4-e_6+\cdots}$$ where $e_k$ is the $k$th-degree elementary symmetric polynomial in $\tan\theta_1,\ldots,\tan\theta_n$. These are good examples of satisfaction of functional equations.

So at this point I wonder whether all trigonometric identities that do seem to depend on which parametrization of the circle is chosen involve adding or subtracting the arguments and no other operations. In some cases the addition or subtraction is written as a condition on which the identity depends, e.g. $$\text{If }x+y+z=\pi\text{ then }\tan x+\tan y+\tan z = \tan x\tan y\tan z.$$

QUESTION: Do all trigonometric identities that do involve trigonometric functions, in the sense that they are good examples of satisfaction of functional equations by trigonometric functions, get their non-triviality as such examples only from the addition or subtraction of arguments? Or is there some other kind? And if there is no other kind, can that be proved?

In comments below the stackexchange posting, Gerry Myerson mentioned the identities $$\cos \frac x2=\sqrt{\frac{1+\cos x}{2}}$$ and $$\prod_{k=1}^\infty \cos\left(\frac{x}{2^k}\right)= \frac{\sin x}{x}$$ The latter is somewhat like the one involving tangents above: One can say that if $x_n = x_{n+1}+x_{n+1}$ for $n=1,2,3,\ldots$ then $$\prod_{k=1}^\infty \cos \left(\frac{x_k}{2^k}\right) = \frac{\sin x_1}{x_1}.$$ A similar but simpler thing applies to the half-angle formula.

Postscript: Wikipedia's list of trigonometic identities is more interesting reading than you might think. It has not only the routine stuff that you learned in 10th grade, but also some exotic things that probably most mathematicians don't know about. It was initially created in September 2001 by Axel Boldt, who was for more than a year the principal author of nearly all of Wikipedia's mathematics articles---several hundred of them.

-
I'm a little confused: are you saying that $sin^2 θ + cos^2 θ = 1$ a bad example of a functional equation because $sin θ$ and $cos θ$ are not the only continuous solutions, in contrast to, say, $e^{x+y}=e^x e^y$? – Paul Siegel Jan 19 '12 at 22:05
@Paul Siegel : Let $f(t) = (t^2 - 1)/(t^2 + 1)$ and $g(t) = 2t/(t^2 + 1)$. The $f(t)^2 + g(t)^2 = 1$. That's what I meant when I wrote "any other parametrization of the circle would have satisfied the same equation." – Michael Hardy Jan 19 '12 at 22:41
In case anyone wants to see what Michael doesn't accept as an example, the m.se link is math.stackexchange.com/questions/99909/… – Gerry Myerson Jan 20 '12 at 4:47
Robert Israel has suggested the identity $\cos(t \sin(x)) = J_0(t) + 2 \sum_{k=1}^\infty J_{2k}(t) \cos(2kx)$. If we fix $t=1$ that becomes $\cos(\sin(x)) = J_0(1) + 2 \sum_{k=1}^\infty J_{2k}(1) \cos(2kx)$ and then it doesn't have anything like the function $t\mapsto J_{2k}(t)$, which is moderately exotic for something bearing a "trigonometry" tag, but it does have $k\mapsto J_{2k}(t)$, which is similarly moderately exotic. This does seem like a counterexample to the simplest interpretation of my guess. But one could ask whether the guess is still true if..... – Michael Hardy Jan 20 '12 at 19:26
....one insists on having only finitely many terms, or if one insists on "elementary" functions instead of things like $k\mapsto J_{2k}(t)$. – Michael Hardy Jan 20 '12 at 19:27