第4章 4.22

(a+bi)(c+di)=0(a+bi)(c+di)=0

(acbd)+(ad+bc)i=0(ac-bd)+(ad+bc)i=0 となるので

acbd=0ac-bd=0 ad+bc=0ad+bc=0 の2式を満たす

実部、虚部をそれぞれ2乗すると

(acbd)2=a2c22abcd+b2d2=0(ac-bd)^2=a^2c^2-2abcd+b^2d^2=0

(ad+bc)2=a2d2+2abcd+b2c2=0(ad+bc)^2=a^2d^2+2abcd+b^2c^2=0

①、②から

a2c2+b2d2+a2d2+b2c2=0a^2c^2+b^2d^2+a^2d^2+b^2c^2=0

a2(c2+d2)+b2(c2+d2)=(a2+b2)(c2+d2)=0a^2(c^2+d^2)+b^2(c^2+d^2)=(a^2+b^2)(c^2+d^2)=0

a+bi0a+bi \neq 0 であるなら a2+b2>0a^2+b^2>0 となり

(c2+d2)=0(c^2+d^2)=0 これから c=±dic=\pm di となる

①、②は実部、虚部をそれぞれ2乗しているので対象としている式は

(a+bi)(c+di)=0(a+bi)(c+di)=0 および (abi)(cdi)=0(a-bi)(c-di)=0 となっているので ここでは c=dic=-di が解となる

同様に c+di0c+di \neq 0 であるなら c2+d2>0c^2+d^2>0 となり

(a2+b2)=0(a^2+b^2)=0 これから a=±bia=\pm bi となる

これも同様に与式が成り立つには a=bia=-bi が解となる

これから a+bi=0a+bi=0 又は c+di=0c+di=0 となる

解説: r31bn1z