複素数の四則演算
足し算と引き算はベクトル空間R2のものと同じである。
つまり実部同士と虚部同士をそれぞれ足し引きすればいい。
(a+bi)+(c+di)=(a+c)+(b+d)i(a+bi)−(c+di)=(a−c)+(b−d)i
この定義のもとで、a+bi=(a+0i)+(0+bi)である。
掛け算は次のように定める。
(a+bi)(c+di)=(ac−bd)+(ad+bc)i
これは、i2=−1かつ実双線形(分配法則を満たす)という条件で特徴づけられる。
この定義のもとで、bi=(b+0i)(0+1i)である。
割り算をどう定義するかを考えよう。
(a+bi)/(c+di)=(a+bi)×c+di1
とすることで、逆数を定めればよいことになる。
では逆数はどう定めるかというと、
(a+bi)(x+yi)=(ax−by)+(ay+bx)i=1
となる複素数x+yiがa+biの逆数であるから、この方程式を解けばよい。
すなわち
⎩⎨⎧ax−by=1ay+bx=0
あるいは行列とベクトルを用いて
ab−baxy=10
を解くことで、x=a2+b2a,y=a2+b2−bとなり、
a+bi1=a2+b2a+a2+b2−bi
とわかる。
あるいは、(a+bi)(a−bi)=a2+b2となることを利用して、分子分母にa−biをかけると考えることもできる。
この四則演算について、通常の実数の和や積と同様に結合法則や交換法則、分配法則が成り立つことが証明できる。