■ベキ和の公式の整除性(その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個とったあらゆる組合せの積の和である.
===================================