Question Number 209356 by mnjuly1970 last updated on 08/Jul/24
$$ \\ $$$$\:\:\:\:\:{Evaluate}\:: \\ $$$$ \\ $$$$ \\ $$$$\:\:\:\:\mathrm{lim}_{\:{n}\rightarrow\infty} \:\underset{{k}=\mathrm{0}} {\overset{{n}−\mathrm{1}} {\prod}}\:{cos}\:\left(\frac{\mathrm{2}^{\:{k}} .\pi}{\mathrm{2}^{\:{n}} \:−\mathrm{1}}\:\right)\:\:=\:?\:\:\:\:\:\:\:\:\:\: \\ $$$$ \\ $$
Answered by mr W last updated on 08/Jul/24
$${P}_{{n}} =\underset{{k}=\mathrm{0}} {\overset{{n}−\mathrm{1}} {\prod}}\mathrm{cos}\:\frac{\mathrm{2}^{{k}} \pi}{\mathrm{2}^{{n}} −\mathrm{1}}=\mathrm{cos}\:\frac{\pi}{\mathrm{2}^{{n}} −\mathrm{1}}\:\mathrm{cos}\:\frac{\mathrm{2}\pi}{\mathrm{2}^{{n}} −\mathrm{1}}\:…\:\mathrm{cos}\:\frac{\mathrm{2}^{{n}−\mathrm{1}} \pi}{\mathrm{2}^{{n}} −\mathrm{1}} \\ $$$$\mathrm{2}\:\mathrm{sin}\:\frac{\pi}{\mathrm{2}^{{n}} −\mathrm{1}}{P}_{{n}} =\mathrm{2}\:\mathrm{sin}\:\frac{\pi}{\mathrm{2}^{{n}} −\mathrm{1}}\:\mathrm{cos}\:\frac{\pi}{\mathrm{2}^{{n}} −\mathrm{1}}\:\mathrm{cos}\:\frac{\mathrm{2}\pi}{\mathrm{2}^{{n}} −\mathrm{1}}\:…\:\mathrm{cos}\:\frac{\mathrm{2}^{{n}−\mathrm{1}} \pi}{\mathrm{2}^{{n}} −\mathrm{1}} \\ $$$$\mathrm{2}\:\mathrm{sin}\:\frac{\pi}{\mathrm{2}^{{n}} −\mathrm{1}}{P}_{{n}} =\mathrm{sin}\:\frac{\mathrm{2}\pi}{\mathrm{2}^{{n}} −\mathrm{1}}\:\mathrm{cos}\:\frac{\mathrm{2}\pi}{\mathrm{2}^{{n}} −\mathrm{1}}\:…\:\mathrm{cos}\:\frac{\mathrm{2}^{{n}−\mathrm{1}} \pi}{\mathrm{2}^{{n}} −\mathrm{1}} \\ $$$$\mathrm{2}^{\mathrm{2}} \:\mathrm{sin}\:\frac{\pi}{\mathrm{2}^{{n}} −\mathrm{1}}{P}_{{n}} =\mathrm{2}\:\mathrm{sin}\:\frac{\mathrm{2}\pi}{\mathrm{2}^{{n}} −\mathrm{1}}\:\mathrm{cos}\:\frac{\mathrm{2}\pi}{\mathrm{2}^{{n}} −\mathrm{1}}\:…\:\mathrm{cos}\:\frac{\mathrm{2}^{{n}−\mathrm{1}} \pi}{\mathrm{2}^{{n}} −\mathrm{1}} \\ $$$$\mathrm{2}^{\mathrm{2}} \:\mathrm{sin}\:\frac{\pi}{\mathrm{2}^{{n}} −\mathrm{1}}{P}_{{n}} =\mathrm{sin}\:\frac{\mathrm{2}^{\mathrm{2}} \pi}{\mathrm{2}^{{n}} −\mathrm{1}}\:…\:\mathrm{cos}\:\frac{\mathrm{2}^{{n}−\mathrm{1}} \pi}{\mathrm{2}^{{n}} −\mathrm{1}} \\ $$$$…… \\ $$$$\mathrm{2}^{{n}−\mathrm{1}} \:\mathrm{sin}\:\frac{\pi}{\mathrm{2}^{{n}} −\mathrm{1}}{P}_{{n}} =\mathrm{sin}\:\frac{\mathrm{2}^{{n}−\mathrm{1}} \pi}{\mathrm{2}^{{n}} −\mathrm{1}}\:\mathrm{cos}\:\frac{\mathrm{2}^{{n}−\mathrm{1}} \pi}{\mathrm{2}^{{n}} −\mathrm{1}} \\ $$$$\mathrm{2}^{{n}} \:\mathrm{sin}\:\frac{\pi}{\mathrm{2}^{{n}} −\mathrm{1}}{P}_{{n}} =\mathrm{2}\:\mathrm{sin}\:\frac{\mathrm{2}^{{n}−\mathrm{1}} \pi}{\mathrm{2}^{{n}} −\mathrm{1}}\:\mathrm{cos}\:\frac{\mathrm{2}^{{n}−\mathrm{1}} \pi}{\mathrm{2}^{{n}} −\mathrm{1}} \\ $$$$\mathrm{2}^{{n}} \:\mathrm{sin}\:\frac{\pi}{\mathrm{2}^{{n}} −\mathrm{1}}{P}_{{n}} =\mathrm{sin}\:\frac{\mathrm{2}^{{n}} \pi}{\mathrm{2}^{{n}} −\mathrm{1}} \\ $$$$\Rightarrow{P}_{{n}} =\frac{\mathrm{sin}\:\frac{\mathrm{2}^{{n}} \pi}{\mathrm{2}^{{n}} −\mathrm{1}}}{\mathrm{2}^{{n}} \:\mathrm{sin}\:\frac{\pi}{\mathrm{2}^{{n}} −\mathrm{1}}}=\frac{\mathrm{sin}\:\left(\pi+\frac{\pi}{\mathrm{2}^{{n}} −\mathrm{1}}\right)}{\mathrm{2}^{{n}} \:\mathrm{sin}\:\frac{\pi}{\mathrm{2}^{{n}} −\mathrm{1}}} \\ $$$$\:\:\:=−\frac{\mathrm{sin}\:\frac{\pi}{\mathrm{2}^{{n}} −\mathrm{1}}}{\mathrm{2}^{{n}} \:\mathrm{sin}\:\frac{\pi}{\mathrm{2}^{{n}} −\mathrm{1}}}=−\frac{\mathrm{1}}{\mathrm{2}^{{n}} } \\ $$$$\underset{{n}\rightarrow\infty} {\mathrm{lim}}{P}_{{n}} =\mathrm{0} \\ $$
Commented by mnjuly1970 last updated on 08/Jul/24
$${thanks}\:{alot}\:\:{sir}\:\:{W} \\ $$$$\:\:{so}\:{excellent}\:{solution}\:\underline{\underbrace{\lesseqgtr}} \\ $$