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

[Q](4a)!(4b)!/a!b!(2a+b)!(a+2b)!は整数であることを証明せよ.

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

(その18)の

(Q)a+b+・・・+l=nとおく.このことを適用して

  n!/a!b!・・・l!

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

(A)素数pはn!,a!,b!,・・・,l!をそれぞれ

  [n/p]+[n/p^2]+・・・

  [a/p]+[a/p^2]+・・・

  [b/p]+[b/p^2]+・・・

  [l/p]+[l/p^2]+・・・

で割り切る.しかも,

  [n/p^s]≧[a/p^s]+[b/p^s]+・・・+[l/p^s]

であることよりQED.を用いると

(A)素数pは4!,4b!,a!,b!,(2a+b)!,(a+2b)!をそれぞれ

  [4a/p]+[2a/p^2]+・・・

  [4b/p]+[2b/p^2]+・・・

  [a/p]+[a/p^2]+・・・

  [b/p]+[b/p^2]+・・・

  [(2a+b)/p]+[(2a+b)/p^2]+・・・

  [(a+2b)/p]+[(a+2b)/p^2]+・・・

で割り切る.しかも,

  [4a/p^s]+[4b/p^s]≧[a/p^s]+[b/p^s]+[(2a+b)/p^s]+[(a+2b)/p^s]

であることよりQED.

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