東大数理院試過去問解答例(2019A05)

102

ここでは東大数理の修士課程の院試の2019A05の解答例を解説していきます。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです。

2019A05

方程式 $z^{6} + 6 z + 20 = 0$ の解のうち、第一象限
$D = {z \in C | Re (z) > 0, Im (z) > 0}$
上にあるものの個数を求めなさい。

$f = z^{6} + 6 z + 20$ と置いたとき、これは実数根を持たない。また根全体の集合は共役で閉じている。よって $f$ の第一象限に於ける根の個数は $0, 1, 2, 3$ のいずれかである。

ここで $C$ 上の閉路 $C_{1} (L)$ を
$C_{11} = [0, L]$
$C_{12} = {L e^{i θ} | 0 \leq θ \leq \frac{π}{3}}$
$C_{13} = {r e^{i θ} | 0 \leq r \leq L}$
の和集合に反時計回りに向きを入れた閉路とする。このときまず
$\int_{C_{11}} \frac{d z}{f} = \int_{0}^{L} \frac{d z}{f}$
は $L \to \infty$ である正の値に収束する。次に $L$ を十分に大きくしたとき不等式
$\begin{aligned} | \int_{C_{12}} \frac{d z}{f} | & \leq \int_{0}^{\frac{π}{3}} | \frac{i L e^{i θ}}{L^{6} e^{i 6 θ} + 6 L e^{i θ} + 20} | d θ \\ \leq \int_{0}^{\frac{π}{3}} | \frac{L}{L^{6} - 6 L - 20} | d θ \end{aligned}$
が成り立つから、この式の右辺は(従って左辺も) $L \to \infty$ で $0$ に収束する。次に
$\begin{aligned} \int_{C_{13}} \frac{d z}{f} & = - \int_{0}^{L} \frac{e^{i \frac{π}{3}}}{r^{6} + 6 r e^{i \frac{π}{3}} + 20} d r \\ = - \int_{0}^{L} \frac{e^{i \frac{π}{3}} (r^{6} + 6 r e^{- i \frac{π}{3}} + 20)}{(r^{6} + 6 r e^{i \frac{π}{3}} + 20) (r^{6} + 6 r e^{- i \frac{π}{3}} + 20)} d r \\ = - \int_{0}^{L} \frac{6 r}{{| (r^{6} + 6 r e^{i \frac{π}{3}} + 20) (r^{6} + 6 r e^{- i \frac{π}{3}} + 20) |}^{2}} + \frac{r^{6} + 20}{{| (r^{6} + 6 r e^{i \frac{π}{3}} + 20) (r^{6} + 6 r e^{- i \frac{π}{3}} + 20) |}^{2}} e^{i \frac{π}{3}} d r \end{aligned}$
であり、この $L \to \infty$ に於ける極限の虚部は負である。以上をまとめると
$Im (lim_{L \to \infty} \int_{C_{1} (L)} \frac{d z}{f}) < 0$
がわかるから、特に $f$ は、充分大きな $L$ に対して、 $C_{1} (L)$ で囲まれた領域に少なくとも $1$ つ根を持つ。

次に $C_{2} (L)$ を
$C_{21} := {i r | 0 \leq r \leq L}$
$C_{22} := {r e^{i θ} | \frac{π}{2} \leq θ \leq \frac{2 π}{3}}$
$C_{23} := {r e^{i \frac{2 π}{3}} | 0 \leq r \leq L}$
の和集合に反時計回りの向きを入れた閉路とすると、
$\begin{aligned} \int_{C_{21}} \frac{i d r}{- r^{6} + 6 i r + 20} & = \int_{0}^{L} \frac{- r^{6} - 6 i r + 20}{| (- r^{6} + 6 i r + 20) (- r^{6} - 6 i r + 20) |} i d r \\ = \int_{0}^{L} \frac{6 r}{{| - r^{6} + 6 i r + 20 |}^{2}} - i \frac{r^{6} - 20}{{| - r^{6} + 6 i r + 20 |}^{2}} d r \end{aligned}$
$\begin{aligned} | \int_{C_{22}} \frac{d z}{f} | & \leq \int_{\frac{π}{2}}^{\frac{2 π}{3}} | \frac{i L e^{i θ}}{L^{6} e^{i 6 θ} + 6 L e^{i θ} + 20} | d θ \\ \leq \int_{\frac{π}{2}}^{\frac{2 π}{3}} | \frac{L}{L^{6} - 6 L - 20} | d θ & \overset{L \to \infty}{\to} 0 \end{aligned}$
$\begin{aligned} \int_{C_{23}} \frac{d z}{f} & = - \int_{0}^{L} \frac{e^{i \frac{2 π}{3}}}{r^{6} + 6 r e^{i \frac{2 π}{3}} + 20} d r \\ = - \int_{0}^{L} \frac{e^{i \frac{2 π}{3}} (r^{6} + 6 r e^{- i \frac{2 π}{3}} + 20)}{(r^{6} + 6 r e^{i \frac{2 π}{3}} + 20) (r^{6} + 6 r e^{- i \frac{2 π}{3}} + 20)} d r \\ = \int_{0}^{L} \frac{\frac{r^{6}}{2} - 6 r + 10}{{| (r^{6} + 6 r e^{i \frac{π}{3}} + 20) (r^{6} + 6 r e^{- i \frac{π}{3}} + 20) |}^{2}} - i \frac{\frac{\sqrt{3}}{2} (r^{6} + 20)}{{| (r^{6} + 6 r e^{i \frac{π}{3}} + 20) (r^{6} + 6 r e^{- i \frac{π}{3}} + 20) |}^{2}} d r \end{aligned}$
であることから
$Re (lim_{L \to \infty} \int_{C_{2} (L)} \frac{d z}{f}) > 0$
がわかり、特に $f$ は、充分大きな $L$ に対して、 $C_{2} (L)$ で囲まれた領域に少なくとも $1$ つ根を持つ。

次に
$C_{31} = C_{23}$
$C_{32} := {r e^{i θ} | \frac{2 π}{3} \leq θ \leq π}$
$C_{33} := [- L, 0]$
の和集合に反時計回りの向きを入れた閉路 $C_{3} (L)$ に上の $2$ つと同様の計算を行うことにより
$Im (lim_{L \to \infty} \int_{C_{1} (L)} \frac{d z}{f}) > 0$
であること、特に $f$ は、充分大きな $L$ に対して、 $C_{3} (L)$ で囲まれた領域に少なくとも $1$ つ根を持つ。