Let be a non-negative integer. Prove that

Printable View

- Aug 27th 2012, 04:04 PMVlasevA Trigonometric Identity
Let be a non-negative integer. Prove that

- Sep 5th 2012, 08:14 AMDeMathRe: A Trigonometric Identity
Maybe ?

- Sep 5th 2012, 08:26 PMSworDRe: A Trigonometric Identity
This is a proof I wrote which uses the same idea as an elementary proof of the Basel problem which I've seen, but it is somewhat different.

Lemma 1: For any odd positive a, can be expressed as a polynomial in of degree a with exclusively odd powers. Example:

This can be proven by induction using the identity . I won't prove it here, it is a known fact and easy to look up.

Let , where m is the variable in the original problem, and be defined as follows:

We make the claim that f(x) is a polynomial of n-1 degree, when x≠0, and prove it as follows.

According to lemma 1, can be expressed as an n-degree polynomial in , which includes only odd powers. After simplifying, at all real numbers. Therefore can be written as a sum of terms of the form , where r is a positive odd integer. So f(x) can be written as a sum of terms of the form , each of which is a polynomial of degree n-1, because (n-r) is even and r ≠ 0. Thus f(x) is of degree n-1.

The roots of f(x) occur precisely where is an integer multiple of , with the exception of zero, because it cancels with the 1/x term, and f(0) is undefined. Because tan(x) is one-to-one on the interval and ranges from -infinity to infinity, each root can be expressed uniquely as the tangent of a number in this interval. So the zeroes occur when (Recall that (2m+1) = n). So there are 2m = n - 1 roots, as expected by the degree of the polynomial.

The product of all roots of an even-degree polynomial p(x) is obtained by dividing p(0) by the leading coefficient (because a polynomial can be expressed as )

f(0) is undefined, but because at all other points it coincides with a polynomial which is continuous everywhere, the limit at 0 must exist. So we proceed with:

By simplification and L'Hôpital's. The leading coefficient of f(x) can be calculated by

Therefore the product of the roots is . But the absolute value of this is simply the square of the desired product in the original problem, because each positive root has a negative counterpart. Thus the desired product is , and this completes the proof. - Sep 5th 2012, 10:03 PMVlasevRe: A Trigonometric Identity
That's awesome, SworD. My own proof used a much different strategy!

- Sep 6th 2012, 10:58 AMSworDRe: A Trigonometric Identity
Interesting, could you show us your proof? Or if you don't want to post it here so that there is still a challenge, send me a PM? :P

- Sep 6th 2012, 02:43 PMMaxJasperRe: A Trigonometric Identity
Just a graphic proof!!!

http://mathhelpforum.com/attachment....1&d=1346971391 - Sep 6th 2012, 11:48 PMVlasevRe: A Trigonometric Identity
Well, I'm sure my proof is not the standard one. You find similar identities for sine and coside. For sine, you transform the product of sines into a product of gamma functions (using the reflection formula) and then Gauss' multiplication formula. You'll obtain

for positive integers . Then for cosine I don't remember but the identity is

Next, dividing them out you have

and for odd you get the above fomula. I'm not entirely sure how :) All in all, I'll need to look through my notebooks to find it. If anyone wants to prove it using my way, feel free to go ahead and type it up.

PS. In fact, I was the one that put up these above formulae on the wiki page List of trigonometric identities - Wikipedia, the free encyclopedia