■フェルマー数の約数(その6)

【1】フェルマー数

 フェルマー数は簡単な漸化式

  Fn =(Fn-1 −1)^2+1

  Fn −1=(Fn-1 −1)^2

を満たしています.

  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

  ・・・・・・・・・・・・・・・・・・・・・・・

 この式から

  Fn −2=Fn-1 (Fn-1 −1)=・・・=F0 F1 ・・・Fn-1

言い換えれば,Fn −2はそれより小さいすべてのフェルマー数で割り切れることがわかります.

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