Уравнение Якоби–Маддена

Диофантово уравнение, приписываемое Якоби и Мэддену

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

а 4 + б 4 + с 4 + г 4 = ( а + б + с + г ) 4 , {\displaystyle а^{4}+b^{4}+c^{4}+d^{4}=(а+b+c+d)^{4},}

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

История

Уравнение Якоби–Маддена представляет собой частный случай уравнения

а 4 + б 4 + с 4 + г 4 = е 4 , {\displaystyle а^{4}+b^{4}+c^{4}+d^{4}=e^{4},}

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

Ноам Элкис первым нашел бесконечный ряд решений уравнения Эйлера с одной переменной, равной нулю, тем самым опровергнув гипотезу Эйлера о сумме степеней для четвертой степени. [3]

Однако до публикации Якоби и Мэддена не было известно, существует ли бесконечно много решений уравнения Эйлера со всеми переменными, отличными от нуля. Было известно лишь конечное число таких решений. [4] [5] Одно из этих решений, открытое Симхой Брудно в 1964 году, [6] дало решение уравнения Якоби–Маддена:

5400 4 + 1770 4 + ( 2634 ) 4 + 955 4 = ( 5400 + 1770 2634 + 955 ) 4 . {\displaystyle 5400^{4}+1770^{4}+(-2634)^{4}+955^{4}=(5400+1770-2634+955)^{4}.}

Подход

Якоби и Мэдден начали с того,

а 4 + б 4 + с 4 + г 4 = ( а + б + с + г ) 4 {\displaystyle а^{4}+b^{4}+c^{4}+d^{4}=(а+b+c+d)^{4}}

и личность,

а 4 + б 4 + ( а + б ) 4 = 2 ( а 2 + а б + б 2 ) 2 {\displaystyle а^{4}+b^{4}+(а+b)^{4}=2(а^{2}+ab+b^{2})^{2}}

Добавляем к обеим частям уравнения: ( а + б ) 4 + ( с + г ) 4 {\displaystyle (a+b)^{4}+(c+d)^{4}}

а 4 + б 4 + ( а + б ) 4 + с 4 + г 4 + ( с + г ) 4 = ( а + б ) 4 + ( с + г ) 4 + ( а + б + с + г ) 4 {\displaystyle 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}}

видно, что это особая пифагорова тройка ,

( а 2 + а б + б 2 ) 2 + ( с 2 + с г + г 2 ) 2 = ( ( а + б ) 2 + ( а + б ) ( с + г ) + ( с + г ) 2 ) 2 = 1 4 ( ( а + б ) 2 + ( с + г ) 2 + ( а + б + с + г ) 2 ) 2 {\displaystyle (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}}

Затем они использовали решение Брудно и определенную эллиптическую кривую для построения бесконечной серии решений уравнения Якоби–Маддена.

Другие первоначальные решения

Якоби и Мэдден заметили, что другое начальное значение, например

( 31764 ) 4 + 27385 4 + 48150 4 + 7590 4 = ( 31764 + 27385 + 48150 + 7590 ) 4 {\displaystyle (-31764)^{4}+27385^{4}+48150^{4}+7590^{4}=(-31764+27385+48150+7590)^{4}\,}

найденное Ярославом Вроблевским, [5] привело бы к другой бесконечной серии решений. [7]

В августе 2015 года Сейджи Томита объявил о двух новых малых решениях уравнения Якоби–Маддена: [8]

1229559 4 + ( 1022230 ) 4 + 1984340 4 + ( 107110 ) 4 = ( 1229559 1022230 + 1984340 107110 ) 4 , {\displaystyle 1229559^{4}+(-1022230)^{4}+1984340^{4}+(-107110)^{4}=(1229559-1022230+1984340-107110)^{4}\,,}
561760 4 + 1493309 4 + 3597130 4 + ( 1953890 ) 4 = ( 561760 + 1493309 + 3597130 1953890 ) 4 , {\displaystyle 561760^{4}+1493309^{4}+3597130^{4}+(-1953890)^{4}=(561760+1493309+3597130-1953890)^{4}\,,}

что приводит к двум новым сериям решений, построенным методом Якоби и Маддена.

Смотрите также

Ссылки

  1. ^ Якоби, Ли В.; Мэдден, Дэниел Дж. (2008). "On ". American Mathematical Monthly . 115 (3): 220–236. doi :10.1080/00029890.2008.11920519. JSTOR  27642446. a 4 + b 4 + c 4 + d 4 = ( a + b + c + d ) 4 {\displaystyle a^{4}+b^{4}+c^{4}+d^{4}=(a+b+c+d)^{4}}
  2. ^ Математики нашли новые решения древней головоломки
  3. ^ Ноам Элкис (1988). «О A 4 + B 4 + C 4 = D 4 ». Математика вычислений . 51 (184): 825–835. doi :10.2307/2008781. JSTOR  2008781. MR  0930224.
  4. ^ Вайсштейн, Эрик В. «Диофантово уравнение в четвертой степени». MathWorld .
  5. ^ ab Ярослав Вроблевский База данных решений уравнения Эйлера
  6. ^ Симха Брудно (1964). «Еще один пример A 4 + B 4 + C 4 + D 4 = E 4 ». Математические труды Кембриджского философского общества . 60 (4): 1027–1028. doi :10.1017/S0305004100038470. MR  0166151.
  7. ^ Сейджи Томита, Решения уравнения a^4 + b^4 + c^4 + d^4 = (a+b+c+d)^4, 2010.
  8. ^ Сейджи Томита, Новые решения a^4 + b^4 + c^4 + d^4 = (a+b+c+d)^4, 2015.

Примечания

  1. ^ Фактически, любое нетривиальное решение должно включать как положительное, так и отрицательное значение.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Jacobi–Madden_equation&oldid=1192792416"