(その4)より,16とx^2+4の最大公約数は1とはならない.
最大公約数が2の場合,x^2+4=2 (NG)
最大公約数が4の場合,x^2+4=4 (NG)
最大公約数が8の場合,x^2+4=8→x^2+4 (OK)
最大公約数が16の場合,x^2+4=16 (NG)
===================================
(その4)より,(x+2i)=(a+2bi)^3になるとは限らない.それでは
(x+i√2)=(a+bi√2)^3
(x-i√2)=(a-bi√2)^3
ではなく
(x+2i)=(a+2bi)^2(c+2di)
(x-2i)=(a+2bi)(c+2di)^2
とおけるだろうか?
===================================
(x+2i)=(a+2bi)^2(c+2di)
={(a^2-4b^2)+4abi}(c+2di)
={c(a^2-4b^2)-8abd}+{2d(a^2-4b^2)+4abc}i
(x-2i)=(a+2bi)(c+2di)^2
={(c^2-4d^2)+4cdi}(a+2bi)
={a(c^2-4d^2)-8cdb}+{2a(c^2-4d^2)+4cdaabc}i
d(a^2-4b^2)+2abc=1
x=c(a^2-4b^2)-8abd
これからx^2=4を導き出せるとは思われない.
===================================