x^2-15y^2で表される素数について【前編】

後半の目次とURL：【 https://mathlog.info/articles/908 】

• 二次体$\mathbb{Q}(\sqrt{15})$
• 解決に向けて
• 合成数ではどうなの？
• まとめ（感想）
• 参考文献

導入

良く知られた定理として，次があります。

フェルマーは上記のことを提議し，最終的にはオイラーによって解かれました。また，以下の定理も成り立ちます。

これらは平方数の和で考えるから，初等的（古典的）な整数論で何とかなります。（もちろん，代数的整数論を持ち込んで解くことも面白いです。）例えばそれらの証明は Wikipedia を参照してください。

では一般に$m$を正の整数として，${\mathit{x}}^{\mathbf{2}}\mathbf{-}\mathit{m}{\mathit{y}}^{\mathbf{2}}$で表される素数について，上記のことは言えないだろうか？ということを考えてみます。

特に今回は$m=15$の場合の考察をします。すなわち以下の問題を考えます。

前編では実際にどんな素数が$x^2-15y^2$と表すことが出来るのかを計算機に求めさせたり予想したりします。

後編では代数的整数論の諸事実を提示し，それをこの問題にうまく対応させ，解決していきます。

プログラミングで予想しよう

とりあえず$p<200$の時に，$x^2-15y^2=\pm p$となる組があるかどうかをPythonを用いて探してもらいます。すると以下の結果になりました。（結果のみ纏めます。）

• $p=61$で，${14}^2-15\cdot 3^2=61$
• $p=109$で，${22}^2-15\cdot 5^2=109$
• $p=181$で，${14}^2-15\cdot 1^2=181$
  $\phantom{a}$
• $p=11$で，$2^2-15\cdot 1^2=-11$
• $p=59$で，$1^2-15\cdot 2^2=-59$
• $p=71$で，$8^2-15\cdot 3^2=-71$
• $p=119$で，$4^2-15\cdot 3^2=-119$
• $p=131$で，$2^2-15\cdot 3^2=-131$
• $p=179$で，${14}^2-15\cdot 5^2=-119$
• $p=191$で，$7^2-15\cdot 4^2=-191$

$p<200$までの素数の数は$46$個でしたが，そのうちの$10$個がヒットしましたね。さて分析の時間です。こんな予想が立てられます。

この予想を元に，$2$つばかり具体例を考えてみましょう。

こんなふざけた例でも予想が正しいならば，きっと先の予想は正しいのでしょう。しかし今やっているのはプログラミングではなく数学ですから，この予想を証明することに意味があります。後編にて本格的に考えます。いわゆる，二次体の整数論を用いた考察を行います。

とりあえずここまで見ていただきありがとうございます。

次回→ https://mathlog.info/articles/908

追記

https://mathlog.info/articles/906 にて，似たような議論がなされていますね。そちらを見てみても面白いです。具体的な例も多く，さらに異なるアプローチから攻めています。