参考解答
解析
设 O 为 △ABC 的外接圆圆心。根据西尔维斯特定理(Sylvester’s Theorem),
OH=OA+OB+OC,
我们有:
∑HA⋅HB=∑(HO+OA)⋅(HO+OB)
=∑(HO2+HO⋅OB+HO⋅OA+OA⋅OB)
=3OH2+2HO⋅(OA+OB+OC)+∑2R2+R2−c2
=OH2+3R2−∑2c2
充分性:
当ABC为等边三角形时, O=H,即外心与垂心重合,a=b=c=3R,所以 ∑2c2=29R2,代入得:
OH2+3R2−∑2c2=OH2+3R2−29R2=−23R2
必要性:
当 OH2+3R2−∑2c2=−23R2 时,
整理得:
OH2+29R2=21(a2+b2+c2)
由正弦定理:a=2RsinA⇒a2=4R2sin2A,代入得:
OH2+29R2=2R2(sin2A+sin2B+sin2C)
=R2(3−cos2A−cos2B−cos2C)
OH2+23R2+R2(cos2A+cos2B+cos2C)=0……(1)
下证: cos2A+cos2B+cos2C≥−23
不妨设 A≥B≥C,则 C 为锐角。
cos2A+cos2B+cos2C=2cos(A+B)cos(A−B)+cos[2π−2(A+B)]
=−2cosCcos(A−B)+2cos2C−1
≥2cos2C−2cosC−1
=2(cosC−21)2−23
当 cosC=21 且 A=B,即 A=B=C=60∘ 时取等号。
将 cos2A+cos2B+cos2C≥−23 代入 (1) 得:
0≥OH2
∴OH=0
即 外心与垂心重合。
∴△ABC 为等边三角形。
证毕。 □