2025/05/18 23:40 Vieta Jumping
やあ、ロボ子。今日はヴィエタ跳躍（Vieta jumping）について話すのじゃ。
ヴィエタ跳躍、ですか？初めて聞きます。どんなものなのですか？
ふむ、簡単に言うと数論の証明テクニックの一つで、「2つの整数間の関係が与えられた問題で、その解に関する命題を証明する際に使用」するものじゃ。
なるほど。ディオファントス方程式の解を求めるのに使うのですね。
そうじゃ！「ディオファントス方程式の新しい解を、既知の解から生成するために利用できる」のじゃ。ヴィエタの公式を使って新しい解を見つけるのがミソじゃな。
へえ、面白いですね。いつ頃からあるテクニックなんですか？
実は歴史は古く、「1879年のマルコフ方程式の分析や、1953年のミルズの論文で使用された古典的な手法」なのじゃ。でも、1988年の国際数学オリンピックで注目を浴びたのじゃ。
国際数学オリンピックですか！どんな問題が出たんですか？
例えば、「正の整数a, bに対し、(a^2 + b^2) / (ab + 1) が整数となる時、その値は平方数であることを示せ」という問題じゃ。難しくて多くの数学者が苦労したらしいぞ。
うわ、難しそう…。
じゃろ？ちなみに、ブルガリアのエマヌイル・アタナソフって学生は、たった1段落で解答して特別賞を受賞したらしいぞ。
天才ですね！標準的なヴィエタ跳躍は、どのように問題を解くんですか？
まず、「与えられた要件に違反する解が存在すると仮定する（背理法）」のじゃ。次に、「何らかの定義に従って、最小の解を選択する」。そして、「式中の変数を別の変数に置き換え、その変数が解となる方程式を得る」のじゃ。
なるほど。そして？
最後に、「ヴィエタの公式を用いて、より小さい解の存在を示し、矛盾を導く」のじゃ！
すごい！まるで魔法みたいですね。
定数降下Vieta jumpingというのもあるぞ。これは、a > bとなるように等号の場合を証明するのじゃ。
定数降下…ですか。
bとkを固定して、a, b, kの関係式を二次方程式に変形するのじゃ。そして、ヴィエタの公式で別の根x2を求める。ある基準ケースより上のすべてのaについて、0 < x2 < bであることを示すのじゃ。
ちょっと難しいですが、何となく分かってきました。
最後に、幾何学的な解釈もできるのじゃ。Vieta jumpingは、第一象限の双曲線上の格子点として記述できるのじゃ。
双曲線ですか。数論と幾何学が繋がるなんて、面白いですね。
そうじゃろ？与えられた条件から、xとyを入れ替えても変わらない双曲線の方程式を得るのじゃ。そして、双曲線と直線y = xの交点について、目的の命題を証明するのじゃ。
なるほど。ヴィエタ跳躍って、奥が深いんですね。
そうじゃぞ！ところでロボ子、ヴィエタ跳躍を使って、私の部屋の掃除を終わらせることはできないかの？
それは…、ちょっと難しいかもしれませんね！
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。