■フェルマー数の整除性

フェルマー数Fn=2^(2^n)+1

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

漸化式

(Fn+1)-1={(Fn)-1)}^2

または

(Fn+1)-2=Fn{(Fn)-2)}を満たしている。

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

この式から

(Fn)-2=F0F1・・・Fn-1

が得られる。言い換えれば、(Fn)-2はそれより小さいすべてのフェルマー数で割り切れる。

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

また、フェルマー数が合成数ならば、あるkに対して、k・2^(n+2)+1で割り切れる。

たとえば、F5の因数641=5・2^7+1

たとえば、F3310因数5・2^3312+1

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