こんにちは.
ぱいです.
先日, むぐむぐ勉強会*1にて全 3 回にわたりセミナー「素数が無限個存在することのいろいろな証明を味わおう!」を開きました.
詳細は以下のツイートをご参照ください.
セミナー「素数が無限個存在することのいろいろな証明を味わおう!」のスライドを公開します🌱
— ぱい (@END_OF_PAIOTU) 2022年7月18日
計 19 種類の証明を紹介しました。
素数や数学が好きなすべての人たちに届きますように✨️
(第 1 回)https://t.co/lfEZTMhlhZ
(第 2 回)https://t.co/yRFbuZcbLd
(第 3 回)https://t.co/VFJygjis4X pic.twitter.com/HqAUZpDJew
さて, そのセミナーの第 3 回の「証明その 18」で以下の定理 1 を用いました.
- , , , は等差数列をなす. (公差 > 0)
- , , , はすべて平方数である.
時間の都合上, セミナーの中でこの定理 1 の証明を省略しました.
そこで, 今日はこの定理 1 の証明を書きます.
なお, 初等的な方法で証明するため予備知識は要らないので安心してください.
【目次】
1. 数列 に含まれる奇数の個数についての補題
この節では, 以下の補題 2 を証明します.
(補題 2 は定理 1 の証明に使います.)
- , , , は等差数列をなす. (公差 > 0)
- , , , はすべて平方数である.
任意の に対して, を以下で定める.
\begin{align} \ N(a_{n}) = a_{1}, a_{2}, a_{3}, a_{4} \ \mbox{のうちの奇数の個数} \end{align}このとき, なら, 以下の両方をみたすような数列 が取れる.
- である.
- , , , たちの最大公約数は である.
(証明)
とします.
以下の 4 つのステップを踏み補題 2 の主張を証明します.
- ステップ 1 : を示す.
- ステップ 2 : を示す.
- ステップ 3 : なる数列 が取れることを示す.
- ステップ 4 : かつ たちの最大公約数が であるような数列 が取れることを示す.
■ ステップ 1
を任意に取り, 各項を以下のとおりに置きます. ( > 0)
となることを背理法で示します.
つまり, だったと仮定して矛盾を導きます.
【 だった場合】
が唯一の奇数だったとします.
このとき, より も奇数となり, に矛盾します.
, , が唯一の奇数だったとしても同様に矛盾が導けます.
【 だった場合】
奇数のペアの候補は か のみです.
が奇数のペアのとき, は偶数なので, は奇数となります.
一方, , は偶数かつ平方数ゆえ の倍数なので, も の倍数となります.
つまり, は偶数となり, 矛盾します.
が奇数のペアのときも同様に矛盾が導けます.
【 だった場合】
だった場合と同様に矛盾が導けます.
以上から, のいずれの場合にも矛盾が生じるので, 必ず となることが示せました!
これでステップ 1 は完了です!
■ ステップ 2
を任意に取り, 各項を以下のとおりに置きます. ( > 0)
ステップ 1 の結果から なので, となります.
よって,
\begin{align} \ d = s^{2} - r^{2} = (s+ r)(s - r) \equiv 0 \ \bmod 4 \end{align}となります.
これでステップ 2 は完了です!
■ ステップ 3
を任意に取り, 各項を以下のとおりに置きます. ( > 0)
のとき (つまり のとき) は, 以下の手順で の数列 を構成できます.
まず, は偶数かつ平方数ゆえ の倍数なので, と表せます.
また, ステップ 2 の結果から と表せます.
これらの , に対して, を以下のとおり置きます.
すると, より となります.
このように新しい数列を作る操作を となるまで繰り返して得られる数列を と置けば, となります.
これでステップ 3 は完了です!
■ ステップ 4
ステップ 3 より, であるような数列 が取れます.
たちは平方数なので, が の素因数ならば も の約数となります.
よって, たちの最大公約数 に対して とおけば, かつ かつ たちの最大公約数は となります.
これで補題 2 が証明できました!
2. 定理 1 の証明
この節では, 前の節の補題 2 を用いて冒頭の定理 1 に証明を与えます.
- , , , は等差数列をなす. (公差 > 0)
- , , , はすべて平方数である.
(証明)
背理法と無限降下法を組み合わせて証明します.
定理の主張の条件 2 つを両方みたすような数列 たち全体のなす集合を とおきます.
任意の に対して, を以下で定めます.
\begin{align} \ N(a_{n}) = a_{1}, a_{2}, a_{3}, a_{4} \ \mbox{のうちの奇数の個数} \end{align}
だったと仮定します.
すると, 補題 2 より, かつ たちの最大公約数が であるような数列 が取れます.
補題 2 の証明のステップ 2 より の公差は と表せます.
よって, の算術平均を と置けば, 各項 たちは以下のように表せます.
各 が平方数であることを踏まえて, たちの積を と置きます.
すると,
\begin{align} \ y^{2} &= (x-6n)(x-2n)(x+2n)(x+6n) \\ &= (x^{2} - 20n^{2})^{2} - (16n^{2})^{2} \end{align}
つまり
\begin{align} \ (16n^{2})^{2} + y^{2} = (x^{2} - 20n^{2})^{2} \end{align}が成り立ちます.
さて, この方程式 に対して, 以下の操作を施します.
【操作】
, , が Pythagorean 数であることから, ある整数 が存在して以下の式 (1), …, (4) が成り立ちます.
- (1)
- (2)
- (3)
- (4) は奇数
式 (1), (4) より は の倍数かつ , は平方数となります.
よって, ある整数 が存在して, 以下の (5), …, (7) が成り立ちます.
- (5)
- (6)
- (7)
なお, この操作を逆に辿れば公差 の数列 を復元できることに注意しておきます.
さて, 式 (3) と式 (5), …, (7) より です.
これを整理して が成り立ちます.
よって, は平方数となります.
つまり, ある を用いて と表せます.
式 (5) も併せれば, が成り立ちます.
に対して上記と同様の操作を施します.
すると, と が共に平方数であるような が取れて, 公差 の数列 が作れます.
これを繰り返せば, の元のうち公差のいくらでも小さなものが作れて矛盾します.
よって, 仮定 は誤りと分かり, が証明できました!
やったー
3. おまけ (代数体上への拡張の話)
この記事では定理 1 を初等的に証明しましたが, 楕円曲線に関する理論を用いた証明も知られているようです*2.
また, 楕円曲線を考えれば, 以下の定理 3 (定理 1 の代数体 上の類似) も示せるらしいです*3.
以下の両方をみたすような 上の数列 の長さの上限を とおく.
- は等差数列をなす. (公差 > 0)
- たちはすべて平方数である.
このとき, は代数体 の次数 にのみ依存する定数となる.
なお, 僕は楕円曲線のことをほとんど何も知らないので, 詳しい証明方法はよく分かっていないです.
誰か詳しい方, 教えてください…!
むぐむぐ勉強会で楕円曲線の勉強会に参加する予定だから, そのうち定理 3 の証明とかも読めるようになるのかな.
ワクワクしています.
尻切れトンボな終わり方になってしまいましたが, 最後まで読んでいただきありがとうございました!
*1:Discord のサーバー. 数理系の自主ゼミがたくさん開催されています.
*2:H. Knaf, E. Selder, and K. Spindler, Four Rational Squares in Arithmetic Progression and a Family of Elliptic Curves with Positive Mordell-Weil Rank, Math Semesterber 67 (2020), pp.213-236.
*3:X. Xarles, Squares in Arithmetic Progression over Number Fields, Journal of Number Theory, Volume. 132, Issue 3 (2012), pp.379-389