李凤清 张子卫 张青山
(四川职业技术学院应用数学与经济系 629000)
数学问题2121在锐角三角形ABC中,求证:
设三角形ABC的面积为S,由于
我们由这个式子的结构联想到著名的几何不等式——佩多不等式.
佩多不等式对任意两个三角形A1B1C1与三角形A2B2C2,|B1C1|=a1,|A1C1|=b1,|A1B1|=c1,|B2C2|=a2,|A2C2|=b2,|A2B2|=c2,记三角形A1B1C1的面积为S1,三角形A2B2C2的面积为S2,那么
(1)
仅当三角形A1B1C1与三角形A2B2C2相似时等号成立.
(2)
由此可见,问题2121可以推广成下面命题.
pcotA+qcotB+rcotC≥4S
(3)
显然,等号成立的条件也可以表示为
cotA:cotB:cotC
=(q+r-p):(p+r-q):(p+q-r).
定理1显然与佩多不等式等价.因此,问题2121是佩多不等式的一个特例.
由(3)式可知
(pcotA+qcotB+rcotC)2≥16S2,
由于
cotAcotB+cotBcotC+cotCcotB=1,
那么可得
(pcotA+qcotB+rcotC)2
≥16S2(cotAcotB+cotBcotC+cotCcotA),
令a=cotA,b=cotB,c=cotC,
就有(pa+qb+rc)2≥16S2(ab+bc+ca),
我们提出下面问题.
(pa+qb+rc)2≥16S2(ab+bc+ca)
(4)
是否恒成立?
分析
1. 若ab+bc+ca≤0,(4)式显然成立;
2.若ab+bc+ca>0,由于(4)式是一个三元二次齐次不等式,故可设ab+bc+ca=1.
第一种情况,a,b,c中至少有两个正数,不妨设为a,b,则存在三角形ABC使
a=cotA,b=cotB,c=cotC(注:设两个锐角A,B满足a=cotA,b=cotB,那么
=cot [π-(A+B)],
令C=π-(A+B),