.png)
複素数$z=a+bi,w=c+di$ $(a,b,c,d:実数)$について、それぞれの共役複素数は$\bar{z}=a-bi,\bar{w}=c-di$となります。
極形式で$z,w$を表すと
\begin{align*}z&=r_1(\cos\theta+i\sin\theta)=r_1e^{i\theta}\\[0.5em]w&=r_2(\cos\phi+i\sin\phi)=r_2e^{i\phi}\\
&\left(\begin{aligned}ただし、r_1=\sqrt{a^2+b^2},&\
r_2=\sqrt{c^2+d^2}\\[0.5em]\cos\theta=\frac{a}{r_1},&\
\sin\theta=\frac{b}{r_1}\\[0.5em]\cos\phi=\frac{c}{r_2},&\
\sin\phi=\frac{d}{r_2}\end{aligned}\right)\end{align*}
となり、それぞれの共役複素数は偏角の符号が逆転した
\begin{align*}\bar{z}&=r_1\bigl\{\cos(-\theta)+i\sin(-\theta)\bigr\}=r_1e^{-i\theta}\\[0.5em]\bar{w}&=r_2\bigl\{\cos(-\phi)+i\sin(-\phi)\bigr\}=r_2e^{-i\phi}\end{align*}
となります。
これらをもちいて共役複素数の性質とそれらが成り立つことを見ていきます。
1. 複素数$z$が実数のとき
\[\Large z=\bar{z}\]
$z$が実数のとき$b=0$なので
\begin{align*}z&=a+0i=\textcolor{red}{a}\\[1.5em]\bar{z}&=a-0i=\textcolor{red}{a}\end{align*}
となり、成り立ちます。
2. 共役複素数の和・差
\[\Large\overline{z\pm w}=\bar{z}\pm\bar{w}\quad(複号同順)\]
左辺と右辺についてそれぞれ直交形式で表すと
\begin{align*}z\pm w&=(a+bi)\pm(c+di)\\[0.5em]&=(a\pm c)+(b\pm
d)i\\[1em]&\therefore\overline{z\pm w}=\textcolor{red}{(a\pm
c)-(b\pm
d)i}\\[1.5em]\bar{z}\pm\bar{w}&=(a-bi)\pm(c-di)\\[0.5em]&=\textcolor{red}{(a\pm
c)-(b\pm d)i}&(複号同順)\end{align*}
となるため成り立ちます。
3. 共役複素数の積
\[\Large \overline{zw}=\bar{z}\bar{w}\]
左辺と右辺についてそれぞれオイラーの公式を利用して表すと
\begin{align*}zw&=r_1e^{i\theta}\cdot
r_2e^{i\phi}\\[0.5em]&=r_1r_2e^{i(\theta+\phi)}\\[1em]&\therefore\overline{zw}=\textcolor{red}{r_1r_2e^{-i(\theta+\phi)}}\\[1.5em]\bar{z}\bar{w}&=r_1e^{-i\theta}\cdot
r_2e^{-i\phi}\\[0.5em]&=r_1r_2e^{-i\theta-i\phi}\\[0.5em]&=\textcolor{red}{r_1r_2e^{-i(\theta+\phi)}}\end{align*}
となるため成り立ちます。
4. 共役複素数の商
\[\Large \overline{\frac{z}{w}}=\frac{\bar{z}}{\bar{w}}\quad(ただしw\neq0)\]
左辺と右辺についてそれぞれオイラーの公式を利用して表すと
\begin{align*}\frac{z}{w}&=\frac{r_1e^{i\theta}}{r_2e^{i\phi}}\\[0.5em]&=\frac{r_1}{r_2}e^{i(\theta-\phi)}\\[1em]&\therefore\overline{\frac{z}{w}}=\textcolor{red}{\frac{r_1}{r_2}e^{-i(\theta-\phi)}}\\[1.5em]\frac{\bar{z}}{\bar{w}}&=\frac{r_1e^{-i\theta}}{r_2e^{-i\phi}}\\[0.5em]&=\frac{r_1}{r_2}e^{-i\theta+i\phi}\\[0.5em]&=\textcolor{red}{\frac{r_1}{r_2}e^{-i(\theta-\phi)}}&\left(\begin{aligned}ただし、r_2\neq0\\
すなわちw\neq0\end{aligned}\right)\end{align*}
となるため成り立ちます。
5. 共役複素数のべき乗
\[\Large \overline{z^n}=\left(\bar{z}\right)^n\quad(n:整数)\]
左辺と右辺についてそれぞれオイラーの公式を利用して表すと
\begin{align*}z^n&=\left(r_1e^{i\theta}\right)^n\\[0.5em]&={r_1}^ne^{in\theta}\\[1em]&\therefore\overline{z^n}=\textcolor{red}{{r_1}^ne^{-in\theta}}\\[1.5em]\left(\bar{z}\right)^n&=\left(r_1e^{-i\theta}\right)^n\\[0.5em]&=\textcolor{red}{{r_1}^ne^{-in\theta}}\end{align*}
となるため成り立ちます。
6. 共役複素数の共役複素数
\[\Large \bar{\bar{z}}=z\]
共役複素数は虚部の正負が反転することから
\begin{align*}\bar{\bar{z}}&=a-(-b)i\\[0.5em]&=a+bi\end{align*}
となるため成り立ちます。
7. 複素数と共役複素数の積
\[\Large z\bar{z}=|z|^2\]
左辺を直交形式で計算してみると
\begin{align*}z\bar{z}&=(a+bi)(a-bi)\\[0.5em]&=a^2-(bi)^2\\[0.5em]&=a^2+b^2\end{align*}
ここで、複素数の絶対値は$|z|=\sqrt{a^2+b^2}$であるから右辺と一致します。
8. 共役複素数の大きさ
\[\Large |z|=|\bar{z}|\]
6.、7.を利用して右辺と左辺について直交形式で表すと
\begin{align*}|z|&=\sqrt{z\bar{z}}\\[0.5em]&=\sqrt{(a+bi)(a-bi)}\\[0.5em]&=\textcolor{red}{\sqrt{a^2+b^2}}\\[1.5em]|\bar{z}|&=\sqrt{\bar{z}\bar{\bar{z}}}\\[0.5em]&=\sqrt{\bar{z}z}\\[0.5em]&=\sqrt{(a-bi)(a+bi)}\\[0.5em]&=\textcolor{red}{\sqrt{a^2+b^2}}\end{align*}
となるため成り立ちます。
9. 複素数の逆数
\[\Large \frac{1}{z}=\frac{\bar{z}}{|z|^2}\quad(ただしz\neq0)\]
左辺の分母と分子に$\bar{z}$を掛けて7.を利用すると
\begin{align*}\frac{1}{z}&=\frac{\bar{z}}{z\bar{z}}\\[0.5em]&=\frac{\bar{z}}{|z|^2}\end{align*}
となるため成り立ちます。
10. 複素数の実部
\[\Large z+\bar{z}=2a\]
左辺を直交形式で計算してみると
\begin{align*}z+\bar{z}&=(a+bi)+(a-bi)\\[0.5em]&=2a\end{align*}
となるため成り立ちます。
11. 複素数の虚数部分
\[\Large z-\bar{z}=2bi\]
左辺を直交形式で計算してみると
\begin{align*}z-\bar{z}&=(a+bi)-(a-bi)\\[0.5em]&=2bi\end{align*}
となるため成り立ちます。
10. 11.より、複素数の実部$a$、虚部$b$は
\begin{align*}a&=\frac{z+\bar{z}}{2}\\[0.5em]b&=\frac{z-\bar{z}}{2i}\end{align*}
で求めることができます。
12. 複素数の偏角部分
\[\Large e^{i\theta}=\sqrt{\frac{z}{\bar{z}}}\]
左辺をオイラーの公式を利用して変形すると
\begin{align*}e^{i\theta}&=\frac{r_1e^{i\theta}}{r_1}\\[0.5em]&=\frac{z}{|z|}&(\because|z|=\sqrt{a^2+b^2}=r_1)\\[0.5em]&=\frac{\sqrt{z^2}}{\sqrt{z\bar{z}}}\\[0.5em]&=\frac{\sqrt{z}}{\sqrt{\bar{z}}}\\[0.5em]&=\sqrt{\frac{z}{\bar{z}}}\end{align*}
となるため成り立ちます。
Share:
