■ベキ和の公式の整除性(その26)

 n番目の調和数を

  Hn=1/1+1/2+1/3+1/4+・・・+1/n

と定義すると,H1=1,H2=3/2,H3=11/6,・・・,H∞=∞となります.n>1ならば,Hn は整数にはならないことが示されています.

 一方,ウォルステンホルムの定理

 「pが2,3以外の素数ならば有限調和級数(既約分数)

  1+1/2+1/3+・・・+1/(p−1)

の分子はp^2で割り切れる.たとえば,p=5のとき,この分数は25/12となり,その分子はp^2で割り切れる.」

 分子は

  S=(p−1)!(1+1/2+1/3+・・・+1/(p−1))

で,1,2,・・・p−1からp−2個とったあらゆる組合せの積の和である.

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