東北大学 2019年度 後期日程 第2次学力試験理系（後期）数学 第6問

(1)
右辺の最後の項を展開する。$$\begin{array}{rl}{\displaystyle \mathrm{\mid }{z}_1\overline{w_2}-z_2\overline{w_1}{\mathrm{\mid }}^2}& {\displaystyle =(z_1\overline{w_2}-z_2\overline{w_1})(\overline{z_1}{w}_2-\overline{z_2}{w}_1)}\\ {\displaystyle }& {\displaystyle =\mathrm{\mid }{z}_1{\mathrm{\mid }}^2\mathrm{\mid }{w}_2{\mathrm{\mid }}^2+\mathrm{\mid }{z}_2{\mathrm{\mid }}^2\mathrm{\mid }{w}_1{\mathrm{\mid }}^2-z_1\overline{z_2}\overline{w_2}{w}_1-\overline{z_1}{z}_2{w}_2\overline{w_1}}\end{array}$$である。したがって$$\begin{array}{rl}{\displaystyle }& {\displaystyle (\mathrm{\mid }{z}_1{\mathrm{\mid }}^2+\mathrm{\mid }{z}_2{\mathrm{\mid }}^2)(\mathrm{\mid }{w}_1{\mathrm{\mid }}^2+\mathrm{\mid }{w}_2{\mathrm{\mid }}^2)-\mathrm{\mid }{z}_1\overline{w_2}-z_2\overline{w_1}{\mathrm{\mid }}^2}\\ {\displaystyle }& {\displaystyle =\mathrm{\mid }{z}_1{\mathrm{\mid }}^2\mathrm{\mid }{w}_1{\mathrm{\mid }}^2+\mathrm{\mid }{z}_2{\mathrm{\mid }}^2\mathrm{\mid }{w}_2{\mathrm{\mid }}^2+z_1{w}_1\overline{z_2{w}_2}+\overline{z_1{w}_1}{z}_2{w}_2}\\ {\displaystyle }& {\displaystyle =\mathrm{\mid }{z}_1{w}_1+z_2{w}_2{\mathrm{\mid }}^2}\end{array}$$である。よって示す等式が成り立つ。

(2)
(1)より、等式 (*) が成り立つことは $$\mathrm{\mid }{z}_1\overline{w_2}-z_2\overline{w_1}{\mathrm{\mid }}^2=0$$ すなわち $$z_1\overline{w_2}=z_2\overline{w_1}$$ と同値である。

図形全体を原点のまわりに回転しても、平行性や対称性は変わらない。そこで $w_1$ を正の実数としてよい。$\mathrm{\mid }{z}_1\mathrm{\mid }=\mathrm{\mid }{w}_1\mathrm{\mid }$ より、ある実数 $\theta$ を用いて $z_1=w_1{e}^{i\theta }$ と書ける。4点は互いに異なるので $z_1\mathrm{\ne }{w}_1$ であり、$e^{i\theta }\mathrm{\ne }1$ としてよい。等号条件から $$z_2=e^{i\theta }\overline{w_2}$$ である。

直線 $AB$ の方向を表す複素数は $$w_1-z_1=w_1(1-e^{i\theta })$$ である。一方、$w_2=\rho e^{i\varphi }$ と書けば$$w_2-z_2=\rho e^{i\varphi }-\rho e^{i(\theta -\varphi )}=2i\rho e^{i\theta \mathrm{/}2}\sin (\varphi -\frac{\theta }{2})$$であり、$$w_1-z_1=-2i{w}_1{e}^{i\theta \mathrm{/}2}\sin \frac{\theta }{2}$$ である。したがって $w_2-z_2$ と $w_1-z_1$ の比は実数である。よって2つの直線 $AB$ と $CD$ は平行である。

(3)
(2)と同じ表示を用いる。直線 $$\arg z=\frac{\theta }{2}$$ を考える。この直線に関する反射は、複素数 $z$ を $z\mapsto e^{i\theta }\bar{z}$ へ移す操作である。 $w_1$ は正の実数であり、$$z_1=e^{i\theta }\overline{w_1}$$ であるから、点Aと点Bはこの直線に関して対称である。また $$z_2=e^{i\theta }\overline{w_2}$$ であるから、点Cと点Dも同じ直線に関して対称である。

4点が同一直線上にないなら、これら4点は退化せず、2組の対称な点の組として1つの四角形の頂点になる。したがって、4点 $A,B,C,D$ はある直線に関して対称な四角形の頂点となる。

(1) の等式から等号条件を取り出す。$\mathrm{\mid }{z}_1\mathrm{\mid }=\mathrm{\mid }{w}_1\mathrm{\mid }$ を使って絶対値1の複素数 $\eta =z_1\mathrm{/}\overline{w_1}$ を作ると、2組の点が同じ写像 $z\mapsto \eta \bar{z}$ で移り合うことが分かる。

(1)
右辺を展開すると$$\begin{array}{rl}{\displaystyle }& {\displaystyle (\mathrm{\mid }{z}_1{\mathrm{\mid }}^2+\mathrm{\mid }{z}_2{\mathrm{\mid }}^2)(\mathrm{\mid }{w}_1{\mathrm{\mid }}^2+\mathrm{\mid }{w}_2{\mathrm{\mid }}^2)-\mathrm{\mid }{z}_1\overline{w_2}-z_2\overline{w_1}{\mathrm{\mid }}^2}\\ {\displaystyle }& {\displaystyle =\mathrm{\mid }{z}_1{w}_1{\mathrm{\mid }}^2+\mathrm{\mid }{z}_2{w}_2{\mathrm{\mid }}^2+z_1{w}_1\overline{z_2{w}_2}+\overline{z_1{w}_1}{z}_2{w}_2}\\ {\displaystyle }& {\displaystyle =\mathrm{\mid }{z}_1{w}_1+z_2{w}_2{\mathrm{\mid }}^2\mathrm{.}}\end{array}$$(2)
(1)と等式(*)から$$z_1\overline{w_2}=z_2\overline{w_1}$$を得る。もし $w_1=0$ なら (**) から $z_1=0$ となってAとBが一致するので、$w_1\mathrm{\ne }0$ である。そこで$$\eta =\frac{z_1}{\overline{w_1}}$$とおく。(**)より $\mathrm{\mid }\eta \mathrm{\mid }=1$ であり、$$z_1=\eta \overline{w_1},z_2=\eta \overline{w_2}\mathrm{.}$$写像$$T(z)=\eta \bar{z}$$は、$\eta =e^{i\theta }$ と書けば直線 $\arg z=\theta \mathrm{/}2$ に関する反射である。したがって線分ABとCDはいずれもこの反射軸に垂直であり、$$AB\parallel CD\mathrm{.}$$(3)
上で作った同じ反射 $T$ が$$T(w_1)=z_1,T(w_2)=z_2$$を満たす。すなわちAとB、CとDは同一の直線に関してそれぞれ対称である。4点が同一直線上にないという条件により退化しない四角形を作るので、4点はこの直線に関して対称な四角形の頂点となる。