安徽省岳西縣湯池中學 (246620) 儲文著 楊續(xù)亮
本文對不等式①,結合不等式②的形式結構提出一個類似不等式:
為了證明定理1,2先給出四個引理.
引理1[2]在△ABC中,有∑ab=s2+4Rr+
r2∑a2=2(s2-4Rr-r2);∑a3=2s(s2-6Rr-3r2);∑a4=2(s2-4Rr-r2)2-8s2r2.
證明:由引理2和歐拉不等式R≥2r可知
利用引理1和abc=4Rrs,可得:
(2s-a)(2s-b)(2s-c)=(a+b)(b+c)(c+a)=2abc+ab(a+b)+bc(b+c)+ca(c+a)
=2abc+ab(2s-c)+bc(2s-a)+ca(2s-b)
=2s(ab+bc+ca)-abc
=2s(s2+4Rr+r2)-4Rrs=2s(s2+2Rr+r2);
∑a2(c+a)(a+b)=∑a2(2s-b)(2s-c)=∑a2[4s2-2s(2s-a)+bc)]
=∑a2(2sa+bc)=2s∑a3+abc∑a
=2s[2s(s2-6Rr-3r2)]+8Rrs2;
∑a3(c+a)(a+b)
=∑a3(2s-b)(2s-c)
=∑a3[4s2-2s(2s-a)+bc)]
=∑a3(2sa+bc)=2s∑a4+abc∑a2
定理1的證明:根據(jù)熟知的歐拉不等式R≥2r可知 18R2-3Rr-2r2≥16R2+2R2-3Rr-2r2=16R2+(R-2r)(2R+r)≥16R2,于是有18R2-3Rr-2r2≥16R2⑤.⑤式等號成立當且僅當R=2r,即△ABC為正三角形時成立時.
由引理3和引理4與⑥式等號成立的條件可知,不等式④等號當且僅當△ABC為正三角形時成立.