Сриниваса Рамануджан (1887–1920) — индийский математик, который без обычного университетского образования получил важные результаты в теории чисел, бесконечных рядах, непрерывных дробях и теории разбиений. Его история ценна не как сказка о «магии чисел», а как пример необычайной математической интуиции, которой всё равно понадобились проверка, доказательства и сотрудничество с другими учёными.
В январе 1913 года кембриджский математик Годфри Харди получил письмо из Мадраса. Автор представлялся служащим портового управления без университетского диплома и прилагал длинный список формул. Часть результатов была известна, часть выглядела неправдоподобно, а некоторые Харди счёл новыми и важными. Так началась история, в которой тетрадь с почти не объяснёнными формулами стала пропуском из Южной Индии в мировую математику.
Самоучка — но не человек без школы
Слово «самоучка» легко понять неправильно. Рамануджан учился в школе и хорошо успевал по разным предметам. Но его путь в высшую математику действительно был почти самостоятельным. В старших классах ему попалась книга Джорджа Карра A Synopsis of Elementary Results in Pure Mathematics. Это был не учебник с подробными объяснениями, а огромная коллекция кратко записанных результатов и небольших доказательств.
Для любознательного подростка книга стала картой страны, в которой почти не было дорог. Он видел конечную формулу, но часто не видел полного маршрута к ней. Он восстанавливал маршрут сам, находил собственные связи и записывал новые результаты в тетради. Такой способ развил способность замечать закономерности, но оставил пробелы: ему не хватало современной терминологии, известных европейским математикам результатов и привычки подробно оформлять доказательство.
Эта история объясняет и его ранние неудачи. Получив стипендию в колледже, юноша почти всё время отдавал математике и пренебрегал другими дисциплинами. Стипендию не продлили; позднее он сдал математику, но провалил остальные экзамены и не поступил в Мадрасский университет. Это не означает, что образование ему было не нужно. Напротив: именно отсутствие системной подготовки затем усложняло проверку его идей.
Письмо, которое пришлось проверять
До письма Харди молодой автор обращался и к другим британским математикам, но ответа, который изменил бы его положение, не получил. Харди вместе с Джоном Литлвудом изучил присланные утверждения и попросил доказательства. Важно заметить: Кембридж заинтересовался не бедной биографией автора, а содержанием формул. В 1913 году Мадрасский университет назначил ему исследовательскую стипендию, а в 1914 году он приехал в Англию.
Сотрудничество не превращало интуицию в истину автоматически. Харди помогал отделять уже известное от нового, формулировать условия и строить доказательства. Молодой исследователь, в свою очередь, приносил идеи, которые не возникали из обычного учебного маршрута. 16 марта 1916 года он получил в Кембридже степень Bachelor of Arts by Research за работу о высокосоставных числах; с 1920 года этот тип исследовательской степени стал называться PhD. В 1918 году его избрали членом Королевского общества и членом Тринити-колледжа.
Поэтому главный урок этой части биографии не «гению правила не нужны». Он почти противоположный: смелая догадка создаёт направление, но математика начинается там, где результат можно точно сформулировать, проверить и доказать.
Число 1729: маленькая история о большой памяти
Самый известный эпизод произошёл, когда Харди приехал навестить больного друга. Он заметил, что номер такси 1729 кажется скучным. Математик ответил, что число, наоборот, интересно: это наименьшее положительное целое, которое можно представить как сумму двух положительных кубов двумя разными способами.
Равенства легко проверить:
1³ + 12³ = 1 + 1728 = 1729;
9³ + 10³ = 729 + 1000 = 1729.
Сейчас такие числа называют числами такси. В принятом обозначении Taxicab(2) = 1729. Число 4104 — следующее по величине число, которое тоже раскладывается в сумму двух положительных кубов двумя способами, но это не Taxicab(3). Для трёх разных представлений наименьшее число значительно больше: 87 539 319.
Важна не только быстрота этого ответа. Он видел в целом числе не одну запись, а сеть возможных представлений. Это полезная математическая привычка: спросить не только «чему равно число», но и «какими структурами его можно описать».
Разбиения: как считать способы, а не суммы
Другая большая тема его работ — разбиения целых чисел. Разбиение числа n — это представление n в виде суммы положительных целых, где порядок слагаемых не учитывается. Поэтому 4 + 1 и 1 + 4 — одно разбиение, а 3 + 2 — другое.
Для маленьких чисел варианты можно выписать. Но функция p(n), равная числу разбиений, растёт очень быстро: p(5) = 7, p(50) = 204 226, а p(100) = 190 569 292. Простой перебор вскоре становится неудобным.
Харди и Рамануджан нашли асимптотическую формулу, которая показывает масштаб роста:
p(n) ≈ exp(π√(2n/3)) / (4n√3).
Знак «≈» здесь принципиален: это не точное равенство для каждого n, а приближение, которое становится относительно точнее при больших n. Работа над разбиениями привела к развитию метода кругов — одного из важных инструментов аналитической теории чисел. Позднее Ханс Радемахер превратил подход в сходящийся ряд для точного вычисления p(n).
Ряды для π: когда одно слагаемое делает много работы
В статье 1914 года о модулярных уравнениях и приближениях к π Рамануджан записал несколько быстро сходящихся рядов. Один из самых известных сегодня записывают так:
1/π = (2√2 / 9801) · Σk=0∞ [(4k)!(1103 + 26390k) / ((k!)⁴ · 3964k)].
Формула выглядит тяжёлой, но её идея понятна и без высшей математики. Знак суммы просит подставлять k = 0, 1, 2, … и складывать результаты. Из-за огромного знаменателя новые слагаемые очень быстро становятся малыми. Если оставить только k = 0, получится π ≈ 3,1415927300; абсолютная ошибка по сравнению с π составляет примерно 7,64 · 10−8. Это очень точное приближение для одного слагаемого, но не «восемь верных десятичных знаков».
Современные алгоритмы рекордных вычислений π используют другие, родственные быстро сходящиеся ряды, в частности формулу братьев Чудновских. Корректнее говорить не о прямом копировании одной записи Рамануджана, а о продолжении той же линии идей: специальные модулярные соотношения превращаются в исключительно эффективные приближения к π.
Функция τ: короткая гипотеза с очень глубоким доказательством
В работе 1916 года On certain arithmetical functions появилась ещё одна линия идей. Рассмотрим формальный ряд
q · ∏m=1∞(1 − qm)24 = Σn=1∞ τ(n)qn.
Не обязательно уметь вычислять бесконечное произведение, чтобы понять определение. После раскрытия скобок при q, q², q³ и следующих степенях появляются целые коэффициенты; их и обозначают τ(1), τ(2), τ(3), … . Первые значения равны 1, −24, 252. Так одной формулой задаётся целая числовая последовательность.
Рамануджан сформулировал несколько гипотез о свойствах τ. Самая знаменитая в современном виде утверждает для простого числа p оценку |τ(p)| ≤ 2p11/2. Её удалось доказать Пьеру Делиню в 1974 году как следствие его работы о гипотезах Вейля. Для школьника здесь важен масштаб: утверждение помещается в одну строку, а путь к доказательству потребовал языка современной алгебраической геометрии. Это точный пример того, почему множество удачных вычислений ещё не заменяет доказательство.
Последнее письмо и «потерянная тетрадь»
В 1919 году он вернулся в Индию тяжело больным. Точный современный диагноз остаётся предметом историко-медицинских обсуждений, поэтому сводить его смерть к одной уверенно названной болезни неправильно. 12 января 1920 года он отправил Харди письмо, в котором сообщил о «очень интересных функциях», названных им mock theta functions — ложными, или мок-тета-функциями. 26 апреля того же года учёный умер в возрасте 32 лет.
Смысл этих функций нельзя честно объяснить одной школьной формулой. Для этой статьи достаточно границы: обычные тета-функции строго преобразуются при определённых заменах переменной, а найденные им ряды вели себя похоже, но не укладывались в известную теорию. В начале XXI века математики поняли их как части более широкой теории гармонических форм Маасса. Сегодня эта теория связана с комбинаторикой, теорией чисел, представлениями и математической физикой.
В 1976 году Джордж Эндрюс изучал материалы из архива математика Джорджа Уотсона в библиотеке Тринити-колледжа и обнаружил рукопись: 138 исписанных сторон с более чем шестьюстами формулами без доказательств. Название «потерянная тетрадь» прижилось, хотя это были отдельные листы, а рукопись не исчезала бесследно. Эндрюс и Брюс Берндт посвятили многолетнюю работу формулировке, доказательству и объяснению этих результатов.
Что в популярной истории о математике обычно упрощают
- «Он никогда ничего не доказывал». В ранних тетрадях многие доказательства действительно отсутствуют, а в письме Харди были главным образом утверждения. Но его опубликованные работы содержали доказательства, и в Кембридже он осваивал принятые требования строгости.
- «Все его формулы оказались верны». Это красивая, но неверная легенда. Среди его утверждений были ошибки и результаты, требовавшие дополнительных условий. Ценность наследия не нуждается в вымышленной стопроцентной точности.
- «Он получил математику во сне». Учёный связывал вдохновение с богиней Намагири, и такие рассказы входят в его биографию. Но они не позволяют восстановить механизм открытия и не заменяют математическую проверку.
- «Он всё сделал в одиночку». Самостоятельные годы были решающими, но поддержку ему давали индийские математики и покровители, Мадрасский университет, Харди, Литлвуд и другие коллеги. Наука выросла из сочетания индивидуального таланта и сотрудничества.
Биография в шести датах
- 1887: родился 22 декабря в Эроде, детство провёл в Кумбаконаме.
- 1903–1904: в школьные годы углубился в сборник Карра и начал самостоятельные исследования.
- 1911: опубликовал работу о числах Бернулли в журнале Индийского математического общества.
- 1913–1914: написал Харди, получил поддержку Мадрасского университета и приехал в Кембридж.
- 1916–1918: получил исследовательскую степень, был избран в Королевское общество и Тринити-колледж.
- 1919–1920: вернулся в Индию, написал Харди о mock theta functions и умер 26 апреля 1920 года.
Проверьте себя на этих идеях
Здесь важен не быстрый ответ, а способ проверки. Сначала попробуйте решить задачу на бумаге, затем раскройте разбор.
1. Два пути к одному числу. Проверьте оба разложения 4104: 2³ + 16³ и 9³ + 15³. Почему это не делает 4104 числом Taxicab(3)?
2³ + 16³ = 8 + 4096 = 4104; 9³ + 15³ = 729 + 3375 = 4104. Получились два, а не три различных представления. Кроме того, Taxicab(2) — наименьшее число с двумя представлениями, поэтому им остаётся 1729. Число 4104 лишь следующее число с тем же количеством представлений.
2. Не потеряйте разбиение. У числа 6 одиннадцать разбиений. Начните с 6, 5 + 1, 4 + 2, 4 + 1 + 1 и допишите остальные семь.
Оставшиеся варианты: 3 + 3; 3 + 2 + 1; 3 + 1 + 1 + 1; 2 + 2 + 2; 2 + 2 + 1 + 1; 2 + 1 + 1 + 1 + 1; 1 + 1 + 1 + 1 + 1 + 1. Самопроверка: в каждой строке сумма равна 6, а слагаемые удобно писать по невозрастанию — тогда перестановки не создадут дубликаты.
3. Догадка или доказанный факт? Что нужно сделать после того, как вычисления для ста примеров подтвердили формулу?
Сто примеров дают полезное свидетельство и помогают найти закономерность, но не доказывают утверждение для всех допустимых значений. Нужно точно записать область действия формулы и построить доказательство или найти контрпример. Именно эта граница отделяет сильную догадку от теоремы.
Почему его работа важна сегодня
Его наследие живёт не потому, что любую современную технологию можно напрямую приписать одной формуле. Связь точнее и интереснее: поставленные им задачи породили методы и новые области исследований. Совместная формула с Харди стала одним из истоков метода кругов; сравнения для функции разбиений продолжают изучать в комбинаторике и теории чисел; mock theta functions вошли в теорию mock modular forms.
Для школьника эта история даёт практический способ смотреть на математику. Проверяйте число несколькими представлениями, как в примере 1729. Отделяйте порядок от структуры, как в разбиениях. Замечайте скорость приближения, как в рядах для π. И главное — не путайте красивую закономерность с доказанной теоремой.
Продолжить знакомство с биографией можно по книге научного писателя Роберта Канигела The Man Who Knew Infinity: A Life of the Genius Ramanujan. По ней снят одноимённый художественный фильм The Man Who Knew Infinity (2016) с Девом Пателем в роли математика и Джереми Айронсом в роли Харди. Фильм помогает увидеть человеческий и исторический контекст, но драматические сцены не следует использовать как источник математических или биографических деталей.
От истории — к собственным открытиям в числах
На интерактивном уроке по теории чисел вы будете искать закономерности, проверять гипотезы на примерах и сразу видеть, где рассуждение перестаёт работать. Это тот же цикл, который делает интересную догадку математикой: заметить, проверить, объяснить.
Куда двигаться дальше
Чтобы продолжить тему через конкретные математические задачи, разберите простые числа и алгоритм Евклида. Затем сравните разные типы нерешённых проблем на страницах о Великой теореме Ферма и гипотезе Коллатца. А биографическую линию удобно продолжить материалом о Евклиде и устройстве доказательства.