■フィボナッチの等式(その2)

 小学生でも発見できる数の性質として

 2・2=2+2=4

 1・2・3=1+2+3=6

 2^4=4^2=16

など,同じ結果になる特異数があげられる.

 フィボナッチの等式としてよく知られている恒等式

  (a^2+b^2)(c^2+d^2)=(ac−bd)^2+(ad+bc)^2

は簡単に確認できます.この公式は2つの整数がともに平方数の和の形をしているなら,その2数の積も平方数で表されることを示していて,複素数と2平方和問題との関連を示しています.

  50=1^2+7^2=5^2+5^2

  65=8^2+1^2=4^2+7^2

 (その1)より,50は2通りの異なる方法で,2つの平方数の和として表すことができる最小の整数であることが理解されます.

 3平方和問題(a^2 +b^2 +c^2 )(x^2 +y^2 +z^2 )=u^2 +v^2 +w^2 は2平方和、4平方和の場合のようなわけにはいきません。3平方和の積が必ずしも3平方和とならないからです。

 それでも,3つの平方数の和として2通り以上に書ける数は知られていて

  62=1^2+5^2+6^2=2^2+3^2+7^2

  129=10^2+5^2+2^2=8^2+7^2+4^2=8^2+8^2+1^2+11^2+2^2+2^2

 また、4平方和問題(a^2 +b^2 +c^2 +d^2 )(p^2 +q^2 +r^2 +s^2 )=x^2 +y^2 +z^2 +w^2 は

x=ap+bq+cr+ds,

y=aq−bp+cs−dr,

z=ar−bs−cp+dq,

w=as+br−cq−dp

とおくと成り立ち、4つの平方数の和となっている数は積の演算で閉じていることを示しています。そのため,4つの平方数の和として2通り以上に書ける数では

  1718=7^2+12^2+25^2+30^2=40^2+9^2+6^2+1^2

などがあります.

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