■フェルマー数の整除性(その2)
1・2・3・4・5=5!=120
それでは
3・5・17・257=?
===================================
フェルマー数は簡単な漸化式Fn =(Fn-1 −1)^2+1を満たしています.この式から
Fn −2=Fn-1 (Fn-1 −2)=・・・=F0 F1 ・・・Fn-1
言い換えれば,Fn −2はそれより小さいすべてのフェルマー数で割り切れることがわかります.
3・5・17・257
=F0 F1 F2F3=F4−2=65535
=F3(F3−2)=(F3−1)^2−1
もし,F4=65537を知っていれば,即座に65535と答えられるというわけです.
3・5・17・257・65537
=F0 F1 F2F3F4=F5−2=4294967295
=F4(F4−2)=(F4−1)^2−1
===================================