【第3回垂れ流し数学模試】第6問解説

皆さんこんにちは!
TomoKです。

第3回垂れ流し数学模試の解説記事、 いよいよ今回はラスト、第6問の解説です。

---

第6問

問題

互いに異なる複素数$\alpha, \beta, \gamma$があり, そのいずれも0とは異なるとする.
複素平面上の4点$0, \alpha, \beta, \gamma$がある円周$C$上にあるとする.

(1) 3点$\dfrac{1}{\alpha}, \dfrac{1}{\beta}, \dfrac{1}{\gamma}$は同一直線上にあることを示せ.

(2) $C$の半径を$r$とするとき, (1)の直線と点$0$との距離を, $r$を用いて表せ.

第6問は複素平面に関する問題です。

複素平面は今回が初登場でした。
複素数の計算だけでなく、積・商と拡縮・回転との関係をよく理解したうえで、
平面図形の性質も生かせないか考えるのも大事だと思います。

解答のために考えること

円$C$の中心の表す複素数を$\delta$とすると、$|\delta|=|\delta-\alpha|=|\delta-\beta|=|\delta-\gamma|$が成り立ちます。

$w=\dfrac{1}{\alpha}$とおいて、まず$w$と$\delta$がどんな関係を持つのかを導きましょう。

(1)については、複素数の計算のみで示す方法と、座標平面の問題に持ち込んで解く方法を、別解で上げておきます。

(2)では、中心$\delta$が固定されると、$C$上の$\alpha$, $\beta$, $\gamma$の位置にかかわらず
$\dfrac{1}{\alpha}, \dfrac{1}{\beta}, \dfrac{1}{\gamma}$がの存在する直線が不変であることを利用して求めることができるので、
こちらも別解に挙げておきます。

解答

(1)
$C$の中心を表す複素数を$\delta$とすると、
$C$が4点$0, \alpha, \beta, \gamma$を通ることより、 \[|\delta|=|\delta-\alpha|=|\delta-\beta|=|\delta-\gamma|\] が成り立つ。
また、$\alpha\neq 0$, $\beta\neq 0$, $\gamma\neq 0$により、$\delta\neq 0$である。

$w=\dfrac{1}{\alpha}$とおくと、$|\delta|=\left|\delta-\dfrac{1}{w}\right|$より、 \[|w\delta|=|w\delta-1|\] したがって、複素平面上の点$w\delta$は、2点$0$, $1$の両方から等距離にある。
つまり、点$w\delta$は2点$0$, $1$を両端とする線分の垂直二等分線$l$上にある。

$w=\dfrac{w\delta}{\delta}$である。
よって、$l$を点$w\delta$を点$0$中心に$\dfrac{1}{\delta}$倍に拡大(縮小)し、
さらに点$0$中心に$\dfrac{1}{\delta}$の偏角だけ回転させた直線を$l'$とすれば、$w=\dfrac{1}{\alpha}$は$l'$上にある。

同様にすれば、$\dfrac{1}{\beta}$, $\dfrac{1}{\gamma}$もこの直線$l'$上にある。
この直線$l'$は$\delta$のみによって決まり、$\alpha$, $\beta$, $\gamma$の$C$上の位置にはよらない。

以上により、3点$\dfrac{1}{\alpha}, \dfrac{1}{\beta}, \dfrac{1}{\gamma}$は、同一直線$l'$上にある。 (終)

(2)
(1)の議論において、$l$と点$0$との距離は$\dfrac{1}{2}$であるから、直線$l'$と点$0$との距離は$\dfrac{1}{2|\delta|}$である。

$C$の半径が$r$であることから$|\delta|=r$なので、求める距離は、$\bold{\dfrac{1}{2r}}$

以下、別解です。
別解1は複素数の計算を駆使して示す方法です。

(2)では唐突に$2\delta$が出てきますが、$\delta$が円の中心であることを踏まえると、
$2\delta$と0を両端とする線分は円の直径になり、円上で0との距離が最大になります。
0と(1)の直線との距離とは、直線上の点と0との距離のうち最小のものなので、
$\dfrac{1}{2\delta}$と0との距離が求める距離になることが予想できます。

ただしこれを言うためには、厳密には(1)の直線の任意の点が、逆数にすることで$C$上に戻ることを示さないといけません。
実際その通りで、それを示すことはそこまで難しくはないでしょうが、
そこまでしなくても、2点$0$, $\dfrac{1}{2\delta}$を通過する直線が(1)の直線に垂直であることを示せば、求めるものに対しては十分です。

別解1

(1)
$\dfrac{\frac{1}{\beta}-\frac{1}{\alpha}}{\frac{1}{\gamma}-\frac{1}{\alpha}}$が実数であることを示せばよい。

$C$の中心を表す複素数を$\delta$とすると、
$C$が4点$0, \alpha, \beta, \gamma$を通ることより、 \[|\delta|=|\delta-\alpha|=|\delta-\beta|=|\delta-\gamma| (\cdots ①)\] が成り立つ。
また、$\alpha\neq 0$, $\beta\neq 0$, $\gamma\neq 0$により、$\delta\neq 0$である。

①より、$\left|\dfrac{\delta}{\alpha}-1\right|=\left|\dfrac{\delta}{\alpha}\right|$
よって、 \[\begin{aligned} \left|\dfrac{\delta}{\alpha}-1\right|^2&=\left|\dfrac{\delta}{\alpha}\right|^2\\ \left(\dfrac{\delta}{\alpha}-1\right)\left(\dfrac{\overline{\delta}}{\overline{\alpha}}-1\right)&=\dfrac{\delta \overline{\delta}}{\alpha \overline{\alpha}}\\ \dfrac{\delta}{\alpha}+\dfrac{\overline{\delta}}{\overline{\alpha}}&=1 \end{aligned} \] (ただし、複素数$z$に対し、$z$の共役複素数を$\overline{z}$で表す)
同様にして、 $\left|\dfrac{\delta}{\beta}-1\right|=\left|\dfrac{\delta}{\beta}\right|$より$\dfrac{\delta}{\beta}+\dfrac{\overline{\delta}}{\overline{\beta}}=1$,   $\left|\dfrac{\delta}{\gamma}-1\right|=\left|\dfrac{\delta}{\gamma}\right|$より$\dfrac{\delta}{\gamma}+\dfrac{\overline{\delta}}{\overline{\gamma}}=1$
よって、 \[\dfrac{\delta}{\alpha}+\dfrac{\overline{\delta}}{\overline{\alpha}}=\dfrac{\delta}{\beta}+\dfrac{\overline{\delta}}{\overline{\beta}}=\dfrac{\delta}{\gamma}+\dfrac{\overline{\delta}}{\overline{\gamma}}=1\]
したがって、
$\dfrac{\delta}{\beta}+\dfrac{\overline{\delta}}{\overline{\beta}}=\dfrac{\delta}{\alpha}+\dfrac{\overline{\delta}}{\overline{\alpha}}$より、$\left(\dfrac{\delta}{\beta}-\dfrac{\delta}{\alpha}\right)+\left(\dfrac{\overline{\delta}}{\overline{\beta}}-\dfrac{\overline{\delta}}{\overline{\alpha}}\right)=0$
$\dfrac{\delta}{\gamma}+\dfrac{\overline{\delta}}{\overline{\gamma}}=\dfrac{\delta}{\alpha}+\dfrac{\overline{\delta}}{\overline{\alpha}}$より、$\left(\dfrac{\delta}{\gamma}-\dfrac{\delta}{\alpha}\right)+\left(\dfrac{\overline{\delta}}{\overline{\gamma}}-\dfrac{\overline{\delta}}{\overline{\alpha}}\right)=0$

よって、ある実数$k$,$l$があって, \[\dfrac{\delta}{\beta}-\dfrac{\delta}{\alpha}=ki,\quad \dfrac{\delta}{\gamma}-\dfrac{\delta}{\alpha}=li\] と書けるが、$\alpha$, $\beta$, $\gamma$はいずれも異なり, かつ$\delta\neq 0$だから、$k$, $l$はいずれも0ではない。

これより、$\dfrac{1}{\beta}-\dfrac{1}{\alpha}=\dfrac{ki}{\delta}$,  $\dfrac{1}{\gamma}-\dfrac{1}{\alpha}=\dfrac{li}{\delta}$であるから、 \[\dfrac{\frac{1}{\beta}-\frac{1}{\alpha}}{\frac{1}{\gamma}-\frac{1}{\alpha}}=\dfrac{\frac{ki}{\delta}}{\frac{li}{\delta}}=\dfrac{k}{l}\] は実数であり、$\dfrac{1}{\alpha}, \dfrac{1}{\beta}, \dfrac{1}{\gamma}$は、同一直線上にある。(終)

(2)
(1)の直線を$l$とする。
$\alpha$, $\beta$を固定して、$\gamma$を$C$上の$0$, $\alpha$, $\beta$以外のどの位置においても、
$\dfrac{1}{\gamma}$は2点$\dfrac{1}{\alpha}, \dfrac{1}{\beta}$の通過する直線$l$上にある。

同様に、$\alpha$, $\beta$, $\gamma$のうちどの2つを固定して残りの1つを、固定した2点と0以外の$C$上のどこにおいても、(1)の直線は不変である。
したがって、(1)の$\dfrac{1}{\alpha}, \dfrac{1}{\beta}, \dfrac{1}{\gamma}$が存在する直線は、
$C$の中心$\delta$のみによって決まり、互いに異なる$\alpha$, $\beta$, $\gamma$の$C$上の0以外の位置にはよらない。

よって、$C$上の0でない点$2\delta$に対し、$\dfrac{1}{2\delta}$も$l$上にあり、(1)の実数$l$について、 \[\dfrac{0-\frac{1}{2\delta}}{\frac{1}{\gamma}-\frac{1}{\alpha}}=-\dfrac{1}{2\delta\cdot \frac{li}{\delta}}=\dfrac{i}{l}\] は純虚数となるから、0と$\dfrac{1}{2\delta}$を通る直線は$l$に垂直で、$l$と点0との距離は$\dfrac{1}{2|\delta|}$に等しい。

$C$の半径が$r$であることから$|\delta|=r$なので、求める距離は、$\bold{\dfrac{1}{2r}}$

別解2は、座標平面に置き換えて求める解法です。

別解2

(1)
複素平面の実軸を$x$軸、虚軸を$y$軸とする$xy$平面を考える。
ただし、$x$軸の正の向きは実軸の正の向き、$y$軸の正の向きは虚軸の正の向きである。

このとき、$p$, $q$を実数として、複素平面上の点$p+qi$は、$xy$平面上の点$(p,q)$に対応する。
さらに$p, q$の少なくとも一方が0でないとき、
$p+qi$の逆数$\dfrac{1}{p+qi}=\dfrac{p-qi}{p^2+q^2}$を表す複素平面上の点は$xy$平面上の点$\left(\dfrac{p}{p^2+q^2}, -\dfrac{q}{p^2+q^2}\right)$に対応している。

$\alpha=x_\alpha+y_\alpha i$, $\beta=x_\beta+y_\beta i$, $\gamma=x_\gamma+y_\gamma i$とおく。
ただし、$x_\alpha$, $y_\alpha$, $x_\beta$, $y_\beta$, $x_\gamma$, $y_\gamma$はすべて実数で、
$x_\alpha$, $y_\alpha$のいずれか, $x_\beta$, $y_\beta$のいずれか, $x_\gamma$, $y_\gamma$のいずれかは、それぞれ0でない。

このとき、$xy$平面上で、$\alpha$, $\beta$, $\gamma$に対応するのは、それぞれ、
${\rm P}(x_\alpha, y_\alpha)$, ${\rm Q}(x_\beta, y_\beta)$, ${\rm R}(x_\gamma, y_\gamma)$であり、
さらに$\dfrac{1}{\alpha}, \dfrac{1}{\beta}, \dfrac{1}{\gamma}$が対応するのは、それぞれ
${\rm P'}\left(\dfrac{x_\alpha}{{x_\alpha}^2+{y_\alpha}^2}, -\dfrac{y_\alpha}{{x_\alpha}^2+{y_\alpha}^2}\right)$, ${\rm Q'}\left(\dfrac{x_\beta}{{x_\beta}^2+{y_\beta}^2}, -\dfrac{y_\beta}{{x_\beta}^2+{y_\beta}^2}\right)$, ${\rm R'}\left(\dfrac{x_\gamma}{{x_\gamma}^2+{y_\gamma}^2}, -\dfrac{y_\gamma}{{x_\gamma}^2+{y_\gamma}^2}\right)$である。

さらに、円$C$の中心に対応する$xy$平面の点を${\rm D}(s, t)$ ($s$, $t$は実数)とおくと、$s$, $t$のいずれか一方は0ではなく、
円$C$は$\rm D$を中心として原点${\rm O}(0, 0)$を通過する円$(x-s)^2+(y-t)^2=s^2+t^2\quad (\cdots ①)$に対応する。

以上の設定において、$\rm P$, $\rm Q$, $\rm R$が円①上の互いに異なる3点であるとき、
$\rm P'$, $\rm Q'$, $\rm R'$が同一直線状にあることを示せばよい。

①の方程式を変形すると、
$x^2-2sx+s^2+y^2-2ty+t^2=s^2+t^2$より、$x^2+y^2=2(sx+ty)$

$\rm P$が円①上にあるので、${x_\alpha}^2+{y_\alpha}^2=2(sx_\alpha+ty_\alpha)$
よって、$\rm P'$の座標は$\left(\dfrac{x_\alpha}{2(sx_\alpha+ty_\alpha)}, -\dfrac{y_\alpha}{2(sx_\alpha+ty_\alpha)}\right)$と書けるが、 \[2s\cdot \left(\dfrac{x_\alpha}{2(sx_\alpha+ty_\alpha)}\right)-2t\cdot \left(-\dfrac{y_\alpha}{2(sx_\alpha+ty_\alpha)}\right)=\dfrac{2sx_\alpha+2ty_\alpha}{2(sx_\alpha+ty_\alpha)}=1\] であるから、$\rm P'$は直線$2sx-2ty=1$上にある。

$\rm Q$, $\rm R$も$C$上にあるから、上と同様にすることで、$\rm Q'$, $\rm R'$も直線$2sx-2ty=1$上にあることがわかる。

以上より、$\rm P'$, $\rm Q'$, $\rm R'$はすべて直線$2sx-2ty=1$上にあるから、複素平面の$\dfrac{1}{\alpha}, \dfrac{1}{\beta}, \dfrac{1}{\gamma}$も同一直線上にある。(終)

(2)
(1)で、$C$の半径が$r (> 0)$のとき、$s^2+t^2=r^2$より$\sqrt{s^2+t^2}=r$である。
求める距離は、$xy$平面上でのOと直線$2sx-2ty=1\ \Leftrightarrow\ 2sx-2ty-1=0$との距離に等しく、その距離は、 \[\dfrac{|2s\cdot0-2t\cdot 0-1|}{\sqrt{(2s)^2+(-2t)^2}}=\dfrac{1}{2\sqrt{s^2+t^2}}=\bold{\dfrac{1}{2r}}\]

ということで、第3回垂れ流し模試の解説は今回でラストになりました。

入試が近い時期で、まあ今年は例年とは事情が違う中で緊張されているかもしれません。

それでも、今まで勉強してきたこと、それから残り本番までの間にやったことがすべてになります。
足りないと思うところがあれば、本番までにできる限り復習しておき、万全に近い形で臨んでくれたらと思います。
是非栄冠を自分のその手でつかみ取ってくださいね!!

それでは今回はここまでです。
ここまでお読みいただきありがとうございました。
ではまた!