■オイラーのトーシェント関数(その6)

(Q)P2n/Pn^4=(n+1)!・・・(2n)!/{1!・2!・・・n!}^3

は整数であることを証明せよ.

 (その5)では,条件をきつくしたP2n/Pn^4(n+1)が整数であることを帰納法でしめしたが,P2n/Pn^4とした場合はどうなるのだろうか?

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

[1]n=1のとき,P2/P1^4=2

[2]n=kのとき,

P2k/Pk^4=(k+1)!・・・(2k)!/{1!・2!・・・k!}^3が整数であるとする.

[3]P2k+2/Pk+1^4=(k+2)!・・・(2k+2)!/{1!・2!・・・(k+1)!}^3

=(k+1)!・・・(2k)!/{1!・2!・・・k!}^3・(2k+1)!(2k+2)!/(k+1)!{(k+1)!}^3

=P2k/Pk^4・(2k+1)!(2k+2)!/{(k+1)!}^4

=P2k/Pk^4・{(2k+2)!}^2/2(k+1){(k+1)!}^4

 ここで,

(2k+2)!}^2/{(k+1)!}^4は整数

{(2k+2)!}^2/2(k+2){(k+1)!}^4も整数  (QED)

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

[雑感](その5)では条件をきつくしたP2n/Pn^4(n+1)が整数であることを帰納法でしめしたが,その方が帰納法を適用しやすくなるとはいえないようである.

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