几何不等式分析和总结.docxVIP

中国计量学院 吴跃生

几何问题中出现的不等式称为几何不等式．证明几何不等式的方法大致可分为三种方法：几何方法、代数方法和三角方法．

记号约定：在VABC中，a,b,c表示三边长；A,B,C表示对应角；s表示半周长；

h,t,m

a a a

分别表示a边上的高、内角平分线长、中线长；R和r分别表示VABC的外接圆

半径和内接圆半径；S表示VABC的面积．设P是VABC内任意一点，记

PA?R,PB?R

,PC?R

；点P到三边BC,CA,AB的距离分别记为r,r,r ；记

1 2 3 1 2 3

?BPC??,?CPA??,?ABC??；?BPC,?CPA,?ABC的内角平分线长分别记为

w,w,w．

1 2 3

一、距离不等式与化直法

仅仅涉及线段长度的几何不等式称为距离不等式．

1． 设a,b,c是VABC的边长，求证：

a ? b ?

c ?2．

b?c c?a a?b

２．已知：在VABC中，c是最小边，P是VABC内任意一点，求证：

PA?PB?PC?a?b．（冷岗松）

加强：在VABC中，c是最小边，P是VABC内任意一点，求证：存在?

p

使得

(0??

p

?1)，

PA?PB?PC?a?b?(1??

)[min(a,b)?c]．（鱼儿）

p

3．设a是VABC的最大边，O是VABC内任意一点，设直线AO、BO、CO与VABC的三边分别交于点P、Q、R，证明：

OP?OQ?OR?a．

二、托勒密(Ptolemy)定理及其应用

托勒密定理：在凸四边形ABCD中，有

AB?CD?AD?BC?AC?BD，

当且仅当四边形ABCD是圆内接四边形时等号成立．

下面各例中的不等式的等号成立的条件，请读者自行判明，不再赘述．

4mm

b c

?2a2?bc(1993年，陈计)

对偶式：4mm

b c

?2a2?4b2?4c2?9bc．(1992年，陈计)

122b2?

1

2

2b2?2c2?a2

a

bm

c

cm

b

?2am

a

．（1996年，吴跃生）

? ? ? ? ? ?

推论 m

a

bc?a2 ?m ca?b2 ?m ab?c2 ?0．

b c

R?R?R

2?am

? a

bm

b

cm

c

?

．（1995年，吴跃生）

1 2 3

a?b?c

R

1r?h

1

1 a

R

2r?h

2

b

? 3

Rr?h

R

c

?3．（1995年，吴跃生）2

三、关于三角形边长、面积的不等式

魏森伯克(Weitzenbock)不等式： 设a,b,c是三角形的三边长，S是三角形的面积，

则有

a2?b2

c2

?4 3S．

费因斯列尔－哈德维格（Finsler-Hadweiger）不等式： 设a,b,c是三角形的三

边长，S是三角形的面积，则有

a2?b2?c2?4 3S??a?b?2

??b?c?2

??c?a?2．

设a,b,c是VABC的三边长，求证：

?b?c?a?2?c?a?b?2?a?b?c?2??b2?c2?a2??c2?a2?b2??a2?b2?c2?

4．（Catulan不等式）： 设a,b,c是三角形的三边长，则有

a2b(a?b)?b2c(b?c)?c2a(c?a)?0． (IMO24)推广1 apb(a?b)?bpc(b?c)?cpa(c?a)?0 (p?2)；

当p?0时，不等号反向．

推广2 设四边形ABCD有内切圆，且其边长分别为a,b,c,d，则有

a2b(a?b)?b2c(b?c)?c2d(c?d)?d2a?d?a??0．

四、关于费尔马（Fermat）点的不等式

费尔马问题：给定平面上的三点A,B,C，在点A,B,C所在平面上求一点P，使得

PA?PB?PC最小．PA?PB?PC取最