4
$\begingroup$

Consider the infinite product $(1)$

$$\prod_{n=4}^{\infty}\left(1-2\sin\left({\pi\over {2^n}}\right)^2\right)=P\tag1$$ How does one show that $P={2\sqrt{2}\over \pi}?$

An attempt:

$$1-2\sin\left({\pi\over {2^n}}\right)^2=\sin\left({\pi\over {2^n}}\right)^2+\cos\left({\pi\over {2^n}}\right)^2-2\sin\left({\pi\over {2^n}}\right)^2=\cos\left({\pi\over {2^{n-1}}}\right)$$

$$\prod_{n=4}^{\infty}\left(\cos\left({\pi\over {2^{n-1}}}\right)\right)=P\tag2$$

Not sure where to go from $(2)$

$\endgroup$
  • 5
    $\begingroup$ Multiply $$P_N=\prod_{n=4}^N\cos\left({\pi\over {2^{n-1}}}\right)$$ by $$\sin\left({\pi\over {2^{N-1}}}\right)$$ and use repeatedly the identity $$\sin x\cos x=\frac12\sin (2x)$$ to get $$2^{N-3}\sin\left({\pi\over {2^{N-1}}}\right)P_N=\sin\left({\pi\over {4}}\right)$$ and conclude using the asymptotics when $x\to0$, $$\frac{\sin x}x\to1$$ $\endgroup$ – Did Feb 15 '17 at 12:52
  • 1
    $\begingroup$ Infinite product formulae. $$ \frac{\sin{x}}{x}=\prod_{n=1}^{\infty}\cos\frac{x}{2^n} $$ $\endgroup$ – Hazem Orabi Feb 15 '17 at 12:57
3
$\begingroup$

Hint. From $(2)$ one may just use$$ \cos{\left(\frac {x}{2^n}\right)}=\frac12 \cdot \frac{\sin{\left(\frac {x}{2^{n-1}}\right)}}{\sin{\left(\frac {x}{2^n}\right)}} $$ then factors telescope.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.