シュリニヴァーサ・ラマヌジャン
シュリニヴァーサ・アイヤンガー・ラマヌジャン（Srinivasa Aiyangar Ramanujan、1887年12月22日 - 1920年4月26日）はインドの数学者。極めて直感的、天才的な閃きにより「インドの魔術師」の異名を取った。
1887年、南インドのタミル・ナードゥ州タンジャーヴール県の極貧のバラモン階級の家庭に生まれた。幼少の頃より母親から徹底したヒンドゥー教の宗教教育を受けた（このことはのちに渡英するラマヌジャンの運命に小さからぬ影響を与えることになる）。ハイスクールでは全科目で成績が悪く、高等数学の正式な教育は受けていなかった。15歳のときにジョージ・カー (George Shoobridge Carr) という数学教師が著した『純粋数学要覧』という受験用の数学公式集に出会ったことが彼の方向性を決めた。
奨学金を得てマドラスのパッチャイヤッパル大学に入学したが、数学に没頭するあまり他の科目の授業に出席しなくなり、1906年12月にファインアートの科目の学位認定試験に落第し、次の年度にも再び落第したため、奨学金を打ち切られて学位を得ないまま中途退学に追い込まれた。しばらく独学で数学の研究を続けていたが、やがて港湾事務所の事務員の職に就き、そこで上司の理解に恵まれ、仕事を早めに終えて、職場で専ら数学の研究に没頭していた。
その後、周囲の勧めもあって、1913年、イギリスのヒル教授、ベイカー教授、ボブソン教授に研究成果を記した手紙を出す。しかし手紙は黙殺された。
けれどもケンブリッジ大学のゴッドフレイ・ハロルド・ハーディは、ラマヌジャンの手紙を読み、最初は「狂人のたわごと」程度にしかとらなかったものの、やがてその内容に驚愕した。というのも、ラマヌジャンの成果には明らかに間違っているものや既知のものもあるが、中には「この分野の権威である自分でも真偽を即断できないもの」、「自分が証明した未公表の成果と同じもの」がいくつか書かれていたからである
こうしてハーディはラマヌジャンをケンブリッジ大学に招聘し、ラマヌジャンは1914年に渡英する。しかしイギリスでの生活に馴染むことができず、やがて病いを患ってインドに帰国、1920年に病死した。ラマヌジャンは敬虔なヒンドゥー教徒であり厳格な菜食主義者だったが、第一次世界大戦下のイギリスはドイツによる通商破壊もあり、そのような食材は確保が困難だった。こうしたことが原因で、ラマヌジャンは身体的な衰弱を来たしたものとされる。なお、ラマヌジャンの病気は結核か重度のビタミン欠乏症、あるいは近年の研究ではアメーバ性肝炎と言われる。
渡英後に発表した四十編の論文の他には、渡英前の数学的発見を記したノート三冊、帰国後に記された「失われたノートブック」が残っている。ただし、大学で系統的な数学教育を受けなかったため、彼は「証明」という概念を持っておらず、得た「定理」に関して彼なりの理由付けをするに留まっていた（寝ている間にが教えてくれた、など）。共同研究を行っていたハーディも、彼の直感性を損ねることを恐れて証明を押し付けることは避け、朝ラマヌジャンが持ってきた半ダースもの「定理」を一日かけて改めて証明するという方法をとった。明確な証明を付けなかったことで、ラマヌジャンの業績は理解されにくいものとなった。彼が26歳までに発見した定理に関して、その後多くの数学者の協力で証明が行われたが、その作業が完了したのは1997年。「ノートブック」と「失われたノートブック」の全文が出版完了したのは2018年である。
渡英前のノートに記された公式群は、既に知られていたものも多かったが、連分数や代数的級数などに関しては新しい発見があった。渡英後に発表したラマヌジャンの保型形式、それに関連したラマヌジャン予想は重要な未解決問題であった（1974年にドリーニュが解決）。その他、ロジャース・ラマヌジャン恒等式の再発見や確率論的整数論を創始した功績も高く評価されているが、帰印後のハーディへの手紙に記された「」の発見が最高の仕事と評されている。後にハーディはラマヌジャンの仕事について、以下のように述懐している。
また、ハーディは1から100までの点数で数学者をランク付けするのが好きだった。それによると、ハーディ自身は25点、リトルウッドが30点、偉大なるヒルベルトが80点、そしてラマヌジャンが100点だった。ハーディは謙遜して自分をわずか25点にしか評価していないが、ラマヌジャンに100点を与えたのは、彼の業績に対してハーディが抱いていた尊敬の度合いを表している。1918年王立協会フェロー選出。
ラマヌジャンは、現在ラマヌジャンのデルタと呼ばれている次の保型形式を計算した。
彼は "x" のべきの係数 formula_2 が乗法的な関数であることを見抜き、さらにそこから
を考えて、そのオイラー積表示
を与えた（正確には、「証明」していないが）。このオイラー積には "p" という "p" の2次の因子が現れており、このようなオイラー積はラマヌジャンによって初めて発見されたものである（「2次のゼータ」の発見）。
ラマヌジャンの逸話として有名なものの一つに次のものがある。
1918年2月ごろ、ラマヌジャンは療養所に入っており、見舞いに来たハーディは次のようなことを言った。
これを聞いたラマヌジャンは、すぐさま次のように言った。
実は、1729は次のように表すことができる。
すなわち、1729が「"A" = "B" + "C" = "D" + "E"」という形で表すことのできる数 "A" のうち最小のものであることを、ラマヌジャンは即座に指摘したのである。
このようなことから、リトルウッドは「全ての自然数はラマヌジャンの個人的な友人だ」と述べたと言われる。この逸話のため、1729は俗にハーディ・ラマヌジャン数やタクシー数などと呼ばれており、スタートレックやフューチュラマなどのSFや、ハッカー文化の文脈では「一見すると特に意味のない数」のような文脈でこの数が使われていることがある。ちなみに1729は、カーマイケル数でもある。
この逸話には続きがあり、ハーディが四乗数でも同様のものがあるのかを尋ねた所、ラマヌジャンは少し考えた後「あると思うが大きすぎて分からない」と答えたという。この直感は当たっており、実際、四乗数はそれより何桁も大きい数である。
補足：上記でいう立方数は自然数を3乗した数のことであり、整数（0は含まず）を3乗した数として負の数まで含めれば、91が最小（絶対値が最小）である。
ラマヌジャンが1729という数字を何故意識していたのか、没後90年以上よく分っていなかったが、21世紀に入って理由が判明した。
2013年、エモリー大学のケン・オノはと共にケンブリッジ大学が所蔵するラマヌジャンの遺稿を調査した。その際、インド帰国後の1919年に病床で記したノートの中に、1729の計算とそれにまつわる覚書があるのを発見した。オノとグランヴィルが驚いたことに、ラマヌジャンはその中で次数3である場合のフェルマーの最終定理の「反例に近い値」を無限個生成する式を与えていた。つまり、"a" + "b" = "c" + 1 または "a" + "b" = "c" − 1を満たす "a", "b", "c" を探すという問題に対する答である。1729は10 + 9 = 12 + 1としてこの計算の中に現れる。
オノはこの発見を持ち帰り、彼の指導院生であるTrebat-Lederと共に精査した結果、この時ラマヌジャンは答を導出する過程で1729と楕円曲線から今日で言うK3曲面を構成していたことを発見した。これはアンドレ・ヴェイユによるK3曲面の再発見と命名に30年以上先行する仕事である。更にラマヌジャンのK3曲面はランク≧2の楕円曲線を無限個生成するという特別な性質を持っていた。プリンストン大学のマンジュル・バルガヴァはこれを「これまで未知だった性質を示す素晴らしい例」であり、数学にまた新たな発展をもたらすだろうと述べた。
具体的には、ラマヌジャンは一般に
を考察し（有理数解を与える一般的な公式は既にレオンハルト・オイラーによって発見されており、そこから無限個の整数解が得られるが、すべての整数解を与える一般的な公式は知られていない）、1913年に無限個の解を与える公式
を発見し、その後オイラーの一般有理解と等価な一般有理解の公式を得ている。
オノらは、上記の整数解で "t" = "A"/"B" としたもの
は楕円曲線
の2つの有理点を与え、さらにこの楕円曲線は関数体 formula_9 上の楕円曲線とみると階数2をもち、formula_10 によって生成されることを示した。特に、与えられた有理数 "t" に対して（有限個の例外を除き）この楕円曲線は有理数上2以上の階数をもつ。また曲面
は楕円K3曲面であることを示したのである。
ラマヌジャンは、今日ではモジュラー関数と呼ばれる考えを元に、次の円周率の公式を発見した。
これらの公式は、収束が非常に早いものとして知られている。1985年に、ウィリアム・ゴスパー (William Gosper) は、1番目の式を用いて、当時としては世界最高の1752万6200桁を計算した。ただしラマヌジャンは証明を書き残していなかったので、ゴスパーの計算が正しく円周率を与えるかは保証されなかったが、得られた結果はそれまでに計算されていた円周率の値と整合したので、式の正しさのある意味で実験的な「証明」を与えたことになる。これらの式はその後に数学的に正当な方法で証明された。
また、次のような円周率に関する近似式も発見している。