3次方程式の解と係数の関係を利用して整数の組み合わせを考える(横浜国立大2017文系第2問)

aa を正の整数とし,bb を整数とする。xx についての方程式

a2x3+abx2b2x5=0a^2x^3+abx^2-b^2x-5=0

はことなる 3 つの実数解をもち,1 つの解が整数で,残り 2 つの解の積が整数である。aabb の組をすべて求めよ。

3 次方程式の解と係数の関係

この問題は 3 次方程式の解と係数の関係を利用します。

2 次方程式は覚えているけど,3 次方程式忘れた。
暗記してもいいし自分で作っても良い。めったに使うものではないし,公式のもとになる式自体が大事だったりするから,できれば自分で作れたほうがいいね。

ある 3 次方程式の解を α,β,γ\alpha,\beta,\gamma とすると

a(xα)(xβ)(xγ)=0a(x-\alpha)(x-\beta)(x-\gamma)=0

と表すことができます(これ重要)。展開すると

a{x2(α+β)x+αβ}(xγ)=0a\{x^2-(\alpha+\beta)x+\alpha\beta\}(x-\gamma)=0
a{x3γ x2(α+β)x2+(α+β)γ x+αβ xαβγ}=0a\{x^3-\gamma x^2-(\alpha+\beta)x^2+(\alpha+\beta)\gamma x+\alpha\beta x-\alpha\beta\gamma\}=0
a{x3(α+β+γ)x2+(αβ+βγ+γα)xαβγ}=0a\{x^3-(\alpha+\beta+\gamma)x^2+(\alpha\beta+\beta\gamma+\gamma\alpha)x-\alpha\beta\gamma\}=0 ・・・①

また,ax3+bx2+cx+d=0ax^3+bx^2+cx+d=0 ・・・② として,①と②の係数を比べると

α+β+γ=ba\alpha+\beta+\gamma=-\cfrac{b}{a}
αβ+βγ+γα=ca\alpha\beta+\beta\gamma+\gamma\alpha=\cfrac{c}{a}
αβγ=da\alpha\beta\gamma=-\cfrac{d}{a}

これで,解と係数の関係ができあがりです。

整数の組み合わせをみつける

これを a2x3+abx2b2x5=0a^2x^3+abx^2-b^2x-5=0 に当てはめていきましょう。

α+β+γ=ba\alpha+\beta+\gamma=-\cfrac{b}{a}
αβ+βγ+γα=b2a2\alpha\beta+\beta\gamma+\gamma\alpha=\cfrac{b^2}{a^2}
αβγ=5a2\alpha\beta\gamma=\cfrac{5}{a^2}

ここで,整数の解を α\alpha,残り 2 つの解を β\betaγ\gamma とすると,βγ\beta\gamma は整数ということになります。

よって,αβγ=5a2\alpha\beta\gamma=\cfrac{5}{a^2} から,左辺は整数×整数なので,右辺も整数であると言えます。

aa は正の整数だから,5a2\cfrac{5}{a^2} が整数となるのは a=1a=1 のときだけです。よって,解と係数の関係は

α+β+γ=b\alpha+\beta+\gamma=-b
αβ+βγ+γα=b2\alpha\beta+\beta\gamma+\gamma\alpha=-b^2
αβγ=5\alpha\beta\gamma=5

と書き換えられます。そして

αβγ=5\alpha\beta\gamma=5

という式に注目しましょう。α\alpha は整数,βγ\beta\gamma は整数だから,これは 整数×整数=5 ということです。このようになる組み合わせは

(α,βγ)=(1,5),(1,5),(5,1),(5,1)(\alpha,\beta\gamma)=(1,5),(-1,-5),(5,1),(-5,-1)

の 4 通りです。

条件に当てはまるかどうかを確認する

あとは,それぞれの場合について,ことなる 3 つの実数解をもつ,という条件に当てはまるかどうかを考えてみましょう。

(i) (α,βγ)=(1,5)(\alpha,\beta\gamma)=(1,5) のとき

解と係数の関係に当てはめると

1+β+γ=b1+\beta+\gamma=-b
β+γ=b1\beta+\gamma=-b-1

また

β+5+γ=b2\beta+5+\gamma=-b^2
β+γ=b25\beta+\gamma=-b^2-5

よって

b1=b25-b-1=-b^2-5
b2b+4=0b^2-b+4=0

これは 2 次方程式なので,解を求めてみると整数にならないことが確認できると思います。よって,不適。

(ii) (α,βγ)=(1,5)(\alpha,\beta\gamma)=(-1,-5) のとき

同様に,解と係数の関係に当てはめていきます。

1+β+γ=b-1+\beta+\gamma=-b
β+γ=b+1\beta+\gamma=-b+1

また

β5γ=b2-\beta-5-\gamma=-b^2
β+γ=b25\beta+\gamma=b^2-5

よって

b+1=b25-b+1=b^2-5
b2+b6=0b^2+b-6=0
(b+3)(b2)=0(b+3)(b-2)=0
b=2,3b=2,-3

b=2b=2 のとき

a2x3+abx2b2x5=0a^2x^3+abx^2-b^2x-5=0 は

x3+2x24x5=0x^3+2x^2-4x-5=0

α=1\alpha=-1 より,解の一つは 1-1 です。組立除法を用いて,式を因数分解してみましょう。

124511151450\begin{matrix}1&2&-4&-5&|\underline{-1}\\&-1&-1&5\\\hline1&-4&-5&0\end{matrix}

よって

(x+1)(x2+x5)=0(x+1)(x^2+x-5)=0

ここで,x2+x5x^2+x-5 がことなる 2 つの実数解をもつならば,問題文の条件である,全体としてことなる 3 つの実数解をもつ,に当てはまります。

x2+x5=0x^2+x-5=0 とすると,判別式は

D=1+45=21>0D=1+4\cdot5=21>0

よって,式はことなる 3 つの実数解を持ちます。これで,(α,βγ)=(1,5)(\alpha,\beta\gamma)=(-1,-5) はオッケーです。

次に,b=3b=-3 のとき

x33x29x5=0x^3-3x^2-9x-5=0

139511451450\begin{matrix}1&-3&-9&-5&|\underline{-1}\\&-1&4&5\\\hline1&-4&-5&0\end{matrix}

(x+1)(x24x5)=0(x+1)(x^2-4x-5)=0
(x+1)(x5)(x+1)=0(x+1)(x-5)(x+1)=0

因数分解してみると,この式は解が 2 つしかありません。よって,不適。

(iii) (α,βγ)=(5,1)(\alpha,\beta\gamma)=(5,1) のとき

5+β+γ=b5+\beta+\gamma=-b
β+γ=b5\beta+\gamma=-b-5

また

5β+1+5γ=b25\beta+1+5\gamma=-b^2
5β+5γ=b215\beta+5\gamma=-b^2-1
β+γ=b2515\beta+\gamma=-\cfrac{b^2}{5}-\cfrac{1}{5}

よって

b5=b2515-b-5=-\cfrac{b^2}{5}-\cfrac{1}{5}
5b25=b21-5b-25=-b^2-1
b25b24=0b^2-5b-24=0
(b8)(b+3)=0(b-8)(b+3)=0
b=3,8b=-3,8

b=3b=-3 のとき

x33x29x5=0x^3-3x^2-9x-5=0

1395551051210\begin{matrix}1&^3&-9&-5&|\underline{5}\\&5&10&5\\\hline1&2&1&0\end{matrix}

(x5)(x2+2x+1)=0(x-5)(x^2+2x+1)=0
(x5)(x+1)2=0(x-5)(x+1)^2=0

解が 2 個だから,不適。

b=8b=8 のとき

x3+8x264x5=0x^3+8x^2-64x-5=0

186455565611310\begin{matrix}1&8&-64&-5&|\underline{5}\\&5&65&6\\\hline1&13&1&0\end{matrix}

(x5)(x2+13x+1)=0(x-5)(x^2+13x+1)=0

x2+13x+1=0x^2+13x+1=0 とすると,判別式は

D=1324>0D=13^2-4>0

よって,式はことなる 3 つの実数解をもつ。

(iv) (α,βγ)=(5,1)(\alpha,\beta\gamma)=(-5,-1) のとき

5+β+γ=b-5+\beta+\gamma=-b
β+γ=b+5\beta+\gamma=-b+5
5β15γ=b2-5\beta-1-5\gamma=-b^2
5(β+γ)=b2+1-5(\beta+\gamma)=-b^2+1
β+γ=b2515\beta+\gamma=\cfrac{b^2}{5}-\cfrac{1}{5}

よって

b+5=b2515-b+5=\cfrac{b^2}{5}-\cfrac{1}{5}
5b+25=b21-5b+25=b^2-1
b2+5b26=0b^2+5b-26=0

式を満たす整数 bb は存在しない。

したがって

(a,b)=(1,2),(1,8)(a,b)=(1,2),(1,8) (答え)