Тайна конгруэнтных чисел интересовала ученых издревле. Первым их стал осваивать персидский математик X века ал-Карадж. В 1225 году за них взялся великий Фибоначчи. В 1659-м они стали страстным увлечением Пьера Ферма. К 1915 году все конгруэнтные числа в пределах 100 были найдены. Однако даже в пределах 1000 некоторые неясности сохранялись еще в 1980 году!
И вот только сегодня благодаря современной технике ученым удалось решить древний математический вопрос. Математикам из США, Европы, Австралии и Южной Америки удалось составить полный список конгруэнтных чисел, лежащих в диапазоне от нуля до одного триллиона. Полученная учеными последовательность столь велика, что если этот ряд цифр записать от руки в строчку, он протянется до Луны и обратно, сообщает membrana.ru.
Сама задача заключается в вычислении натурального числа, способного составлять площадь прямоугольного треугольника, стороны которого представлены выраженными рациональными числами. Значение площади такого треугольника и называется конгруэнтным. Наименьшее известное конгруэнтное число - 5 (длины сторон соответствующего ему треугольника – 3/2, 20/3 и 41/6). Потом следуют 6, 7, 13, 14, 15, 20 и так далее. Существует простое правило: если число s конгруэнтно, то конгруэнтным будет и число s×n2, где n - натуральное. Таким образом, основная сложность здесь - это именно поиск новых конгруэнтных чисел, свободных от квадратов.
|
Для того чтобы обеспечить точность результатов, ученые одновременно проводили вычисления на двух мощных компьютерах, используя разные алгоритмы. Объем оперативной памяти в обоих случаях составлял 128 Гб. Этого оказалось недостаточно для оперирования получавшимися в процессе гигантскими числами, и специалистам пришлось активно использовать дисковую подсистему.
В результате ученые составили список из 3 148 379 694 конгруэнтных чисел, наибольшее из которых не превышает триллиона. По некоторым оценкам, в промежутке от триллиона до квадриллиона (1015) должно содержаться еще около 800 миллиардов конгруэнтных чисел. В ближайшее время проверить это не получится по понятным техническим ограничениям.