■中川の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の差はどこからきているのか?
===================================