共役複素数

1 定義

1.1 複素数と実部・虚部

複素数は、実数に虚数単位を組み合わせて表される数で、一般に \(a+bi\) の形で書かれる。ここで \(a\) は実部、\(b\) は虚部であり、\(i\) は \(i^2=-1\) を満たす。実部と虚部を分けて扱うことで、複素数の計算規則や図形的な性質を整理しやすくなる。

1.2 共役複素数の定義

複素数 \(a+bi\) に対して、実部 \(a\) をそのままにし、虚部の符号だけを反転させた \(a-bi\) を共役複素数という。共役複素数は、もとの複素数と対になって現れ、記号 \(\overline{z}\) で表されることが多い。たとえば \(3+2i\) の共役複素数は \(3-2i\) である。

1.3 複素数平面での表現

複素数平面では、複素数 \(a+bi\) は点 \((a,b)\) に対応する。共役複素数 \(a-bi\) は点 \((a,-b)\) に対応し、実軸に関して対称な位置にある。この見方により、共役は単なる記号操作ではなく、平面上の反転として理解できる。

2 基本的な性質

2.1 和と差

共役は加減算と相性がよく、成分ごとに整理すると性質が明確になる。複素数どうしを足したり引いたりするとき、実部と虚部を別々に扱うことで、共役の働きが自然に現れる。

2.1.1 共役の和

複素数 \(z=a+bi\) とその共役 \(\overline{z}=a-bi\) を足すと、虚部が打ち消し合い、\(z+\overline{z}=2a\) となる。結果は実数であり、元の複素数の実部だけを取り出す形になる。

2.1.2 共役の差

同じく引き算を行うと、\(z-\overline{z}=2bi\) となる。こちらは実部が消え、虚部の情報だけが残る。共役を用いることで、複素数の成分を分離する操作が簡潔になる。

2.2 積と商

積や商では、共役を使うと複素数を実数の形に近づけやすい。特に分母に複素数がある場合、共役を掛けることで計算が整えられる。

2.2.1 和の共役と積

複素数 \(z=a+bi\) と共役 \(\overline{z}=a-bi\) の積は、\(z\overline{z}=a^2+b^2\) であり、実数になる。この式は、複素数の大きさと密接に関係しているため、後の絶対値の議論でも重要である。

2.2.2 商の共役

\(\dfrac{z_1}{z_2}\) のような商では、分母と分子に分母の共役を掛けることで、分母を実数に変えられる。これは複素数の割り算を標準的な形に直す基本手法であり、計算の見通しを良くする。

2.3 二重共役

複素数に共役を一度施して、さらにもう一度共役を取ると、元の複素数に戻る。つまり \(\overline{\overline{z}}=z\) である。これは共役変換が反転操作であることを示しており、対称性の基本的な性質といえる。

2.4 実数との関係

実数は虚部が 0 の複素数とみなせるので、実数の共役は自分自身に等しい。逆に、ある複素数が自分の共役と等しいなら、その虚部は 0 であり、実数である。したがって、共役は複素数が実数かどうかを判定する手がかりにもなる。

3 計算への応用

3.1 絶対値との関係

複素数の絶対値は、平面上での原点からの距離に対応する。共役はこの距離を変えず、むしろ絶対値を計算する際の便利な道具として機能する。

3.1.1 複素数とその共役の積

複素数 \(z\) とその共役 \(\overline{z}\) の積は常に実数で、\(\,z\overline{z}\,\) は絶対値の二乗に等しい。これは、複素数を実数へ戻す代表的な計算であり、さまざまな式変形の基盤となる。

3.1.2 絶対値の二乗

3.2 分母の有理化

複素数を含む分数では、分母に虚数が残ると扱いにくい。そこで共役を用いて分母を実数化する方法が広く使われる。

3.2.1 共役複素数を用いる方法

\(\dfrac{1}{a+bi}\) のような形では、分子と分母に \(a-bi\) を掛ける。すると分母は \((a+bi)(a-bi)=a^2+b^2\) となり、虚数成分が消える。こうして、分数はより標準的な複素数の形へ整えられる。

3.2.2 実数化の手順

手順としては、まず分母の共役を見つけ、次に分子分母へ同じ因子を掛ける。最後に展開して整理すると、分母が実数の式になる。これは複素数の式を計算しやすい形へ変換する基本技法である。

3.3 複素数の割り算

複素数どうしの割り算は、共役を使うと実数係数の計算に近い形で処理できる。特に、分母を実数に直すことで、結果を \(a+bi\) の標準形にまとめやすい。これにより、複雑に見える商も機械的に求められる。

4 代数学への応用

4.1 実数係数多項式

実数係数をもつ多項式では、複素数解に共役の性質が強く現れる。係数が実数であることにより、複素解は単独ではなく、しばしば対として現れる。

4.1.1 共役な解の性質

実数係数多項式に複素数解 \(a+bi\) があるとき、その共役 \(a-bi\) も解になる。これは、係数が実数であるため、共役を取っても方程式の形が変わらないことによる。複素解の振る舞いを理解するうえで基本的な定理である。

4.1.2 複素数解の対

複素数解は、通常、共役な組として現れるので、因数分解では二つまとめて扱うことが多い。たとえば共役な解をもつ場合、それらに対応する二次因子は実数係数で表せる。これにより、実数の範囲で多項式を分解しやすくなる。

4.2 方程式への利用

共役複素数は、方程式を解く過程でも有効である。特に実数係数の方程式では、複素解の構造を整理する道具として働く。

4.2.1 二次方程式

二次方程式の判別式が負の場合、解は共役な複素数の組になる。これは平方完成や解の公式から直接確認できる。共役の対として解を記述すると、解の全体像が把握しやすい。

4.2.2 高次方程式

高次方程式でも、実数係数であれば非実数解は共役な組で現れる。したがって、解の個数や因数構造を考える際には、共役の存在を前提にすると整理が進む。複素数を含む問題でも、最終的に実数係数の式へ戻せることが多い。

4.3 複素数の極形式との関係

複素数を極形式で表すと、絶対値と偏角を用いて \(z=r(\cos\theta+i\sin\theta)\) のように書ける。共役を取ると偏角の符号が反転し、\(r(\cos\theta-i\sin\theta)\) となる。つまり、共役は長さを保ったまま向きを反対側へ移す操作として解釈でき、極形式と平面上の対称性を結びつける。

</INTERNAL_LINK_CANDIDATES> 複素数平面（複素数を点として表す座標平面） 実部（複素数の実数成分） 虚部（複素数の虚数成分） 虚数単位（\(i^2=-1\) を満たす記号） 絶対値（原点からの距離として定義される量） 分母の有理化（分母から虚数を除く変形） 実数係数多項式（係数がすべて実数の多項式） 因数分解（式を積の形へ分けること） 判別式（二次方程式の解の性質を決める量） 極形式（絶対値と偏角で表す複素数の表示法） </INTERNAL_LINK_CANDIDATES>