P33練習問題(1)の(2)の問題の下にある[1゜]のついて質問があ
ります。(2)の問題 a>0,b>0;a_1=(a+b)/2,b_1=
√(a_1・b),一般にa_n=(a_{n-1}+b_{n-1})/2,
b_n=√(a_n・b_{n-1})とすれば,l=lim[n→∞]a_n=
lim[n→∞]b_n が存在する。 というところにある数列a_n,b_n
の定義を用いて,その下にある問題 |a|<bのとき,a=bcosx,
−π<x<π ,と置けば,l=bsinx/x となることを示そうとしていて,
lim[n→∞]a_n=bcos(x/2)・cos(x/4)・cos(x/8)・・・・
・cos(x/2^n)・・・・・1
lim[n→∞]b_n についても同様になることまで分かったのですが,
ここからどのようにこれらが bsinx/x になることを示せば良いので
しょうか?つまり,どのようにcos(x/2)・cos(x/4)・・・・・
・cos(x/2^n)・・・・・1=sinx/x となることを示せば良いので
しょうか?宜しくお願いします。