■ディオファントス・フェルマー・ワイルズ(その16)

【2】合同式

n=1 (mod4)のとき,自然数解(a,b,c)は存在しないことを確認してみたい.

F1=1,F2=1,F3=2,F4=3,F5=5,F6=8,F7=13,F8=21,F9=34

L1=1,L2=3,L3=4,L4=7,L5=11,L6=18,L7=29,L8=47

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

[1]k=1

 F1=1,F3=2,L2=3→ a=1,b=2,c=6

 (a+b+c)(1/a+1/b+1/c)

=9(1/1+1/2+1/6)

=9(6/6+3/6+1/6)=9・10/6=15  (OK)

n=12=0  (mod4)

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

[2]k=2

 F3=2,F5=5,L4=7→ a=2,b=5,c=70

 (a+b+c)(1/a+1/b+1/c)

=77(1/2+1/5+1/70)

=77(35/70+14/70+1/70)=77・50/70=5  (OK)

n=2=2  (mod4)

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

[3]k=3

 F5=5,F7=13,L6=18→ a=5,b=13,c=1170

 (a+b+c)(1/a+1/b+1/c)

=1188(1/5+1/13+1/1170)

=1188(234/1170+90/1170+1/1170)=1188・325/1170=330  (OK)

n=327=3  (mod4)

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

[4]

k=4

 F7=13,F9=34,L8=47→ a=13,b=34,c=20774

 (a+b+c)(1/a+1/b+1/c)

=20821(1/13+1/34+1/20774)

=20821(1598/20774+611/20774+1/20774)=20821・2210/20774=2215  (OK)

n=2212=0  (mod4)

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