All about flooble | fun stuff | Get a free chatterbox | Free JavaScript | Avatars    
perplexus dot info

Home > Numbers
Trigonometric product (Posted on 2013-12-29) Difficulty: 2 of 5
Compute the infinite product

[sin(x) cos(x/2)]^1/2 [sin(x/2) cos(x/4)]^1/4 [sin(x/4) cos(x/8)]^1/8 ... ,

where 0 ≤ x ≤ 2π

No Solution Yet Submitted by Danish Ahmed Khan    
No Rating

Comments: ( Back to comment list | You must be logged in to post comments.)
Solution A proof. Comment 4 of 4 |
I was able to prove it this morning but didn't have time to type it up.  Here's something of a proof that the expression given is equivalent to sin(x)/2.

f(x) = [sin(x) cos(x/2)]^1/2 [sin(x/2) cos(x/4)]^1/4 [sin(x/4) cos(x/8)]^1/8 ...,

Apply the double angle identity for sine in every term of f(x) where sine appears.
In the first term sin(x)cos(x/2) = 2sin(x/2)cos(x/2)
likewise in all the other terms a 2 is introduced, the angle in the sine is halved and the cosine gets squared.  If we reshuffle by root we get:
f(x) = cos(x/2) [2sin(x/2) cos(x/4)]^1/2 [2sin(x/4) cos(x/8)]^1/4 [2sin(x/8) cos(x/16)]^1/8 ... ,
now multiply both sides by sin(x) and divide by all the roots of 2

f(x)*sin(x)/[2^(1/2)2^(1/4) 2^(1/8)... ] = sin(x)cos(x/2) [sin(x/2) cos(x/4)]^1/2 [sin(x/4) cos(x/8)]^1/4 ...,

But this expression is exactly equal for f(x).
So we have
f(x)*sin(x)/[2^(1/2)2^(1/4) 2^(1/8)... ]  = f(x)
f(x) = sin(x)/[2^(1/2)2^(1/4) 2^(1/8)... ]

But that denominator is just equal to 2 (If you square it it doubles) so the final simplified version is

f(x) = sin(x)/2

  Posted by Jer on 2013-12-29 19:10:25
Please log in:
Remember me:
Sign up! | Forgot password

Search body:
Forums (0)
Newest Problems
Random Problem
FAQ | About This Site
Site Statistics
New Comments (3)
Unsolved Problems
Top Rated Problems
This month's top
Most Commented On

Copyright © 2002 - 2019 by Animus Pactum Consulting. All rights reserved. Privacy Information