Русская Википедия:Уравнение Якоби — Маддена

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Уравнение Якоби — Маддена — это диофантово уравнение

<math>a^4 + b^4 + c^4 + d^4 = (a + b + c + d)^4 \, </math>

предложенное физиком Ли У. Якоби и математиком Даниэлем Дж. Мадденом в 2008Шаблон:Sfn[1]. Переменные a, b, c и d могут быть любыми целыми числами, положительными, отрицательными или 0[2]. Якоби и Мадден показали, что имеется бесконечно много решений уравнения со всеми не равными нулю переменными.

История

Из каждого решения уравнения Якоби-Маддена взаимно однозначно вытекает некоторое решение уравнения

<math>a^4 + b^4 +c^4 +d^4 = e^4 \, </math>,

впервые предложенного в 1772 году Леонардом Эйлером, который предположил, что четыре является минимальным числом (большим единицы) четвёртых степеней ненулевых целых чисел, которые в сумме дают другую четвёртую степень. Эта гипотеза, известная теперь как Гипотеза Эйлера, была естественным обобщением великой теоремы Ферма, последняя была доказана для четвёртой степени самим Пьером Ферма.

Ноам Элкиc первым нашёл бесконечную последовательность решений этого уравнения Эйлера с одной переменной равной нулю, опровергнув гипотезу Эйлера для случая четвёртой степениШаблон:Sfn.

Однако до публикации Якоби и Маддена было неизвестно, существует ли бесконечное число решений уравнения Эйлера четвёртой степени со всеми ненулевыми переменными. Было известно лишь конечное число таких решений[3][4]. Одно из таких решений Симха Брудно получил в 1964Шаблон:Sfn из решения уравнения Якоби-Маддена:

<math>5400^4 + 1770^4 + (-2634)^4 + 955^4 = (5400 + 1770 - 2634 + 955)^4. \, </math>

Подход

Якоби и Мадден начали с

<math>a^4+b^4+c^4+d^4 = (a+b+c+d)^4</math>

И тождества,

<math>a^4+b^4+(a+b)^4 = 2(a^2+ab+b^2)^2</math>

Добавив <math>(a+b)^4+(c+d)^4</math> к обеим частям уравнения,

<math>a^4+b^4+(a+b)^4+c^4+d^4+(c+d)^4 = (a+b)^4+(c+d)^4+(a+b+c+d)^4</math>

можно видеть, что это частный случай пифагоровой тройки,

<math>(a^2+ab+b^2)^2+(c^2+cd+d^2)^2 = \big((a+b)^2+(a+b)(c+d)+(c+d)^2\big)^2 = \tfrac{1}{4}\big((a+b)^2+(c+d)^2+(a+b+c+d)^2\big)^2</math>

Они затем использовали решение Брудно и некую эллиптическую кривую для построения бесконечной серии решений как уравнения Якоби-Маддена, так и уравнения Эйлера. В отличие от метода Элкиса, построение использовало ненулевые значения переменных.

Якоби и Маддена заметили также, что другое стартовое значение, такое как

<math>(-31764)^4 + 27385^4 + 48150^4 + 7590^4 = (-31764 + 27385 + 48150 + 7590)^4 \, </math>

найденное Ярославом Вроблевски[4], даёт другую бесконечную серию решений[5].

В августе 2015 Сейдзи Томита объявил о двух новых решениях уравнения Якоби-Маддена с небольшими значениями[6]:

<math>1229559^4 + (-1022230)^4 + 1984340^4 + (-107110)^4 = (1229559 -1022230 + 1984340 - 107110)^4 \,,</math>
<math>561760^4 + 1493309^4 + 3597130^4 + (-1953890)^4 = (561760 + 1493309 + 3597130 - 1953890)^4 \,.</math>

См. также

Примечания

Шаблон:Примечания

Литература

Шаблон:Refbegin

Шаблон:Refend Шаблон:Rq

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

  1. ↑ Шаблон:Cite web
  2. ↑ Любое нетривиальное решение должно включать как положительные, так и отрицательные значения.
  3. ↑ Шаблон:MathWorld
  4. ↑ 4,0 4,1 Jaroslaw Wroblewski Database of solutions to the Euler’s equation Шаблон:Wayback
  5. ↑ Seiji Tomita, Solutions of a^4 + b^4 + c^4 + d^4 = (a+b+c+d)^4 Шаблон:Wayback, 2010.
  6. ↑ Seiji Tomita, New solutions of a^4 + b^4 + c^4 + d^4 = (a+b+c+d)^4 Шаблон:Wayback, 2015.
Источник — http://wikihandbk.com/ruwiki/index.php?title=Русская_Википедия:Уравнение_Якоби_—_Маддена&oldid=11062529