ナポレオンの定理 対称式
辺の長さが対称式のとき、計算せずとも辺の長さが等しくなることが、わからないので質問します。
図のように、3角形ABCの外側に3つの正3角形ABD,BCE,CAFを作り、それらの重心をそれぞれG,H,Iとするとき次の問に答えよ、ただし、3角形ABCの面積をSで、辺BC,CA,ABの長さをそれぞれa,b,cで∠BACのをθで表すことにする。
(1)GI^2=AG^2+AI^2-AG*GI*cosθ+√3*AG*GI*sinθを示せ。
(2)AG^2+AI^2-AG*GI*cosθをa,b,cの式で表せ。
(3)√3*AG*GI*sinθをSの式で表せ。
(4)3角形GHIは正3角形であることを示せ。
(1)から(3)まではわかったので、GI^2=(a^2+b^2+c^2)/6+(2S)/√3となるのは納得できたのですが、(4)の解説でこれはa,b,cについての対称式だからGH^2,HI^2もこの値に等しいと書かれているのに納得がいきません。インターネットで調べたところ、A,B,Cを入れ替えを考えると、GI^2はa,b,cについての対称式だからそれにGH^2,HI^2も等しいらしいのですが、A,B,Cを入れ替えたら、a,b,cが入れ替わって
(a^2+b^2+c^2)/6+(2S)/√3が変わらないというのがわかりません。どなたかGI^2がa,b,cについての対称式だから、GH^2,HI^2もこの値に等しくなることを解説してくださいお願いします。
お礼
いえいえ あらかじめ私が新高校一年生であることを書いておくべきでした、すみませんでした。あまり気にしないでください。