1複素数
1.1複素数
では「![](/s/x.png)
![](/s/sup_2.png)
![](/s/eq.png)
![](/s/sub.png)
」を満たす
はどうでしょうか。 先ほどと同様に考えると、
は
乗すると「![](/s/sub.png)
」になる数であって、「![](/s/x.png)
![](/s/eq.png)
」と「![](/s/x.png)
![](/s/eq.png)
![](/s/sub.png)
」の2つの数となります。 しかしすべての実数は
乗すると
以上になるため、
乗すると![](/s/sub.png)
となる数「
」は、実数ではありません。
![](/s/x.png)
![](/s/sup_2.png)
![](/s/eq.png)
![](/s/sub.png)
![](/s/1.png)
![](/s/x.png)
![](/s/x.png)
![](/s/2.png)
![](/s/sub.png)
![](/s/1.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/sqrt_sub_1.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/sub.png)
![](/s/sqrt_sub_1.png)
![](/s/2.png)
![](/s/0.png)
![](/s/2.png)
![](/s/sub.png)
![](/s/1.png)
![](/s/sqrt_sub_1.png)
この「
」を数として認めるかどうかは、歴史的に議論がありました。 そして最終的にはこの「
」を実数全体の集合
に加えた、新しい数の集合が生まれました。 この数を「複素数」といい、複素数全体の集合をよく
で表します。
![](/s/sqrt_sub_1.png)
![](/s/sqrt_sub_1.png)
![](/s/bb_lr.png)
![](/s/bb_lc.png)
複素数全体の集合
には、実数全体と
のほかに、
の実数倍や、それらの和も含まれます。 例えば「
」や「![](/s/2.png)
」や「![](/s/6.png)
![](/s/add.png)
![](/s/3.png)
」も
の元です。
![](/s/bb_lc.png)
![](/s/sqrt_sub_1.png)
![](/s/sqrt_sub_1.png)
![](/s/5.png)
![](/s/2.png)
![](/s/sqrt_sub_1.png)
![](/s/6.png)
![](/s/add.png)
![](/s/3.png)
![](/s/sqrt_sub_1.png)
![](/s/bb_lc.png)
また、この「
」は「虚数単位」と呼ばれ、よく「
」の記号で表されます。 つまり複素数とは、実数![](/s/a.png)
![](/s/comma.png)
に対し「![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
」と書ける数だといえます(図1-1)。
![](/s/sqrt_sub_1.png)
![](/s/i.png)
![](/s/a.png)
![](/s/comma.png)
![](/s/b.png)
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/i.png)
任意の実数に対し「
」と表されるもの全体の集合を、複素数全体の集合
と定義する。 また
の元を「複素数」と呼ぶ。
1.2複素数の有用性
なぜ「
」のような、よく分からない数を扱おうとするかといいますと、利点は2つあります。
![](/s/sqrt_sub_1.png)
1つは、最終的に実数が得られる計算であっても、計算の途中に複素数が現れることがあり、計算する上で避けられないことがあるからです。 例えば三次方程式「![](/s/a.png)
![](/s/x.png)
![](/s/sup_3.png)
![](/s/add.png)
![](/s/b.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/add.png)
![](/s/c.png)
![](/s/x.png)
![](/s/add.png)
![](/s/d.png)
![](/s/eq.png)
」の解の公式(代数的な)を作り出すと、解がすべて実数だったとしても、式中に複素数が出てくることは避けられないことが証明されています。
![](/s/a.png)
![](/s/x.png)
![](/s/sup_3.png)
![](/s/add.png)
![](/s/b.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/add.png)
![](/s/c.png)
![](/s/x.png)
![](/s/add.png)
![](/s/d.png)
![](/s/eq.png)
![](/s/0.png)
もう1つは、複素数の掛け算がちょうど回転操作になっていることから、幾何ベクトルを回転行列で操作するよりも簡潔に回転操作が表せるという応用上の利点があります。 周期的な波も回転で表すことができ、波を扱う電気の交流回路や音の波形処理などでも使われます。
1.3基本的な演算
2つの複素数「![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
」と「![](/s/c.png)
![](/s/add.png)
![](/s/d.png)
」には、加算、減算、乗算、除算が定義されます。
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/i.png)
![](/s/c.png)
![](/s/add.png)
![](/s/d.png)
![](/s/i.png)
加算と減算は、![](/s/i.png)
![](/s/eq.png)
であることを考えると自然に定義でき、加算は「![](/s/pl.png)
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/add.png)
![](/s/pl.png)
![](/s/c.png)
![](/s/add.png)
![](/s/d.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/add.png)
![](/s/c.png)
![](/s/pr.png)
![](/s/add.png)
![](/s/pl.png)
![](/s/b.png)
![](/s/add.png)
![](/s/d.png)
![](/s/pr.png)
」、減算は「![](/s/pl.png)
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/sub.png)
![](/s/pl.png)
![](/s/c.png)
![](/s/add.png)
![](/s/d.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/sub.png)
![](/s/c.png)
![](/s/pr.png)
![](/s/add.png)
![](/s/pl.png)
![](/s/b.png)
![](/s/sub.png)
![](/s/d.png)
![](/s/pr.png)
」となります。 例えば、![](/s/pl.png)
![](/s/2.png)
![](/s/add.png)
![](/s/3.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/add.png)
![](/s/pl.png)
![](/s/4.png)
![](/s/add.png)
![](/s/5.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/6.png)
![](/s/add.png)
![](/s/8.png)
です。
![](/s/i.png)
![](/s/eq.png)
![](/s/sqrt_sub_1.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/add.png)
![](/s/pl.png)
![](/s/c.png)
![](/s/add.png)
![](/s/d.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/add.png)
![](/s/c.png)
![](/s/pr.png)
![](/s/add.png)
![](/s/pl.png)
![](/s/b.png)
![](/s/add.png)
![](/s/d.png)
![](/s/pr.png)
![](/s/i.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/sub.png)
![](/s/pl.png)
![](/s/c.png)
![](/s/add.png)
![](/s/d.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/sub.png)
![](/s/c.png)
![](/s/pr.png)
![](/s/add.png)
![](/s/pl.png)
![](/s/b.png)
![](/s/sub.png)
![](/s/d.png)
![](/s/pr.png)
![](/s/i.png)
![](/s/pl.png)
![](/s/2.png)
![](/s/add.png)
![](/s/3.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/add.png)
![](/s/pl.png)
![](/s/4.png)
![](/s/add.png)
![](/s/5.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/6.png)
![](/s/add.png)
![](/s/8.png)
![](/s/i.png)
乗算も、括弧を展開することで「![](/s/pl.png)
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/mul.png)
![](/s/pl.png)
![](/s/c.png)
![](/s/add.png)
![](/s/d.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/a.png)
![](/s/c.png)
![](/s/add.png)
![](/s/a.png)
![](/s/d.png)
![](/s/i.png)
![](/s/add.png)
![](/s/b.png)
![](/s/c.png)
![](/s/i.png)
![](/s/add.png)
![](/s/b.png)
![](/s/d.png)
![](/s/i.png)
![](/s/sup_2.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/c.png)
![](/s/sub.png)
![](/s/b.png)
![](/s/d.png)
![](/s/pr.png)
![](/s/add.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/d.png)
![](/s/add.png)
![](/s/b.png)
![](/s/c.png)
![](/s/pr.png)
」と自然に定義できます。
を
乗すると![](/s/sub.png)
になることを利用しています。
![](/s/pl.png)
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/mul.png)
![](/s/pl.png)
![](/s/c.png)
![](/s/add.png)
![](/s/d.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/a.png)
![](/s/c.png)
![](/s/add.png)
![](/s/a.png)
![](/s/d.png)
![](/s/i.png)
![](/s/add.png)
![](/s/b.png)
![](/s/c.png)
![](/s/i.png)
![](/s/add.png)
![](/s/b.png)
![](/s/d.png)
![](/s/i.png)
![](/s/sup_2.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/c.png)
![](/s/sub.png)
![](/s/b.png)
![](/s/d.png)
![](/s/pr.png)
![](/s/add.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/d.png)
![](/s/add.png)
![](/s/b.png)
![](/s/c.png)
![](/s/pr.png)
![](/s/i.png)
![](/s/i.png)
![](/s/2.png)
![](/s/sub.png)
![](/s/1.png)
除算も、式変形を繰り返すことで「![](/s/pl.png)
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/slash.png)
![](/s/pl.png)
![](/s/c.png)
![](/s/add.png)
![](/s/d.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/pl.png)
![](/s/c.png)
![](/s/sub.png)
![](/s/d.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/pr.png)
![](/s/slash.png)
![](/s/pl.png)
![](/s/pl.png)
![](/s/c.png)
![](/s/add.png)
![](/s/d.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/pl.png)
![](/s/c.png)
![](/s/sub.png)
![](/s/d.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/c.png)
![](/s/add.png)
![](/s/b.png)
![](/s/d.png)
![](/s/pr.png)
![](/s/add.png)
![](/s/pl.png)
![](/s/sub.png)
![](/s/a.png)
![](/s/d.png)
![](/s/add.png)
![](/s/b.png)
![](/s/c.png)
![](/s/pr.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/slash.png)
![](/s/pl.png)
![](/s/c.png)
![](/s/sup_2.png)
![](/s/add.png)
![](/s/d.png)
![](/s/sup_2.png)
」と自然に定義できます。
![](/s/pl.png)
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/slash.png)
![](/s/pl.png)
![](/s/c.png)
![](/s/add.png)
![](/s/d.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/pl.png)
![](/s/c.png)
![](/s/sub.png)
![](/s/d.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/pr.png)
![](/s/slash.png)
![](/s/pl.png)
![](/s/pl.png)
![](/s/c.png)
![](/s/add.png)
![](/s/d.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/pl.png)
![](/s/c.png)
![](/s/sub.png)
![](/s/d.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/c.png)
![](/s/add.png)
![](/s/b.png)
![](/s/d.png)
![](/s/pr.png)
![](/s/add.png)
![](/s/pl.png)
![](/s/sub.png)
![](/s/a.png)
![](/s/d.png)
![](/s/add.png)
![](/s/b.png)
![](/s/c.png)
![](/s/pr.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/slash.png)
![](/s/pl.png)
![](/s/c.png)
![](/s/sup_2.png)
![](/s/add.png)
![](/s/d.png)
![](/s/sup_2.png)
![](/s/pr.png)
以上をまとめると、図1-2の通りになります。
乗算と除算は複雑で、綺麗な式とは言いがたいですが、実はこの式が平面上の回転操作になっています。 試しにこれから複素数を平面で表して確認してみましょう。
2複素平面
2.1複素平面
複素数「![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
」を「![](/s/pl.png)
![](/s/a.png)
![](/s/comma.png)
![](/s/b.png)
」という点だとみなすと、複素数全体は平面を作ります。 この平面を「複素平面」といいます(図2-1)。
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/i.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/comma.png)
![](/s/b.png)
![](/s/pr.png)
![複素平面](/images/mathematics/basic11/773455547868.png)
先ほど定義した演算では、加算とスカラー倍が成り立つため、ちょうど第10話で説明したベクトルの一種だといえます(図2-2)。
![複素数とベクトル](/images/mathematics/basic11/773455547868_2.png)
ただし複素数には、ベクトルには無かった乗算と除算が定義されていて、これらは複素平面上の回転操作になります(図2-3)。
![複素数の乗算と除算](/images/mathematics/basic11/773455547868_3_ja.png)
2つの複素数を乗算すると、この図のように矢印の長さは掛け算したものになり、矢印の角度は足し算したものになります。 また除算では、矢印の長さは割り算したものになり、矢印の角度は引き算したものになります。
このように乗算と除算が回転操作になっていることから、回転運動や周期的な波を表す分野でよく使われています。
2.2複素共役と絶対値
さて、他に複素数でよく行われる演算として、「複素共役」と「絶対値」があります。
「複素共役」とは、複素数「![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
」に対し、
の符号をマイナスにして「![](/s/a.png)
![](/s/sub.png)
![](/s/b.png)
」とすることです。 複素共役は複素平面において上下を反転させるため、乗算で考えると逆回転を意味します。
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/i.png)
![](/s/b.png)
![](/s/a.png)
![](/s/sub.png)
![](/s/b.png)
![](/s/i.png)
複素共役は多くの場合、変数の上に横線を書いて表します。 例えば、![](/s/z.png)
![](/s/eq.png)
![](/s/4.png)
![](/s/add.png)
![](/s/2.png)
の複素共役は![](/s/z_bar.png)
![](/s/eq.png)
![](/s/4.png)
![](/s/sub.png)
![](/s/2.png)
で、![](/s/z.png)
![](/s/eq.png)
![](/s/3.png)
![](/s/sub.png)
![](/s/5.png)
の複素共役は![](/s/z_bar.png)
![](/s/eq.png)
![](/s/3.png)
![](/s/add.png)
![](/s/5.png)
です。
![](/s/z.png)
![](/s/eq.png)
![](/s/4.png)
![](/s/add.png)
![](/s/2.png)
![](/s/i.png)
![](/s/z_bar.png)
![](/s/eq.png)
![](/s/4.png)
![](/s/sub.png)
![](/s/2.png)
![](/s/i.png)
![](/s/z.png)
![](/s/eq.png)
![](/s/3.png)
![](/s/sub.png)
![](/s/5.png)
![](/s/i.png)
![](/s/z_bar.png)
![](/s/eq.png)
![](/s/3.png)
![](/s/add.png)
![](/s/5.png)
![](/s/i.png)
「絶対値」とは実数にも定義されていましたが(符号を正にする演算)、複素数では矢印の長さを得る演算で、複素数「![](/s/z.png)
![](/s/eq.png)
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
」に対し、その絶対値は「![](/s/abs.png)
![](/s/z.png)
![](/s/abs.png)
![](/s/eq.png)
」と定義されます。
が
のときには、複素数の絶対値は実数の絶対値と一致します。 例えば、![](/s/z.png)
![](/s/eq.png)
![](/s/3.png)
![](/s/add.png)
![](/s/4.png)
の絶対値は![](/s/abs.png)
![](/s/z.png)
![](/s/abs.png)
![](/s/eq.png)
![](/s/sqrt_3_sup_2_add_4_sup_2.png)
![](/s/eq.png)
です。
![](/s/z.png)
![](/s/eq.png)
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/i.png)
![](/s/abs.png)
![](/s/z.png)
![](/s/abs.png)
![](/s/eq.png)
![](/s/sqrt_a_sup_2_add_b_sup_2.png)
![](/s/b.png)
![](/s/0.png)
![](/s/z.png)
![](/s/eq.png)
![](/s/3.png)
![](/s/add.png)
![](/s/4.png)
![](/s/i.png)
![](/s/abs.png)
![](/s/z.png)
![](/s/abs.png)
![](/s/eq.png)
![](/s/sqrt_3_sup_2_add_4_sup_2.png)
![](/s/eq.png)
![](/s/5.png)
またこの絶対値は、複素共役を使って「![](/s/z.png)
![](/s/z_bar.png)
![](/s/eq.png)
![](/s/abs.png)
![](/s/z.png)
![](/s/abs.png)
」が成り立ちます。 「![](/s/z.png)
![](/s/z_bar.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/sub.png)
![](/s/b.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/a.png)
![](/s/sup_2.png)
![](/s/add.png)
![](/s/b.png)
![](/s/sup_2.png)
![](/s/eq.png)
![](/s/abs.png)
![](/s/z.png)
![](/s/abs.png)
」となるためです。 複素数の式が複雑な形になると「![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
」の
と
に分離することが大変になるため、![](/s/abs.png)
![](/s/z.png)
![](/s/abs.png)
![](/s/eq.png)
の代わりに、![](/s/a.png)
![](/s/comma.png)
が出てこない「![](/s/abs.png)
![](/s/z.png)
![](/s/abs.png)
![](/s/sup_2.png)
![](/s/eq.png)
![](/s/z.png)
」で絶対値を求めることがよく行われます。
![](/s/z.png)
![](/s/z_bar.png)
![](/s/eq.png)
![](/s/abs.png)
![](/s/z.png)
![](/s/abs.png)
![](/s/sup_2.png)
![](/s/z.png)
![](/s/z_bar.png)
![](/s/eq.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/pl.png)
![](/s/a.png)
![](/s/sub.png)
![](/s/b.png)
![](/s/i.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/a.png)
![](/s/sup_2.png)
![](/s/add.png)
![](/s/b.png)
![](/s/sup_2.png)
![](/s/eq.png)
![](/s/abs.png)
![](/s/z.png)
![](/s/abs.png)
![](/s/sup_2.png)
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/i.png)
![](/s/a.png)
![](/s/b.png)
![](/s/abs.png)
![](/s/z.png)
![](/s/abs.png)
![](/s/eq.png)
![](/s/sqrt_a_sup_2_add_b_sup_2.png)
![](/s/a.png)
![](/s/comma.png)
![](/s/b.png)
![](/s/abs.png)
![](/s/z.png)
![](/s/abs.png)
![](/s/sup_2.png)
![](/s/eq.png)
![](/s/z.png)
![](/s/z_bar.png)
3複素関数
ここからは、![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
や![](/s/e.png)
などの関数を複素数に拡張していきます。 とはいえ「![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
」のようなものを考えたとしても、角度が「
」とはどういうことかよく解らないと思いますが、複素数に拡張することで関数の意外な性質が見つかるかもしれないため、ひとまずは深く考えずに拡張してみましょう。
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/x.png)
![](/s/e.png)
![](/s/sup_x.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/i.png)
![](/s/sqrt_sub_1.png)
3.1テイラー展開
関数を複素数に拡張するとき、「![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
」の
が
のときには実数と一致するように拡張します。 これを自然に行う方法として、「テイラー展開」があります。
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/i.png)
![](/s/b.png)
![](/s/0.png)
「テイラー展開」とは、関数を四則演算の組み合わせに展開する方法です。 ここまでで複素数の四則演算は定義しましたので、関数を四則演算に展開できれば自然に複素数にも拡張できるはずです。 テイラー展開は、図3-1の通りです。
無限回微分可能な関数と実数
に対して、以下の右辺が収束し、また
を満たす
が存在するとき、以下の等式が成り立つ。
テイラー展開は数式で書くと複雑ですが、要するに関数の微分を行えば、あとは四則演算のみの組み合わせに展開できるということです。
ちなみにこの数式に出てくる![](/s/n.png)
は、
の「階乗」と呼ばれ、![](/s/n.png)
![](/s/fact.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/mul.png)
![](/s/2.png)
![](/s/mul.png)
![](/s/3.png)
![](/s/mul.png)
![](/s/dots.png)
![](/s/mul.png)
です。 例えば
の階乗は、![](/s/5.png)
![](/s/fact.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/mul.png)
![](/s/2.png)
![](/s/mul.png)
![](/s/3.png)
![](/s/mul.png)
![](/s/4.png)
![](/s/mul.png)
![](/s/5.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/2.png)
です。
![](/s/n.png)
![](/s/fact.png)
![](/s/n.png)
![](/s/n.png)
![](/s/fact.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/mul.png)
![](/s/2.png)
![](/s/mul.png)
![](/s/3.png)
![](/s/mul.png)
![](/s/dots.png)
![](/s/mul.png)
![](/s/n.png)
![](/s/5.png)
![](/s/5.png)
![](/s/fact.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/mul.png)
![](/s/2.png)
![](/s/mul.png)
![](/s/3.png)
![](/s/mul.png)
![](/s/4.png)
![](/s/mul.png)
![](/s/5.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/2.png)
![](/s/0.png)
それでは「![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
」をテイラー展開してみましょう。 「![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
」とおいて第7話の微分を使うと、
階微分は「![](/s/f.png)
![](/s/prime.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/sub.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
」となり、
階微分は「![](/s/f.png)
![](/s/prime.png)
![](/s/prime.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/sub.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
」となるため、そのまま何度も微分を繰り返して上記の数式に代入すると、図3-2のように展開できます。
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/x.png)
![](/s/f.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/x.png)
![](/s/1.png)
![](/s/f.png)
![](/s/prime.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/sub.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/x.png)
![](/s/2.png)
![](/s/f.png)
![](/s/prime.png)
![](/s/prime.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/sub.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/x.png)
とおくと、
より、
つまり、「![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/sub.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/slash.png)
![](/s/2.png)
![](/s/fact.png)
![](/s/add.png)
![](/s/x.png)
![](/s/sup_4.png)
![](/s/slash.png)
![](/s/4.png)
![](/s/fact.png)
![](/s/sub.png)
![](/s/x.png)
![](/s/sup_6.png)
![](/s/slash.png)
![](/s/6.png)
![](/s/fact.png)
![](/s/add.png)
![](/s/x.png)
![](/s/sup_8.png)
![](/s/slash.png)
![](/s/8.png)
![](/s/fact.png)
![](/s/sub.png)
」となります。 簡単に確かめてみましょう。 本来は「![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/pl.png)
![](/s/pi.png)
![](/s/slash.png)
![](/s/4.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/sqrt_2.png)
![](/s/slash.png)
![](/s/2.png)
![](/s/eq.png)
![](/s/0.png)
![](/s/dot.png)
![](/s/7.png)
![](/s/0.png)
![](/s/7.png)
![](/s/1.png)
![](/s/0.png)
![](/s/6.png)
![](/s/7.png)
![](/s/8.png)
」の値ですが、テイラー展開後の式を計算していくと表3-1のようになります。
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/sub.png)
![](/s/x.png)
![](/s/sup_2.png)
![](/s/slash.png)
![](/s/2.png)
![](/s/fact.png)
![](/s/add.png)
![](/s/x.png)
![](/s/sup_4.png)
![](/s/slash.png)
![](/s/4.png)
![](/s/fact.png)
![](/s/sub.png)
![](/s/x.png)
![](/s/sup_6.png)
![](/s/slash.png)
![](/s/6.png)
![](/s/fact.png)
![](/s/add.png)
![](/s/x.png)
![](/s/sup_8.png)
![](/s/slash.png)
![](/s/8.png)
![](/s/fact.png)
![](/s/sub.png)
![](/s/dots.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/pl.png)
![](/s/pi.png)
![](/s/slash.png)
![](/s/4.png)
![](/s/pr.png)
![](/s/eq.png)
![](/s/sqrt_2.png)
![](/s/slash.png)
![](/s/2.png)
![](/s/eq.png)
![](/s/0.png)
![](/s/dot.png)
![](/s/7.png)
![](/s/0.png)
![](/s/7.png)
![](/s/1.png)
![](/s/0.png)
![](/s/6.png)
![](/s/7.png)
![](/s/8.png)
![](/s/dots.png)
式 | 値 |
---|---|
![]() |
![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
テイラー展開の値が元の関数の値(![](/s/0.png)
![](/s/dot.png)
![](/s/7.png)
![](/s/0.png)
![](/s/7.png)
![](/s/1.png)
![](/s/0.png)
![](/s/6.png)
![](/s/7.png)
![](/s/8.png)
)に近づいていくことが分かります。 確かに四則演算の組み合わせに展開できているようです。
![](/s/0.png)
![](/s/dot.png)
![](/s/7.png)
![](/s/0.png)
![](/s/7.png)
![](/s/1.png)
![](/s/0.png)
![](/s/6.png)
![](/s/7.png)
![](/s/8.png)
![](/s/dots.png)
さてそれでは、逆にテイラー展開後の式から元の関数を定義し直す流れで、複素数に拡張しましょう。 任意の複素数
に対し、「![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/z.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/sub.png)
![](/s/z.png)
![](/s/sup_2.png)
![](/s/slash.png)
![](/s/2.png)
![](/s/fact.png)
![](/s/add.png)
![](/s/z.png)
![](/s/sup_4.png)
![](/s/slash.png)
![](/s/4.png)
![](/s/fact.png)
![](/s/sub.png)
![](/s/z.png)
![](/s/sup_6.png)
![](/s/slash.png)
![](/s/6.png)
![](/s/fact.png)
![](/s/add.png)
![](/s/z.png)
![](/s/sup_8.png)
![](/s/slash.png)
![](/s/8.png)
![](/s/fact.png)
![](/s/sub.png)
」と定義します。
![](/s/z.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/z.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/sub.png)
![](/s/z.png)
![](/s/sup_2.png)
![](/s/slash.png)
![](/s/2.png)
![](/s/fact.png)
![](/s/add.png)
![](/s/z.png)
![](/s/sup_4.png)
![](/s/slash.png)
![](/s/4.png)
![](/s/fact.png)
![](/s/sub.png)
![](/s/z.png)
![](/s/sup_6.png)
![](/s/slash.png)
![](/s/6.png)
![](/s/fact.png)
![](/s/add.png)
![](/s/z.png)
![](/s/sup_8.png)
![](/s/slash.png)
![](/s/8.png)
![](/s/fact.png)
![](/s/sub.png)
![](/s/dots.png)
例えば、「![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
」の値を求めると表3-2のようになります。
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/i.png)
式 | 値 |
---|---|
![]() |
![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
「![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/i.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/dot.png)
![](/s/5.png)
![](/s/4.png)
![](/s/3.png)
![](/s/0.png)
![](/s/8.png)
![](/s/0.png)
![](/s/6.png)
![](/s/3.png)
」となることが分かりました。
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/i.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/dot.png)
![](/s/5.png)
![](/s/4.png)
![](/s/3.png)
![](/s/0.png)
![](/s/8.png)
![](/s/0.png)
![](/s/6.png)
![](/s/3.png)
![](/s/dots.png)
3.2複素関数とオイラーの公式
さて、同様に![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
や![](/s/e.png)
もテイラー展開して複素数に拡張すると、図3-3のようになります。
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/x.png)
![](/s/e.png)
![](/s/sup_x.png)
複素数について、
を以下のように定義する。
すると、![](/s/e.png)
は、![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
と![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
を組み合わせたものに見えてこないでしょうか。 実際、![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
の代わりに![](/s/i.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
とし、![](/s/e.png)
の代わりに![](/s/e.png)
![](/s/sup_i.png)
のように少し変形すると、図3-4のようになります。
![](/s/e.png)
![](/s/sup_z.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/z.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/z.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/z.png)
![](/s/i.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/z.png)
![](/s/e.png)
![](/s/sup_z.png)
![](/s/e.png)
![](/s/sup_i.png)
![](/s/sup_z.png)
以上から![](/s/e.png)
![](/s/sup_i.png)
は、![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
と![](/s/i.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
を足し合わせたものになっています。 よって、「![](/s/e.png)
![](/s/sup_i.png)
![](/s/sup_z.png)
![](/s/eq.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/z.png)
![](/s/add.png)
![](/s/i.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
」が成り立つことが分かります。 この定理を「オイラーの公式」といいます。
![](/s/e.png)
![](/s/sup_i.png)
![](/s/sup_z.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/z.png)
![](/s/i.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/z.png)
![](/s/e.png)
![](/s/sup_i.png)
![](/s/sup_z.png)
![](/s/eq.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/z.png)
![](/s/add.png)
![](/s/i.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/z.png)
一見無関係そうな「![](/s/e.png)
」と「![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
」「![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
」が、複素数に拡張したことで繋がりました。
![](/s/e.png)
![](/s/sup_x.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/x.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/x.png)
3.3オイラーの等式
また、オイラーの公式「![](/s/e.png)
![](/s/sup_i.png)
![](/s/sup_z.png)
![](/s/eq.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/z.png)
![](/s/add.png)
![](/s/i.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
」の
に
を代入すると、有名な「オイラーの等式」すなわち「![](/s/e.png)
![](/s/sup_i.png)
![](/s/sup_pi.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
」が導けます。
![](/s/e.png)
![](/s/sup_i.png)
![](/s/sup_z.png)
![](/s/eq.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/z.png)
![](/s/add.png)
![](/s/i.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/z.png)
![](/s/z.png)
![](/s/pi.png)
![](/s/e.png)
![](/s/sup_i.png)
![](/s/sup_pi.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
![](/s/0.png)
この式は「最も美しい定理」などと言われることもあり、ネイピア数「
」、虚数単位「
」、円周率「
」、乗法の単位元「
」、加法の単位元「
」が並ぶ様は絶景ですが、複素数の乗算が回転操作になっていることと、その回転に関わる三角関数![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/x.png)
![](/s/comma.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
が指数![](/s/e.png)
と複素数に拡張したときに繋がることが魅力の根底にあると思います。
![](/s/e.png)
![](/s/i.png)
![](/s/pi.png)
![](/s/1.png)
![](/s/0.png)
![](/s/tc.png)
![](/s/to.png)
![](/s/ts.png)
![](/s/x.png)
![](/s/comma.png)
![](/s/ts.png)
![](/s/ti.png)
![](/s/tn.png)
![](/s/x.png)
![](/s/e.png)
![](/s/sup_x.png)
今回は、2乗すると負になる数を説明しました。 次回は、基本編の最終回、ゴムのように伸び縮みする軟らかい立体を扱います!