■オイラー・カタラン・フェルマー(その11)
(その8)より,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)
===================================
(その8)より,(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を導き出せるとは思われない.
===================================