ポリア予想

ポリア予想：素因数の個数に関する驚くべき誤り

1919年、数学者ジョージ・ポリアは、自然数の素因数の個数に関する興味深い予想を立てました。これは「ポリア予想」として知られており、一見正しいように思えるこの予想は、後に誤りであることが証明され、数学史における重要なエピソードとなっています。

予想の内容

ポリア予想は、簡単に言うと以下のようになります。

ある自然数nよりも小さい自然数のうち、素因数の個数が奇数であるものの数は、素因数の個数が偶数であるものの数以上である、というものです。

素因数の数は、重複を考慮して数えます。例えば、18 = 2 × 3 × 3は素因数を3個持ちます。60 = 2 × 2 × 3 × 5 は素因数を4個持ちます。

この予想は、多くの自然数で成り立つように見えます。しかし、この予想は、数学的に証明されたわけではありませんでした。

リウヴィル関数との関係

ポリア予想は、リウヴィル関数と呼ばれる関数を使って、より厳密に表現できます。リウヴィル関数λ(n)は、自然数nの素因数の個数が偶数であれば1、奇数であれば-1を返す関数です。この関数を使うと、ポリア予想は次のように書き換えられます。

任意の自然数n(n>1)に対して、1からnまでのリウヴィル関数の和は0以下である。

この式は、ポリア予想の本質を簡潔に表しています。もしこの式が常に成り立つならば、ポリア予想は正しいことになります。

予想の反証

ポリア予想は、1958年にC. Brian Haselgroveによって誤りであることが証明されました。彼は、この予想に反例が存在することを示しました。Haselgroveは、反例となるnのおおよその値を計算しましたが、具体的な反例は後の研究で発見されました。

1960年にはR. Sherman Lehmanが、n = 906,180,359という具体的な反例を発見しました。さらに、1980年には田中穣が、最小の反例としてn = 906,150,257を発見しました。

この最小の反例は、ポリア予想が比較的大きな数まで正しいように見えるにもかかわらず、最終的には誤りであることを示しています。実際、n = 906,150,257から906,488,079までの範囲では、多くのnでポリア予想は成り立ちません。この範囲でリウヴィル関数の和は、n = 906,316,571のとき最大値829をとります。

ポリア予想の意義

ポリア予想は、一見正しいように見える予想が、実際には誤っている場合があることを示す良い例です。この予想の反証は、数学における直感と厳密な証明の重要性を改めて認識させるものです。また、大きな数に対する計算の難しさや、一見単純な問題が、実は非常に複雑である可能性を示唆しています。ポリア予想は、数論における未解決問題の探求において、重要な教訓を与えてくれます。

もう一度検索