Уравнение a/(b+c)+b/(a+c)+c/(a+b)=4: как школьная головоломка приводит к эллиптическим кривым

a/(b+c) + b/(a+c) + c/(a+b) = 4

Ищем решения в положительных целых числах. Решение на самом деле в две шага.

Однородность и сведение задачи к рациональным числам

👉 Шаг первый: Внимательные наблюдения

Уравнение однородное. Если (a,b,c) — решение, то (ka,kb,kc) тоже решение, потому что ka/(kb+kc) = a/(b+c).

Значит, важны не сами числа, а только их отношения. Поэтому можно разделить всё на c, считать c = 1, найти рациональное решение, а потом умножить на общий знаменатель и вернуться к целым числам.

Умножим уравнение на знаменатели:

a(a+b)(a+c) + b(b+a)(b+c) + c(c+a)(c+b)
= 4(a+b)(a+c)(b+c)

Кубическое уравнение и эллиптические кривые

После раскрытия получается кубическое уравнение

a³ + b³ + c³ − 3(a²b + ab² + a²c + ac² + b²c + bc²) − 5abc = 0

Степень равна 3, а такие уравнения часто приводят к эллиптическим кривым.

После замены переменных оно переходит в форму

y² = x³ + 109x² + 224x

Это уже стандартный вид эллиптической кривой, с которым умеют работать.

Геометрическое правило построения точек на эллиптической кривой

👉 Шаг второй: Магия с эллиптическими крививыми

Дальше используется главный факт: если на такой кривой найдена хотя бы одна рациональная точка, из неё можно по строгому правилу строить новые. Правило геометрическое: через две известные точки проводят прямую, она ещё раз пересекает кривую, и из этой новой точки получают следующую. Если точка одна и ту же складывают с собой, вместо прямой берут касательную. Так из одной стартовой точки рождается целая последовательность новых рациональных точек.

Например, точка

x = −100, y = 260

лежит на этой кривой. Обратная замена переменных даёт

a = 4, b = −1, c = 11

Это уже решение исходного уравнения, но оно нам не подходит, потому что b отрицательно.

Девятый шаг и решение эллиптической кривой задачи

Теперь начинаем многократно применять ту самую операцию на кривой: получаем 2P, 3P, 4P и так далее, где P = (−100,260). Каждая новая точка снова переводится обратно в тройку (a,b,c). Первые несколько шагов дают решения, но среди них всё ещё есть отрицательные числа. А вот на 9-м шаге, то есть для точки 9P, впервые получается тройка, где все числа положительные.

Это и есть искомое решение — числа примерно по 80 цифр:

a = 154476802108746166441951315019919837485664325669565431700026634898253202035277999

b = 36875131794129999827197811565225474825492979968971970996283137471637224634055579

c = 4373612677928697257861252602371390152816537558161613618621437993378423467772036

И для них действительно

a/(b+c) + b/(a+c) + c/(a+b) = 4

Школьная головоломка и глубина теории эллиптических кривых

Ирония в том, что уравнение, выглядящее как школьная головоломка, на самом деле решается через теорию эллиптических кривых — одну из самых глубоких областей современной математики.