２次方程式

　　ｘ^2＋ｘ＋ｋ＝０

の解は

　　ｘ＝１／２（−１±√１−４ｋ）

である．

　ラビノヴィッチの定理は

　　４ｋ−１＝７，１１，１９，４３，６７，１６３

すなわち，

　　「ｑが素数で，２，３，５，１１，１７，４１に限る．」

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

というものである．

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

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

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

　　ｑ＝−ｄ　　　　　　　　

　　ｆq（ｘ）＝ｘ^2＋ｑ

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

　　ｑ＝（１−ｄ）／４

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

とおきます．

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