複素数入門

複素数の基本定義から演算、オイラーの公式までをまとめた入門記事です。

複素数の定義

複素数は数学において重要な概念の一つです。実数の拡張として考えることができ、多くの数学的問題を解決するための強力な道具となります。

定義

複素数

複素数とは、実数 $a, b$ と虚数単位 $i$ を用いて $z = a + bi$ と表される数である。 ここで $i^2 = -1$ である。

実数 $a$実部 (real part)、実数 $b$虚部 (imaginary part) と呼ぶ。

定義

虚数単位

虚数単位 $i$$i^2 = -1$ を満たす数として定義される。

複素数の性質

[参照エラー: complex-number]の定義に基づいて、複素数にはいくつかの重要な性質があります。

定理

複素数の等号

二つの複素数 $z_1 = a_1 + b_1 i$$z_2 = a_2 + b_2 i$ について、 $z_1 = z_2$ であることと $a_1 = a_2$ かつ $b_1 = b_2$ であることは同値である。

定義

複素共役

複素数 $z = a + bi$ に対して、その複素共役 $\overline{z}$

$$\overline{z} = a - bi$$

として定義する。

定理

複素数の絶対値

複素数 $z = a + bi$絶対値

$$ |z| = \sqrt{a^2 + b^2} = \sqrt{z \cdot \overline{z}} $$

で定義される。

複素数の演算

[参照エラー: complex-number]で定義した複素数に対して、以下のような演算を定義できます。

加法と減法

二つの複素数 $z_1 = a_1 + b_1 i$$z_2 = a_2 + b_2 i$ について:

  • 加法$z_1 + z_2 = (a_1 + a_2) + (b_1 + b_2)i$
  • 減法$z_1 - z_2 = (a_1 - a_2) + (b_1 - b_2)i$

乗法

定理

複素数の乗法

二つの複素数 $z_1 = a_1 + b_1 i$$z_2 = a_2 + b_2 i$ の積は

$$z_1 \cdot z_2 = (a_1 a_2 - b_1 b_2) + (a_1 b_2 + b_1 a_2)i$$

である。

これは[参照エラー: imaginary-unit]の性質 $i^2 = -1$ を用いて導出できる。

オイラーの公式

複素数論における最も美しい結果の一つが、オイラーの公式です。

定理

オイラーの公式

任意の実数 $\theta$ に対して、

$$e^{i\theta} = \cos\theta + i\sin\theta$$

が成り立つ。

特に $\theta = \pi$ のとき、

$$e^{i\pi} + 1 = 0$$

が得られる。これはオイラーの等式と呼ばれ、数学で最も美しい等式の一つとされる。

オイラーの公式により、[参照エラー: complex-number]で定義した複素数を極形式で表現することが可能になります。

まとめ

この記事では、[参照エラー: complex-number]から始まって、[参照エラー: euler-formula]まで、複素数の基本的な概念と性質を学びました。

複素数は:

  • 実数の自然な拡張として定義される
  • [参照エラー: imaginary-unit]によって特徴づけられる
  • [参照エラー: complex-absolute-value]などの重要な性質を持つ
  • [参照エラー: euler-formula]によって三角関数と深く結びついている

次回は複素数の幾何学的解釈について学習します。