■デカルトの4接円定理(その1)

【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

です.

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

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

[A]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

d^2=159±120=279,39

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

なお,この問題では計算しやすいようにa,b,cが等差数列になっている.

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