Which trigonometric identities involve trigonometric functions? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T05:04:19Z http://mathoverflow.net/feeds/question/86143 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/86143/which-trigonometric-identities-involve-trigonometric-functions Which trigonometric identities involve trigonometric functions? Michael Hardy 2012-01-19T21:45:02Z 2012-01-20T22:44:27Z <p>Another question that's getting no answers on stackexchange:</p> <p>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 <a href="http://en.wikipedia.org/wiki/Functional_equation" rel="nofollow">functional equation</a> gave the identity $$\sin^2\theta+\cos^2\theta = 1$$ as an example of a functional equation. In <a href="http://en.wikipedia.org/w/index.php?title=Functional_equation&amp;diff=4565145&amp;oldid=4565118" rel="nofollow">this edit</a> 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 <a href="http://en.wikipedia.org/w/index.php?title=Functional_equation&amp;oldid=4577672" rel="nofollow">this</a> state, and much further development of the article has happened since then.)</p> <p>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.</p> <p><b>But some</b> 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.</p> <p>So at this point I wonder whether <b>all</b> 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.$$</p> <p><b>QUESTION:</b> Do <b>all</b> trigonometric identities that <b>do</b> 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?</p> <p>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.</p> <p><b>Postscript:</b> Wikipedia's <a href="http://en.wikipedia.org/wiki/List_of_trigonometric_identities" rel="nofollow">list of trigonometic identities</a> 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.</p> http://mathoverflow.net/questions/86143/which-trigonometric-identities-involve-trigonometric-functions/86200#86200 Answer by Charles Matthews for Which trigonometric identities involve trigonometric functions? Charles Matthews 2012-01-20T11:43:59Z 2012-01-20T11:43:59Z <p>Unfortunately the category of smooth manifolds is not closed under finite limits. (Yes, to annoy my Wikipedian colleague Michael, I'm speaking Bourbaki.) This kind of undermines the idea of setting up an actual answer in terms of taking the usual map from the line to the circle, qua morphism, and generating some "category of relations" within which the question has a chance of an acceptable answer. But perhaps there is a germ of an idea here. Formulate the question via some equational logic that admits the more general parametrisations of the circle. </p> http://mathoverflow.net/questions/86143/which-trigonometric-identities-involve-trigonometric-functions/86211#86211 Answer by Jacques Carette for Which trigonometric identities involve trigonometric functions? Jacques Carette 2012-01-20T14:21:12Z 2012-01-20T14:21:12Z <p>Most of these identities have a different explanation, via <a href="http://en.wikipedia.org/wiki/Holonomic#Holonomic_function" rel="nofollow">holonomic functions</a>, aka solutions of linear differential equations with polynomial coefficients. And, in the end, it is all a matter of linear algebra and bounding dimensions. This is very well explained in <a href="http://algo.inria.fr/salvy/Talks/ihp.pdf" rel="nofollow">slides by Bruno Salvy</a> (where trigonometrics are explicitly used for the simple examples, before moving on to the 'fun' stuff).</p> <p>To a certain extent, there is still a lot of geometry still going on in the above, but the geometry of the <em>parameter space</em>, rather than looking directly at the traces of the functions.</p> <p>Many details of the method can be found in the paper <a href="http://arxiv.org/abs/0904.2761" rel="nofollow">A non-holonomic systems approach to special function identities</a> by Chyzak, Kauers and Salvy.</p>