まず、点Bを原点とし、点Cがx軸上にあるように座標を設定します。
すると、点Bの座標は(0, 0)、点Cの座標は(3c, 0) (c > 0) と表せます。
点Aの座標を(x, y)とします。
点Dは辺BCを1:2に内分するので、点Dの座標は (c, 0) となります。
これらの座標を用いて、それぞれの辺の長さを計算します。
AB2=x2+y2 AC2=(x−3c)2+y2=x2−6cx+9c2+y2 AD2=(x−c)2+y2=x2−2cx+c2+y2 与えられた等式 2AB2+AC2=3(AD2+2BD2) の左辺を計算します。 2AB2+AC2=2(x2+y2)+(x2−6cx+9c2+y2)=3x2−6cx+9c2+3y2 与えられた等式の右辺を計算します。
3(AD2+2BD2)=3((x2−2cx+c2+y2)+2c2)=3(x2−2cx+3c2+y2)=3x2−6cx+9c2+3y2 左辺と右辺が等しいことを確認します。
3x2−6cx+9c2+3y2=3x2−6cx+9c2+3y2 したがって、2AB2+AC2=3(AD2+2BD2) が成り立ちます。