>>496
>この両辺に　a-bi=0　をかけて　a^2-(b^2)(i^2)=0。
a-bi=0になるかどうかはまだ分からないけれどそれは置くとして、
乗法についてはどの段階でどのように定義されたの?

実数a,b,c,dを使って表せる複素数a+biとc+diに対して、
(a+bi)(c+di)が「定義として」(ac-bd)+(ad+bc)iに等しいと定義したとしても、

>i^2=-1からa^2+b^2=0。
ここが論点先取になってる。上記の乗法の定義から言えることは
(a+bi)(a-bi)=(a^2-b^2)+0i であることまで。これが0に等しいことを
言うには、すでに出ている複素数における0の定義を使う必要が
出てくると思うけれど。