Math World Lab

複素関数論入門とオイラーの公式

オイラーの公式 e^(ix) = cos x + i sin x が示す複素平面上の回転運動と、信号処理・交流回路への応用

この単元の発見をシェア
3行要約(Key Takeaways / AIOサマリー)
1
オイラーの公式 eix=cos⁡x+isin⁡xe^{ix} = \cos x + i \sin x は、指数関数・三角関数・複素数という一見無関係な3つの概念を1本の式で結びつける数学史上もっとも美しい等式のひとつ
2
xx を実数として動かすと、複素平面上の点 eixe^{ix} は原点を中心とする半径1の円周上を等速で回転し、その実部が cos⁡x\cos x、虚部が sin⁡x\sin x に一致する
3
eiωte^{i\omega t} の形の複素指数関数は「回転するベクトル(フェーザ)」として交流回路解析や信号処理の基礎になっており、三角関数の面倒な加法定理を複素数の掛け算に置き換えて計算を簡略化できる

なぜこれを学ぶのか? — 現実社会とテクノロジーでの価値

Purpose & Motivation

なぜ生まれたのか?

オイラーの公式 $e^{ix} = \cos x + i \sin x$ は、指数関数・三角関数・複素数という一見無関係な3つの概念を1本の式で結びつける数学史上もっとも美しい等式のひとつ

身につく武器・思考力

$x$ を実数として動かすと、複素平面上の点 $e^{ix}$ は原点を中心とする半径1の円周上を等速で回転し、その実部が $\cos x$、虚部が $\sin x$ に一致する

実社会・ITでの活躍現場

  • •交流回路解析・信号処理におけるフェーザ(複素指数)表示
  • •ITシステム・アルゴリズム実装における論理設計
  • •データ分析やシミュレーションにおける数理モデリング

Layer 1 — 直感・シミュレーター

スライダーで実数 xx を 0 から 4π4\pi まで動かしてみよう。複素平面上の点 eixe^{ix} が単位円周上を反時計回りに回転し、その実部(横方向・cos⁡x\cos x)と虚部(縦方向・sin⁡x\sin x)への射影が同時に変化する様子が確認できる。「回転」ボタンでアニメーションさせると、円運動と三角関数の関係がより直感的にわかる。

実部 cos⁡x\cos x = 0.540
虚部 sin⁡x\sin x = 0.841

↑ eix=cos⁡x+isin⁡xe^{ix} = \cos x + i \sin x。点 eixe^{ix}(紫)は常に単位円周上にあり、x を増やすと反時計回りに回転する。緑の射影が実部(横軸)、赤の射影が虚部(縦軸)に対応する。 交流回路では、この回転する点がそのまま角周波数 ω の「フェーザ」として使われる。

直感チェック!ミニクイズ

オイラーの公式に x=πx = \pi を代入すると得られる、数学で最も美しい等式と呼ばれる関係式はどれか?

Layer 2 — 定義・受験・証明

定義

実数 xx に対して、虚数単位 ii(i2=−1i^2=-1)を用いた複素指数関数 eixe^{ix} は、三角関数 cos⁡x,sin⁡x\cos x, \sin x と次の関係で結ばれる(オイラーの公式)。

eix=cos⁡x+isin⁡xe^{ix} = \cos x + i\sin x

これは、複素平面上で原点を中心とする半径1の単位円周上の点を表しており、xx は原点から見た偏角(ラジアン)に一致する。

公式・数理モデル

eix=cos⁡x+isin⁡x,eiπ+1=0,(cos⁡x+isin⁡x)n=cos⁡nx+isin⁡nx  (ド・モアブルの公式)e^{ix} = \cos x + i\sin x, \qquad e^{i\pi} + 1 = 0, \qquad (\cos x + i \sin x)^n = \cos nx + i \sin nx \;(\text{ド・モアブルの公式})

証明・導出

マクローリン級数(テイラー展開)による証明: 指数関数 ete^{t}、余弦関数 cos⁡t\cos t、正弦関数 sin⁡t\sin t はそれぞれ次のように無限級数(マクローリン級数)で表される。

et=∑n=0∞tnn!=1+t+t22!+t33!+⋯e^{t} = \sum_{n=0}^{\infty} \frac{t^n}{n!} = 1 + t + \frac{t^2}{2!} + \frac{t^3}{3!} + \cdots

cos⁡t=∑n=0∞(−1)nt2n(2n)!,sin⁡t=∑n=0∞(−1)nt2n+1(2n+1)!\cos t = \sum_{n=0}^{\infty} \frac{(-1)^n t^{2n}}{(2n)!}, \qquad \sin t = \sum_{n=0}^{\infty} \frac{(-1)^n t^{2n+1}}{(2n+1)!}

ここで ete^t の級数に t=ixt = ix を形式的に代入する。i2=−1, i3=−i, i4=1i^2=-1,\ i^3=-i,\ i^4=1 が周期4で繰り返すことに注意すると、

eix=1+ix+(ix)22!+(ix)33!+(ix)44!+⋯=1+ix−x22!−ix33!+x44!+⋯e^{ix} = 1 + ix + \frac{(ix)^2}{2!} + \frac{(ix)^3}{3!} + \frac{(ix)^4}{4!} + \cdots = 1 + ix - \frac{x^2}{2!} - i\frac{x^3}{3!} + \frac{x^4}{4!} + \cdots

ここで実部(ii を含まない項)と虚部(ii を含む項)に分けて整理すると、

eix=(1−x22!+x44!−⋯ )⏟=cos⁡x+i(x−x33!+x55!−⋯ )⏟=sin⁡xe^{ix} = \underbrace{\left(1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \cdots\right)}_{= \cos x} + i\underbrace{\left(x - \frac{x^3}{3!} + \frac{x^5}{5!} - \cdots\right)}_{= \sin x}

これはちょうど cos⁡x\cos x と sin⁡x\sin x のマクローリン級数と一致するため、eix=cos⁡x+isin⁡xe^{ix} = \cos x + i\sin x が証明される。

押さえておきたいポイント

  • ∣eix∣=cos⁡2x+sin⁡2x=1|e^{ix}| = \sqrt{\cos^2 x + \sin^2 x} = 1 なので、eixe^{ix} は常に複素平面の単位円周上にある
  • eiπ+1=0e^{i\pi}+1=0(オイラーの等式)は e,i,π,1,0e, i, \pi, 1, 0 という5つの基本定数を結びつける
  • eixe^{ix} の掛け算は偏角の足し算に対応する(eiaeib=ei(a+b)e^{ia}e^{ib}=e^{i(a+b)})ため、三角関数の加法定理が複素数の掛け算だけで導ける
  • eiωte^{i\omega t}(ω\omega は角周波数)は時間とともに回転する複素ベクトルとみなせ、交流回路や振動・波動の解析で「フェーザ(phasor)」として使われる
参照基準・学習指導要領との対応

本トピックの内容・数理モデルは、文部科学省学習指導要領(算数・数学・情報)および国際標準カリキュラムに準拠し、エンジニアリング現場の実装事例と照らし合わせてMath World Lab編集部により検証・作成されています。

Layer 3 — 工学応用・現場実装

交流回路解析・信号処理におけるフェーザ(複素指数)表示

交流回路の電圧・電流のような同じ周波数 ω\omega を持つ正弦波信号どうしの足し算や位相差の計算は、三角関数のままだと加法定理を駆使する必要があり煩雑になる。そこで信号を複素指数 Aei(ωt+ϕ)Ae^{i(\omega t + \phi)}(フェーザ)として表現し、実部だけを最後に取り出す手法が使われる。複素数の足し算・掛け算に置き換えることで計算が劇的に簡単になる。

1type Complex = { re: number; im: number };
2
3// 振幅Aと位相phiを持つ正弦波信号 A*cos(wt + phi) を複素フェーザ A*e^{i*phi} として表現
4function toPhasor(amplitude: number, phaseRad: number): Complex {
5 return { re: amplitude * Math.cos(phaseRad), im: amplitude * Math.sin(phaseRad) };
6}
7
8// 複素数(フェーザ)どうしの足し算 = 同じ周波数の信号どうしの重ね合わせ
9function addPhasors(a: Complex, b: Complex): Complex {
10 return { re: a.re + b.re, im: a.im + b.im };
11}
12
13// 複素数から振幅と位相を復元
14function fromPhasor(c: Complex): { amplitude: number; phaseRad: number } {
15 return { amplitude: Math.hypot(c.re, c.im), phaseRad: Math.atan2(c.im, c.re) };
16}
17
18// 例: 同じ角周波数 omega を持つ2つの交流電圧を足し合わせる
19// v1(t) = 5*cos(wt), v2(t) = 3*cos(wt + 90度=pi/2)
20const v1 = toPhasor(5, 0);
21const v2 = toPhasor(3, Math.PI / 2);
22
23// 三角関数の加法定理を一切使わず、複素数の足し算だけで合成波が求まる
24const sum = addPhasors(v1, v2);
25const { amplitude, phaseRad } = fromPhasor(sum);
26
27console.log(`合成波: v(t) = ${amplitude.toFixed(2)} * cos(wt + ${(phaseRad * 180 / Math.PI).toFixed(1)}度)`);
28// => 合成波: v(t) ≈ 5.83 * cos(wt + 31.0度)
この単元につながる学習ロードマップ

次に学ぶならコレ!おすすめトピック

この単元と深い繋がりを持つ、あわせて学ぶと理解が深まるおすすめ単元

数理モデル・概念が近い関連トピック

関連度高大学数学

フーリエ変換と周波数分解

どんなに複雑な波も、単純なサイン波の重ね合わせに分解できる

関連度高大学数学

テイラー展開・マクローリン展開

複雑な関数を「多項式のはしご」で近似する解析学の万能ツール

zn+1 = zn² + c (Fractal)
関連度高大学数学

マンデルブロ集合と複素力学系(フラクタル次元の数理)

単純な二次漸化式 zn+1=zn2+cz_{n+1} = z_n^2 + c から現れる、無限の自己相似とカオスの小宇宙

同じレベルで次に挑戦したいトピック

同レベル推薦大学数学

固有値・固有ベクトル

行列で変換しても「向きが変わらない」特別な方向

同レベル推薦大学数学

ベイズの定理(条件付き確率と事前・事後確率)

新たな情報や証拠(エビデンス)を得て「確信度」を更新する確率論

同レベル推薦大学数学

正規分布と中心極限定理

あらゆるランダムなばらつきが最終的に収束する「釣鐘型の山」

工学・実社会での応用先でつながるトピック

工学・実践連携工学応用

勾配降下法

谷底を探すAIの基本アルゴリズム

工学・実践連携工学応用

ニューラルネットワークの数学(順伝播と活性化関数)

入力に重みを掛けて足し合わせ、非線形関数で発火させるAIの基本素子

工学・実践連携工学応用

レコメンドの仕組み(コサイン類似度とベクトル検索)

ユーザーの好みと商品の近さを「ベクトルのなす角」で判定するアルゴリズム

あなたの数学力をさらに伸ばす

数学の弱点診断や算数パズルに挑戦してみませんか?

簡単な質問に答えてあなたにぴったりの学習ロードマップを発見したり、直感を試すパズルで数の面白さを体験できます。