第2章 複素数と方程式

複素数と方程式の総合問題
─ 第2章の集大成

複素数の基礎から高次方程式まで、第2章で学んだすべての知識を結びつける総合演習です。
個々の知識を「使える力」に昇華させ、入試レベルの融合問題に対応できる実力を養いましょう。

1第2章の知識体系マップ

第2章「複素数と方程式」で学んだ内容は、次の5つの柱から構成されています。これらが互いに結びつくことで、方程式の理論が完成します。

📐 第2章の5本柱

I. 複素数の基礎:虚数単位 $i$、複素数 $a+bi$、共役複素数 $\bar{z}$、四則演算

II. 2次方程式の解法:解の公式、判別式 $D = b^2 - 4ac$、虚数解

III. 解と係数の関係:$\alpha + \beta = -\dfrac{b}{a}$、$\alpha\beta = \dfrac{c}{a}$、対称式の値

IV. 剰余の定理・因数定理:$P(a) = 0 \Leftrightarrow (x - a)$ が因数、組立除法

V. 高次方程式:因数分解による次数下げ、虚数解と共役解の関係

知識のつながり方

入試の総合問題では、これらの柱が次のように連携します。

組合せ典型的な問題パターン
I + II複素数の条件から2次方程式を立て、判別式で解の存在を判定
II + III解と係数の関係を使って、解を直接求めずに対称式の値を計算
III + IV1つの解から解と係数の関係で他の解を求め、因数分解を完成
IV + V因数定理で1つの因数を発見し、高次方程式を次数下げして解く
I + V高次方程式の虚数解から共役解を利用して実数係数の因数を構成
🌱 本質理解:総合問題の攻略法

総合問題が難しく感じる原因は「どの知識を使うか」の判断にあります。次の3ステップを意識しましょう。

(1) 条件の翻訳:問題文の条件を数式に変換する(「実数解をもつ」→「$D \geq 0$」など)。

(2) 道具の選択:翻訳された数式に対して、最も効率的な手法を選ぶ。

(3) 検算:得られた解が元の条件を満たすか確認する。特に虚数解の問題では共役解の確認を忘れずに。

2複素数と方程式の融合問題

複素数の性質(共役、絶対値など)と方程式の理論を組み合わせた問題を扱います。

共役複素数と2次方程式

📐 実数係数の方程式と共役解

実数係数の方程式が虚数解 $\alpha$ をもつとき、$\bar{\alpha}$ も解である。

このとき、$\alpha$ と $\bar{\alpha}$ を解にもつ2次方程式は

$$x^2 - (\alpha + \bar{\alpha})x + \alpha\bar{\alpha} = 0$$

$\alpha = p + qi$($p, q$ は実数、$q \neq 0$)のとき、$\alpha + \bar{\alpha} = 2p$、$\alpha\bar{\alpha} = p^2 + q^2$ より

$$x^2 - 2px + (p^2 + q^2) = 0$$

解と係数の関係の逆:2つの解から方程式を復元できる。

例題1:$x^3 - 3x^2 + 4x - 2 = 0$ が $x = 1$ を解にもつことを利用して、すべての解を求めよ。

解法:$P(x) = x^3 - 3x^2 + 4x - 2$ とすると $P(1) = 1 - 3 + 4 - 2 = 0$ より $(x - 1)$ が因数。

組立除法により

$$x^3 - 3x^2 + 4x - 2 = (x - 1)(x^2 - 2x + 2) = 0$$

$x^2 - 2x + 2 = 0$ の解は $x = \dfrac{2 \pm \sqrt{4 - 8}}{2} = \dfrac{2 \pm 2i}{2} = 1 \pm i$

よって、解は $x = 1,\; 1 + i,\; 1 - i$。虚数解 $1 + i$ と $1 - i$ が共役のペアになっていることを確認できます。

複素数の等式条件と方程式

例題2:複素数 $z$ が $z^2 = \bar{z}$ を満たすとき、$z$ をすべて求めよ。

解法:$z = x + yi$($x, y$ は実数)とおくと、$\bar{z} = x - yi$ であり

$$z^2 = x^2 - y^2 + 2xyi = x - yi$$

実部と虚部をそれぞれ比較して

$$x^2 - y^2 = x \quad \cdots (1), \qquad 2xy = -y \quad \cdots (2)$$

(2) より $y(2x + 1) = 0$ なので $y = 0$ または $x = -\dfrac{1}{2}$。

場合1:$y = 0$ のとき、(1) より $x^2 = x$ なので $x = 0$ または $x = 1$。よって $z = 0,\; 1$。

場合2:$x = -\dfrac{1}{2}$ のとき、(1) より $\dfrac{1}{4} - y^2 = -\dfrac{1}{2}$ なので $y^2 = \dfrac{3}{4}$、$y = \pm\dfrac{\sqrt{3}}{2}$。よって $z = -\dfrac{1}{2} \pm \dfrac{\sqrt{3}}{2}i$。

以上より $z = 0,\; 1,\; -\dfrac{1}{2} + \dfrac{\sqrt{3}}{2}i,\; -\dfrac{1}{2} - \dfrac{\sqrt{3}}{2}i$。

💡 別解への気づき

$z^2 = \bar{z}$ の両辺の絶対値をとると $|z|^2 = |\bar{z}| = |z|$ なので $|z|^2 - |z| = 0$、すなわち $|z|(|z| - 1) = 0$。よって $|z| = 0$ つまり $z = 0$、または $|z| = 1$ です。$|z| = 1$ のとき $z\bar{z} = 1$ より $\bar{z} = \dfrac{1}{z}$。元の式に代入すると $z^2 = \dfrac{1}{z}$、すなわち $z^3 = 1$。これは1の3乗根を求める問題に帰着されます。

3パラメータを含む方程式の総合問題

実数パラメータを含む方程式では、判別式・解と係数の関係・解の配置の3つの道具を組み合わせて条件を絞り込みます。

解の存在条件と判別式

📐 2次方程式 $ax^2 + bx + c = 0$ の解の分類

判別式 $D = b^2 - 4ac$ として

  • $D > 0$:異なる2つの実数解
  • $D = 0$:重解(実数)
  • $D < 0$:異なる2つの虚数解(互いに共役)

「実数解をもつ」条件は $D \geq 0$、「虚数解をもつ」条件は $D < 0$。

例題3:2次方程式 $x^2 - 2ax + a + 6 = 0$ について、次の条件を満たす実数 $a$ の範囲を求めよ。

(1) 異なる2つの正の実数解をもつ。

(2) 1つの正の解と1つの負の解をもつ。

解法:2つの解を $\alpha, \beta$ とすると、解と係数の関係より

$$\alpha + \beta = 2a, \qquad \alpha\beta = a + 6$$

(1) 異なる2つの正の実数解の条件:

  • 判別式 $D > 0$:$4a^2 - 4(a + 6) > 0$、すなわち $a^2 - a - 6 > 0$、$(a - 3)(a + 2) > 0$ より $a < -2$ または $a > 3$
  • $\alpha + \beta > 0$:$2a > 0$ より $a > 0$
  • $\alpha\beta > 0$:$a + 6 > 0$ より $a > -6$

これらすべてを満たすのは $a > 3$。

(2) 1つの正の解と1つの負の解の条件:$\alpha\beta < 0$ であればよい。

$a + 6 < 0$ より $a < -6$。

($\alpha\beta < 0$ なら $D = (\alpha - \beta)^2 + 4\alpha\beta > 0$ は自動的に成り立つので判別式の条件は不要。)

⚠️ 解の配置問題での条件漏れ

✗ 「2つの正の解」の条件に $\alpha + \beta > 0$ だけで十分と考える

✓ $D > 0$(実数解の存在)、$\alpha + \beta > 0$(和が正)、$\alpha\beta > 0$(積が正)の3条件すべてが必要

例えば $\alpha + \beta > 0$ かつ $\alpha\beta > 0$ でも、$D < 0$ なら虚数解になります。3条件の共通範囲を求めましょう。

解の配置と関数の値

例題4:$x^2 - 2ax + a + 6 = 0$ の2つの実数解がともに $1$ より大きくなる条件を求めよ。

解法:$f(x) = x^2 - 2ax + a + 6$ とおく。2つの解がともに $1$ より大きい条件は次の3つ:

  • $D \geq 0$:$(a - 3)(a + 2) \geq 0$ より $a \leq -2$ または $a \geq 3$
  • 軸の位置 $> 1$:$a > 1$
  • $f(1) > 0$:$1 - 2a + a + 6 > 0$ より $7 - a > 0$、$a < 7$

これらの共通範囲は $3 \leq a < 7$。

🌱 本質理解:解の配置問題の統一的な見方

2次方程式の解の配置問題は、すべて「2次関数のグラフを利用して、解($x$ 軸との交点)がどこにあるか」という視点で統一的に扱えます。「解と係数の関係」と「グラフの利用」は同じ問題への異なるアプローチですが、複雑な配置条件ではグラフ法が見通しよく処理できます。

4証明問題の総合

入試では「なぜそうなるのか」を論理的に示す証明問題が頻出します。第2章の範囲で重要な証明パターンを整理します。

共役解の性質の証明

📝 定理:実数係数の多項式方程式において、虚数 $\alpha$ が解ならば $\bar{\alpha}$ も解

証明:$P(x) = a_n x^n + a_{n-1} x^{n-1} + \cdots + a_1 x + a_0$($a_k$ はすべて実数)とする。

$P(\alpha) = 0$ のとき、$\overline{P(\alpha)} = 0$ である。

共役の性質 $\overline{z + w} = \bar{z} + \bar{w}$、$\overline{zw} = \bar{z}\bar{w}$ を繰り返し用いると

$$\overline{P(\alpha)} = \overline{a_n \alpha^n + a_{n-1}\alpha^{n-1} + \cdots + a_0}$$

$$= \bar{a_n}\bar{\alpha}^n + \bar{a_{n-1}}\bar{\alpha}^{n-1} + \cdots + \bar{a_0}$$

$a_k$ は実数なので $\bar{a_k} = a_k$ であるから

$$= a_n \bar{\alpha}^n + a_{n-1}\bar{\alpha}^{n-1} + \cdots + a_0 = P(\bar{\alpha})$$

よって $P(\bar{\alpha}) = \overline{P(\alpha)} = \bar{0} = 0$。すなわち $\bar{\alpha}$ も $P(x) = 0$ の解である。 ■

対称式の恒等式

2次方程式 $ax^2 + bx + c = 0$ の2解を $\alpha, \beta$ とするとき、$\alpha, \beta$ の対称式はすべて $\alpha + \beta$ と $\alpha\beta$ で表せます。

📐 基本対称式による表現

$s = \alpha + \beta$、$p = \alpha\beta$ とおくと

$$\alpha^2 + \beta^2 = s^2 - 2p$$

$$\alpha^3 + \beta^3 = s^3 - 3sp$$

$$\alpha^4 + \beta^4 = (s^2 - 2p)^2 - 2p^2$$

$$\dfrac{1}{\alpha} + \dfrac{1}{\beta} = \dfrac{s}{p} \qquad (p \neq 0)$$

$$(\alpha - \beta)^2 = s^2 - 4p$$

例題5:$\alpha, \beta$ が $x^2 - 3x + 1 = 0$ の2つの解であるとき、$\alpha^4 + \beta^4$ の値を求めよ。

解法:解と係数の関係より $s = \alpha + \beta = 3$、$p = \alpha\beta = 1$。

$$\alpha^2 + \beta^2 = s^2 - 2p = 9 - 2 = 7$$

$$\alpha^4 + \beta^4 = (\alpha^2 + \beta^2)^2 - 2(\alpha\beta)^2 = 7^2 - 2 \cdot 1^2 = 49 - 2 = 47$$

3次方程式の解と係数の関係を用いた証明

例題6:$\alpha, \beta, \gamma$ が $x^3 + px + q = 0$($x^2$ の係数が $0$)の3解であるとき、$\alpha^2 + \beta^2 + \gamma^2 = -2p$ を示せ。

📝 証明

3次方程式 $x^3 + 0 \cdot x^2 + px + q = 0$ の解と係数の関係より

$$\alpha + \beta + \gamma = 0, \qquad \alpha\beta + \beta\gamma + \gamma\alpha = p, \qquad \alpha\beta\gamma = -q$$

$(\alpha + \beta + \gamma)^2 = \alpha^2 + \beta^2 + \gamma^2 + 2(\alpha\beta + \beta\gamma + \gamma\alpha)$ より

$$0 = (\alpha^2 + \beta^2 + \gamma^2) + 2p$$

よって $\alpha^2 + \beta^2 + \gamma^2 = -2p$。 ■

💡 証明問題の記述のコツ

証明で使う公式や定理は「解と係数の関係より」のように明示しましょう。また、途中式では「$= \cdots =$」と省略せず、各ステップで何をしているか(展開、代入、整理など)がわかるように書くことが減点を防ぐポイントです。

5入試で差がつく問題群

ここでは、複数の分野を横断する難関大入試レベルの問題を取り上げます。「知識の組み合わせ方」を意識しながら取り組みましょう。

融合パターン1:方程式の解の個数とパラメータ

例題7:$x^3 - 3x + a = 0$ が異なる3つの実数解をもつような定数 $a$ の範囲を求めよ。

解法:$f(x) = x^3 - 3x$ とおくと、方程式は $f(x) = -a$ と変形できる。

$f'(x) = 3x^2 - 3 = 3(x + 1)(x - 1)$ より、$x = -1$ で極大値 $f(-1) = 2$、$x = 1$ で極小値 $f(1) = -2$。

$y = f(x)$ と $y = -a$(水平線)が3点で交わる条件は $-2 < -a < 2$、すなわち $-2 < a < 2$。

🌱 本質理解:方程式の解 = 関数のグラフの交点

$P(x) = a$ の実数解の個数は、$y = P(x)$ のグラフと直線 $y = a$ の交点の個数に等しいです。3次方程式で実数解の個数を議論する場合、微分を使って極値を求め、グラフの概形から交点を数えるのが定石です。これは数学IIの微分法との融合問題です。

融合パターン2:虚数解から方程式を復元する

例題8:実数係数の3次方程式 $x^3 + ax^2 + bx + c = 0$ が $x = 2 + i$ を解にもつとき、$a, b, c$ の値を求めよ。ただし、もう1つの実数解は $x = -1$ とする。

解法:実数係数なので $x = 2 - i$ も解。3つの解は $2 + i,\; 2 - i,\; -1$。

解と係数の関係より

$$(2+i) + (2-i) + (-1) = -a \quad \Longrightarrow \quad 3 = -a \quad \Longrightarrow \quad a = -3$$

$$(2+i)(2-i) + (2-i)(-1) + (-1)(2+i) = b$$

$$= 5 + (-2+i) + (-2-i) = 5 - 4 = 1 \quad \Longrightarrow \quad b = 1$$

$$(2+i)(2-i)(-1) = -c \quad \Longrightarrow \quad 5 \cdot (-1) = -c \quad \Longrightarrow \quad c = 5$$

よって $a = -3,\; b = 1,\; c = 5$。

融合パターン3:整数条件と方程式

例題9:3次方程式 $x^3 - 6x^2 + ax - a = 0$ が整数解をもつとき、整数 $a$ の値をすべて求めよ。

解法:$x = k$(整数)が解であるとすると

$$k^3 - 6k^2 + ak - a = 0$$

$$k^3 - 6k^2 + a(k - 1) = 0$$

$k = 1$ のとき:$1 - 6 = -5 \neq 0$ なので、$k \neq 1$ のとき $a = \dfrac{-k^3 + 6k^2}{k - 1}$。

多項式の割り算を実行すると

$$\frac{-k^3 + 6k^2}{k - 1} = -k^2 + 5k + 5 + \frac{5}{k-1}$$

$a$ が整数となるには $\dfrac{5}{k-1}$ が整数、すなわち $k - 1$ が $5$ の約数。

$k - 1 \in \{-5, -1, 1, 5\}$ より $k \in \{-4, 0, 2, 6\}$。

各 $k$ に対して $a$ を計算すると

$k$$-4$$0$$2$$6$
$a$$-\dfrac{-(-64)+6 \cdot 16}{-5} = \dfrac{64+96}{-5}$... $0$$\dfrac{-8+24}{1} = 16$$\dfrac{-216+216}{5} = 0$

正確に計算すると、$k = -4$ のとき $a = \dfrac{64 + 96}{-5} = -32$、$k = 0$ のとき $a = 0$、$k = 2$ のとき $a = 16$、$k = 6$ のとき $a = 0$。

よって $a = -32,\; 0,\; 16$。

⚠️ 整数条件の問題での検算

✗ $a$ の値を求めて終わり

✓ 求めた $a$ を元の方程式に代入し、整数解が確かに存在するか検算する

検算:$a = 16$ のとき $x^3 - 6x^2 + 16x - 16 = 0$。$x = 2$ を代入すると $8 - 24 + 32 - 16 = 0$ で確かに成立。

📋まとめ

  • 複素数 → 方程式:実数係数の方程式の虚数解は必ず共役ペアで現れる。虚数解 $\alpha$ がわかれば $\bar{\alpha}$ も解であり、2次因数 $x^2 - 2\operatorname{Re}(\alpha)x + |\alpha|^2$ が構成できる。
  • 判別式 → 解の分類:$D > 0$ で異なる2実数解、$D = 0$ で重解、$D < 0$ で共役虚数解。パラメータを含む方程式では判別式が解の存在条件を決定する。
  • 解と係数の関係 → 対称式:解を直接求めなくても、$\alpha + \beta$ と $\alpha\beta$ からすべての対称式の値が計算可能。$n$ 乗和は漸化式的に求まる。
  • 因数定理 → 次数下げ:高次方程式は因数定理で1つの解を見つけ、割り算で次数を下げるのが基本戦略。整数解の候補は定数項の約数。
  • 解の配置 → グラフ:実数解の個数・配置の問題は、2次関数のグラフ(判別式・軸・端点の値)で処理。3次方程式では微分法で極値を求め、グラフの交点として議論する。

確認テスト

Q1. 実数係数の2次方程式が $3 + 2i$ を解にもつとき、もう1つの解は何か。

▶ クリックして解答を表示 $3 - 2i$(実数係数の方程式では虚数解は共役ペアで現れるため)

Q2. $x^2 - 5x + 7 = 0$ の2つの解 $\alpha, \beta$ に対し、$\alpha^2 + \beta^2$ の値を求めよ。

▶ クリックして解答を表示 $\alpha + \beta = 5$、$\alpha\beta = 7$ より $\alpha^2 + \beta^2 = (\alpha+\beta)^2 - 2\alpha\beta = 25 - 14 = 11$

Q3. $x^2 + ax + a + 3 = 0$ が異なる2つの実数解をもつための $a$ の条件を求めよ。

▶ クリックして解答を表示 $D = a^2 - 4(a+3) = a^2 - 4a - 12 = (a-6)(a+2) > 0$ より $a < -2$ または $a > 6$

Q4. $x^3 - 2x^2 - 5x + 6 = 0$ の解をすべて求めよ。(ヒント:$x = 1$ を試せ。)

▶ クリックして解答を表示 $P(1) = 1-2-5+6 = 0$ より $(x-1)$ で割ると $(x-1)(x^2-x-6) = (x-1)(x-3)(x+2) = 0$。解は $x = 1, 3, -2$

Q5. 3次方程式 $x^3 + ax^2 + bx + 10 = 0$ の解が $1, 2, \gamma$ であるとき、$a, b, \gamma$ を求めよ。

▶ クリックして解答を表示 解と係数の関係より $1 \cdot 2 \cdot \gamma = -10$ なので $\gamma = -5$。$1 + 2 + (-5) = -a$ より $a = 2$。$1 \cdot 2 + 2 \cdot (-5) + (-5) \cdot 1 = b$ より $b = 2 - 10 - 5 = -13$

📝入試問題演習

問題 1 A 基礎

実数係数の3次方程式 $x^3 + ax^2 + bx + c = 0$ が $x = 1 + 2i$ を解にもち、もう1つの実数解が $x = 3$ であるとき、定数 $a, b, c$ の値を求めよ。

▶ クリックして解答を表示
解答

実数係数なので $x = 1 - 2i$ も解。3つの解は $1+2i,\; 1-2i,\; 3$。

解と係数の関係より

$(1+2i)+(1-2i)+3 = -a$ より $5 = -a$ なので $a = -5$

$(1+2i)(1-2i)+(1-2i)\cdot 3 + 3(1+2i) = b$

$= 5 + (3-6i) + (3+6i) = 11$ なので $b = 11$

$(1+2i)(1-2i)\cdot 3 = -c$ より $5 \cdot 3 = -c$ なので $c = -15$

よって $a = -5,\; b = 11,\; c = -15$

検算

$x^3 - 5x^2 + 11x - 15 = (x - 3)(x^2 - 2x + 5) = 0$

$x^2 - 2x + 5 = 0$ の解は $x = \dfrac{2 \pm \sqrt{4-20}}{2} = 1 \pm 2i$ ✓

問題 2 B 標準

2次方程式 $x^2 - 2kx + k + 6 = 0$ の2つの解 $\alpha, \beta$ がともに $2$ より大きくなるような実数 $k$ の範囲を求めよ。

▶ クリックして解答を表示
解答

$f(x) = x^2 - 2kx + k + 6$ とおく。2つの解がともに $2$ より大きい条件は:

(i) 判別式 $D \geq 0$:

$D/4 = k^2 - (k+6) = k^2 - k - 6 = (k-3)(k+2) \geq 0$

$k \leq -2$ または $k \geq 3$ ……①

(ii) 軸 $> 2$:

$k > 2$ ……②

(iii) $f(2) > 0$:

$4 - 4k + k + 6 > 0$ より $-3k + 10 > 0$、$k < \dfrac{10}{3}$ ……③

①②③の共通範囲は $3 \leq k < \dfrac{10}{3}$

採点のポイント
  • 3つの条件(判別式・軸・端点の値)の設定(各2点、計6点)
  • 各条件の正しい計算(2点)
  • 共通範囲の正しい結論(2点)
問題 3 B 標準

$x^2 - 3x + 1 = 0$ の2つの解を $\alpha, \beta$ とするとき、次の値を求めよ。

(1) $\alpha^3 + \beta^3$

(2) $\dfrac{\alpha}{\beta} + \dfrac{\beta}{\alpha}$

(3) $\alpha^5 + \beta^5$

▶ クリックして解答を表示
解答

解と係数の関係より $\alpha + \beta = 3$、$\alpha\beta = 1$。

$s_n = \alpha^n + \beta^n$ とおく。$s_1 = 3$。

$s_2 = (\alpha+\beta)^2 - 2\alpha\beta = 9 - 2 = 7$

(1) $s_3 = \alpha^3 + \beta^3 = (\alpha+\beta)^3 - 3\alpha\beta(\alpha+\beta) = 27 - 9 = 18$

(2) $\dfrac{\alpha}{\beta} + \dfrac{\beta}{\alpha} = \dfrac{\alpha^2 + \beta^2}{\alpha\beta} = \dfrac{7}{1} = 7$

(3) $\alpha, \beta$ は $x^2 - 3x + 1 = 0$ の解なので、$\alpha^2 = 3\alpha - 1$、$\beta^2 = 3\beta - 1$。

漸化式 $s_{n+2} = 3s_{n+1} - s_n$ を用いて

$s_3 = 3 \cdot 7 - 3 = 18$(確認)

$s_4 = 3 \cdot 18 - 7 = 47$

$s_5 = 3 \cdot 47 - 18 = 123$

よって $\alpha^5 + \beta^5 = 123$

漸化式の導出

$\alpha$ は $x^2 - 3x + 1 = 0$ の解なので $\alpha^{n+2} = 3\alpha^{n+1} - \alpha^n$。$\beta$ についても同様。辺々加えると $s_{n+2} = 3s_{n+1} - s_n$。この漸化式により任意の $n$ 乗和が順次計算可能です。

採点のポイント
  • 解と係数の関係の明示(2点)
  • (1) $s_3 = 18$ の導出(3点)
  • (2) 通分と $s_2$ の利用(3点)
  • (3) 漸化式の導出と正確な逐次計算(4点)
問題 4 C 発展

実数係数の4次方程式 $x^4 + ax^3 + bx^2 + ax + 1 = 0$ について、次の問いに答えよ。

(1) $x \neq 0$ のとき、$t = x + \dfrac{1}{x}$ とおいて $t$ の2次方程式に変換せよ。

(2) $a = -3, b = 5$ のとき、もとの方程式のすべての解を求めよ。

(3) もとの方程式が虚数解のみをもつ(実数解をもたない)ための $a, b$ の条件を求めよ。

▶ クリックして解答を表示
解答

(1) $x \neq 0$ で両辺を $x^2$ で割ると

$$x^2 + ax + b + \frac{a}{x} + \frac{1}{x^2} = 0$$

$$\left(x^2 + \frac{1}{x^2}\right) + a\left(x + \frac{1}{x}\right) + b = 0$$

$t = x + \dfrac{1}{x}$ とおくと $t^2 = x^2 + 2 + \dfrac{1}{x^2}$ より $x^2 + \dfrac{1}{x^2} = t^2 - 2$。代入して

$$t^2 - 2 + at + b = 0 \quad \Longrightarrow \quad t^2 + at + (b - 2) = 0 \quad \cdots (\ast)$$

(なお $x = 0$ は元の方程式の解ではない:代入すると $1 \neq 0$。よってこの変換で解を失わない。)

(2) $a = -3, b = 5$ のとき $(\ast)$ は $t^2 - 3t + 3 = 0$。

判別式 $D = 9 - 12 = -3 < 0$ より $t = \dfrac{3 \pm \sqrt{3}\,i}{2}$。

$t = \dfrac{3 + \sqrt{3}\,i}{2}$ のとき $x + \dfrac{1}{x} = \dfrac{3 + \sqrt{3}\,i}{2}$ すなわち

$2x^2 - (3 + \sqrt{3}\,i)x + 2 = 0$

$$x = \frac{(3 + \sqrt{3}\,i) \pm \sqrt{(3+\sqrt{3}\,i)^2 - 16}}{4}$$

$(3+\sqrt{3}\,i)^2 = 9 + 6\sqrt{3}\,i - 3 = 6 + 6\sqrt{3}\,i$ なので

$(3+\sqrt{3}\,i)^2 - 16 = -10 + 6\sqrt{3}\,i$

$t = \dfrac{3 - \sqrt{3}\,i}{2}$ からも同様に $\bar{t}$ の共役な解が得られる。

別解として、元の方程式 $x^4 - 3x^3 + 5x^2 - 3x + 1 = 0$ を因数分解する。

$(\ast)$ の $t^2 - 3t + 3 = 0$ の2つの解 $t_1, t_2$ に対し $x + \dfrac{1}{x} = t_k$ より $x^2 - t_k x + 1 = 0$。

よって $x^4 - 3x^3 + 5x^2 - 3x + 1 = (x^2 - t_1 x + 1)(x^2 - t_2 x + 1)$。

$t_1 + t_2 = 3$, $t_1 t_2 = 3$ より展開を確認すると

$= x^4 - (t_1+t_2)x^3 + (t_1 t_2 + 2)x^2 - (t_1+t_2)x + 1 = x^4 - 3x^3 + 5x^2 - 3x + 1$ ✓

各2次方程式 $x^2 - t_k x + 1 = 0$ の判別式は $t_k^2 - 4$。$t_k = \dfrac{3 \pm \sqrt{3}\,i}{2}$ はいずれも虚数なのですべての解は虚数。

実数係数に直すため $(x^2 - t_1 x + 1)(x^2 - t_2 x + 1)$ を実数係数の因数に書き直すと、4つの解はすべて虚数解である。

(3) の解答

(3) 元の方程式が実数解をもたない条件を考える。

$t$ の方程式 $t^2 + at + (b-2) = 0$ の解 $t_1, t_2$ を求め、それぞれに対して $x^2 - t_k x + 1 = 0$ が実数解をもたない条件を課す。

$x^2 - tx + 1 = 0$ が実数解をもつ条件は $t$ が実数かつ $t^2 - 4 \geq 0$、すなわち $t \leq -2$ または $t \geq 2$。

したがって、元の方程式が実数解をもたない条件は「$t^2 + at + (b-2) = 0$ の実数解で $|t| \geq 2$ なるものが存在しない」こと。

場合分けすると:

Case A:$t$ の方程式が実数解をもたない場合:$a^2 - 4(b-2) < 0$、すなわち $a^2 - 4b + 8 < 0$。

Case B:$t$ の方程式が実数解 $t_1, t_2$ をもつが、いずれも $|t| < 2$ の場合:

$a^2 - 4b + 8 \geq 0$ かつ $g(2) > 0$ かつ $g(-2) > 0$ かつ $-2 < -\dfrac{a}{2} < 2$($g(t) = t^2 + at + b - 2$)。

$g(2) = 4 + 2a + b - 2 = 2a + b + 2 > 0$

$g(-2) = 4 - 2a + b - 2 = -2a + b + 2 > 0$

$-2 < -\dfrac{a}{2} < 2$ より $-4 < a < 4$

よって、元の方程式が虚数解のみをもつ条件は

$$a^2 - 4b + 8 < 0 \quad \text{(Case A)}$$

または

$$a^2 - 4b + 8 \geq 0 \;\text{かつ}\; 2a + b + 2 > 0 \;\text{かつ}\; -2a + b + 2 > 0 \;\text{かつ}\; -4 < a < 4 \quad \text{(Case B)}$$

採点のポイント
  • (1) $x^2$ で割って $t$ の方程式に変換(4点)
  • (1) $x = 0$ が解でないことの確認(1点)
  • (2) $t$ の値の算出と $x$ の方程式への代入(4点)
  • (2) 因数分解による整理(3点)
  • (3) $x^2 - tx + 1 = 0$ が実数解をもつ条件の整理(3点)
  • (3) 場合分けと最終条件の導出(5点)