決め付けお疲れ様です。
>>772
>>754を読んでから書け
>>777
6ページ8行目の式
tp=c×2^(qr-1)(1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1))
t、cに含まれる因数prの個数を正整数Tt、Tcとすると
pはprではなく、2^(qr-1)(1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1))はprを
因数として持つこともあり、pはprとは異なる素数であり因数prを含まないので
Tt≧Tc
が成立する。
tとcの共通因数がuなのであるから、tはcが含む個数以上の因数prを含むから
uはcに含まれる因数prを全て含んでいる。よって。c=uwであるwには因数prが
含まれない。
