■ほぼ整数の整数三角形(その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になる
===================================