３より大きいフェルマー数は三角数でない

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

Fn=2^2^n+1=k(k+1)/2であると仮定する

2^2^n+2=k(k+2)より2^2^n+1=(k+2)(k-1)

右辺の因数のうち、１つが奇数であるから矛盾

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝