劉才華

(山東省泰安市寧陽第一中學 271400)

定義點P為△ABC內(nèi)一點，過點P分別作PD⊥BC,PE⊥CA,PF⊥AB，垂足分別為點D,E,F，連接DE,EF,FD，則稱△DEF為△ABC的垂足三角形.

在本文中，我們約定△ABC的三邊分別為BC=a,CA=b,AB=c，外接圓，內(nèi)切圓的半徑分別為R,r，面積為s，R△表示三角形外接圓的半徑.

對于銳角三角形內(nèi)一點對應(yīng)的垂足三角形，文[1]中有如下：

結(jié)論△DEF為銳角△ABC內(nèi)點P對應(yīng)的垂足三角形，記△DEF的外接圓半徑為R，當點P為△ABC的內(nèi)心時，R最小.

進一步思考，對于銳角△ABC四心:內(nèi)心，重心，垂心，外心，其對應(yīng)的垂足三角形外接圓半徑的大小關(guān)系如何？我們得到如下：

定理的證明需用到如下引理.

圖1

證明如圖1，由三角形重心性質(zhì)得

則s△PQR=s△GPQ+s△GQR+s△GPR

在△GQR中，由三角形中線公式

定理的證明

(1)r=R△B1B2B3≤R△C1C2C3.

由三角形內(nèi)心性質(zhì)得R△B1B2B3=r.

由引理1得R△B1B2B3≤R△C1C2C3.

(2)R△C1C2C3≤R△D1D2D3.

由常見不等式：若a,b,c>0，則

并結(jié)合三角形中線公式

從而由引理1得

又由Neuberg不等式：∑a2≤9R2(見文[3])，

由三角形外心性質(zhì)得△E1E2E3∽△ABC，

由(1)、(2)、(3)知定理成立.

注上述不等式鏈給出了銳角三角形中歐拉不等式R≥2r的一種隔離.