■正三角形と六斜術(その1)
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=b^2+c^2−2bccosα
d^2=c^2+a^2−2cacosβ
d^2=a^2+b^2−2abcosγ
また,α+β+γ=2πより,
cos^2α+cos^2β+cos^2γ=1+2cosαcosβcosγ
続きは骨の折れる計算であるが,
3(a^4+b^4+c^4+d^4)=(a^2+b^2+c^2+d^2)^2
が得られる.
===================================