虚数単位とは？
実数の範囲では非負実数のものしか考えられない平方根ですが、考える範囲を負の実数にまで拡張したときに導入される実数とは異なる数が虚数であり、その基礎となるのが虚数単位です。
x2=−1x2=−1
という方程式を考えたとき、これを満たすxxは以下のように求めます。
このiiのことを虚数単位と呼びます。
という方程式を考えたとき、これを満たすxxは以下のように求めます。
x2+1=0x2−(−1)=0(x+√−1)(x−√−1)=0x=±√−1x2+1=0x2−(−1)=0(x+√−1)(x−√−1)=0x=±√−1
ここで√−1=i√−1=i(1)とすると、方程式を満たすxxはiiと−i−iであることがわかります。このiiのことを虚数単位と呼びます。
上の結果から以下が成り立ちます。
i2=−1i2=−1(2)
ここで、任意の負の数−a (a>0)−a (a>0)をもちいて
x2=−ax2=−a
を満たすxxを考えると、上記と同様に解いて
x2+a=0x2−(−a)=0(x+√−a)(x−√−a)=0x=±√−ax2+a=0x2−(−a)=0(x+√−a)(x−√−a)=0x=±√−a
となります。すなわち、(√−a)2=−a(√−a)2=−a(3)です。
iiと√−a√−aにはどのような関係があるのかを次で調べます。
iiと√−a√−aの関係
平方根の計算法則
√a⋅√b=√ab(a>0,b>0)√a⋅√b=√ab(a>0,b>0)
がa>0,b=−1a>0,b=−1のときにも成り立つかを(1)、(2)、(3)を利用して確かめます。
a>0,b=−1a>0,b=−1のとき
(左辺)2=(√a⋅√−1)2=(√a⋅i)2(∵(1))=(√a)2i2=−a(∵(2))(右辺)2=(√−a)2=−a(∵(3))(左辺)2=(√a⋅√−1)2=(√a⋅i)2(∵(1))=(√a)2i2=−a(∵(2))(右辺)2=(√−a)2=−a(∵(3))
(左辺)2=(右辺)2=−a(左辺)2=(右辺)2=−aとなり、両辺ともに−a−aの同符号の平方根であるので成り立つことがわかります。また、式の対称性よりa=−1,b>0a=−1,b>0のときも成り立ちます。
よって、平方根の計算法則から
√−a=√a√−1=√ai√−a=√a√−1=√ai(4)
という式が導かれ、√−a√−aは虚数単位を実数倍した√ai√aiであることがわかります。これは虚数に関する公式の1つとなります。
虚数単位と平方根の積の公式
先ほどの平方根の積の公式
√a⋅√b=√ab(a>0,b>0)√a⋅√b=√ab(a>0,b>0)
のa,ba,bの条件をa>0,b<0a>0,b<0とした場合は成り立つでしょうか？確かめてみます。
a>0,b<0a>0,b<0のとき、b=−b′ (b′>0)b=−b′ (b′>0)とすると
(左辺)2=(√a⋅√−b′)2=(√a⋅√b′i)2(∵(4))=(√a)2(√b′i)2=a(√b′)2i2=−ab′(∵(3))(右辺)2=(√−ab′)2=−ab′(∵(3))(左辺)2=(√a⋅√−b′)2=(√a⋅√b′i)2(∵(4))=(√a)2(√b′i)2=a(√b′)2i2=−ab′(∵(3))(右辺)2=(√−ab′)2=−ab′(∵(3))
(左辺)2=(右辺)2=−ab′(左辺)2=(右辺)2=−ab′となり、両辺ともに−ab′−ab′の同符号の平方根であるので成り立つことがわかります。また、式の対称性よりa<0,b>0a<0,b>0のときも成り立ちます。
今度はa<0,b<0a<0,b<0のときを調べてみます。a=−a′,b=−b′ (a′>0,b′>0)a=−a′,b=−b′ (a′>0,b′>0)とすると
(左辺)=√−a′⋅√−b′=√a′i⋅√b′i(∵(4))=√a′⋅√b′i2=−√a′b′(∵(2))(右辺)=√−a′⋅(−b′)=√a′b′(左辺)=√−a′⋅√−b′=√a′i⋅√b′i(∵(4))=√a′⋅√b′i2=−√a′b′(∵(2))(右辺)=√−a′⋅(−b′)=√a′b′
となり、左辺と右辺で異符号となるので成り立たないことがわかります。
すなわち、√−2⋅√−3√−2⋅√−3のような計算を行う場合、
√−2⋅√−3=√−2⋅(−3)=√6√−2⋅√−3=√−2⋅(−3)=√6
とはできないということであり、(4)を利用して
√−2⋅√−3=√2i⋅√3i=√2⋅3i2=−√6√−2⋅√−3=√2i⋅√3i=√2⋅3i2=−√6
のように計算しなければならないということです。
また、以上の結果から平方根の積
√a⋅√b=√ab√a⋅√b=√ab
にはa,ba,bの条件として「a>0,b>0a>0,b>0」とありますが、「a<0a<0かつb<0b<0」のときのみ成り立たないことから「a>0a>0またはb>0b>0」と読み替えることができそうです。ただし、これは複素数の範囲で考えた場合で実数の範囲においては「a>0a>0かつb>0b>0」です。
Share:
