0
大学数学基礎解説
文献あり

Simple proof of Fermat's Last Theorem

1123
0

When n is an odd prime

Let x, y, y and z be positive integers and y is a prime factor of zx. Let p be an odd prime. We suppose x, y and z are each prime to one another and y0 (mod p) holds. We consider the following equation.
xp+yp=zp ...(1)
yp=(zx)i=0p1zixp1i
Since z>x and zx0 (mod y) hold,
yp/(zx)pxp1 (mod y)
holds. If the left side is a multiple of y, then y=p must hold since x and y are relatively prime. zx and yp/(zx) do not have common prime factors since y0 (mod p) holds. Let a and b be positive integers. We suppose a, b and p are each prime to one another and yp=ab and zx=a hold. By the equation (1),
xp+ab=(x+a)p
holds. According to Fermat's little theorem,
x+abx+a (mod p)
holds.
(b1)a0 (mod p)
b1 (mod p)
Let c and d be integers. We suppose x=bc+d and 0<d<b hold.
(bc+d)p+ab=(bc+d+a)p
(d+a)pdp0 (mod b)
Let e be an integer and
(d+a)pdp=be ...(2)
holds.
d+adbe (mod p)
ae (mod p)
Let f be an integer and e=fp+a holds. By the equation (2),
ai=0p1(d+a)idp1i=be ...(3)
holds. Let g be an integer. e=ag holds since a and b are relatively prime.
ag=fp+a
(g1)a=fp
g1 (mod p) ...(4)
On the other hand, by the equation (3),
i=0p1(d+a)idp1i/p=bg/p
dp1bg/p (mod a)
holds. g0 (mod p) must hold since b does not have p as a factor. It becomes a contradiction contrary to the congruent expression (4). From the above, there are no integer solutions to the equation (1) for x>0, y>0 and z>0. (Q.E.D.)

When n=4 holds

Let x, y, y and z be positive integers and y is a prime factor of zx. We suppose x, y and z are each prime to one another. We consider the following equation.
x4+y4=z4 ...(5)
We suppose x is even and y and z are odd since there are no integer solutions to this equation when z is even. Since z>x and zx0 (mod y) hold,
y4/(zx)=i=03zix3i
y4/(xz)4x3 (mod y)
holds. If the right side has y as a factor, then y must be 2 since x and y are relatively prime. zx and y4/(zx) do not have common prime factors since y is odd. Let a and b be odd positive integers. We suppose a, b and p are each prime to one another and y4=ab and zx=a hold. By the equation (1),
x4+ab=(x+a)4
holds. Let c and d be integers. We suppose x=bc+d and 0<d<b hold.
(bc+d)4d4=(bc+d+a)4
(d+a)4d40 (mod b)
Let e be an integer and
(d+a)4d4=be ...(6)
holds. According to Fermat's little theorem,
(d+a)2d2be (mod 2)
holds.
bea2 (mod 2)
e1 (mod 2)
Let f be an integer and e=2f+1 holds. By the equation (6),
ai=03(d+a)id3i=be ...(7)
holds. Let g be an integer. Since a and b are relatively prime, e=ag holds.
ag=2f+1
g1 (mod 2) ...(8)
On the other hand, by the equation (7),
i=03(d+a)id3i/4=bg/4
d3bg/4 (mod a)
holds. g0 (mod 4) must hold since b is odd. However, it becomes a contradiction contrary to the congruent expression (8). From the above, there are no integer solutions to the equation (5) for x>0, y>0 and z>0. (Q.E.D.)

Conclusion

By the proof when n is an odd prime and when n is 4 as above, when n3 holds, xn+yn=zn does not have an integer solution for x>0, y>0 and z>0.

参考文献

投稿日:2024426
更新日:20241211
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. When $n$ is an odd prime
  2. When $n=4$ holds
  3. Conclusion
  4. 参考文献