複素数演算 計算ツール|加算・乗算・絶対値・偏角・極形式まで一括処理
2つの複素数 z₁ = a₁ + b₁i, z₂ = a₂ + b₂i の加算・乗算・絶対値・偏角・共役・極形式を即時計算。オイラーの公式、ド・モアブルの定理、複素平面での幾何解釈、電気回路のインピーダンス、量子力学・信号処理・制御工学での応用まで、高校数学Ⅲから大学線形代数・電気電子工学の入り口として整理しました。
複素数演算 計算機
複素数の定義と基本演算
基本式
複素数 z = a + bi(a: 実部, b: 虚部, i² = -1)
加算: (a₁+b₁i) + (a₂+b₂i) = (a₁+a₂) + (b₁+b₂)i
乗算: (a₁+b₁i) × (a₂+b₂i) = (a₁a₂-b₁b₂) + (a₁b₂+a₂b₁)i
絶対値: |z| = √(a² + b²)
共役: z̄ = a - bi
虚数単位 i の性質
虚数単位 i は方程式 x² = -1 の解として導入され、i² = -1、i³ = -i、i⁴ = 1 と4周期で循環します。実数体を拡張した集合が複素数体 C で、あらゆる代数方程式に解を持つ「代数的閉体」となります(代数学の基本定理)。
複素数の等号と実部・虚部の分離
a + bi = c + di ⇔ a = c かつ b = d。実部同士・虚部同士が独立に一致する必要があり、これを利用して方程式を解きます。
複素平面と幾何的解釈
複素数 z = a + bi は、実軸 a・虚軸 b を持つ複素平面(ガウス平面)上の1点として可視化できます。この幾何解釈により、複素数の演算に直感的な意味が与えられます。
| 演算 | 幾何的意味 | 用途 |
|---|---|---|
| 加算 z₁ + z₂ | ベクトルの合成(平行移動) | 合成波・力のベクトル合成 |
| 乗算 z₁ × z₂ | 絶対値の積 × 偏角の和(回転+拡大) | 回転行列・位相操作 |
| 絶対値 |z| | 原点からの距離 | 信号強度・波の振幅 |
| 偏角 arg(z) | 実軸からの角度 | 波の位相・回転角 |
| 共役 z̄ | 実軸に関する対称 | 絶対値の二乗計算 |
特に「乗算は回転+拡大」の解釈は電気工学・制御工学・量子力学で頻繁に使われる基本ツールです。
極形式とオイラーの公式
極形式: z = r(cos θ + i sin θ) = r e^(iθ)
r = |z| = √(a² + b²), θ = arg(z) = atan2(b, a)
ここでrは絶対値(モジュラス)、θは偏角(アーギュメント)。オイラーの公式 e^(iθ) = cos θ + i sin θ により、複素数の乗算・除算・べき乗が指数関数の性質で簡潔に扱えます。
直交形式と極形式の変換
| 方向 | 変換式 |
|---|---|
| 直交→極 | r = √(a²+b²), θ = atan2(b,a) |
| 極→直交 | a = r cos θ, b = r sin θ |
オイラーの等式 e^(iπ) + 1 = 0
数学史上最も美しい式とされ、指数関数 e、円周率 π、虚数単位 i、乗法単位 1、加法単位 0 の5つの基本定数を1つの式で結びます。
ド・モアブルの定理
ド・モアブル: (cos θ + i sin θ)ⁿ = cos nθ + i sin nθ
複素数のべき乗を計算するときに使う定理。極形式で zⁿ = rⁿ e^(inθ) となり、絶対値はn乗、偏角はn倍。複素数の n 乗根もこの逆で求まります(1のn乗根、原始根の計算)。
1の n 乗根
方程式 zⁿ = 1 の解は複素平面上の単位円周上に n 個等間隔で並びます。z = e^(2πki/n)、k = 0, 1, …, n-1。この幾何配置は、離散フーリエ変換(DFT)や誤り訂正符号(BCH符号)、正 n 角形の作図等に直結します。
共役複素数の性質
z = a + bi に対して共役 z̄ = a - bi。以下の性質が成り立ちます。
| 性質 | 数式 |
|---|---|
| 共役の共役 | z̄̄ = z |
| 絶対値の二乗 | z × z̄ = a² + b² = |z|² |
| 加算 | z₁ + z₂ の共役 = z̄₁ + z̄₂ |
| 乗算 | z₁ × z₂ の共役 = z̄₁ × z̄₂ |
| 実部・虚部の抽出 | Re(z) = (z + z̄)/2, Im(z) = (z - z̄)/(2i) |
特に「z × z̄ = |z|²」は、複素数の除算や信号処理でパワー(電力)を求める際に頻用される公式です。
除算と分母の実数化
z₁ ÷ z₂ = (z₁ × z̄₂) / (z₂ × z̄₂) = (z₁ × z̄₂) / |z₂|²
分母の複素数を共役倍することで、分母を実数化し計算します。これは有理化(分母の√を消す)と同じ発想。極形式では z₁/z₂ = (r₁/r₂) × e^(i(θ₁-θ₂)) と、絶対値の商・偏角の差になります。
計算例: (3+4i) ÷ (1+2i)
共役 1-2i を分子分母に掛けると (3+4i)(1-2i) / (1+2i)(1-2i) = (3-6i+4i-8i²) / (1+4) = (3+8-2i)/5 = 11/5 - 2i/5 = 2.2 - 0.4i。
この計算を使うシーン
高校数学Ⅲの問題演習
入試頻出の複素数計算(和・積・絶対値・偏角・共役)を素早く確認。答え合わせや途中式の検算に。
電気回路のインピーダンス
R+jωL-j/(ωC) の形で交流回路のインピーダンスを扱う。抵抗・コイル・コンデンサ混在回路の解析には複素数が必須です。
信号処理・フーリエ変換
連続信号を e^(iωt) の重ね合わせで表現するのがフーリエ変換。周波数領域処理に複素数が必要。
制御工学のボード線図・ナイキスト線図
伝達関数を複素数として扱い、安定性を判定。産業機械の制御系設計に直結する応用領域。
量子力学の状態記述
波動関数 ψ は複素関数。確率密度は |ψ|² で計算。物理学・量子コンピュータの数学基盤。
CG・アニメーションの回転
2D回転行列は複素数乗算と等価。オイラー角・クォータニオンなど3D回転の理解の第一歩に。
工学・物理への応用
電気工学
交流回路のインピーダンス Z = R + jX(電気工学では虚数単位に j を使用)。合成インピーダンス・電圧電流の位相差の計算に複素数が不可欠。フェーザ表示(絶対値+位相)は極形式そのものです。
制御工学
伝達関数 G(s) は複素周波数 s = σ + jω の関数。安定性判定(極が左半面にあるか)・周波数応答(ボード線図)などの解析ツール群の基礎に複素数があります。
量子力学
シュレーディンガー方程式 iℏ ∂ψ/∂t = Hψ は虚数単位 i を含む本質的な複素方程式。波動関数の重ね合わせ、干渉、確率解釈はすべて複素数の性質に依存しています。
信号処理・通信
離散フーリエ変換(DFT)・高速フーリエ変換(FFT)の基本演算は 1 の n 乗根の複素乗算。オーディオ・画像・映像・無線通信・レーダー・医療画像(MRI)まで、現代の情報インフラは複素数演算の上に成り立っています。
数論・代数幾何
代数的閉体としての C は、多項式の因数分解、リーマン面、モジュライ空間など高度な数学の対象。素数分布のリーマンゼータ関数 ζ(s) も複素関数として扱われます。
典型例題の詳細解答
例題1: z₁ = 3+4i, z₂ = 1+2i の四則演算
| 演算 | 結果 |
|---|---|
| z₁ + z₂ | (3+1) + (4+2)i = 4 + 6i |
| z₁ - z₂ | (3-1) + (4-2)i = 2 + 2i |
| z₁ × z₂ | (3-8) + (6+4)i = -5 + 10i |
| z₁ ÷ z₂ | (3+4i)(1-2i)/5 = (3-6i+4i-8i²)/5 = (11-2i)/5 = 2.2-0.4i |
| |z₁| | √(9+16) = √25 = 5 |
| arg(z₁) | atan2(4,3) ≈ 0.927 rad ≈ 53.13° |
例題2: z = 1 + i の極形式変換
r = √(1+1) = √2 ≈ 1.414、θ = atan2(1,1) = π/4 = 45°。
極形式: z = √2 (cos 45° + i sin 45°) = √2 e^(iπ/4)。
例題3: (1+i)⁸ をド・モアブルの定理で計算
z = √2 e^(iπ/4) より z⁸ = (√2)⁸ × e^(i8π/4) = 16 × e^(i2π) = 16 × 1 = 16。
展開計算より圧倒的に楽に導出できます。
例題4: 1の3乗根を求める
z³ = 1 の解は z = e^(2πki/3), k = 0, 1, 2。
k=0: z = 1
k=1: z = e^(2π/3 i) = cos 120° + i sin 120° = -1/2 + √3/2 i
k=2: z = e^(4π/3 i) = -1/2 - √3/2 i
複素平面上で単位円周上に120°ずつ等間隔で並びます。
例題5: 電気回路のインピーダンス合成
R = 10Ω、コイル jωL = 5j、コンデンサ 1/(jωC) = -3j の直列インピーダンス。
Z = 10 + 5j + (-3j) = 10 + 2j。
|Z| = √(100+4) = √104 ≈ 10.20Ω、位相角 = atan(2/10) ≈ 11.31°。
よくある間違い・注意点
- i² = -1 を i² = 1 と誤る — 虚数単位の定義から必ず i² = -1。この符号ミスが計算結果全体を狂わせる最大の要因です。
- 絶対値の計算ミス — |z| = √(a² + b²) であり、a² - b² や |a| + |b| ではありません。ピタゴラス定理で覚えるのが確実です。
- 偏角を単純な atan(b/a) で計算 — atan は -π/2 〜 π/2 の範囲しか返さず、第2・第3象限で誤ります。atan2(b, a) を使用してください。
- 電気工学の j と数学の i を混同 — 電気工学では電流 i と区別するために虚数単位に j を用います(意味は同じ)。テキストの流儀に注意。
- 共役の記号を見落とす — z̄ (z バー)を z と同一視すると分数計算で失敗。分母の実数化には必ず共役を用います。
- 極形式の偏角の単位 — 度(degree)とラジアン(radian)の混在。オイラーの公式や複素数演算はラジアンが標準です。180° = π rad。
- ド・モアブルの定理を大小関係で使う — 複素数には全順序が入らないため「z₁ > z₂」は定義されません(絶対値の比較は可能)。
関連科目・カリキュラム
- 高校数学Ⅱ ― 複素数の導入(定義・四則演算・共役)。文部科学省学習指導要領で全高校生の必修範囲。
- 高校数学Ⅲ ― 複素平面、極形式、ド・モアブルの定理。理系高校生の必修範囲。
- 大学線形代数 ― 複素ベクトル空間、複素行列、エルミート行列、ユニタリ行列。理工系必修。
- 大学微分積分・複素解析 ― 複素関数、正則関数、コーシーの積分定理、留数計算。数学科・物理科・工学部で扱う。
- 大学電気電子工学 ― 交流回路、フェーザ、インピーダンス、ラプラス変換、フーリエ変換。工学部電気系必修。
- 大学信号処理・通信工学 ― DFT・FFT・Z変換・ディジタルフィルタ。情報系必修。
Excel・Python・数値計算ソフトでの複素数演算
実務では専門ソフトの複素数関数を活用します。
Excelの複素数関数
| 操作 | 関数 |
|---|---|
| 複素数の生成 | =COMPLEX(実部, 虚部, "i" or "j") |
| 加算 | =IMSUM(z1, z2) |
| 減算 | =IMSUB(z1, z2) |
| 乗算 | =IMPRODUCT(z1, z2) |
| 除算 | =IMDIV(z1, z2) |
| 絶対値 | =IMABS(z) |
| 偏角 | =IMARGUMENT(z) |
| 共役 | =IMCONJUGATE(z) |
| 実部・虚部の抽出 | =IMREAL(z) / =IMAGINARY(z) |
| べき乗 | =IMPOWER(z, n) |
| 指数 | =IMEXP(z) |
| 対数 | =IMLN(z) |
Python (NumPy / cmath)
| 操作 | Python コード |
|---|---|
| 複素数の生成 | z = 3 + 4j (Pythonネイティブ) |
| 絶対値 | abs(z) or np.abs(z) |
| 偏角 | cmath.phase(z) or np.angle(z) |
| 共役 | z.conjugate() or np.conj(z) |
| 実部・虚部 | z.real / z.imag |
| 極形式変換 | cmath.polar(z) → (r, θ) |
| 直交形式変換 | cmath.rect(r, θ) → z |
| e^z | cmath.exp(z) |
| ln z | cmath.log(z) |
MATLAB / Octave
複素数はネイティブ対応。z = 3 + 4i、abs(z)、angle(z)、conj(z)、real(z)、imag(z) で全操作が可能。信号処理・制御工学の標準環境として、FFT・ラプラス変換・ボード線図が組込関数で使えます。
参考文献・公的資料
複素数の学習・応用の詳細は以下の資料を参照してください。
- 文部科学省 学習指導要領 ― 高校数学Ⅱ・Ⅲの複素数単元の公式指導内容。
- 日本数学会 ― 日本の数学研究の中心組織。学会誌・普及活動の情報源。
- 土木学会 ― 構造振動・地震応答解析で複素数を活用する土木工学分野。
- 電気学会 ― 電気回路・制御・電力等で複素数を必須ツールとして用いる分野の学会。
- 電子情報通信学会 (IEICE) ― 信号処理・通信工学で複素数演算を活用する分野の学会。
- 日本数学会「数学通信」 ― 一般向けの数学解説記事(複素解析・オイラーの公式等)。
- 物質・材料研究機構 (NIMS) ― 量子物質研究で複素数(波動関数)を扱う研究機関。
- 理化学研究所 (RIKEN) ― 量子コンピュータ・量子情報理論の研究拠点。
- 科学技術振興機構 (JST) ― 数理科学・工学の研究支援機関。
よくある質問(FAQ)
虚数単位 i と j の違いは?
数学では i、電気工学では電流 i と区別するために j を使うのが慣習。意味は同じで i² = j² = -1。両者を混同しないよう、電気工学分野の教科書では冒頭で明記されるのが一般的です。
複素数を実数の大小で比較できる?
できません。複素数体には全順序が入らないため「z₁ > z₂」は定義されません。ただし絶対値 |z₁| と |z₂| の実数比較は可能です。
偏角の主値の範囲は?
一般に -π < arg(z) ≤ π の範囲を主値と定義しますが、[0, 2π) を採用する流儀もあります。教科書・ソフトウェアの慣習に合わせてください。プログラミングでは atan2(b, a) が -π〜π を返します。
複素数のべき乗はどう計算する?
極形式 z = r e^(iθ) に変換して zⁿ = rⁿ e^(inθ)。絶対値はn乗、偏角はn倍。ド・モアブルの定理(cos θ + i sin θ)ⁿ = cos nθ + i sin nθ が対応します。
方程式 z² = -1 の解は?
z = ±i。実数の範囲では解なしですが、複素数の範囲では2つの解を持ちます。代数学の基本定理により、複素数の範囲で n 次方程式は必ず n 個の解(重複含む)を持ちます。
複素数の除算のコツは?
分母の共役を分子分母に掛けて分母を実数化するのが定石。z₁/z₂ = z₁ × z̄₂ / |z₂|²。極形式なら(r₁/r₂) × e^(i(θ₁-θ₂))と絶対値の商・偏角の差で計算できます。
オイラーの公式は何のため?
複素数を e^(iθ) の形で扱えると、乗算が指数の加算、べき乗が指数の乗算に落ちて計算が劇的に簡潔になります。信号処理・電気工学・量子力学の中核ツールです。
1 の n 乗根はどう並ぶ?
複素平面の単位円周上に n 個等間隔で並びます。z = e^(2πki/n), k = 0, 1, …, n-1。正 n 角形の頂点として可視化できます。FFT の回転因子はこの n 乗根です。
Excelで複素数計算はできる?
可能です。COMPLEX(実部, 虚部)で複素数を定義し、IMSUM・IMPRODUCT・IMABS・IMARGUMENT・IMCONJUGATE 等の関数群で四則演算・絶対値・偏角・共役を計算できます。
実務で複素数を使う仕事は?
電気電子技術者、通信エンジニア、制御系エンジニア、信号処理エンジニア、量子研究者、金融工学(オプション評価のフーリエ法)、機械学習(信号系)など、理工系の広範な職種で日常的に使われます。
虚数はなぜ「虚」と呼ぶ?
デカルトが「imaginary(想像上の)」と呼んだのに由来し、日本語で「虚数」と翻訳された経緯。しかし現代物理・工学では実数と同等以上に「実在する」量として扱われます。名前の印象で軽視しないでください。
複素数を学ぶモチベーションは?
電気回路・信号処理・量子力学など、現代テクノロジーの数学基盤。数学の美しさ(オイラーの等式)としても、応用の実用性としても、理系分野で最も汎用性の高いツールの一つです。