Evolton

京都大学 1998年度 前期日程 第2次学力試験文系数学 第3問

abは実数でabab0とする.
このとき不等式xbx+axax+b>x+axbx+bxa
を満たす実数xの範囲を求めよ.

難易度7/ 10計算量7/ 10目安25

方程式・不等式 式変形、場合分け、範囲評価

方針

まず定義域 x±a,±b を確認し、両辺の差を一つの分数にまとめて因数分解する。分子分母はいずれも x2 だけで表されるため、y=x2 とおいて符号表を作る。a=b の特別な場合を先に処理し、その後は ab の大小、さらに ab の符号で根の並びを決める。

解答

与えられた式が定義されるためには x±a,x±b でなければならない。

左辺の2項をまとめるとxbx+axax+b=(xb)(x+b)(xa)(x+a)(x+a)(x+b)=a2b2(x+a)(x+b)である。また右辺はx+axbx+bxa=(x+a)(xa)(x+b)(xb)(xb)(xa)=b2a2(xb)(xa)である。したがって「左辺 > 右辺」は a2b2(x+a)(x+b)+a2b2(xb)(xa)>0 と同値である。通分すると (a2b2)(xb)(xa)+(x+a)(x+b)(x2a2)(x2b2)>0 であり、分子の和は (xb)(xa)+(x+a)(x+b)=2(x2+ab) である。よって求める不等式は 2(a2b2)(x2+ab)(x2a2)(x2b2)>0 と同値である。

まず a=b の場合を調べる。ab なのでこの場合は a=b であり、a2b2=0 となる。すると両辺の差は常に 0 で、厳密な不等式は成り立たない。したがって解はない。

以下、ab とする。y=x2 とおくと y0 であり、符号を調べるべき式は (a2b2)(y+ab)(ya2)(yb2) である。

(i) a>b, ab>0 のとき。
このとき a2b2>0、また y+ab>0 である。したがって (ya2)(yb2)>0 が必要十分である。b2<a2 なので y<b2またはa2<y である。すなわち x2<b2またはa2<x2 である。

(ii) a>b, ab<0 のとき。 h=ab とおくと h>0 で、a>b より b2<h<a2 である。符号を y の区間で調べると、正になるのは b2<y<hまたはa2<y である。したがって b2<x2<abまたはa2<x2 である。

(iii) a<b, ab>0 のとき。
このとき a2b2<0、また y+ab>0 である。よって分母が負であればよい。a2<b2 だから a2<y<b2 であり、a2<x2<b2 である。

(iv) a<b, ab<0 のとき。 h=ab とおくと、今度は a2<h<b2 である。符号を調べると正になるのは y<a2またはh<y<b2 である。したがって x2<a2またはab<x2<b2 である。

以上が求める範囲である。すべての不等号は厳密であり、x=±a,±b はもともと定義域から除かれている。

別解

解法2

方針

通分後に y=x2 と置き、零点 a2,b2,ab の並びを1枚の符号表にする。係数 a2b2 の符号も含めて4場合を表形式で読み取る。

解答

定義域はx±a,x±bである。両辺の差を通分すると2(a2b2)(x2+ab)(x2a2)(x2b2)となる。

a=b なら、ab より a=b であり、分子が0になるので解はない。

以下 ab とし、y=x20 とおく。調べる式は(a2b2)(y+ab)(ya2)(yb2)である。零点と極を小さい順に並べて符号を読むと、次の表を得る。条件y=x2 の範囲a>b, ab>00y<b2 または a2<ya>b, ab<0b2<y<ab または a2<ya<b, ab>0a2<y<b2a<b, ab<00y<a2 または ab<y<b2従って答えはa>b, ab>0x2<b2 または a2<x2a>b, ab<0b2<x2<ab または a2<x2a<b, ab>0a2<x2<b2a<b, ab<0x2<a2 または ab<x2<b2である。すべて厳密不等号であり、定義されない点も含まれない。

総評

一般係数の有理式不等式で、想定時間は25分程度。通分後に x2 だけの式へ落ちるところが核心で、ここまでを丁寧に書けば後半は符号表の問題になる。a=b では a=b となって差が0になるため、通常の場合分けに混ぜない方が安全である。ab<0 のときは aba2b2 の間に入るので、ab の大小によって並びが逆になる点が最も誤りやすい。

冊子PDFで見る京大の方程式・不等式の問題で問題集を作る

出典: 京都大学 1998年度 前期 文系 第3問。問題文はHTML表示のために再入力・数式組版しています。