第4章 4.22

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

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

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

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

(ac−bd)2=a2c2−2abcd+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+bi≠0a+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 および (a−bi)(c−di)=0(a-bi)(c-di)=0 となっているので ここでは c=−dic=-di が解となる

同様に c+di≠0c+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