■ほぼ整数の整数三角形(その4)

[Q]1辺の長さdの正三角形がある.その中にある1点をとったら,3頂点からそれぞれa=7cm,b=10cm,c=13cmの距離にあった.1辺の長さdを求めよ.

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

 1辺の長さがdの正三角形の中に点Pがあり,3頂点との距離はそれぞれa,b,cになっている.このとき,

  3(a^4+b^4+c^4+d^4)=(a^2+b^2+c^2+d^2)^2

が成り立つ.

 この公式を知っていれば答は簡単である.

  a^2=49,a^4=2401

  b^2=100,b^4=10000

  c^2=169,c^4=28561

  a^2+b^2+c^2=318

  a^4+b^4+c^4=40962

  3(40962+d^4)=(318+d^2)^2

  3(40962+d^4)=(318+d^2)^2

  122886+3d^4=101124+636d^2+d^4

  d^4−318d^2+10881=0

  d^2=159±√14400=159±120=279,39

[A]点Pは正三角形の中にあるから,d=√279

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

【1】六斜術

 「六斜術」とは平面三角形ABCの6本の線分間の等式を意味する「和算用語」です.平面三角形ABCにおいて,BC=a,CA=b,AB=cとおき,平面上の点Pに対してPA=d,PB=e,PC=fとするとき

  a^2d^2(b^2+c^2+e^2+f^2−a^2−d^2)

 +b^2e^2(c^2+a^2+f^2+d^2−b^2−e^2)

 +c^2f^2(a^2+b^2+d^2+e^2−c^2−f^2)

 =a^2b^2c^2+a^2e^2f^2+d^2b^2f^2+d^2e^2c^2

が成立します.一見複雑ですが,左辺は相対する線分の2乗の積に,他の線分の2乗の和から自分自身の2乗を引いた量をかけた和

  a^2d^2(b^2+c^2+e^2+f^2−a^2−d^2)

 +b^2e^2(c^2+a^2+f^2+d^2−b^2−e^2)

 +c^2f^2(a^2+b^2+d^2+e^2−c^2−f^2)

であり,右辺は4個の三角形の周辺3本の2乗の積の和

  a^2b^2c^2+a^2e^2f^2+d^2b^2f^2+d^2e^2c^2

です.

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

(a,b,c)=(x,x,x)

(d,e,f)=(7,10,13)

  a^2d^2(b^2+c^2+e^2+f^2−a^2−d^2)=49x^2(x^2+x^2+100+169-x^2-49)=49x^2(x^2+220)

 +b^2e^2(c^2+a^2+f^2+d^2−b^2−e^2)=100x^2(x^2+118)

 +c^2f^2(a^2+b^2+d^2+e^2−c^2−f^2)=169x^2(x^2-20)

 =a^2b^2c^2+a^2e^2f^2+d^2b^2f^2+d^2e^2c^2=x^6+16900x^2+8281x^2+4900x^2

318x^4+19200x^2=x^6+30081x^2

x^6-318x^4+10881X^2=0

x^4-318x^2+10881=0

x^2=279を代入すると0になる

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