import { default as Def } from '@/components/math/Definition'; import { default as Thm } from '@/components/math/Theorem'; import { default as Ax } from '@/components/math/Axiom'; import { default as MathReference } from '@/components/math/MathRef'; import { M, MM } from '@/components/math/Math'; ## 複素数の定義複素数は数学において重要な概念の一つです。実数の拡張として考えることができ、多くの数学的問題を解決するための強力な道具となります。複素数とは、実数 {`$a, b$`} と虚数単位 {`$i$`} を用いて {`$z = a + bi$`} と表される数である。ここで {`$i^2 = -1$`} である。実数 {`$a$`} を実部 (real part)、実数 {`$b$`} を虚部 (imaginary part) と呼ぶ。虚数単位 {`$i$`} は {`$i^2 = -1$`} を満たす数として定義される。 ## 複素数の性質の定義に基づいて、複素数にはいくつかの重要な性質があります。二つの複素数 {`$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}} $$`} で定義される。 ## 複素数の演算で定義した複素数に対して、以下のような演算を定義できます。 ### 加法と減法二つの複素数 {`$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$$`} である。これはの性質 {`$i^2 = -1$`} を用いて導出できる。 ## オイラーの公式複素数論における最も美しい結果の一つが、オイラーの公式です。任意の実数 {`$\\theta$`} に対して、 {`$$e^{i\\theta} = \\cos\\theta + i\\sin\\theta$$`} が成り立つ。特に {`$\\theta = \\pi$`} のとき、 {`$$e^{i\\pi} + 1 = 0$$`} が得られる。これはオイラーの等式と呼ばれ、数学で最も美しい等式の一つとされる。オイラーの公式により、で定義した複素数を極形式で表現することが可能になります。 ## まとめこの記事では、から始まって、まで、複素数の基本的な概念と性質を学びました。複素数は： - 実数の自然な拡張として定義される - によって特徴づけられる - などの重要な性質を持つ - によって三角関数と深く結びついている次回は複素数の幾何学的解釈について学習します。

複素数入門