■中川の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と一致

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