解答例と考え方｜2020年度｜京都大学｜理系数学問１

この記事では，2020年2月25日に行われた京都大学前期入試の「理系数学の問１」の考え方と解法を説明します．

この問題のポイントは，問１は

• $n$次方程式の虚数解の性質を適用できるか
• 複素平面上の正三角形を正しく捉えられるか

です．

複素共役や極形式など，複素平面上の考え方に慣れておかないと少し手こずるかもしれません．

問題

2020年度京都大学前期入試の「理系数学の問１」は以下の通りです．

複素数解をもつ方程式に関する問題です．

一般に，$z^n=c$型の方程式の解の表す複素数平面上の点は，原点中心，半径$\sqrt[n]{|c|}$の円周上に等間隔に並ぶことは知っておいて良いでしょう．

このことから，方程式$(*)$が$(z-\gamma)^3=c$の形に変形できれば，$\gamma$中心，半径$\sqrt[n]{|c|}$の円周上に等間隔に並ぶことになります．

こう考えると，$z^3+3az^2+bz+1=0$の左辺は部分的に3乗の因数分解ができて，$(z+a)^3=k$となることが期待されます．

もしこのように変形できたとすると，

   

となり，これを解くと$a=\sqrt[3]{\frac{1}{2}}$, $b=3\sqrt[3]{\frac{1}{4}}$, $k=-\frac{1}{2}$となります．

この考え方をすれば答えを求めるだけなら簡単に得られますが，「$z^n=c$型の方程式の解が，原点中心，半径$\sqrt[n]{c}$の円周上に等間隔に並ぶ」ことを証明なしに用いるのは怖いですし，証明するにしても少々面倒です．

そのため，実際の解答ではもっと平易な方法で解くのが無難でしょう．

なお，$z^n=c$型の方程式については，以下の記事で詳しく説明しています．

考え方

方程式$(*)$の虚数解の扱いがポイントです．

虚数解

まず，３つの複素数の表す複素平面上の点が正三角形をなすことから，このうちの少なくとも１つは実数ではありません．

したがって，条件から３次方程式$(*)$は虚数解をもちます．

ここで，実数係数の$n$次方程式の虚数解に関して，次の定理が成り立つことは大切ですね．

「実数係数の」という部分は欠かせません．たとえば，複素数係数の方程式$x^2+ix=0$は

   

となって，虚数解$-i$をもちますが，この共役複素数$i$は解ではありませんから，定理が成り立っていません．

このように，この定理は「実数係数の」$n$次方程式にしか成り立たないので，答案の中でこの定理を用いる際には「実数係数だから」と一言書いておくべきでしょう．

この定理から，方程式$(*)$の虚数解を$\alpha$とすると，$\alpha$の共役複素数$\overline{\alpha}$も方程式$(*)$の解であることが分かりますね．

また，残りの方程式$(*)$の解$p$は実数となります．

解と係数の関係

方程式$(*)$の係数は全て分かっており，３つの解も$\alpha$, $\overline{\alpha}$, $p$と表せているので，解と係数の関係から

   

が成り立つことはパッと思い付きたいところです．

複素数平面と共役複素数

いま未知数は$\alpha$, $p$, $a$, $b$の４つなので，[解と係数の関係]から得られた３つの等式からでは解くことができません．

そこで，まだ使っていない条件である３解が表す複素数平面上の点が正三角形を成すことから，もう１つ等式を作ることを考えましょう．

一般に，複素数平面上の互いに共役な複素数$z$, $\overline{z}$の表す点は実軸対称ですから，３解の表す複素数平面上の点は正三角形をなすので，例えば下図のようになります．

この図の場合，正三角形の一辺の長さが$\sqrt{3}a$なので，

   

となって，４つ目の等式が得られましたね．

ただ，実際には$\alpha$の虚部が正の場合もありうるので，見落とさないように注意してください．

解答

以下，解答例です．