■和算にまなぶ(その16)

 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,b,cについて対称なのは当然であるが,dに関しても対称になっている.したがって,これらの図が互いに結びついて多くの対称性をもつ大きな図を構成することだでき,最終的には3辺の長さがa,b,cの三角形の外側に1辺の長さがaの正三角形,bの正三角形,cの正三角形を描いた図が得られる.

 するとAA’,BB’,CC’を結んだ3直線は60°で交わり,どれも同じ長さになる.この交点がフェルマー点である.

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

  a+b+cを最小とする点がフェルマー点であるが,正三角形の場合はxa=b=cであるから,aが最小値をとればよい.

  3(3a^4+d^4)=(3a^2+d^2)^2=9a^4+6a^2d^2+d^4

  6a^2d^2=2d^4→a=d/√3

すなわち,フェルマー点は重心と一致する.

  a+b+c=3a=d√3

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