MathLabs

第2問

a22ab2−b3+1\frac{a^2}{2ab^2-b^3+1} が正整数となる正整数組 (a,b)(a,b) をすべて求めよ。
ステップ 2/3: ビエタで根を組にする
ざっくり言うと

同じ二次方程式の二根を使って降下できる。

X2−2kb2X+k(b3−1)=0X^2-2kb^2X+k(b^3-1)=0
詳しい解説

b>1b>1 とし、正整数である商を kk とする。分母を払うと X2−2kb2X+k(b3−1)=0X^2-2kb^2X+k(b^3-1)=0 を得て、その一根は aa である。ビエタの公式により他方の根は a′=2kb2−a=k(b3−1)/aa'=2kb^2-a=k(b^3-1)/a である。前者から a′a' は整数であり、後者から k>0k>0 かつ b3−1>0b^3-1>0 により a′>0a'>0 である。同じ多項式の等式から a′2=k(2a′b2−b3+1)a'^2=k(2a'b^2-b^3+1) も得られるので、新しい分母は正であり、商は再び kk である。