ラマヌジャンの合同式

整数分割において、ラマヌジャンの合同式（ラマヌジャンのごうどうしき、）は、分割数が満たす整除の関係式。インドの数学者シュリニヴァーサ・ラマヌジャンに因む。ラマヌジャンはイギリスの数学者ゴッドフレイ・ハロルド・ハーディの勧めで渡英し、ハーディとの共同研究の中で分割数を研究した。
定理.
のように、正の整数 をいくつかの正の整数の和として表すことを整数分割という。分割の仕方の総数を分割数といい、 と表す。例えば、である。分割数 は が () であるとき、それぞれ、で割り切れる。すなわち、
が成り立つ。これらの関係式をラマヌジャンの合同式という。
イギリスの数学者で少佐でもあるは までの分割数 を計算し、その表を作成した。マクマホンの表からラマヌジャンはこれらの関係式が成り立っていることに気づき、1919年に1番目と2番目の関係式の証明を与えた。3番目の関係式については、ラマヌジャンの没後、1921年にハーディによってラマヌジャンの証明の論文が出版された
実際に , , のいくつかを書き下すと次のようになる。
ラマヌジャンの合同式はある素数 とある整数 について、
の形をしている。ラマヌジャン自身はこうした合同式は稀であると考えていたが、スコット・アールグレンとマシュー・ボイランは、この関係式を満たす素数 と整数 ()の組が 、すなわち、ラマヌジャンの合同式の場合に限られることを示した。
拡張.
1919年の論文でラマヌジャンは、さらに以下の関係式が成り立つことを予想した。
但し、は
を満たす正の整数である。これらの予想は、
ならば、すべての に対して
が成り立つ、とまとめることができる。この場合も、証明はの場合をそれぞれ考えればよく、その他の場合は系として得られる。
ラマヌジャンはとの場合の証明のあらましを記している。しかしながら、1934年にはでの反例を見出した。
であるが、
は、では割り切れない。1938年には、 の場合についてはと補正すれば、正しいことを示した。
このとき、修正された予想は
ならば、
となる。ワトソンはこの修正された予想において、の場合の証明を与えた。さらに、1967年にはについて証明を与え、最終的にこの予想が正しいことが結論された。
母関数による証明.
ラマヌジャンの合同式の証明の代表的な方法の一つは、母関数の議論に基づくものである。ラマヌジャン自身も1919年の論文で、5と7を法としたときの合同式の証明に母関数の方法を用いた。次の2つの式は、と の母関数の表示を直接与えている。
右辺を のべき乗で展開したときに、の係数は1番目の式では となるが、これはで割り切れる。同様に、 の係数は2番目の式では となるが、これはで割り切れる。すなわち、 と が成り立つ。なお、-解析で使用される-ポッホハマー記号
を用いれば、
と表すことができる。
分割のランク・クランク.
1944年にフリーマン・ダイソンは(rank)と呼ばれる量を導入し、5と7を法としたときのラマヌジャンの合同式の組合せ論的解釈に関する予想を提示した。さらにダイソンは(crank)と呼ばれる量が存在することを予想し、11を法としたときについても組合せ論的解釈が可能であることを予言した。ダイソンが導入したランクは分割における最大の和因子から和因子の個数（分割の長さ）を引いた差で定義される。正の整数 のランク の分割の個数を と表し、 を法としたときにランクが と合同な分割の個数を と表す。ダイソンは
が成り立つこと予想した。この予想が成り立てば、明らかに はで割り切れ、 はで割り切れることになる。このランクに関するダイソンの予想が正しいことは、オリバー・アトキンとによって、1954年に証明された。また、ダイソンが予想した性質を持つクランクは、1988年にとによって発見された。