ご注文は数オリですか?

トピック一覧へ戻る

Vieta Jumping
更新日:2020-12-13

二次式として表される不定方程式, 特にVieta Jumpingについて解説を行います.

まずは判別式を見よう

本題に入る前に, より根本的な手法について抑えておきましょう. 基本となるのは以下の事実です.

事実.

 a,b,c を整数とする. x の二次方程式 ax2+bx+c=0 が整数解を持つとき, 判別式 D=b24ac は平方数である.

最も基本的な問題を考えましょう. 以下の不定方程式を整数範囲で解いてみます.a3+2ax=x2 x について二次式ですから, 上の事実が使えます. x22axa3=0 と書き直せば, 判別式は以下のようになります.D=4a2(a+1) これが平方数であるとき a+1 は平方数ですから, 適当な整数 n によって a=n21 と表せます (a=0 の場合も大丈夫です). このとき, 元の式に戻って二次方程式を解くことで以下を得ます. 無数に存在するのに一瞬で確定しました!x=(n1)(n+1)2,(n1)2(n+1) (余談ですが, 上の二式は nn と置き換えることで互いに移り合うので, 実はいずれか一方で十分です)

上の式ほど露骨ならば気付きやすいですが, 実際にはもう少しわかりにくい形に隠してあることが多いです. どの文字も三次以上であるものの, 適切な置換を行えば二次に落ちる文字が現れるパターンもあります. とはいえ少なくとも, 二次の文字が始めから存在するときは, まず判別式を念頭に置くようにしましょう. Vieta Jumpingは, それをしてからです.

#1
★★☆☆☆

以下をみたすような整数の組 (a,b) をすべて求めよ. (b2+7(ab))2=a3b

移項すると実は因数分解できます. すると a についての二次方程式を考えればよいです.

求める解 (a,b) は, 任意の整数 n について (n,n), および (0,7),(12,3),(18,2) であることを示す.

与式は以下のように整理できる. 特に以下 ab として考えてよい. (ab)(ba2+(b249)a+b(b7)2)=0 a についての二次方程式 ba2+(b249)a+b(b7)2=0 が整数解をもつ. いま判別式 D を計算するとD=(7b)3(7+3b)であり, これが平方数であることから (7b)(7+3b) は平方数である. 特にこれは非負であることから 2b7 が必要であり, この範囲のそれぞれについて適するか個別に調べればよい.

#2
★★☆☆☆

以下をみたすような正の整数の組 (x,y) をすべて求めよ.7x213xy+7y23=|xy|+1

このまま展開すると x,y についていずれも三次になってしまいます. 適切な置換を考えましょう.

求める解は (x,y)=(1,1) および任意の整数 m2 に対し以下であることを示す. {x,y}={m3+2m2m1,m3+m22m1}

x=y のとき x2/3=1 より x=1 を得る. 以下, 一般性を失わず x>y として考える.

n=xy とおくと, 与式は以下の y についての二次方程式と同値である. y2+ny(n34n2+3n+1)=0 簡単な計算により n=1,2 は不適であることがわかる. 上について判別式 D を計算すると D=n2+4(n34n2+3n+1)=(n2)2(4n+1)  D は平方数であることが必要であり, すなわち 4n+1 は平方数である. 特にこれは奇数であるから, 非負整数 m によって (2m+1)2 と表すと, n=m2+m である. n3 より m2 に留意せよ.

ここで元の方程式を解くと, 正の整数解 y=m3+m22m1 を得る. このとき x=m3+2m2m1 であり, 以上で求めるべき正の整数解が重複なく尽くされていることは容易に確かめられる.

余談. もし題意が単に整数解であれば, 任意の整数 m によって以下で尽くされていることがわかる. {x,y}={m3+2m2m1,m3+m22m1} 上で例外となった (1,1) は実は m=1 の場合に対応している.

#3
★★☆☆☆

以下をみたすような正の整数の組 (x,y) をすべて求めよ. x2+xy+y2=(x+y3+1)3

上問と発想は全く同様です. 右辺の分数式が明らかに鬱陶しいので…?

x+y=3n とおいて x の二次方程式とみなせば, あとは上問と同様ですから各自で試みてください.

Vieta Jumping

Vieta Jumpingとは整数論において, 二次方程式の解と係数の関係を用いたテクニックです. 別名をRoot Flippingとも言います. 1988年のIMOオーストラリア大会の問6での出題が初出であるとされています. この問題は西ドイツによって提出され, あまりの難しさに出題を躊躇う空気もあったようですが, 実際のコンテストでは11名が見事に完答しました. とはいえ, 結局これは20世紀のIMOで二番目に平均点の低い問題となりました.

しかしこれをきっかけにVieta Jumpingはすっかり定着しました. いわゆる「マスターデーモン」をきっかけにLTEの補題が定着した流れのようです. 20年の時を経てIMOベトナム大会で再び姿を現した時には, もう2番級になっていました.

最大のポイントは「解の存在を仮定すれば, 解と係数の関係から別の解が作れる」ということです. これを用いて解の条件を縛ったり, 矛盾を導いたりします. とはいえこれだけでは良くわからないでしょうし, 一から自己開発するのはやや困難な部類の議論だと思うので, 初見の人はとりあえず実例を見てしまっても良いと思います.

近年では安直にそのままな出題はほとんど見られなくなってきましたが, とはいえ類似の発想を肝とする問題はSLPを中心にまだまだ健在です. これを機にマスターしてしまいましょう!

#4
★★★☆☆

任意の実数 N に対し, 以下の方程式は x1,x2,x3,x4>N なる整数解を持つことを示せ. x12+x22+x32+x42=x1x2x3+x1x2x4+x1x3x4+x2x3x4

まず解を見つけましょう. そこから 4 数の最小値を吊り上げることを考えます. 最小のものを x1 として, 与式を x1 についての二次式と捉えれば, x2,x3,x4 はそのままに異なる整数解を得られます. あとは大小関係を確認しましょう.

自明な解 (1,1,1,1) の存在に留意する. いまある正の整数解 (x1,x2,x3,x4) が存在したと仮定し, 一般性を失わずx1x2x3x4と仮定する. このとき解と係数の関係より, 以下はやはり整数解となる.(x2x3+x2x4+x3x4x1,x2,x3,x4) ここで明らかに x2x3+x2x4+x3x4x1>x4 であるから, 同様の操作を繰り返すことで 4 数の最小値がいくらでも大きい整数解を得られることがわかり, 特に題意は示された.

#5
★★★★☆

a,b を正の整数とする. ab+1a2+b2 を割りきるとき, その商は必ず平方数であることを示せ.

k を固定し, そのとき a+b が最小となるものを取って矛盾を導きましょう.

商となりうる正の整数 k をとり, 以下のような集合を考える. S={(a,b)Z+×Z+a2+b2=k(ab+1)}  S の元 (a,b) のうち, a+b が最小であるものが存在するから, そのうち一つを適当に (A,B) とする. 一般性を失わず AB としてよい. 以下 k が平方数でないとして矛盾を導く.

ここで以下の x についての二次方程式を考えると, 一方の解は x=A である. x2+B2=k(Bx+1)x2kBx+(B2k)=0 もう一方の解を x=A とすると, 解と係数の関係より以下が従い, 特に A は整数である. A=kBA=B2kA  k が平方数でないことより A0 である. また A<0 と仮定すると, 以下より矛盾を導く. 0=A2kBA+B2kA2+k+B2k>0 すなわち (A,B)S である. ここで AB より以下が従うが, これは A+B の最小性に矛盾する. A=B2kA<A

#6
★★★★☆

a,b を正の整数とする. aba2+b2+1 を割りきるとき, その商は 3 であることを示せ.

問5のように (A,B) をとったとき, まず A=B であることを示しましょう. このとき k=3 は明らかです.

商となりうる正の整数 k をとり, 以下のような集合を考える. S={(a,b)Z+×Z+a2+b2+1=kab}  S の元 (a,b) のうち, a+b が最小であるものが存在するから, そのうち一つを適当に (A,B) とするとき, A=B であることを示す. このとき k=2+1/A2 より明らかに k=3 である. 一般性を失わず A>B と仮定して矛盾を導く.

ここで以下の x についての二次方程式を考えると, 一方の解は x=A である. x2+B2+1=kBxx2kBx+(B2+1)=0 もう一方の解を x=A とすると, 解と係数の関係より以下が従い, 特に A は正の整数であるから (A,B)S である. A=kBA=B2+1A  ここで A>B1 より以下が従うが, これは A+B の最小性に矛盾する. A=B2+1A<A

#7
★★★★☆

a,b を正の整数とする. 4ab1(4a21)2 を割りきるとき, a=b であることを示せ.

まずは (4a21)2 から次数を落としましょう. a=b の意味が明確に立ち現れてきます.

以下の変形より, 4ab1(4a21)2 を割りきるとき, 4ab1(ab)2 を割りきる. (ab)2=b2(4a21)2(4ab1)(4a3b2ab+a2)

条件をみたす組 ab が存在したとして, k=(ab)2/(4ab1) とおき, 以下のような集合を考える. S={(a,b)Z+×Z+(ab)2=k(4ab1)}  S の元 (a,b) のうち, a+b が最小であるものが存在するから, そのうち一つを適当に (A,B) とする. 一般性を失わず AB としてよい. ここで k0 であることより, 特に A>B であることに留意する.

ここで以下の x についての二次方程式を考えると, 一方の解は x=A である. (xB)2=k(4Bx1)x2(2B+4kB)x+(B2+k)=0 もう一方の解を x=A とすると, 解と係数の関係より以下が従い, 特に A は正の整数であるから (A,B)S である. A=2B+4kBA=B2+kA  ここで A+B の最小性より AA であるが, このとき以下より矛盾を得る. B2+kAA(AB)24AB1=kA2B2(AB)(A+B)(4AB1)>A+B

#8
★★★★☆

a,bab1 なる正の整数とする. ab1a2+b2 を割りきるとき, その商は 5 であることを示せ.

これまでと同様に (A,B) をとったとき, まず少なくとも一方が 1 であることを示しましょう.

商となり得る正の整数 k をとり, 以下のような集合を考える. S={(a,b)Z+×Z+a2+b2=k(ab1)}  S の元 (a,b) のうち, a+b が最小であるものが存在するから, そのうち一つを適当に (A,B) とする. 一般性を失わず AB としてよい. このとき B=1 であることを示す. 以下 B2 と仮定して矛盾を導く.

ここで以下の x についての二次方程式を考えると, 一方の解は x=A である. x2+B2=k(Bx1)x2kBx+(B2+k)=0 もう一方の解を x=A とすると, 解と係数の関係より以下が従い, 特に A は正の整数であるから (A,B)S である. A=kBA=B2+kA  ここで A+B の最小性より AA であるが, このとき明らかに以下より矛盾を得る. B2+kAAA2+B2AB1A2B2>A+BA+B>A2(B1)+B2(A1)  したがって B=1 である. このとき以下より A=2 または A=3 が必要であるが, いずれの場合も k=5 である. k=A+1+2A1

#9
★★★★☆

a を平方数でない正の整数とする. 以下の方程式について, x>a なる整数解 (x,y) が存在するような k の集合を A とし, 0x<a なる整数解 (x,y) が存在するような k の集合を B とする. このとき A=B であることを示せ. k=x2ax2y2

公式PDFに掲載のSolution 3を参照してください. (著者の気分次第で和訳される可能性があります)

#10
判定中
出典不明

a2+b2+1ab で割りきれるような, 正の整数の組 (a,b) をすべて求めよ.

#11
判定中
出典不明

b2+1a で割りきれ, a2+1b で割りきれるような, 正の整数の組 (a,b) をすべて求めよ.

ambn=(a+b)2+1 をみたす正の整数の組 (a,b,m,n) をすべて求めよ.

#13
★★★★☆

m,n を正の整数とする. m2n2+1n21 を割りきるとき, m2n2+1 は平方数であることを示せ.

#14
判定中

1 以上 1981 以下の整数 m,n について, (n2mnm2)2=1 のとき, m2+n2 としてありうる最大の値を求めよ.