■フェルマー数の整除性(その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

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