【１】ラビノヴィッチの定理

　ｆq（ｘ）が０≦ｘ≦ｑ−２なるすべてのｘについて素数となることと虚２次体Ｑ（√ｄ）との関係が，ラビノヴィッチにより示されています（１９１２年）．

［１］ｄ＝２，３（ｍｏｄ４）のとき

　　ｑ＝−ｄ　　　　　　　　

　　ｆq（ｘ）＝ｘ^2＋ｑ

［２］ｄ＝１（ｍｏｄ４）のとき

　　ｑ＝（１−ｄ）／４

　　ｆq（ｘ）＝ｘ^2＋ｘ＋ｑ

とおきます．

　［２］がオイラーの公式に対応しているわけですが，連続する０≦ｘ≦ｑ−２に対してすべて素数になるには

　　「ｑが素数で，虚２次体Ｑ（√１−４ｑ）が類数１をもつときに限る．」

というのが，ラビノヴィッチの定理です．

　類数１については後述しますが，［２］でｄ＝−１６３＝１（ｍｏｄ４）の場合を考えると，ｑ＝４１．したがって，

　　ｆq（ｘ）＝ｘ^2＋ｘ＋４１

となります．このようにして，上の現象は虚２次体Ｑ（√−１６３）と関係していることがわかります．

　同様に，１変数の２次多項式

　　ｎ^2＋ｎ＋１７

も高い確率で素数を生成しますが，ｄ＝−６７＝１（ｍｏｄ４）の場合を考えると，ｑ＝１７ですから，虚２次体Ｑ（√−６７）と関係しているというわけです．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝