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π
(In reply to computer solution
have tried to solve it analytically and therefore compiled a table similar to
did not find a formula as requested.
your surmise, based on the fact that the infinite
product column and the "sin(x)/2 column" match it is relatively easy to show the correctness
of your conclusion.<o:p></o:p>
f(x)=(sin(x))/2 then f(x/2)= (sin(x/2))/2
the infinite expression we get :
f2(x)= sin(x)*cos(x/2)*(sin(x/2))/2 which can be rewritten
.So f(x) as
calculated from the LHS equals the
RHS i.e. (sin(x/2))/2
The above as
presented does not constitute deriving an unknown formula, but turning a
conjecture into fact.
wants to translate it into a "formal" proof, go ahead.