こんにちは、リンス(@Lins016)です。
今回は共役複素数と共役複素数の応用について学習していこう。
共役複素数といろいろな形の共役
今回は共役複素数といろいろな形の複素数の共役を勉強していくんだけど、試験に出る範囲っていうより知識としてきちんと押さえといて欲しいところになる。
だからすでに知ってるって人はさらっと読めばいいし、初めて聞いたって人は、自分で数値を代入したりして勉強して欲しい。
\(\small{ \ z=a+bi \ }\)(\(\small{ \ a, \ b \ }\)は実数)
\(\small{ \ \overline{z}=a-bi \ }\)
\(\small{\begin{eqnarray} \ z\overline{z}&=&(a+bi)(a-bi)\\
&=&a^2+b^2 \ \end{eqnarray}}\)
\(\small{ \ \overline{z}=z \ }\)のとき\(\small{ \ z \ }\)は実数
\(\small{ \ \overline{z}=-z \ }\)のとき\(\small{ \ z \ }\)は純虚数
\(\small{ \ z=\alpha+\beta \ }\)のとき
\(\small{ \ \overline{z}=\overline{\alpha}+\overline{\beta} \ }\)
\(\small{ \ z=\alpha-\beta \ }\)のとき
\(\small{ \ \overline{z}=\overline{\alpha}-\overline{\beta} \ }\)
\(\small{ \ z=\alpha\beta \ }\)のとき
\(\small{ \ \overline{z}=\overline{\alpha}\overline{\beta} \ }\)
\(\small{ \ z=\displaystyle \frac{\alpha}{\beta} \ }\)のとき
\(\small{ \ \overline{z}=\overline{\left(\displaystyle \frac{\alpha}{\beta}\right)}=\displaystyle \frac{\overline{\alpha}}{\overline{\beta}} \ }\)
共役複素数とは
複素数の虚部の符号が異なる複素数を共役であるっていうんだ。
つまり\(\small{ \ z=a+bi \ }\)の共役な複素数は\(\small{ \ a-bi \ }\)になる。
これを共役複素数っていって、\(\small{ \ \overline{z} \ }\)って書くからね。
実数と純虚数の共役複素数
実数は虚部が\(\small{ \ 0 \ }\)だから共役複素数も同じ値になるよね。
だから\(\small{ \ \overline{z}=z \ }\)なら\(\small{ \ z \ }\)は実数になる。
これに対して純虚数は共役がマイナスをつけた値になるよね。
だから\(\small{ \ \overline{z}=-z \ }\)なら\(\small{ \ z \ }\)は純虚数になるからね。
どっちも大切な式だからきちんと押さえておこう。
共役複素数と解の公式
\(\small{ \ ax^2+bx+c=0 \ }\)の二次方程式を解くと
\(\small{ \ x=\displaystyle\frac{-b\pm\sqrt{b^2-4ac}}{2a} \ }\)になるよね。
\(\small{ \ b^2-4ac \lt 0 \ }\)だと、この二次方程式の解は虚数解になる。
\(\small{ \ b^2-4ac=-D(D\gt0) \ }\)とするとその解は
\(\small{ \ x=\displaystyle\frac{-b\pm\sqrt{D}i}{2a} \ }\)になるから、この二つの解は共役になる。
つまり二次方程式が二つの虚数解をもつとき、この方程式の二つの解は常に共役になるんだ。
\(\small{ \ x=1+i \ }\)が二次方程式\(\small{ \ x^2+ax+b=0 \ }\)の解であるとき、実数\(\small{ \ a, \ b \ }\)の値を求めよ。
また、他の解は\(\small{ \ x=1-i \ }\)であることを証明せよ。
\(\small{ \ 1+i \ }\)を方程式に代入すると
\(\small{ \ (1+i)^2+a(1+i)+b=0 \ }\)
\(\small{ \ a+b+(2+a)i=0 \ }\)
\(\small{ \ a+b,2+a \ }\)ともに実数より
\(\small{\begin{eqnarray}
\left\{
\begin{array}{l}
a+b=0\\
2+a=0 \end{array}
\right.
\end{eqnarray} \ }\)
これを解いて\(\small{ \ a=-2, \ b=2 \ }\)
二次方程式は
\(\small{ \ x^2-2x+2=0 \ }\)になるから
\(\small{\begin{eqnarray} \ x&=&\displaystyle\frac{2\pm\sqrt{4-4\cdot2}}{2}\\
&=&1\pm i \ \end{eqnarray}}\)
よって他の解は\(\small{ \ 1-i \ }\)である。
和と差と積と商の共役
和と差と積と商の共役複素数は数学Ⅲの「複素数平面」でよく利用する計算だけど、数学Ⅱで出題されても問題ないからきちんと押さえておこう。
\(\small{ \ \alpha=a+bi, \ \beta=c+di \ }\)(\(\small{ \ a, \ b, \ c, \ d \ }\)は実数)とする。
・和の共役
\(\small{ \ z=\alpha+\beta \ }\)のとき
\(\small{\begin{eqnarray} \ \alpha+\beta&=&(a+bi)+(c+di)\\
&=&(a+c)+(b+d)i \ \end{eqnarray}}\)
\(\small{\begin{eqnarray} \ \overline{\alpha}+\overline{\beta}&=&(a-bi)+(c-di)\\
&=&(a+c)-(b+d)i \ \end{eqnarray}}\)
つまり\(\small{ \ \overline{z}=\overline{\alpha}+\overline{\beta} \ }\)が成り立つ。
・差の共役
\(\small{ \ z=\alpha-\beta \ }\)のとき
\(\small{\begin{eqnarray} \ \alpha+\beta&=&(a+bi)-(c+di)\\
&=&(a-c)+(b-d)i \ \end{eqnarray}}\)
\(\small{\begin{eqnarray} \ \overline{\alpha}-\overline{\beta}&=&(a-bi)-(c-di)\\
&=&(a-c)-(b-d)i \ \end{eqnarray}}\)
つまり\(\small{ \ \overline{z}=\overline{\alpha}-\overline{\beta} \ }\)が成り立つ。
・積の共役
\(\small{ \ z=\alpha \beta \ }\)のとき
\(\small{\begin{eqnarray} \ \alpha \beta&=&(a+bi)(c+di)\\
&=&(ac-bd)+(ad+bc)i \ \end{eqnarray}}\)
\(\small{\begin{eqnarray} \ \overline{\alpha}\overline{\beta}&=&(a-bi)(c-di)\\
&=&(ac-bd)-(ad+bc)i \ \end{eqnarray}}\)
つまり\(\small{ \ \overline{z}=\overline{\alpha}\overline{\beta} \ }\)が成り立つ。
・商の共役
\(\small{ \ z=\displaystyle\frac{\alpha}{\beta} \ }\)のとき
\(\small{\begin{eqnarray} \ \displaystyle\frac{\alpha}{\beta}&=&\displaystyle\frac{a+bi}{c+di}\\
&=&\displaystyle\frac{(a+bi)(c-di)}{(c+di)(c-di)}\\
&=&\displaystyle\frac{ac+bd}{c^2+d^2}+\displaystyle\frac{bc-ad}{c^2+d^2}i \ \end{eqnarray}}\)
\(\small{\begin{eqnarray} \ \displaystyle\frac{\overline{\alpha}}{\overline{\beta}}&=&\displaystyle\frac{a-bi}{c-di}\\
&=&\displaystyle\frac{(a-bi)(c+di)}{(c-di)(c+di)}\\
&=&\displaystyle\frac{ac+bd}{c^2+d^2}-\displaystyle\frac{bc-ad}{c^2+d^2}i \ \end{eqnarray}}\)
つまり\(\small{ \ \overline{z}=\displaystyle\frac{\overline{\alpha}}{\overline{\beta}} \ }\)が成り立つ。
Point 共役複素数と共役複素数の応用
①共役複素数の計算をマスターしよう
②実数係数の方程式が\(\small{ \ z \ }\)を解に持つなら\(\small{ \ \overline{z} \ }\)も解にもつことを覚えておこう
実数係数の\(\small{ \ n \ }\)次方程式
\(\small{ \ a_nx^n+a_{n-1}x^{n-1}+\cdots+a_1x+a_0=0 \ }\)
が虚数解\(\small{ \ z \ }\)を解にもつならば、この\(\small{ \ n \ }\)次方程式は\(\small{ \ \overline{z} \ }\)も解に持つことを示せ。
両辺の共役複素数をとると
\(\small{ \ \overline{a_nx^n}+ \overline{a_{n-1}x^{n-1}}+\cdots+\overline{a_1x}+ \overline{a_0}=0 \ }\)
ここで\(\small{ \ a_k(k=0, \ 1, \ 2,\cdots, \ n) \ }\)は実数より
\(\small{ \ a_n(\overline{x})^n+a_{n-1} (\overline{x})^{n-1}+\cdots+a_1(\overline{x})+a_0=0 \ }\)
これは\(\small{ \ \overline{z} \ }\)が
の解であることを示している。
よって
が虚数解\(\small{ \ z \ }\)をもつならば、この\(\small{ \ n \ }\)次方程式は\(\small{ \ \overline{z} \ }\)も解に持つ。
またこの問題から、
「実数係数の\(\small{ \ n \ }\)次方程式が\(\small{ \ z \ }\)を解に持つなら、\(\small{ \ \overline{z} \ }\)も解である」ってことがいえる。
実数係数じゃないと成り立たないから注意してね。
