■中川の5円定理(その9)

  a=1±(−2+√5)^1/2,1±(2+√5)^1/2

の4解は

  (a^2−2a+3−√5)(a^2−2a−1−√5)=0

の解である.

 展開すると

  (a^2−2a)^2+(2−2√5)(a^2−2a)−(3−√5)(1+√5)

=(a^4−4a^3+4a^2)+(2−2√5)a^2−(4−4√5)a+2−2√5

=(a^4−4a^3+(6−2√5)a^2−(4−4√5)a+2−2√5

  (a^2−2a+1−√5)^2−4=0

を展開すると

  (a^2−2a+1)^2−2√5(a^2−2a+1)+5−4=0

a^4−4a^3+6a^2−4a+1−2√5(a^2−2a+1)+1=0

a^4−4a^3+(6−2√5)a^2−(4−4√5)a+2−2√5=0

 両者は一致したが,いずれも

  a^4−4a^3+10a^2−12a+4=0

とは一致しない.

(4+2√5)a^2−(8+4√5)a+2+2√5の差はどこからきているのか?

===================================