Результаты Рамануджана (1887–1920) оказались действительно гениальными, хотя путь, по которому он до них дошёл, и сегодня остаётся достаточно таинственным, тем более, что математическое образование Рамануджана оставляло желать лучшего.
Вероятно, Рамануджан часто опирался на эксперимент — на скрываемые им большие вычисления (компьютеров тогда не было). Но всего через несколько лет ещё молодой Рамануджан умер, оставшись навсегда самым славным именем в математике Индии.
Когда я жил в Кембридже в качестве senior fellow того же ньютоновского Тринити-колледжа, мои индийские коллеги, жившие там же, рассказали мне малоизвестные подробности жизни Рамануджана.
Однажды Рамануджана навестил в Тринити индусский физик Чандрасекар, приехавший из Америки. Комната друга показалась ему холодной, но Рамануджан объяснил ему, что по-настоящему он мёрзнет только по ночам — ведь в Кембридже бывают даже заморозки! Гость отправился осматривать условия в спальне, и тут выяснил, что Рамануджан спал на одеялах, не подозревая, что ими нужно укрываться (в Мадрасе этого не делают). Именно поэтому он так и мёрз, поэтому и заболел (кажется, сначала воспалением лёгких, а потом чахоткой) — эта болезнь и свела его в могилу совсем ещё молодым.
В этой истории, я думаю, виноват более всего снобизм Харди и его бурбакистская бесчеловечность, которые не позволили ему навестить своего больного ученика, жившего в одном с ним доме, и вовремя дать ему элементарные практические советы. Однако индийские коллеги, рассказавшие мне эту историю, и тактично избегая обсуждения английских нравов, связывали причину смерти Рамануджана с индийскими обычаями, по которым его жена осталась в Мадрасе, а не поехала с ним: ведь она должна была заботиться там о своей свекрови, матери Рамануджана — эта обязанность важнее, чем забота о муже!
С тех пор индусские студенты в Кембридже передают друг другу, как надо расстилать постель, и больше уже не замерзают. Странно, правда, что, несмотря на эти одеяла, вклад Рамануджана в математику остался непревзойдённым: его имя стоит рядом с именами Абеля и Галуа.
Один из самых знаменитых результатов Рамануджана связывает не вычислимые по отдельности (даже через числа π и е) слагаемые
удивительной формулой для их суммы:
Вот пример удивительных открытий Рамануджана — его теоремы о делимости чисел разбиений.
Для любого натурального числа n обозначим через р(n) число различных разбиений числа и на натуральные слагаемые. Например, р(3) = = 3, как это показывают три разбиения (других нет):
3 = 3, 3 = 2 + 1, 3 = 1 + 1 +1.
Числа разбиений при n = 1, 2, 3…. образуют последовательность
р(n) = 1, 2,3, 5, 7, 11, 15, 22, 30, 42, 56, 77, 101, 135, 176….
которая много изучалась, начиная с Эйлера, связавшего её с теорией степенных рядов и градуированных колец в своём «Введении в анализ».
Рост этой последовательности при больших и описывается асимптотической формулой Харди-Рамануджана-Радемахера
Согласно майору британской артиллерии МакМагону,
р(200) = 3 972 999 029 388.
(Это число можно вычислить по дающему большую точность приближению в правой части формулы.)
В этой формуле всё удивительно: в левой части стоит целое число чисто комбинаторного происхождения, задающее, сколькими способами можно разбить n на слагаемые.
В правой части стоит комбинация квадратного корня и экспоненциальной функции, в которой вдобавок участвуют иррациональные числа: π = 3,14… (задающее отношение длины окружности к её диаметру) и число Непера е = 2,718… (являющееся основой всего математического анализа).
То, что левая часть с большой точностью вычисляется по такой формуле, — совершенно удивительное открытие, где ярко проявляется фундаментальное единство всех частей математической науки: алгебры, геометрии, анализа, комбинаторики, теории вероятностей и техники приближенных вычислений.
Открытия Рамануджана делимости чисел разбиений состоят, например, в следующем:
числа р(5n + 4) [это 5, 30, 135…] делятся на 5.
Математика — экспериментальная наука, и свои открытия Рамануджан сделал, экспериментируя с приведённой выше последовательностью.
Восхищаясь гением Рамануджана, я всё же больше люблю чем-то более близких мне Абеля и Литлвуда. Доказательство Абеля неразрешимости в радикалах алгебраических уравнений степени 5 и выше я в 1963 году перевёл на топологический язык теории римановых поверхностей и групп монодромий накрытий — это доказательство я рассказал тогда московским школьникам, и один из них впоследствии издал это доказательство в виде книжки (В.Б. Алексеев. «Теорема Абеля в задачах и решениях» — М.: Наука, 1976). Поэтому в 2001 году один талантливый польский математик (долго обучавшийся в Москве) опубликовал по-английски своё «новое топологическое доказательство теоремы Абеля» в журнале «Топологические методы в нелинейном анализе».