■ウォリスの公式の仲間達(その1)

 ウォリスの公式としては

[0]2/π=(1・3/2・2)(3・5/4・4)(5・7/6・6)・・・

=Π(2n−1)(2n+1)/2n・2n

が有名です.

 [参]小野田博一「古典数学の難問101」日本実業出版社

===================================

[1]3√3/2π=(2・4/3・3)(5・7/6・6)(8・10/9・9)・・・

=Π(3n−1)(3n+1)/3n・3n

[2]2√2/π=(3・5/4・4)(7・9/8・8)(11・13/12・12)・・・

=Π(4n−1)(4n+1)/4n・4n

[3]3/π=(5・7/6・6)(11・13/12・12)(17・19/18・18)・・・

=Π(6n−1)(6n+1)/6n・6n

===================================

 sinx/x=(1−x^2/π^2)(1−x^2/4π^2)(1−x^2/9π^2)・・・

=Π(1−x^2/n^2π^2)

のxに

π/2を代入すると→[0]

π/3を代入すると→[1]

π/4を代入すると→[2]

π/6を代入すると→[3]が得られる.

===================================

π/5を代入すると

(1−x^2/π^2)=1−1/5^2=4・6/5・5

(1−x^2/4π^2)=1−1/4・5^2=1−1/10^2=9・11/10・10

(1−x^2/9π^2)=1−1/9・5^2=1−1/15^2=14・16/15・15

 以下同様にして

[4]5(10−2√5)^1/2/4π=(4・6/5・5)(9・11/10・10)(14・16/15・15)・・・

=Π(5n−1)(5n+1)/5n・5n

が得られる.

===================================