Question Number 106366 by 175mohamed last updated on 04/Aug/20
Answered by mathmax by abdo last updated on 05/Aug/20
$$\mathrm{cosx}\:=\mathrm{1}−\frac{\mathrm{x}^{\mathrm{2}} }{\mathrm{2}}\:+\frac{\mathrm{x}^{\mathrm{4}} }{\mathrm{4}!}\:+…\:\Rightarrow\mathrm{1}−\frac{\mathrm{x}^{\mathrm{2}} }{\mathrm{2}}\leqslant\mathrm{cosx}\:\leqslant\mathrm{1}\:\Rightarrow \\ $$$$\mathrm{1}−\frac{\mathrm{1}}{\mathrm{2}}\left(\frac{\mathrm{1}}{\mathrm{2}^{\mathrm{k}} }\right)\leqslant\mathrm{cos}\left(\frac{\mathrm{1}}{\mathrm{2}^{\mathrm{k}} }\right)\leqslant\mathrm{1}\:\Rightarrow\sum_{\mathrm{k}=\mathrm{1}} ^{\mathrm{2}^{\mathrm{n}} } \left(\mathrm{1}−\frac{\mathrm{1}}{\mathrm{2}^{\mathrm{k}+\mathrm{1}} }\right)\leqslant\sum_{\mathrm{k}=\mathrm{1}} ^{\mathrm{2}^{\mathrm{n}} } \mathrm{cos}\left(\frac{\mathrm{1}}{\mathrm{2}^{\mathrm{k}} }\right)\leqslant\mathrm{2}^{\mathrm{n}} \:\Rightarrow \\ $$$$\mathrm{2}^{\mathrm{n}} −\sum_{\mathrm{k}=\mathrm{1}} ^{\mathrm{2}^{\mathrm{n}} } \:\frac{\mathrm{1}}{\mathrm{2}^{\mathrm{k}+\mathrm{1}} }\:\leqslant\sum_{\mathrm{k}=\mathrm{1}} ^{\mathrm{2}^{\mathrm{n}} } \:\mathrm{cos}\left(\frac{\mathrm{1}}{\mathrm{2}^{\mathrm{k}} }\right)\:\leqslant\mathrm{2}^{\mathrm{n}} \:\:\mathrm{but} \\ $$$$\sum_{\mathrm{k}=\mathrm{1}} ^{\mathrm{2}^{\mathrm{n}} } \:\frac{\mathrm{1}}{\mathrm{2}^{\mathrm{k}+\mathrm{1}} }\:=\sum_{\mathrm{k}=\mathrm{2}} ^{\mathrm{2}^{\mathrm{n}} +\mathrm{1}} \:\frac{\mathrm{1}}{\mathrm{2}^{\mathrm{k}} }\:=\sum_{\mathrm{k}=\mathrm{0}} ^{\mathrm{2}^{\mathrm{n}} +\mathrm{1}} \:\left(\frac{\mathrm{1}}{\mathrm{2}}\right)^{\mathrm{k}} −\frac{\mathrm{3}}{\mathrm{2}}\:=\frac{\mathrm{1}−\left(\frac{\mathrm{1}}{\mathrm{2}}\right)^{\mathrm{2}^{\mathrm{n}} +\mathrm{2}} }{\frac{\mathrm{1}}{\mathrm{2}}}\:−\frac{\mathrm{3}}{\mathrm{2}} \\ $$$$=\mathrm{2}−\frac{\mathrm{2}}{\mathrm{2}^{\mathrm{2}^{\mathrm{n}} +\mathrm{2}} }−\frac{\mathrm{3}}{\mathrm{2}}\:=\frac{\mathrm{1}}{\mathrm{2}}−\frac{\mathrm{1}}{\mathrm{2}^{\mathrm{2}^{\mathrm{n}} +\mathrm{1}} }\:\Rightarrow \\ $$$$\mathrm{2}^{\mathrm{n}} −\frac{\mathrm{1}}{\mathrm{2}}−\frac{\mathrm{1}}{\mathrm{2}^{\mathrm{2}^{\mathrm{n}} +\mathrm{1}} }\leqslant\sum_{\mathrm{k}=\mathrm{1}} ^{\mathrm{2}^{\mathrm{n}} } \:\mathrm{cos}\left(\frac{\mathrm{1}}{\mathrm{2}^{\mathrm{k}} }\right)\leqslant\mathrm{2}^{\mathrm{n}} \:\Rightarrow \\ $$$$\mathrm{1}−\frac{\mathrm{1}}{\mathrm{2}^{\mathrm{n}+\mathrm{1}} }−\frac{\mathrm{1}}{\mathrm{2}^{\mathrm{2}^{\mathrm{n}} +\mathrm{1}} .\mathrm{2}^{\mathrm{n}} }\leqslant\frac{\mathrm{1}}{\mathrm{2}^{\mathrm{n}} }\:\sum_{\mathrm{k}=\mathrm{1}} ^{\mathrm{2}^{\mathrm{n}} } \mathrm{cos}\left(\frac{\mathrm{1}}{\mathrm{2}^{\mathrm{k}} }\right)\leqslant\mathrm{1}\:\Rightarrow \\ $$$$\mathrm{lim}_{\mathrm{n}\rightarrow+\infty} \:\frac{\mathrm{1}}{\mathrm{2}^{\mathrm{n}} }\sum_{\mathrm{k}=\mathrm{1}} ^{\mathrm{2}^{\mathrm{n}} } \mathrm{cos}\left(\frac{\mathrm{1}}{\mathrm{2}^{\mathrm{k}} }\right)\:=\mathrm{1} \\ $$