第13讲 几何不等式 深圳中学 周峻民
一道IMO试题的证明及其推广

一道IMO试题的证明及其推广周峻民;郑慧娟【摘要】题目证明:(2m)!(2n)!/m!n!(m+n!)是整数.(第14届IMO试题)该试题是第14届国际数学奥林匹克(IMO)竞赛的第3题,简记为IMO.14.3.它的背景是2个数论函数的应用:方次数函数potpn和下取整函数[x].1 知识背景方次数函数potpn:表示素数p在正整数n的素因数分解中的次数(若素数p不是n的素因数,则次数记为0).如20=22.5,则pot220=2,pot320=0,pot520=1.下取整函数[x]:表示不超过实数x的最大整数(即x的整数部分).如[1.2] =1,[3] =3.这2个数论函数在数论中非常有用,由定义可得到下列简单的性质:性质1 potp(mn)=potpm+ potpn.【期刊名称】《中学教研:数学版》【年(卷),期】2011(000)012【总页数】3页(P41-43)【作者】周峻民;郑慧娟【作者单位】深圳中学广东深圳 518001;广州大学附属中学广东广州 510050【正文语种】中文题目证明:是整数.该试题是第14届国际数学奥林匹克(IMO)竞赛的第3题,简记为IMO.14.3.它的背景是2个数论函数的应用:方次数函数potpn和下取整函数⎣x」.方次数函数potpn:表示素数p在正整数n的素因数分解中的次数(若素数p不是n的素因数,则次数记为0).如20=22·5,则pot220=2,pot320=0,pot520=1.下取整函数⎣x」:表示不超过实数x的最大整数(即x的整数部分).如⎣1.2」=1,⎣3」=3.这2个数论函数在数论中非常有用,由定义可得到下列简单的性质:性质1 potp(mn)=potpm+potpn.性质2 b/a是整数的充要条件是:对任意素数p,有potpb-potpa≥0.性质3 ⎣x」+⎣y」≤⎣x+y」≤⎣x」+⎣y」+1.性质4 当n是整数时,⎣n+x」=n+⎣x」.将这2个数论函数联系到一起,得到以下性质:性质⎣n/pi」.证明由性质1知由性质2知是整数的充要条件是:对任意素数p,由性质5,该问题可转化为证明:对任意素数p,到这一步,思路有点卡住了,因为这5个“无限求和”是大问题.能否把这5个“无限求和”合并呢?合并之后,如果每一项的值非负,那么它们的和也是非负的.于是,希望得到:对任意素数p和任意正整数i,必有由于式(1)中素数p是任意的,正整数i也是任意的,因此更一般地,如果可以做到:对任意实数x,y,必有那么问题就迎刃而解了.式(2)中x,y是任意实数,范围有点大,下面尝试把x,y的范围变小.设x=⎣x」+a,y=⎣y」+b,其中a,b∈[0,1).由性质4知代入可得再次简化得:对任意实数a,b∈[0,1),必有把区间[0,1)分成和下面在这2个区间上对a,b进行逐一验证:(1)当时,2a,2b,a+b∈[0,1),故⎣2a」=⎣2b」=⎣a+b」=0,即式(3)成立.(2)当时,2a∈[0,1),2b∈[1,2),故⎣2a」=0,⎣2b」=1.而无法直接得到⎣a+b」的值,这里需要用到性质3:⎣a+b」≤⎣a」+⎣b」+1=1,得到⎣a+b」≤⎣2a」+⎣2b」,从而式(3)成立.(3)当时,与情况(2)同理可得式(3)成立.(4)当时,2a,2b,a+b∈[1,2),故⎣2a」=⎣2b」=⎣a+b」=1,式(3)成立.综上所述,对任意实数a,b∈[0,1),式(3)恒成立,命题得证.由试题的证明过程可知,IMO.14.3的背景就是式(2),而式(2)又可简化为式(3),由此可编制出相同背景的试题.推广1 证明:是整数.推广2 证明:是整数.推广3 证明:是整数.上面3个推广和IMO.14.3“形状”相似,解法也相似,留给感兴趣的读者.推广4 证明:是整数.乍一看,推广4与IMO.14.3“形状”相似,但是仔细观察可发现2n-2<n+(n-1),无法证明对任意实数x,必有⎣2x-2」≥⎣x」+⎣x-1」成立.证明设P=,Q=,则对任意实数x,必有类似于IMO.14.3的证明方法,可得P,Q是整数.由nP=(n-1)Q知n|(n-1)Q,而(n,n-1)=1,故n|Q,即=是整数.推广4可用排列组合方法证明是整数,这里是用数论方法给出的一个新证明.进一步,可得到更一般的结果:推广5 设(m,n)=1,证明:是整数.推广6 设(m,n)=1,证明:是m+n的倍数.推广7 设p是素数,0<k<p,证明:是p的倍数.推广5~7与推广4的证法类似.下面2个推广与推广4的证法不一样,留给感兴趣的读者.推广8 证明:是偶数.推广9 证明:m!n!整除(mn)!.【相关文献】[1] 柯召,孙琦.数论讲义[M].北京:高等教育出版社,2001.[2] 潘承洞,潘承彪.初等数论[M].北京:北京大学出版社,2003.[3] 柳柏濂,吴康.竞赛数学的原理和方法[M].广州:广东高等教育出版社,2003.。
高中数学(人教B版)必修第一册:均值不等式及其应用【精品课件】

2
同理可得, b c 2bc ,当且仅当 b c 时,等号成立,
2
2
c2 a 2 2ca ,当且仅当 c a 时,等号成立,
所以, 2 a b c
2
2
2
2ab 2bc 2ca ,
即 a b c ab bc ca .
2
2
2
ab
a
b
谢谢
x y
根据均值不等式有
xy ,
2
x y 18
则 xy
81 ,
2 2
2
2
当且仅当 x y 9 时,等号成立,
即当矩形长、宽均为 9 时,矩形的面积最大,最大值为 81 .
由此可得:两个正数的积是常数时,它们的和有最小值,
即 x y 2 xy ;
∴当 x 1 时, ymax 4 .
2.证明问题
例 4.已知: x R ,求证: x 2
1
2
x 2
2
2.
1
t ,
证明:令 t x 2 ,则 t 0 ,则 x 2+
2
t
x 2
2
2
1
由均值不等式得, t 2 1 2 ,
t
1
当且仅当 t ,即 t 1 时,等号成立.
均值不等式及其应用(2)
高一年级 数学
主讲人
安东明
北京市第四中学
ab
如果 a , b 都是正数,那么
ab ,当且仅当 a b 时,等号成立.
2
等与不等的问题就要设及到最大、最小值的问题,均值不
三角形旁切椭圆的一个几何恒等式

S 们
{ PA = 3
r
P,
PA : P A 2Q 3Q
B C C A
・
:
S c B
,
{P C PQ /A, P = BAP , C 2 = A A A + Q AB
3
.
由( . ) ( . ) ( . )即得 1 1 , 12 , 13
s =△ = P .A s P Q Q s ÷ 3 Q.n 3 A i A
1
=
・
命题 中的“ 旁切 圆”推广到 “ 旁切椭 圆 ” 是否仍 有类 , 似 的几何 恒等式 成立 ? 于是得 到下述 命题 : 命题 2 设 P, Q是 A B A C的一个 分别 与 B C边 , A A C、B延长线 相 切 的旁切 椭 圆 的两个 焦点 , 下 列 则 等式 恒成立 :
:
一
Q ・i/ A A s _B C, n
从 而有
・
旦: 旦
一
:
一
: 一 CA ・AB 1
7
Q ・i/ A A s _B C n
CA ・AB AB ・BC
BC ・C A
‘ S
AA Bc
C A AB ・sn/ BAC i
・
证明: A B 设 A C的旁 切 椭 圆分 别 与 B C边 , C A 、 A B延长 线切 于点 D, F 连 接 P Q E, . D, D并延长 Q D至 点 P , 得 D =DP 图 2 . 使 P ( )
2 0 2). 0 5(
一
i
±
S
墨±
r
R
作者系华南师范大学数学科学 学院在读硕 士研 究生
【刘蒋巍讲座】不等式培优:不等式的解法与命制手法

是“题根” 是基本 你会看到 一些高考题目就某一个“题根”的演变。 湘教版选修 4-5
6
【刘蒋巍讲座】不等式培优:不等式的解法与命制手法 教材在不断变化 经典的例题、习题还是“不动点” 寻找知识之间的联系 比如上面的题目:
显然,是同一个问题
如果要证明 学生难在哪里? 有绝对值 先平方,再作差。这有点像上面的问题 先乘以 2 再作差。 教学 换位 想学生所难、所错、所惑 教材大家熟悉,对这个话题,大家还有什么问题? 研讨一下。
本题是常见题,左不等式是著名的 Nesbitt 不等式,也是高中课本题,有 20 多 种证法。 Nesbitt 不等式 太常见了 早年我教高中时,高中教材题目 现在一些教材也有的
说真题,主要是说说它的出处 有利于教学准备时,选题。
话题 4:竞赛试题中的不等式
其实,我们还是要关注竞赛 很好 各级各类竞赛,如:省级预赛、全国联赛、国外竞赛、国际竞赛中的初等不等式。 竞赛中常用的重要不等式为:算术--几何平均值不等式、柯西不等式。 高中联赛 赛中常用的重要不等式为:算术--几何平均值不等式、柯西不等式。 两个基本够了
下面这个是 2020-05-16 发表的问题
是国内一个获奖问题的强化
19
【刘蒋巍讲座】不等式培优:不等式的解法与命制手法
命制手法 1.有读者、数学爱好者问我,如何编写新的不等式题目?
14
【刘蒋巍讲座】不等式培优:不等式的解法与命制手法
竞赛好题,有时,过几年,就改变为高考题了 这样的例子很多。
用著名不等式编写
这个题目,是课本的的深化 看到了吗
15
【刘蒋巍讲座】不等式培优:不等式的解法与命制手法
二次函数,是一个永恒的话题
浅谈证明不等式的方法

浅谈证明不等式的方法作者:钟劲松来源:《中学数学杂志(高中版)》2015年第01期1构图法的历史构图法,即构造几何图形,利用几何图形的性质来帮助说明不等式.构图法出现已经有很长的历史,可以追溯到十二世纪的古代中国,希腊和印度.一些数学家认为构图法不是一种严格的证明,构图法对于实际证明毫无价值,证明有且只有一种方式——推理,构图证明是不能够接受的.但还有一部分数学家认为,数学不仅是逻辑的,还是图形的,作为数学教育工作者,必须把培养学生的想象能力作为重要的能力之一.数学教育家波利亚指出画图帮助理解题意,被认为是经典的教育学建议.爱因斯坦和庞加莱都认为,我们应该利用好我们的直觉;美国数学家加德纳指出,许多情形下,一个平淡的证明加上一个几何类似图形,使得证明更加简单和漂亮,定理的准确性立见.所有的这些,都说明了构图法对帮助证明的重要性.2几个不等式的构图说明高中数学选修模块45《不等式选讲》中的不等式主要有:基本不等式,绝对值不等式,平均值不等式,柯西不等式,排序不等式,贝努利不等式.中学阶段很多不等式的证明可以利用构图法来理解,下面列举几个不等式的构图.2.1不等式a+b2≥ab(a,b为正数)的构图不等式表明:两个正数的算术平均数a+b2不小于它们的几何平均数ab,即a+b2≥ab(a,b为正数),教材中一般构造如下的几何图形来加强理解.图1图2如图1所示,在正方形ABCD中,有S△ABC+S△AFM-S矩形ABEF≥0,即a2+b2≥a·b,所以a+b2≥ab.基本不等式的另一种构图,如图2所示,把半径不等的两圆水平放置,且都与直线AB相切,两圆外切,有OF=a+b2,OE=a-b2.在直角三角形OEF中,利用勾股定理可知EF=ab,因为OF>EF,所以a+b2≥ab.图1~2都说明了不等式a+b2≥ab的几何意义,并且能直观地感知当且仅当“a=b”时“=”成立.2.2不等式2aba+b如图3所示,M为圆A外一点,MA与圆A分别相交于P、Q两点,MG,MR分别为圆A的切线和割线,PM=a,QM=b,a>b>0,则有HM2.3不等式xr-1>r(x-1)的构图当n为正整数,x>-1时,(1+x)n≥1+nx成立,称为贝努利不等式(Bernoulli inequality),其证明方法通常有数学归纳法和利用二项式定理进行放缩.但形如xr-1>r(x-1)的不等式,不能采用类似于证明贝努利不等式的方法进行证明,可采用构图法帮助证明.构造如图4所示的图形,在同一坐标系中分别作出函数y=xr-1和y=r(x-1)的图象,函数y=xr-1为经过(1,0)点的凸函数,函数y=r(x-1)的图象是斜率为r,经过点(1,0)的直线,且直线y=r(x-1)与y=xr-1的图象相切,切点为(1,0).因此,当r>1,x>0,x≠1时,不等式xr-1>r(x-1)恒成立.2.4不等式ab构图来帮助证明分布在数学中的各个方面,如代数,几何,三角,微积分和动态几何,不等式,数列,排列、组合等等.数学上许多的定理和概念,都可以用优美、简洁的图形来表示.老师们应该在平时教学中多注意总结,设计更多的图来帮助学生直观地理解数学知识,学好数学,让数学变得更为直观.。
新人教部编版初中七年级数学9.1.1 不等式及其解集

3.在数轴上表示不等式3x>5的解集,正确的是( A )
0 1 52 3
A
0 1 52 3
C
0 1 52 B3
0 1 52 3
D
长冲中学数学组-“四学一测”活力课堂
4.直接写出下列不等式的解集:
x+3>6的解集是 x>3 ; 2x<8的解集是 x<4 ; x-2>0的解集是 x>2 .
长冲中学活力课堂
求不等式的解集的过程叫解不等式. 想一想:
1.不等式的解和不等式的解集是一样的吗?
2.不等式的解与解不等式一样吗?
长冲中学数学组-“四学一测”活力课堂
长冲中学活力课堂
概念区分 不等式的解与不等式的解集的区别与联系
不等式的解
不等式的解集
定义 满足一个不等式的 满足一个不等式的
区别
未知数的某个值 未知数的所有值
二 用不等式表示数量关系
长冲中学活力课堂
合作与交流
例1 用不等式表示下列数量关系:
(1)x的5倍大于-7; (2)a与b的和的一半小于-1;
5x >-7
(3)长、宽分别为xcm,ycm的长方形的面积小于 边长为acm的正方形的面积. xy < a2
长冲中学数学组-“四学一测”活力课堂
长冲中学活力课堂
长冲中学数学组-“四学一测”活力课堂
导入新课
图片引入
谁快谁慢
长冲中学活力课堂
谁长谁短
谁赢谁输
谁重谁轻
长冲中学数学组-“四学一测”活力课堂
导入新课
长冲中学活力课堂
情境引入 摩拜单车在2017年3月推出了红包车的运动.用
户扫码解锁后有效骑行红包车超过10分钟,锁车后
《不等式综合问题》PPT课件

精选PPT
2
一、认真研读新旧考试大纲,关注新课标与原大纲
教材考试大纲的差异,从中嗅捕高考信息与动态.
通过对新、旧考试大纲的研读对比,我们不难发 现,在新课程数学考试大纲中函数、数列、不等式 仍是主干知识,但是在考试内容和考试要求方面还 是有一定的区别,如:
函数:1.两种考试大纲都对函数的概念、图象 与性质作出了规定与要求,而新课标考试大纲对某 些内容作了进一步细化,如“了解简单的分段函数, 并能简单应用”、“会运用函数图像理解和研究函 数的性质”.对分段函数作出了明确的要求,强调 运用函数图象理解和研究函数的性质,对函数的单 调性从“掌握”改为“理解”;
综合近两年高考试题我们发现,函数、数列、 不等式是高考的必考内容,近年来高考命题中一 般有3~6个选择题和填空题(其中与函数不等式相 关的小题有2~4个,个别省份达到5个小题,与数 列不等式相关的小题有0~1个),试题难度都不大, 一般考查基础知识与基本方法,解答题1~2个,多 出现在最后三道大题的位置,具有一定的难度和 区分度,以考查数学思想方法、思维能力及创新意 识为主,试题对运算能力和逻辑推理能力有较高 要求. 其中函数部分以具体函数形式出现居多,考 查函数的图象、解析式、性质,个别省份函数的 性质题有向抽象函数拓展的趋势;
高考试题强调的是能力立意,通常在知识的 交汇点处命题强调学科知识的综合,函数、数列、 不等式为此提供了一个良好的载体,涉及这一部 分内容的综合题既有单元内知识的综合,也有跨 单元知识的综合.
精选PPT
11
1.单元内知识综合题
(1)函数单元内知识综合题 从近几年高考试题分析,函数部分既有单元
内综合试题,也有跨章单元综合试题,其中单元 内综合试题基本上为选择题和填空题,考查的内 容主要是函数(几个基本初等函数、反函数、分 段函数)的解析式、图像和性质(如单调性、奇偶 性、图像的对称性等),函数以具体函数形式居多, 抽象函数的图象与性质的研究在部分省份近年试 题中也常有出现,解答题现在几乎没有章内综合 题,常与导数综合为压轴题。
第13讲 几何不等式 深圳中学 周峻民

·竞赛专题几何不等式深圳中学 周峻民一、知识与方法几何不等式,顾名思义是研究几何图形中有关元素的数量不等关系,较多的涉及到三角形或多边形的边长、面积等方面的不等式.处理方法一般分为纯几何方法和转化为代数方法、三角方法加以解决,可寻找解题规律,但没有固定的解题模式,要善于抓住主要矛盾解决问题。
其知识往往涉及到平面几何的重要定理、公式,代数(三角)的基本等式和不等式以及相关知识。
1.将几何问题转为代数问题(1)利用三角形三边关系化为代数式:若三角形三边长为,,a b c ,则b c a +>,c a b +>,a b c +>,由此,可设2y z a +=,2z x b +=,2x yc +=,即x a b c =-++ 0>,0y a b c =-+>,0z a b c =+->,将含有边长,,a b c 的不等式(三角形几个重要元素,如,外接圆半径R 、内切圆半径r 、面积、中线、高线、角平分线等)化为含有正数,,x y z 的代数不等式.(2)利用正弦定理:2sin ,2sin ,2sin ,a R A b R B c R C ===将含有边长,,a b c 的不等式化为三角函数不等式.在化为三角函数不等式时应注意以下等式的应用:222cos cos cos 2cos cos cos 1A B C A B C +++=;2222224442(sin sin sin sin sin sin )sin sin sin B C C A A B A B C ++--- 22264sin sin sin A B C =;tan tan tan tan tan tan A B C A B C ++=; cot cot cot cot cot cot 1B C C A A B ++= 等等。
2.几何方法利用纯粹的平面几何知识来证明几何不等式:(1)抓住几何图形的特征,挖掘几何图形中最基本的几何不等关系.事实上,一些最基本的几何不等关系在有关几何不等式的论证中异常活跃,常常成为解决问题的钥匙; (2)与面积有关的几何不等式也占有重要地位.其内容丰富,涉及面宽,富于智巧.证明这类不等式大都需要利用面积的等积变换、面积公式及面积比的有关定理等知识.下面给出几个重要的几何不等式:·Ptolemy (托勒密)不等式若ABCD 为四边形,则AB CD AD BC AC BD ⋅+⋅≤⋅,等号成立当且仅当ABCD 四点共圆.·Erdös-Mordell (埃尔多斯-莫德尔)不等式设P 是ABC ∆内的任意一点,P 到三边BC ,CA ,AB 的距离分别是,,PD p PE q PF r ===,并记,,PA x PB y PC z ===,则()2x y z p q r++≥++,等号成立当且仅当ABC ∆是正三角形且P 为此三角形的中心.·Weitzenberk (外森比克)不等式设ABC ∆的边长和面积分别为c b a ,,和S ,则S c b a 34222≥++,当且仅当ABC ∆为正三角形时等号成立.·Euler (欧拉)不等式设ABC ∆的外接圆与内切圆的半径分别为R 、r ,则2R r ≥,当且仅当ABC ∆为正三角形时等号成立.·Fermat (费马)问题在ABC ∆中,使PA+PB+PC 为最小的平面上的P 点称为费马点.当120BAC ∠≥︒时,A 点为费马点;当每个内角均小于120︒时,则与三边张角为120︒的P 点为费马点.·三角嵌入不等式设,,x y z R ∈,(21)A B C k π++=+,k Z ∈,则C xy B zx A yz z y x cos 2cos 2cos 2222++≥++.二、范例选讲例题1. 设P 是ABC ∆内的一点,求证:,,PAB PBC PCA ∠∠∠中至少有一个小于或等于30︒.BCBC证明1:连接AP 、BP 、CP ,并延长交对边于D 、E 、F ,则1PBC PCA PABABC ABC ABCS S S PD PE PF AD BE CF S S S ∆∆∆∆∆∆++=++=. 设,,PAB PBC PCA αβγ∠=∠=∠=,则sin sin sin PF PD PE PD PE PFy PA PB PC PA PB PCαβγ≤⋅⋅=⋅⋅=. 令123,,PD PE PFx x x AD BE CF ===,那么1231x x x ++=,且PD PE PF y PA PB PC =⋅⋅312123111x x x x x x =⋅⋅---312233112x x x x xx x x x =⋅⋅+++18≤=,当且仅当12313x x x ===时取等号,所以1sin sin sin 8αβγ≤,由此推出sin ,sin ,sin αβγ中至少有一个不大于12. 不失一般性,设1sin 2α≤,则30α≤︒或150α≥︒.当150α≥︒时,,30βγ<︒,命题也成立.当1sin sin sin 8αβγ=时,点P 既是ABC ∆的重心,又是ABC ∆的垂心,此时ABC∆是正三角形.证明2:(反证法)设30,,120PAB PBC PCA ︒<∠∠∠<︒,则sin sin30PDPAB PA=∠>︒,即2PD PA >;同理2PE PB >,2PF PC >.于是有()2PD PEPF PA PB PC ++>++,这与Erdös-Mordell 不等式矛盾.例题2. 求证:任何面积等于1的凸四边形的周长及两条对角线之和不小于4+ 证明:设四边形ABCD 是任一面积为1的凸四边形(如图1),于是有()11sin 2eg gf fh he α=+++()12eg gf fh he ≤+++()()12e f g h =++2122e f g h +++⎛⎫≤ ⎪⎝⎭,即对角线之和为e f g h +++≥另一方面,有111122sin sin sin sin 2222ABCD S ab A bc B cd C da D ==+++四边形()12ab bc cd da ≤+++()()12a c b d =++2122a b c d +++⎛⎫≤ ⎪⎝⎭,则4a b c d +++≥. 综上所述,命题成立.例题3. 已知ABC ∆,设I 是它的内心,C B A ∠∠∠,,的内角平分线分别交其对边于,,A B C ''',求证:18427AI BI CI AA BB CC ⋅⋅<≤'''⋅⋅. 证明:令c AB b CA a BC ===,,. 由角平分线定理,易得IA A B A C a IA c b b c '''===+,∴AA a b c IA b c '++=+,∴IA b cAA a b c+='++,易得121<+++<++++=c b a c b c b c b c b ,∴1,12IA b c AA a b c +⎛⎫=∈ ⎪'++⎝⎭. 同理,1,12IB a c BB a b c +⎛⎫=∈ ⎪'++⎝⎭,1,12IC a b CC a b c +⎛⎫=∈ ⎪'++⎝⎭,则2IA IB IC AA BB CC '''++='''. 以下分三种处理方法完成剩下的证明. (法一)令123111,,222IA IB IC t t t AA BB CC =+=+=+''',则12312311,,,1,22t t t t t t ⎛⎫∈++= ⎪⎝⎭,∴31231231111118222222327t t t t t t ⎛⎫⎛⎫⎛⎫⎛⎫+++++ ⎪ ⎪ ⎪ ⎪⎛⎫⎛⎫⎛⎫⎝⎭⎝⎭⎝⎭⎪+++≤= ⎪⎪⎪⎪⎝⎭⎝⎭⎝⎭ ⎪⎝⎭,∴()()12312312233112311111112228424t t t t t t t t t t t t t t t ⎛⎫⎛⎫⎛⎫+++=+++++++> ⎪⎪⎪⎝⎭⎝⎭⎝⎭,∴18427AI BI CI AA BB CC ⋅⋅<≤'''⋅⋅. (法二)令,,IA IB IC x y z AA BB CC ===''',则2=++z y x ,且1,,,12x y z ⎛⎫∈ ⎪⎝⎭, ∴38327x y z xyz ++⎛⎫≤= ⎪⎝⎭,211139(2)2222416xyz x x z z z z z ⎡⎤⎛⎫⎛⎫=-->--=--+⎢⎥ ⎪ ⎪⎝⎭⎝⎭⎢⎥⎣⎦ 又112z <<,21392416z ⎡⎤⎛⎫--+⎢⎥ ⎪⎝⎭⎢⎥⎣⎦在区间端点取到最小值,∴2213913911241624164xyz z ⎡⎤⎡⎤⎛⎫⎛⎫>--+>--+=⎢⎥⎢⎥ ⎪ ⎪⎝⎭⎝⎭⎢⎥⎢⎥⎣⎦⎣⎦.(法三)令m k c k n b n m a +=+=+=,,,则2222()2()2()AI BI CI m n k m n k m n kAA BB CC m n k m n k m n k ⋅⋅++++++=⋅⋅'''⋅⋅++++++ 41)(8))(()()(333>+++++++++++++=k n m mnk k n m nk mk mn k n m k n m .例题4. 设四边形ABCD 是一个有内切圆的凸四边形,它的每个内角和外角都不小于60︒,证明:333333133AB AD BC CD AB AD -≤-≤-,并求等号何时成立. 证明:由余弦定理,2222222cos 2cos BD AD AB AD AB ABD CD BC CD BC C⎧=+-⋅⋅⎨=+-⋅⋅⎩. 由已知条件,60,120A C ︒≤∠∠≤︒,故11cos ,cos ,22A C ⎡⎤∈-⎢⎥⎣⎦,于是有()2223BD AB AD AB AD -++⋅()()22216cos AB AD AB AD A =+-⋅+()2224AB AD AB AD ≥+-⋅()220AB AD =-≥,即()2213AB AD AB AD ++⋅2BD ≤222cos CD BC CD BC C =+-⋅⋅22CD BC CD BC ≤++⋅.再由四边形ABCD 是一个有内切圆的凸四边形,可知AD BC AB CD +=+,所以AB AD CD BC -=-.结合上式,就有333313AB AD BC CD -≤-,等号成立当且仅当1cos 2A =,AB AD =,1cos 2C =-或者0AB AD CD BC -=-=,即AB AD =且CD BC =.同理可证另一个不等式成立,等号成立的条件同上.例题5. 设ABC ∆的内切圆与三边AB ,BC ,CA 分别相切于点P ,Q ,R .证明:BC 6CA ABPQ QR RP++≥.证明1:设,,a BC b CA c AB ===,,,p QR q RP r PQ ===,则只需证明6a b cT r p q=++≥. 设2a b cs ++=,根据BQ BP s b ==-,应用余弦定理可得()()2221cos r s b B =--()2222212a c b s b ac ⎛⎫+-=-- ⎪⎝⎭()()222s b b a c ac⎡⎤---⎣⎦=()()()24s b s a s c ac---=,故r =;同理可得p =q =.由均值不等式,T =≥= 另一方面,由于,,a b c 是构成三角形的三边长,所以()()()()()()()()()2222222220,0,0,c a b a b c a b c a a b c b c a b c a b b c a c a b c a b c ⎧<+-+-=--≤⎪⎪<+-+-=--≤⎨⎪<+-+-=--≤⎪⎩以上三式相乘,即得()()()222222b c a c a b a b c a b c +-+-+-≤(此处可以考虑用均值不等式证明),所以6T =≥.证明2:设,,AP AR x BP BQ y CR CQ z ======,r 为ABC ∆的内切圆半径,则r =O 是ABC ∆的内切圆的圆心,在四边形APOR 中,PR AO⊥,所以2AO RP AP PO ⋅=⋅2RP xr =,所以B1RP ==. 由柯西不等式,(12AB x y RP=+=1112⎛≥+⎝1=+1BC PQ ≥1CA QR ≥.以上三式相加,即得BC CA AB PQQR RP ++3≥+336≥+=.例题6. 设P 是ABC ∆内的一个点,S R Q ,,分别是C B A ,,与P 的连线与对边的交点,求证:ABC QRS S S ∆∆≤41.(QRS ∆是塞瓦三角形) 证明1:令γβα===RACRQC BQ SB AS ,,,由塞瓦定理1=αβγ,则)1)(1(++=⋅⋅=∆∆γααAC AB AR AS S S ABC ASR ;同理)1)(1(++=⋅⋅=∆∆αββAB BC BS BQ S S ABC BSQ ,)1)(1(++=⋅⋅=∆∆βγγAB BC CR CQ S S ABC CQR . 只要证明ABC CQR BSQ ASR S S S S ∆∆∆∆≥++43, 即43)1)(1()1)(1()1)(1(≥++++++++βγγαββγαα, 只要证0)()(6≤++-++-γβαγαβγαβ,只要证0)]()111[(6≤+++++-γβαγβα,显然6)()111(≥+++++γβαγβα,当12αβγ===时取等号,此时P 是ABC ∆的重心.证明2:设z S y S x S PAB PBC PAC ===∆∆∆,,,则zx QB QC y z RC RA x y SA SB ===,,,))((y z y x xz AC AB AR AS S S ABC ASR ++=⋅⋅=∆∆;同理))((x z x y yz AB BC BS BQ S S ABC BSQ ++=⋅⋅=∆∆,))((z y z x xyAB BC CR CQ S S ABCCQR ++=⋅⋅=∆∆,只要证明ABC CQR BSQ ASR S S S S ∆∆∆∆≥++43, 即43))(())(())((≥++++++++z y z x xy x z x y yz y z y x xz ,通分整理得3()()()()()()4xz x z yz y z xy x y x y y z z x +++++≥+++, 即22223()()()()()()4x y z y z x z x y x y y z z x +++++≥+++364xyz ≥⋅=, 只要证xyz y x z z y x z x y 6)()()(222≥+++++, 事实上)()()(222y x z z y x z x y +++++)()(222222zx yz xy x z z y y x +++++=xyz xyz xyz zx yz xy x z z y y x 6333332223222=+=⋅⋅+⋅⋅≥,当且仅当z y x ==时取等号,此时P 是ABC ∆的重心. 证明3:令,,AS BQ CRAB BC CAαβγ===,且)1,0(,,∈γβα,则1,1,1BS CQ ARAB BC CAαβγ=-=-=-,由塞瓦定理得)1)(1)(1(γβααβγ---=,整理得()12αβγαββγγααβγ++-++=-, )1(γα-=⋅⋅=∆∆ACAB ARAS S S ABC ASR ; 同理)1(αβ-=⋅⋅=∆∆AB BC BSBQ S S ABC BSQ ,)1(βγ-=⋅⋅=∆∆ABBC CR CQ S S ABC CQR , 只要证43)1()1()1(≥-+-+-βγαβγα, 事实上(1)(1)(1)αγβαγβ-+-+-()αβγαββγγα=++-++12αβγ=-1=-114=-⋅43411=-≥,当且仅当21===γβα时取等号,此时S R Q ,,是中点,P 是ABC ∆的重心.例题7. 设六边形ABCDEF 是凸六边形,且AB BC CD ==,DE EF FA ==,60BCD EFA ∠=∠=︒.设G 和H 是这个六边形内部的两点,使得120AGB DHE ∠=∠=︒.试证:AG GB GH DH HE CF ++++≥.证明:以直线BE 为对称轴,作C 和F 关于该直线的对称点C '和F ',则ABC '∆和DEF '∆都是正三角形,G 和H 分别在这两个三角形的外接圆上.根据Ptolemy 定理得C G AB AG C B GB C A '''⋅=⋅+⋅,因而C G AG GB '=+;同理,HF DH HE '=+.于是AG GB GH DH HE ++++C G GH HF ''=++C F CF ''≥=,等号成立当且仅当线段CF 和C F ''以直线BE 为对称轴.例题8. 已知四边形1234A A A A 既有外接圆又有内切圆,内切圆与边12A A ,23A A ,34A A ,41A A 分别切于1234,,,B B B B .证明:222223341241122334418A A A A A A A A B B B B B B B B ⎛⎫⎛⎫⎛⎫⎛⎫+++≥ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎝⎭.证明:设四边形1234A A A A 的内切圆半径为r ,记1232A A A α∠=,2342AA A β∠=,3412A A A γ∠=,4122A A A θ∠=。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
·竞赛专题几何不等式深圳中学 周峻民一、知识与方法几何不等式,顾名思义是研究几何图形中有关元素的数量不等关系,较多的涉及到三角形或多边形的边长、面积等方面的不等式.处理方法一般分为纯几何方法和转化为代数方法、三角方法加以解决,可寻找解题规律,但没有固定的解题模式,要善于抓住主要矛盾解决问题。
其知识往往涉及到平面几何的重要定理、公式,代数(三角)的基本等式和不等式以及相关知识。
1.将几何问题转为代数问题(1)利用三角形三边关系化为代数式:若三角形三边长为,,a b c ,则b c a +>,c a b +>,a b c +>,由此,可设2y z a +=,2z x b +=,2x yc +=,即x a b c =-++ 0>,0y a b c =-+>,0z a b c =+->,将含有边长,,a b c 的不等式(三角形几个重要元素,如,外接圆半径R 、内切圆半径r 、面积、中线、高线、角平分线等)化为含有正数,,x y z 的代数不等式.(2)利用正弦定理:2sin ,2sin ,2sin ,a R A b R B c R C ===将含有边长,,a b c 的不等式化为三角函数不等式.在化为三角函数不等式时应注意以下等式的应用:222cos cos cos 2cos cos cos 1A B C A B C +++=;2222224442(sin sin sin sin sin sin )sin sin sin B C C A A B A B C ++--- 22264sin sin sin A B C =;tan tan tan tan tan tan A B C A B C ++=; cot cot cot cot cot cot 1B C C A A B ++= 等等。
2.几何方法利用纯粹的平面几何知识来证明几何不等式:(1)抓住几何图形的特征,挖掘几何图形中最基本的几何不等关系.事实上,一些最基本的几何不等关系在有关几何不等式的论证中异常活跃,常常成为解决问题的钥匙; (2)与面积有关的几何不等式也占有重要地位.其内容丰富,涉及面宽,富于智巧.证明这类不等式大都需要利用面积的等积变换、面积公式及面积比的有关定理等知识.下面给出几个重要的几何不等式:·Ptolemy (托勒密)不等式若ABCD 为四边形,则AB CD AD BC AC BD ⋅+⋅≤⋅,等号成立当且仅当ABCD 四点共圆.·Erdös-Mordell (埃尔多斯-莫德尔)不等式设P 是ABC ∆内的任意一点,P 到三边BC ,CA ,AB 的距离分别是,,PD p PE q PF r ===,并记,,PA x PB y PC z ===,则()2x y z p q r++≥++,等号成立当且仅当ABC ∆是正三角形且P 为此三角形的中心.·Weitzenberk (外森比克)不等式设ABC ∆的边长和面积分别为c b a ,,和S ,则S c b a 34222≥++,当且仅当ABC ∆为正三角形时等号成立.·Euler (欧拉)不等式设ABC ∆的外接圆与内切圆的半径分别为R 、r ,则2R r ≥,当且仅当ABC ∆为正三角形时等号成立.·Fermat (费马)问题在ABC ∆中,使PA+PB+PC 为最小的平面上的P 点称为费马点.当120BAC ∠≥︒时,A 点为费马点;当每个内角均小于120︒时,则与三边张角为120︒的P 点为费马点.·三角嵌入不等式设,,x y z R ∈,(21)A B C k π++=+,k Z ∈,则C xy B zx A yz z y x cos 2cos 2cos 2222++≥++.二、范例选讲例题1. 设P 是ABC ∆内的一点,求证:,,PAB PBC PCA ∠∠∠中至少有一个小于或等于30︒.BCBC证明1:连接AP 、BP 、CP ,并延长交对边于D 、E 、F ,则1PBC PCA PABABC ABC ABCS S S PD PE PF AD BE CF S S S ∆∆∆∆∆∆++=++=. 设,,PAB PBC PCA αβγ∠=∠=∠=,则sin sin sin PF PD PE PD PE PFy PA PB PC PA PB PCαβγ≤⋅⋅=⋅⋅=. 令123,,PD PE PFx x x AD BE CF ===,那么1231x x x ++=,且PD PE PF y PA PB PC =⋅⋅312123111x x x x x x =⋅⋅---312233112x x x x xx x x x =⋅⋅+++18≤=,当且仅当12313x x x ===时取等号,所以1sin sin sin 8αβγ≤,由此推出sin ,sin ,sin αβγ中至少有一个不大于12. 不失一般性,设1sin 2α≤,则30α≤︒或150α≥︒.当150α≥︒时,,30βγ<︒,命题也成立.当1sin sin sin 8αβγ=时,点P 既是ABC ∆的重心,又是ABC ∆的垂心,此时ABC∆是正三角形.证明2:(反证法)设30,,120PAB PBC PCA ︒<∠∠∠<︒,则sin sin30PDPAB PA=∠>︒,即2PD PA >;同理2PE PB >,2PF PC >.于是有()2PD PEPF PA PB PC ++>++,这与Erdös-Mordell 不等式矛盾.例题2. 求证:任何面积等于1的凸四边形的周长及两条对角线之和不小于4+ 证明:设四边形ABCD 是任一面积为1的凸四边形(如图1),于是有()11sin 2eg gf fh he α=+++()12eg gf fh he ≤+++()()12e f g h =++2122e f g h +++⎛⎫≤ ⎪⎝⎭,即对角线之和为e f g h +++≥另一方面,有111122sin sin sin sin 2222ABCD S ab A bc B cd C da D ==+++四边形()12ab bc cd da ≤+++()()12a c b d =++2122a b c d +++⎛⎫≤ ⎪⎝⎭,则4a b c d +++≥. 综上所述,命题成立.例题3. 已知ABC ∆,设I 是它的内心,C B A ∠∠∠,,的内角平分线分别交其对边于,,A B C ''',求证:18427AI BI CI AA BB CC ⋅⋅<≤'''⋅⋅. 证明:令c AB b CA a BC ===,,. 由角平分线定理,易得IA A B A C a IA c b b c '''===+,∴AA a b c IA b c '++=+,∴IA b cAA a b c+='++,易得121<+++<++++=c b a c b c b c b c b ,∴1,12IA b c AA a b c +⎛⎫=∈ ⎪'++⎝⎭. 同理,1,12IB a c BB a b c +⎛⎫=∈ ⎪'++⎝⎭,1,12IC a b CC a b c +⎛⎫=∈ ⎪'++⎝⎭,则2IA IB IC AA BB CC '''++='''. 以下分三种处理方法完成剩下的证明. (法一)令123111,,222IA IB IC t t t AA BB CC =+=+=+''',则12312311,,,1,22t t t t t t ⎛⎫∈++= ⎪⎝⎭,∴31231231111118222222327t t t t t t ⎛⎫⎛⎫⎛⎫⎛⎫+++++ ⎪ ⎪ ⎪ ⎪⎛⎫⎛⎫⎛⎫⎝⎭⎝⎭⎝⎭⎪+++≤= ⎪⎪⎪⎪⎝⎭⎝⎭⎝⎭ ⎪⎝⎭,∴()()12312312233112311111112228424t t t t t t t t t t t t t t t ⎛⎫⎛⎫⎛⎫+++=+++++++> ⎪⎪⎪⎝⎭⎝⎭⎝⎭,∴18427AI BI CI AA BB CC ⋅⋅<≤'''⋅⋅. (法二)令,,IA IB IC x y z AA BB CC ===''',则2=++z y x ,且1,,,12x y z ⎛⎫∈ ⎪⎝⎭, ∴38327x y z xyz ++⎛⎫≤= ⎪⎝⎭,211139(2)2222416xyz x x z z z z z ⎡⎤⎛⎫⎛⎫=-->--=--+⎢⎥ ⎪ ⎪⎝⎭⎝⎭⎢⎥⎣⎦ 又112z <<,21392416z ⎡⎤⎛⎫--+⎢⎥ ⎪⎝⎭⎢⎥⎣⎦在区间端点取到最小值,∴2213913911241624164xyz z ⎡⎤⎡⎤⎛⎫⎛⎫>--+>--+=⎢⎥⎢⎥ ⎪ ⎪⎝⎭⎝⎭⎢⎥⎢⎥⎣⎦⎣⎦.(法三)令m k c k n b n m a +=+=+=,,,则2222()2()2()AI BI CI m n k m n k m n kAA BB CC m n k m n k m n k ⋅⋅++++++=⋅⋅'''⋅⋅++++++ 41)(8))(()()(333>+++++++++++++=k n m mnk k n m nk mk mn k n m k n m .例题4. 设四边形ABCD 是一个有内切圆的凸四边形,它的每个内角和外角都不小于60︒,证明:333333133AB AD BC CD AB AD -≤-≤-,并求等号何时成立. 证明:由余弦定理,2222222cos 2cos BD AD AB AD AB ABD CD BC CD BC C⎧=+-⋅⋅⎨=+-⋅⋅⎩. 由已知条件,60,120A C ︒≤∠∠≤︒,故11cos ,cos ,22A C ⎡⎤∈-⎢⎥⎣⎦,于是有()2223BD AB AD AB AD -++⋅()()22216cos AB AD AB AD A =+-⋅+()2224AB AD AB AD ≥+-⋅()220AB AD =-≥,即()2213AB AD AB AD ++⋅2BD ≤222cos CD BC CD BC C =+-⋅⋅22CD BC CD BC ≤++⋅.再由四边形ABCD 是一个有内切圆的凸四边形,可知AD BC AB CD +=+,所以AB AD CD BC -=-.结合上式,就有333313AB AD BC CD -≤-,等号成立当且仅当1cos 2A =,AB AD =,1cos 2C =-或者0AB AD CD BC -=-=,即AB AD =且CD BC =.同理可证另一个不等式成立,等号成立的条件同上.例题5. 设ABC ∆的内切圆与三边AB ,BC ,CA 分别相切于点P ,Q ,R .证明:BC 6CA ABPQ QR RP++≥.证明1:设,,a BC b CA c AB ===,,,p QR q RP r PQ ===,则只需证明6a b cT r p q=++≥. 设2a b cs ++=,根据BQ BP s b ==-,应用余弦定理可得()()2221cos r s b B =--()2222212a c b s b ac ⎛⎫+-=-- ⎪⎝⎭()()222s b b a c ac⎡⎤---⎣⎦=()()()24s b s a s c ac---=,故r =;同理可得p =q =.由均值不等式,T =≥= 另一方面,由于,,a b c 是构成三角形的三边长,所以()()()()()()()()()2222222220,0,0,c a b a b c a b c a a b c b c a b c a b b c a c a b c a b c ⎧<+-+-=--≤⎪⎪<+-+-=--≤⎨⎪<+-+-=--≤⎪⎩以上三式相乘,即得()()()222222b c a c a b a b c a b c +-+-+-≤(此处可以考虑用均值不等式证明),所以6T =≥.证明2:设,,AP AR x BP BQ y CR CQ z ======,r 为ABC ∆的内切圆半径,则r =O 是ABC ∆的内切圆的圆心,在四边形APOR 中,PR AO⊥,所以2AO RP AP PO ⋅=⋅2RP xr =,所以B1RP ==. 由柯西不等式,(12AB x y RP=+=1112⎛≥+⎝1=+1BC PQ ≥1CA QR ≥.以上三式相加,即得BC CA AB PQQR RP ++3≥+336≥+=.例题6. 设P 是ABC ∆内的一个点,S R Q ,,分别是C B A ,,与P 的连线与对边的交点,求证:ABC QRS S S ∆∆≤41.(QRS ∆是塞瓦三角形) 证明1:令γβα===RACRQC BQ SB AS ,,,由塞瓦定理1=αβγ,则)1)(1(++=⋅⋅=∆∆γααAC AB AR AS S S ABC ASR ;同理)1)(1(++=⋅⋅=∆∆αββAB BC BS BQ S S ABC BSQ ,)1)(1(++=⋅⋅=∆∆βγγAB BC CR CQ S S ABC CQR . 只要证明ABC CQR BSQ ASR S S S S ∆∆∆∆≥++43, 即43)1)(1()1)(1()1)(1(≥++++++++βγγαββγαα, 只要证0)()(6≤++-++-γβαγαβγαβ,只要证0)]()111[(6≤+++++-γβαγβα,显然6)()111(≥+++++γβαγβα,当12αβγ===时取等号,此时P 是ABC ∆的重心.证明2:设z S y S x S PAB PBC PAC ===∆∆∆,,,则zx QB QC y z RC RA x y SA SB ===,,,))((y z y x xz AC AB AR AS S S ABC ASR ++=⋅⋅=∆∆;同理))((x z x y yz AB BC BS BQ S S ABC BSQ ++=⋅⋅=∆∆,))((z y z x xyAB BC CR CQ S S ABCCQR ++=⋅⋅=∆∆,只要证明ABC CQR BSQ ASR S S S S ∆∆∆∆≥++43, 即43))(())(())((≥++++++++z y z x xy x z x y yz y z y x xz ,通分整理得3()()()()()()4xz x z yz y z xy x y x y y z z x +++++≥+++, 即22223()()()()()()4x y z y z x z x y x y y z z x +++++≥+++364xyz ≥⋅=, 只要证xyz y x z z y x z x y 6)()()(222≥+++++, 事实上)()()(222y x z z y x z x y +++++)()(222222zx yz xy x z z y y x +++++=xyz xyz xyz zx yz xy x z z y y x 6333332223222=+=⋅⋅+⋅⋅≥,当且仅当z y x ==时取等号,此时P 是ABC ∆的重心. 证明3:令,,AS BQ CRAB BC CAαβγ===,且)1,0(,,∈γβα,则1,1,1BS CQ ARAB BC CAαβγ=-=-=-,由塞瓦定理得)1)(1)(1(γβααβγ---=,整理得()12αβγαββγγααβγ++-++=-, )1(γα-=⋅⋅=∆∆ACAB ARAS S S ABC ASR ; 同理)1(αβ-=⋅⋅=∆∆AB BC BSBQ S S ABC BSQ ,)1(βγ-=⋅⋅=∆∆ABBC CR CQ S S ABC CQR , 只要证43)1()1()1(≥-+-+-βγαβγα, 事实上(1)(1)(1)αγβαγβ-+-+-()αβγαββγγα=++-++12αβγ=-1=-114=-⋅43411=-≥,当且仅当21===γβα时取等号,此时S R Q ,,是中点,P 是ABC ∆的重心.例题7. 设六边形ABCDEF 是凸六边形,且AB BC CD ==,DE EF FA ==,60BCD EFA ∠=∠=︒.设G 和H 是这个六边形内部的两点,使得120AGB DHE ∠=∠=︒.试证:AG GB GH DH HE CF ++++≥.证明:以直线BE 为对称轴,作C 和F 关于该直线的对称点C '和F ',则ABC '∆和DEF '∆都是正三角形,G 和H 分别在这两个三角形的外接圆上.根据Ptolemy 定理得C G AB AG C B GB C A '''⋅=⋅+⋅,因而C G AG GB '=+;同理,HF DH HE '=+.于是AG GB GH DH HE ++++C G GH HF ''=++C F CF ''≥=,等号成立当且仅当线段CF 和C F ''以直线BE 为对称轴.例题8. 已知四边形1234A A A A 既有外接圆又有内切圆,内切圆与边12A A ,23A A ,34A A ,41A A 分别切于1234,,,B B B B .证明:222223341241122334418A A A A A A A A B B B B B B B B ⎛⎫⎛⎫⎛⎫⎛⎫+++≥ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎝⎭.证明:设四边形1234A A A A 的内切圆半径为r ,记1232A A A α∠=,2342AA A β∠=,3412A A A γ∠=,4122A A A θ∠=。