|
Иногда эти пробелы мог заполнить любой компетентный математик, а иногда для этого требовались нестандартные аргументы. В редких случаях в его результатах обнаруживалась ошибка. Берндт утверждает, что, если бы Рамануджан «мыслил как хорошо подготовленный математик, он не стал бы записывать многие из тех формул, которые он, по собственному мнению, доказал» и математика от этого серьезно пострадала бы.
Хорошим примером может служить результат, который Рамануджан называл своей «мастер-формулой». Его доказательство включает в себя разложения в ряд, смену порядка суммирования и интегрирования и другие аналогичные приемы. Поскольку он использует при этом бесконечные процессы, каждый его шаг сопряжен с опасностью. Величайшие аналитики почти весь XIX век разбирались, когда подобные процедуры допустимы. Условия, которые, по Рамануджану, делают его формулу верной, чрезвычайно недостаточны. Тем не менее почти все результаты, которые он выводит из своей мастер-формулы, верны.
* * * Часть самых поразительных работ Рамануджана относится к теории разбиений – одного из разделов теории чисел. Взяв некоторое натуральное число, мы спрашиваем, сколькими способами его можно разбить на слагаемые, то есть записать в виде суммы меньших натуральных чисел. К примеру, число 5 можно разбить на слагаемые семью разными способами: 5 4 + 1 3 + 2 3 + 1 + 1 2 + 2 + 1 2 + 1 + 1 + 1 1 + 1 + 1 + 1 + 1 Следовательно, число разбиений числа 5 составляет p(5) = 7. Величина p(n) стремительно растет с ростом n. К примеру, p(50) = 204 226, а p(200) равно внушительному 3 972 999 029 388. Простой формулы для p(n) не существует. Однако можно поискать приближенную формулу, задающую общий порядок величины p(n). Это задача аналитической теории чисел, причем одна из наиболее неподатливых. В 1918 г. Харди и Рамануджан преодолели технические трудности и вывели-таки приближенную формулу – довольно сложный ряд, включающий в себя комплексные корни 24-й степени из единицы. Затем они обнаружили, что при n = 200 одно только первое слагаемое дает первые 6 значащих цифр точного значения. Добавив к нему еще всего лишь 7 слагаемых, они получили число 3 972 999 029 388,004, целая часть которого равна точной величине. Они заметили, что этот результат «позволяет однозначно предположить, что можно получить формулу для p (n), которая не только будет выявлять его порядок величины и структуру, но и может быть использована для вычисления его точной величины для любого n», после чего доказали именно это. Должно быть, это один из редчайших случаев, когда поиск приближенной формулы в результате привел к точной формуле. Кроме того, Рамануджан нашел в разбиениях кое-какие замечательные закономерности. В 1919 г. он доказал, что p(5k + 4) всегда делится на 5, а p(7k + 5) всегда делится на 7. В 1920 г. он заявил еще несколько аналогичных результатов: к примеру, p(11k + 6) всегда делится на 11; p(25k + 24) делится на 25; p(49k + 19), p(49k + 33), p(49k + 40) и p(49k + 47) делятся на 49; p(121k + 116) делится на 121. Обратите внимание: 25 = 5<sup>2</sup>, 49 = 7<sup>2</sup>, а 121 = 11<sup>2</sup>. Рамануджан говорил, что, насколько он может судить, такие формулы существуют только для делителей вида 5<sup>a</sup>7<sup>b</sup>11<sup>c</sup>, но это оказалось неверным. Артур Аткин обнаружил, что p (17303k + 237) делится на 13, а в 2000 г. Кен Оно доказал, что соответствия такого рода существуют для всех простых модулей. Еще через год он и Скотт Алгрен доказали, что они существуют для всех модулей, не кратных 6.
* * * Некоторые теоремы Рамануджана остаются недоказанными и по сей день. Одна из них, «сдавшаяся» около 40 лет назад, особенно значительна. В статье 1916 г. Рамануджан исследовал функцию τ (n), определенную как коэффициент при x<sup>n</sup><sup>–1</sup> в разложении [(1 – x) (1 – x<sup>2</sup>) (1 – x<sup>3</sup>)…]<sup>24</sup>. |
