Мой сегодняшний рассказ начинается так, что завязка сюжета знакома каждому: с нахождения площади прямоугольного треугольника. Думаю, все прекрасно помнят, что:

Казалось бы, что тут исследовать, и при чём тут передний край науки, нерешенные задачи и величественные гипотезы? Однако, математика - натура обманчивая: здесь сложнейшие проблемы высасываются из пальца могут вырасти на почве формул 6-го класса, а их строгое доказательство может быть завязано на истинность одной из 7 математических задач тысячелетия - гипотезы Бёрча-Свиннертона-Дайера. Именно так произошло и в нашем случае!

Определение

Положительное рациональное число называется конгруэнтным, если оно является площадью прямоугольного треугольника с рациональными длинами сторон.

Здесь же возникает резонный вопрос: "конгруэнтное чему ?". Обычно термин конгруэнтный употребляется как синоним к словам "равный, одинаковый", а в нашем случае никаких сравнений нет. Вопросы отпадают, если немного заглянуть в историю.

В 1225 году король Германии Фридрих II попросил Леонардо "Фибоначчи" Пизанского поучаствовать в математическом турнире, специально для которого было заготовлено несколько сложных по тем временам задач.

Перепишем эту систему уравнений в одну строку:

Так вот, разность арифметической прогрессии, члены которой являются квадратами натуральных чисел, называется конгруумом. В данном случае конгруум равен 5. Но как перейти от арифметической прогрессии к прямоугольному треугольнику? Поработаем с указанной выше системой уравнений в общем виде:

И что же мы видим? Правильно, пифагорову тройку! Таким образом, для арифметической прогрессии из трёх квадратов x^2, y^2, z^2 средний член y является гипотенузой прямоугольного треугольника, а два других x и z - суммой и разностью его катетов.

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

Теперь посчитаем площадь получившегося прямоугольного треугольника:

Таким образом, 60 является конгруэнтным числом, которое соответствует конгрууму 240 и прямоугольному треугольнику (8,15,17).

Минимальное целое конгруэнтное число

Изучением этой проблемы занимался и Пьер Ферма, который доказал, что 1,2 и 3 не являются конгруэнтными числами (как обычно использовал метод бесконечного спуска). Наименьшим целым конгруэнтным числом, соответствующим прямоугольному треугольнику с целыми (3,4,5) сторонами является 6. Но ведь есть же возможность, что катеты и гипотенуза будут не целыми, а площадь - целым числом, меньшим 6?

Вернемся к примеру, который исследовал Фибоначчи. Напомню, что в итоге у него получилось следующее:

Конгруум равен 5, а вот чему равна площадь соответствующего прямоугольного треугольника? Решим эту задачу в общем виде, найдя выражение для конгруума через параметры m и n:

Теперь для конкретного случая:

Вычисляем площадь и испытываем разочарование:

Площадь не является целым числом! Однако, проблемы в этом нет. Посмотрим, что нужно сделать со сторонами треугольника, чтобы его площадь стала равна 5. Оказывается, просто удвоить каждую сторону треугольника:

Правомерно ли это? Конечно да! Домножение на рациональное число оставляет тройку квадратов арифметической прогрессией, меняя лишь конгруум (в случае для нашего треугольника он стал равен 20).

Поскольку каждый конгруум может быть получен (используя параметризацию) как площадь прямоугольного треугольника, каждый конгруум является конгруэнтным числом. И наоборот, каждое конгруэнтное число является конгруумом, умноженным на квадрат рационального числа.

Обратите внимание: чтобы доказать, что 5 является конгруэнтным числом, мы использовали параметризацию, решили нетривиальное уравнение подбором, а потом еще "подрихтовали" результат. Это всё к чему: проверить, что число является конгруумом - легко, а вот определить его конгруэнтность - уже сложнее. Именно здесь вопрос конгруэнтных чисел выходит на передний край науки - алгебраическую геометрию, а конкретнее к теории эллиптических кривых.

Вычисление конгруэнтных чисел

К 1915 году математики определили все конгруэнтные числа, меньшие 100. За последующие 65 лет удалось продвинуться не так далеко - всего лишь до 1000 (и то, с пробелами). В 1982 году Джерролд Туннелл из Университета Ратгерса добился значительного прогресса, используя связь между конгруэнтными числами и эллиптическими кривыми.

Эта статья поддерживается командой ITGLOBAL.COM

Мы — первый облачный провайдер в России, а также интегратор, поставщик ИТ-услуг, продуктов, сервисов и разработчик собственного ПО.  

•  Наш сайт
•  Наш блог про виртуализацию и Enterprise IT
•  Истории успеха наших клиентов