オイラー予想(オイラーよそう)とは、スイスの数学者レオンハルト・オイラーが提唱した、フェルマーの最終定理を発展させた数学的予想である。現在では、反例によってこの予想は正しくないことが証明されている。

予想の内容編集

オイラーはフェルマーの最終定理のn=3のとき、すなわち

x3 + y3 =z3

を満たす自然数の解 (x, y, z) は存在しないことを証明した。 ここから、フェルマーの最終定理を拡張して、

x4 + y4 + z4 = w4

を満たす自然数の解 (x, y, z, w) は存在しない、と予想した。

同様に

x5 + y5 + z5 + w5 = v5
x6 + y6 + z6 + w6 + v6 = u6

を満たす自然数の解も存在しない、とした。

すなわち、n > 3 とすると、n − 1 個の n 乗数の和を1個の n 乗数で表すことはできないということを示唆した。 これが、オイラー予想である。

歴史編集

オイラーの発表以降、比較的小さな自然数では反例を見つけることができず、長い間正しいと信じられてきた。

しかし1966年にレオン・J・ランダーとトーマス・R・パーキンによって n = 5 の場合の反例として解 (27, 84, 110, 133, 144) が発見され、275 + 845 + 1105 + 1335 = 1445 が成り立つことが確認された。

この発見から n = 4 の場合も反例がある可能性があるとして研究が続けられ、1986年にハーバード大学のノーム・エルキーズ(Noam Elkies)が、楕円曲線論とコンピュータを用いて発見した。その反例は 26824404 + 153656394 + 187967604 = 206156734 という複雑なものだった。この発見と同時に解は無限に存在することも確認され、約200年間未解決となっていたオイラー予想は、否定的に証明された。

また、2004年にはジム・フライによってn=5の場合の反例852825 + 289695 + 31835 + 555 = 853595が発見された。

反例編集

  • 箇条書されている式はn − 1 個の n 乗数の和を1個の n 乗数で表す例

そうではない式はn 個の n 乗数の和を1個の n 乗数で表す

k = 4編集

  • 958004 + 2175194 + 4145604 = 4224814 (R. Frye, 1988)[1]

304 + 1204 + 2724 + 3154 = 3534 (R. Norrie, 1911)[2] (R. Norrie によって最小の解であることが示されている。)

k = 5編集

  • 275 + 845 + 1105 + 1335 = 1445 (Lander & Parkin, 1966)[3]
  • 555 +31835 + 289695 + 852825 = 853595

195 + 435 + 465 + 475 + 675 = 725 (Lander, Parkin, Selfridge, smallest, 1967)[2]

75 + 435 + 575 + 805 + 1005 = 1075 (Sastry, 1934, third smallest)[2]

k = 7編集

1277 + 2587 + 2667 + 4137 + 4307 + 4397 + 5257 = 5687 (M. Dodrill, 1999)[要出典]

k = 8編集

908 + 2238 + 4788 + 5248 + 7488 + 10888 + 11908 + 13248 = 14098 (S. Chase, 2000)[要出典]

関連項目編集

参考文献編集

  1. ^ Elkies, Noam (1988). “On A4 + B4 + C4 = D4 (PDF). Mathematics of Computation 51 (184): 825–835. doi:10.1090/S0025-5718-1988-0930224-9. JSTOR 2008781. MR0930224. http://www.ams.org/journals/mcom/1988-51-184/S0025-5718-1988-0930224-9/S0025-5718-1988-0930224-9.pdf. 
  2. ^ a b c Lander, L. J.; Parkin, T. R.; Selfridge, J. L. (1967). “A Survey of Equal Sums of Like Powers”. Mathematics of Computation 21 (99): 446–459. doi:10.1090/S0025-5718-1967-0222008-0. JSTOR 2003249. 
  3. ^ Burkard Polster (2018年3月24日). “Euler's and Fermat's last theorems, the Simpsons and CDC6600”. 2018年3月24日閲覧。