■中川の5円定理(その10)
a=1±(−2+√5)^1/2,1±(2+√5)^1/2
の解を組み換えて
a=1+(−2+√5)^1/2,1+(2+√5)^1/2
と
a=1−(−2+√5)^1/2,1−(2+√5)^1/2
としてみよう.
第1ペアは
a^2−(2+(−2+√5)^1/2+(2+√5)^1/2)a+2+(−2+√5)^1/2+(2+√5)^1/2=0
a^2−ba+b=0の解,b=2+(−2+√5)^1/2+(2+√5)^1/2
第2ペアは
a^2−(2−(−2+√5)^1/2−(2+√5)^1/2)a+2−(−2+√5)^1/2−(2+√5)^1/2=0
a^2−ca+c=0の解,c=2−(−2+√5)^1/2−(2+√5)^1/2
(a^2−ba+b)(a^2−ca+c)
=a^4−(b+c)a^3+(b+c+bc)a^2−2bca+bc
b+c=4
bc=4−{(−2+√5)^1/2+(2+√5)^1/2}^2
=4−{2√5+2}=2−2√5
(a^2−ba+b)(a^2−ca+c)
=a^4−4a^3+(6−2√5)a^2−2(2−2√5)a+2−2√5
a^4−4a^3+(6−2√5)a^2−(4−4√5)a+2−2√5=0と一致
===================================
a=1±(−2+√5)^1/2,1±(2+√5)^1/2
の解を組み換えて
a=1+(−2+√5)^1/2,1−(2+√5)^1/2
と
a=1−(−2+√5)^1/2,1+(2+√5)^1/2
としてみよう.
第1ペアは
a^2−(2+(−2+√5)^1/2−(2+√5)^1/2)a+(−2+√5)^1/2−(2+√5)^1/2=0
a^2−(2+b)a+b=0の解,b=(−2+√5)^1/2−(2+√5)^1/2
第2ペアは
a^2−(2−(−2+√5)^1/2+(2+√5)^1/2)a−(−2+√5)^1/2+(2+√5)^1/2=0
a^2−(2−b)a−b=0の解
(a^2−(2+b)a+b)(a^2−(2−b)a−b)
=a^4−4a^3+(4−b^2)a^2+2b^2a−b^2
b^2=2√5−2
a^4−4a^3+(6−2√5)a^2−(4−4√5)a+2−2√5=0と一致
===================================