sin(2x) ifadesini yarım açı formülü ile n kere açalım.
sin(2x)=2sin(x)cos(x)
sin(2x)=4sin(x2)cos(x2)cos(x)
sin(2x)=8sin(x4)cos(x4)cos(x2)cos(x)
...sin(2x)=2nsin(x2n−1)n∏k=1cos(x2k−1)
lim durumuna bakalım.
\sin(2x)=2x\prod_{k=1}^\infty\:\cos\bigg(\frac{x}{2^{k-1}}\bigg)
Gerekli sadeleştirmeleri yaparsak sonuca ulaşabiliriz.Benzer bir soru için buraya bakılabilir.
\large\color{#A00000}{\boxed{\prod_{k=1}^\infty\:\sec\bigg(\frac{x}{2^{k-1}}\bigg)=2x\csc(2x)}}