■ペル恒等式(その13)
【1】ブラーマグプタの恒等式
(x1^2−Ny1^2)(x2^2−Ny2^2)=(x1x2+Ny1y2)^2−N(x1y2+x2y1)^2
===================================
【2】2平方恒等式(ブラーマグプタ・フィボナッチの恒等式)
複素数x=a+biの絶対値は|x|^2 =a^2 +b^2 =(a+bi)(a−bi)で与えられますが,ここで,数の体系に「積のベクトルの大きさはベクトルの大きさの積に等しい」という条件が要請されているとしましょう.
複素数x=a+biとy=c+diの積
xy=(a+bi)(c+di)=(ac−bd)+(ad+bc)i
は同じ空間内のベクトルとして表されますが,
(a^2 +b^2 )(c^2 +d^2 )=(ac−bd)^2 +(ad+bc)^2
より,|x|・|y|=|xy|が満たされていることがわかります.
フィボナッチの等式としてよく知られている恒等式
(a^2 +b^2 )(c^2 +d^2 )=(ac−bd)^2 +(ad+bc)^2
は簡単に確認できます.この公式は2つの整数がともに平方数の和の形をしているなら,その2数の積も平方数で表されることを示していて,複素数と2平方和問題との関連を示しています.
===================================
【3】ブラーマグプタの問題
3辺の長さが(13,14,15)の三角形がある.底辺の長さが14のとき,この三角形の高さを求めよ.
[A]12
===================================