■三角形の対称関数(その14)

 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

が成り立つ.それに対して,・・・

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

 3辺の長さがa,b,cの三角形の重心と各頂点を結ぶ線分の長さをl,m,nとする.このとき,

  l^2=(2b^2+2c^2−a^2)/9

  m^2=(2c^2+2a^2−b^2)/9

  n^2=(2a^2+2b^2−c^2)/9

が成り立つ.

 証明はヘロンの公式による.

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