■フェルマー数の整除性(その12)
フェルマー数Fnは
Fn=2^(2^n)+1
で定義される.たとえば,F73=2^(2^73)+1.
F0=3,
F1=5,
F2=17,
F3=257,
F4=65537257
F5=2^(2^5)+1=2^32+1=4294967297=641×6700417
F6=2^64+1=274177×67280421310721
F7=59649589127497217×5704689200685129054721,
では,F0,F1を除き,最後の桁が7になる.
すなわち,n=2,3,・・・に対して,2^(2^n)の最後の桁は6であることを示そう.
===================================
2^(2^2)=16
2^(2^3)={2^(2^2)}^2=16^2
2^(2^4)={2^(2^3)}^2=(16^2)^2
2^(2^5)={2^(2^4)}^2=((16^2)^2)^2
・・・・・・・・・・・・・・・・・・・・・・・
こうして,F24=2^(2^73)+1の最後の桁は7であることがわかる.
===================================