用反证法证明不等式

时间:2019-05-13 03:03:08下载本文作者:会员上传
简介:写写帮文库小编为你整理了多篇相关的《用反证法证明不等式》,但愿对你工作学习有帮助,当然你在写写帮文库还可以找到更多《用反证法证明不等式》。

第一篇:用反证法证明不等式

用反证法证明不等式

一、反证法的含义

反证法是指“证明某个命题时,先假设它的结论的否定成立,然后从这个假设出发,根据命题的条件和已知的真命题,经过推理,得出与已知事实(条件、公理、定义、定理、法则、公式等)相矛盾的结果.这样,就证明了结论的否定不成立,从而间接地肯定了原命题的结论成立.”这种证明的方法,叫做反证法.

二、反证法的严密性

数学证明方法可分为直接证法和间接证法,从原命题所给的条件出发,根据已有的公理、定义、法则、公式,通过一系列的推理,一直推到所要证明的命题的结论,这种证法叫做直接证法.有些命题不易用直接证法去证明,这时可通过证明它的等价命题真,从而断定原命题真,这种证法叫做间接证法.数学中常用的间接证法有反证法.

既然反证法是间接证法,那么反证法也是通过证明原命题的等价命题从而证明原命题的.

三、反证法证题的步骤

用反证法证题一般分为三个步骤:

1、假设命题的结论不成立;

2、从这个结论出发,经过推理论证,得出矛盾;

3、由矛盾判定假设不正确,从而肯定命题的结论正确.

即:提出假设——推出矛盾——肯定结论.

四、反证法的分类

反证法中有归谬法和穷举法两种.

原命题的结论的否定只有一种情况,只要把这种情况推翻,就可以肯定原命题结论成立,这种反证法叫做归谬法;如果原命题的结论的否定不止一种情况,那么就必须把这几种情况一一否定,才能肯定原命题结论成立,这种反证法叫做穷举法.

五、反证法中常见的矛盾形式

(1)与已知条件即题设矛盾;

(2)与假设即反设矛盾;

(3)与已知的定义、公理和定理矛盾,即得出一个恒假命题;`

(4)自相矛盾.

六、反证法的适用范围

(1)已知条件很少或由已知条件能推得的结论很少;

(2)命题的结论以否定形式出现时;

(3)命题的结论以“至多”、“至少”的形式出现时;

(4)命题的结论以“唯一”的形式出现;

(5)命题的结论以“无限”的形式出现时;

(6)关于存在性命题;

(7)某些定理的逆定理.

总之,正难则反,直接的东西较少、较抽象、较困难时,其反面常会较多、较具体、较容易.

反证法有进也用于整个命题论证过程的某个局部环节上.

七、用反证法证明不等式举例

例 已知、、、,且

.求证:、、、中至少有一个是负数.选题意图:本题考查利用反证法证明不等式.证明:假设、、、都是非负数,∵

这与已知

.矛盾.,.∴、、、中至少有一个是负数.

第二篇:专题:不等式的证明——反证法

专题:不等式的证明问题 ——反证法

反证法证明不等式  方法介绍:

从否定结论出发,经过逻辑推理导出矛盾,证实否定的结论是错误的,从而肯定原结论是正确的。 规律点拨:

① 必须先否定结论,当结论的反面呈现多样性时,要分类讨论各种可能的情况。

② 否定结论之后,必须要从否定的结论出发进行逻辑推理,得出矛盾。

③ 推导出的矛盾多种多样。可能与已知矛盾、与假设矛盾、与公理事实相矛盾等等。动笔前先审视题目中可能利用的矛盾类型,可以令思路更清晰。

④ 当结论是:“都是。。”、“都不是。。”、“至少。。”、“至多。。”等形式时常用反证法。 典型题例

1.设a,b,cR,且abc0,abbcac0,abc0。求证:

1ba、1ab

中至少有一个小于2。

4.已知a、b、c(0,1),求证:

(1a)b、(1b)c、(1c)a不能同时大于1/4.5.a,b,cR,求证:

a2c、b2a、c2b三个式子中至

少有一个不小于1。

a,b,c均大于零。

2.设

f(x)xpxq(p,qR)

证明:f(1)、f(2)、f(3)中至少有一个不小于1/2。

3.已知a0,b0且ab2,求证:学林家教

八年家教经验、一流的专职老师授课一个月单科成绩提高10-15分

先上课,满意辅导质量再收费三个月帮助改善学习方法、提高学习效率

***(黄老师)

第三篇:放缩法、反证法证明不等式10

放缩法、反证法证明不等式

教学目标:

掌握放缩法和反证法证明不等式 教学难点:

放缩法和反证法 教学过程:

一、简要回顾已经学习过的几种不等式证明的方法

提出课题:放缩法与反证法

二、放缩法: 例

一、若a, b, c, dR+,求证:1证:记m =

abcd2

abdbcacdbdacabcd

abdbcacdbdac∵a, b, c, dR+

∴mabcd1

abcdabcacdabdabcabcd2 ababcddc

∴1 < m < 2

即原式成立

m例

二、当 n > 2 时,求证:logn(n1)logn(n1)

1证:∵n > 2

∴logn(n1)0,logn(n1)0

logn(n21)logn(n1)logn(n1) ∴logn(n1)logn(n1)

222lognn1

222

2∴n > 2时, logn(n1)logn(n1)1 例

三、求证:

证:

∴11112 122232n21111 n2n(n1)n1n11111111111122 2222223n1nn123n

三、反证法:

1例

四、设0 < a, b, c < 1,求证:(1  a)b,(1  b)c,(1  c)a,不可能同时大于

4111证:设(1  a)b >,(1  b)c >,(1  c)a >, 4441则三式相乘:ab <(1  a)b•(1  b)c•(1  c)a <

641(1a)a又∵0 < a, b, c < 1

∴0(1a)a 24同理:(1b)b11,(1c)c 4

与①矛盾 642以上三式相乘:(1  a)a•(1  b)b•(1  c)c≤∴原式成立

五、已知a + b + c > 0,ab + bc + ca > 0,abc > 0,求证:a, b, c > 0

证:设a < 0,∵abc > 0, ∴bc < 0

又由a + b + c > 0, 则b + c = a > 0 ∴ab + bc + ca = a(b + c)+ bc < 0

与题设矛盾

又:若a = 0,则与abc > 0矛盾,∴必有a > 0 同理可证:b > 0, c > 0

四、作业:证明下列不等式:

1. 设x > 0, y > 0,a2. lg9•lg11 < 1

xyxy, b,求证:a < b

1xy1x1y3.logn(n1)logn(n1)1

1140 abbcca111121(nR,n2)5.nn1n2n11111 6.2n1n22n7.设0 < a, b, c < 2,求证:(2  a)c,(2  b)a,(2  c)b,不可能同时大于1 4.若a > b > c, 则8.若x, y > 0,且x + y >2,则

1y1x和中至少有一个小于2 xy

第四篇:用均值不等式证明不等式

用均值不等式证明不等式

【摘要】:不等式的证明在竞赛数学中占有重要地位.本文介绍了用均值不等式证明几个不等式,我们在证明不等式时,常用到均值不等式。要求我们要认真分析题目,本文通过几个国内外竞赛数学的试题,介绍用均值不等式证明初等不等式的基本方法及技巧。

【关键词】:均值不等式;不等式;方法;技巧

均值不等式

设 a1、a2、、an 是 n 个 正数,则不等式H(a)G(a)A(a)Q(a)称为均值不等式[1].其中

H(a)

n

1a

11a

2

1an,G(a)

a1a2a1aan,A(n)

a1a2an

n

22,2

Q(n)

a1a2an

n

、an 的调和不等式,几何平均值,算术平均值,均方根平均分别称为 a1、a2、值.

例1设a1、a2、…、an均为正,记

(n)n(a1a2an

n

a1a2an)

试证:(n)(n1),并求等号成立的条件.

证明由所设条件,得

(n)(n1)

=n(a1a2an

n

n

a1a2an)(n1)(a1a2an

1n1

n1

a1a2an1)

=a1a2annna1a2an(a1a2an1)(n1)n1a1a2an1

=an(n1)(a1a2an1)n1n(a1a2an)n,n1

(a1a2an1)n1,有 将G(a)A(a)应用于n个正数:an,(a1a2an1)



n1个

an(n1)(a1a2an1)n1

n

(a1a2an)n,即

an(n1)(a1a2an1)n1n(a1a2an)n.

所以(n)(n1),当且仅当an(a1a2an1)立.

n1,即ann1a1a2an时等号成1

此题不只是公式的直接应用.代表了均值不等式中需要挖掘信

、an 的一类题. 息找a1、a2、例2设xyz0,求证:6(x3y3z3)2(x2y2z2)3. 证明当xyz0时不等式显然成立.

除此情况外,x、y、z中至少有一正一负.不妨设xy0,因为

z(xy),所以

I6(xyz)6[xy(xy)]6[3xy(xy)]54xyz

若由此直接用G(a)A(a)(n3),只能得到较粗糙的不等式

I54xyz54(xyz

2)2(xyz),3222

3如果改用下面的方法,用G(a)A(a),便得

I54xyz

222

216

xy2

xy2

z

xyxy2z

(2z22xy)3,2163

再注意到x2y2(xy)22xyz22xy,因而2z22xyx2y2z2,于是即得欲证的不等式.

此题解题的关键在于构造a1、a2、、an通常需要拓宽思路多次尝试,此类也属均值不等式的常考类题. 例3设x0,证明:2

x

2

x

22

x

.(第16届全苏数学竞赛试题[2])

证明此不等式的外形有点像均值不等式. 由G(a)A(a),得

x2

x

x

2

x

22

x

2

x

22,又

x2

x

1111

(x12x4)2x6,即得要证的不等式.

结语

有些不等式则可以利用某个已经证明成立的不等式来证明(因此多熟悉几个比较常见的不等式是有好处的);有些不等式还要用数学归纳法来证明等等.而且在一个题目的证明过程中,也往往不止应用一种方法,而需要灵活运用各种方法.因此,要培养和提高自己的证题能力。

参考文献

[1]陈传理等编.数学竞赛教程 [M].北京:高等教育出版设,1996,(10):

133-134.

[2]常庚哲等编.高中数学竞赛辅导讲座[M].上海:上海科学技术出版社,1987.38-49

第五篇:不等式·用综合法证明不等式

不等式·用综合法证明不等式

教学目标

1.掌握两个或三个正数的算术平均数不小于它们的几何平均数这一重要定理,并能运用它们证明一些不等式.

2.了解综合法的意义.

3.通过对定理及其推论的推导、证明、应用,培养学生运用综合法进行推理论证的能力.

教学重点和难点

用综合法证明定理及推论的教学. 教学过程设计

(一)新课引入

师:我们已学过用比较法(求差、求商)证明不等式,它是一种最基本、最常用的方法.请完成以下练习.

1.证明:x2+2>2x(x为实数).

2.请问:x2+1与2x的大小关系是什么?并证明你的结论.(教师巡视学生的解题情况,请学生将不同的解法板演到黑板上)1.证法1:由(x2+2)-2x=(x-1)2+1≥1>0,知x2+2>2x.

证法2:由(x-1)2≥0,知(x-1)2+1≥1>0,即x2-2x+2>0,则x2+2>2x.

师:两位同学的证明都正确,他们都是根据a2≥0(a≥R).在证法上有区别吗?请大家思考.

2.答:x2+1≥2x.

证法1:由(x2+1)-2x=x2-2x+1=(x-1)2≥0,知x2+1≥2x. 证法2:由(x-1)2≥0,① 知x2-2x+1≥0,则x2+1≥2x. ② 师:同学们得到的结论几乎是一致的,是x2+1≥2x.主要证法已列在黑板上,请大家思考:这些证明是否正确?所采用的方法是什么?

生:都正确.证法一是求差比较法,证法二是„„

师:一时答不出也没关系,证法一用的是求差比较法,至于证法二,我们不妨先问问写出证法二的同学是怎么想出来的.

生:我一看到是两个“平方项”与它们的两倍“交叉项”比大小,就首先想到了平方公式,这个完全平方一定是非负的;然后再根据不等式性质,就得到了结论;最后就按这个思路进行的证明.

师:他是从已经成立的事实出发,经过正确推理,得到要证的结论.也就是说他是以公式①为基础,运用不等式的性质推出②式,这种利用某些已经证明过的不等式作为基础,再运用不等式的性质推导出所要求证的不等式的方法通常叫做综合法.

对于综合法大家并不陌生,初中的平面几何题大多是用综合法加以证明的. 今天我们一起研究如何用综合法证明不等式(板书课题).

(二)用综合法证明不等式 1.综合法

师:我们已经知道用综合法证明需要一些已经证明过的不等式作为基础,因此我们应先证明出一些最重要、最基本的不等式.

2.定理推导

师:通过刚才的两道小题,我们不难得出:如果a,b∈R,那么有(a-b)2≥0.把左边展开,得a2-2ab+b2≥0,则a2+b2≥2ab.这就是课本P8中介绍的定理1.我们采用的是综合法,课本中是用求差比较法加以证明的.

(把课前准备好的课本中的这段证明投出来供大家一起阅读.此处需实物投影仪)

证明:a2+b2-2ab=(a-b)2.

当a≠b时,(a-b)2>0;当a=b时,(a-b)2=0. 所以(a-b)2≥0,即a2+b2-2ab≥0.因此a2+b2≥2ab.

师:值得我们注意的是这是带有“=”的不等式,取“=”这种特殊情况应予以重视.不等式a2+b2≥2ab中“=”成立的充要条件是什么? 生:是a=b.

师:充要条件通常用“当且仅当”来表达,“当”表示条件是充分的,“仅当”表示条件是必要的.所以定理1表述为:

定理1 如果a,b∈R,那么a2+b2≥2ab(当且仅当a=b时取“=”号).(板书)

师:这个定理的功能是什么?功能往往源于它的结构.

生:公式a2+b2≥2ab的一边是和的形式,另一边是积的形式.我想功能大概是:和可以缩小变成积,积可以放大变成和.

师:虽然语言欠准确,但其含意是对的.这个定理非常重要,且用途广泛,但由于各项都是二次的,使用时不太方便,谁有办法将它们的次数降下来?

师:大家都同意他的作法吗?有什么不同意见吗?

师:同学们思考问题已越来越严谨了,的确,从学生甲的方法应得到学生乙的结论,学生丙提到的条件是不可缺少的.由于有这个条件,的情况单独提出来,做为定理1的推论.

“=”号).(板书)

生丁:我与学生甲的想法不同.既然定理1的a2+b2≥2ab对任意

师:学生丁的想法更自然,他直接利用定理得到推论,这个推论十 的算术平均数不小于(即大于或等于)它们的几何平均数. 3.定理的初步应用

师:看到这个问题,你的第一想法是什么? 生:使用定理加以证明.

师:若想定理帮忙,首先要看是否符合定理的条件.

师:再看是否符合定理的结构.

师:实际上,我们是用定理1的推论进行证明的.

(教师把证明过程板演到黑板上)师:使用定理时,应特别注意:等号何时成立,不过这只要看定理是怎么形成的就可以了.

4.定理的推广

师:我们已研究得到两个正数的算术平均数不小于它们的几何平均数.这个结论可以推广到3,4,„,n(n∈N+)个正数,在中学只要掌握到三个正数的相应结论.请问应是什么?

生:应该是:三个正数的算术平均数不小于它们的几何平均数. 师:用符号语言应如何表述?请写到黑板上.(学生书写在黑板上)

师:如何证明呢? 生:„„

使式子看起来较为复杂,能否做适当变形使之简化呢?

师:想得好,它有条件吗? 生:有.同样是a,b,c∈R+.

师:这个命题大家能证明出来吗?一时不能完全证出来也没关系,想出多少说多少.

生甲:我觉得证a3+b3+c3≥3abc更容易点.它能拆成a3≥abc,b3≥abc,c3≥abc,由条件只要证出a2≥bc,b2≥ac,c2≥ab即可.

生乙:这三个分着不可能证出来,不过合起来的2a2+2b2+2c2≥2bc+2ac+2ab很容易证出.

师:虽然他们还没能把命题证出,但从他们的发言中我们得到了一点启发:三次的问题转化为二次的解决. 生丁:我证出来了.(学生口述,教师板书)

证明:由于a,b,c∈R+,由定理1,得a2+b2≥2ab,则a2-ab+b2≥ab. 所以a3+b3=(a+b)(a2-ab+b2)≥(a+b)ab=a2b+ab2,即a3+b3≥a2b+ab2.

同理,b3+c3≥b2c+bc2,c3+a3≥a2c+ac2. 三式相加,得

2a3+2b3+2c3≥a2b+ab2+b2c+bc2+a2c+ac2 =b(a2+c2)+a(b2+c2)+c(a2+b2)≥b·2ac+a·2bc+c·2ab =2abc+2abc+2abc =6abc.

故a3+b3+c3≥3abc.

师:证得漂亮,你是怎么想出来的?

生丁:我觉得证这个题目只能根据已知条件和定理1及推论.证题时我又借鉴了他们俩的经验,对a3,b3,c3的降次转化工作不是一个、成.

师:他还有两处处理得很好.一处是:a2-ab+b2≥ab;另一处是对三式相加后的式子的重组.很明显,他是在努力创设条件、充分利用定理证题.这个问题是用什么方法加以证明的?

生:综合法.

师:刚才的证明过程不仅帮我们把问题得以解决,而且还帮助我们加深了对综合法的认识,从中可体会到应如何使用综合法证题. 证明此题还有其它办法吗? 生:我是用求差比较法证的.(学生口述,教师板书)证明:由于a3+b3+c3-3abc =(a+3)3+c3-3a2b-3ab2-3abc =(a+b+c)[(a+b)2-(a+b)c+c2]-3ab(a+b+c)=(a+b+c)[a2+2ab+b2-ac-bc+c2-3ab] =(a+b+c)(a2+b2+c2-ab-ac-bc)

又a,b,c∈R+,则a+b+c>0.

由(a-b)2≥0,(b-c)2≥0,(c-a)2≥0,知(a-b)2+(b-c)2+(c-a)2≥0.

进而a3+b3+c3-3abc≥0.即a3+b3+c3≥3abc.

师:正确,而且思路很清晰.这个思路你是怎么想出来的?

生:我是一看到这个题目就想用比较法的.我本以为作差后,能因式分解,再用条件或定理1,就可断定式子的符号,题目也就证出来了,但我第一次两两分组就不成功,没分解出来.再试时,我看a3,b3,c3,3abc这四项都是3次的,就先凑出与之齐次的(a+b)3再配平,结果就出来了.

师:数学中很多时候也是需要试一试、拼拼凑凑的. 其实,课本中采用的就是这种证法.

这同样是带有“=”的不等式,我们仍需研究其“=”成立的充要条件.从刚才的证明过程看,“=”出现在(a-b)2+(b-c)2+(c-a)2≥0中,这是显然有:当且仅当a=b,b=c,c=a同时成立,即a=b=c时等号成立. 至此,我们已得到了定理2及其推论.(教师板书)

定理2 如果a,b,c∈R+,那么a3+b3+c3≥3abc(当且仅当a=b=c时取“=”号).

时取“=”号).

师:这个定理及推论同样是非常重要而且广泛的.它的证明方法远不只上述这些,推论也可直接证得,同学们不妨课下试一试.

(三)小结

(引导学生归纳总结)

1.已学过的不等式证明方法:比较法、综合法. 2.用综合法证明不等式的依据是什么?(1)已知条件和不等式性质;(2)基本不等式:

“=”号).

3.综合法与比较法的内在联系.

本节课的课前两个练习与两个定理的证明都是既用了比较法,又用了综合法,这引起了我们对二者内在联系的思考. 由于作为综合法证明依据的不等式本身是可以根据不等式的意义、性质或比较法证出的,所以用综合法可以获证的不等式往往可以直接根据不等式的意义、性质或比较法来证明.

摆在我们面前的问题恐怕是方法的选择.方法选择不当,不是证不出来就是难度加大;方法合理使用,会使题目难度大大下降.因此我们不要学过某种方法就抱定不放,要善于观察,根据题目的特征选择证题方法.

显然,对于需用基本不等式证明的问题,直接用结论要比再从头证一遍容易很多.

4.注意:

(1)定理使用的条件.

只有a2+b2≥2ab是对任意实数a,b都成立,其余都要求在正数范围内.(2)定理中“=”号成立的条件.

(四)布置作业

《高级中学课本·代数·下册(必修)》(人教社90年版98年印刷)P11练习1,2.

补充题:

(1)已知:a,b∈R,求证:a2+b2+1≥a+b+ab.

课堂教学设计说明

这节课是本章(第五章、不等式)的重点.在这堂课中不仅要讲授证明不等式的一种方法——综合法,而且还要介绍两个基本而又重要的不等式定理及推论.在这二者关系的处理上,我们发现:要使用综合法证明不等式就需要一些最重要、最基本的不等式作为基础,而证明得到它们时又可采用综合法.因此,我们在课前设计了两个练习题,尤其是稍放开一点的第2题,如果学生能自觉不自觉地用初中已很常用而没正式讲过的综合法的思考方法解题,综合法的引入就会很自然,即使生没有想到,教师点拨起来也并不困难.而后顺着学生用综合法的需要,介绍了4个基本不等式,在它们的证明过程中,使用综合法,帮助学生掌握如何用综合法证明不等式.

从教学设计上,我们力图从学生的需要出发,适时地设计一系列问题,帮助学生抓住知识的内在联系,使学到的公式、方法能用、会用,而不是只支离破碎地记住了一些名词和公式. 表面上看,本节练习不够,但实际上,定理2及推论的证明正是最好的练习.构思这个证明,起点要高、思维跨度要大.这正是锻炼学生思维,培养学生推理论证能力的绝对机会.我们认为:最好的习题就是定理本身的推证过程.这里又是本节的一个难点,在此花点功夫、适当展开是应当的;同时学生对用综合法证明不等式会有更深刻的体验.因此讲透它比做几个练习更有意义. 对于几何证法、三角证法等基本不等式的证明方法,由于担心会冲淡学生对综合法的认识,在本节中并未提及.

在课堂教学过程中,学生有可能直接证出定理2的推论,这也无妨.一般来讲,它同样是要用到两项的结论(定理1或其推论)去证的.课上应就学生的实际,顺其自然.

下载用反证法证明不等式word格式文档
下载用反证法证明不等式.doc
将本文档下载到自己电脑,方便修改和收藏,请勿使用迅雷等下载。
点此处下载文档

文档为doc格式


声明:本文内容由互联网用户自发贡献自行上传,本网站不拥有所有权,未作人工编辑处理,也不承担相关法律责任。如果您发现有涉嫌版权的内容,欢迎发送邮件至:645879355@qq.com 进行举报,并提供相关证据,工作人员会在5个工作日内联系你,一经查实,本站将立刻删除涉嫌侵权内容。

相关范文推荐

    不等式·用综合法证明不等式

    不等式·用综合法证明不等式·教案 教学目标 1.掌握两个或三个正数的算术平均数不小于它们的几何平均数这一重要定理,并能运用它们证明一些不等式. 2.了解综合法的意义. 3.通过对......

    不等式·用分析法证明不等式

    不等式·用分析法证明不等式·教案 教学目标 通过教学,学生掌握和应用分析法证明不等式. 教学重点和难点 理解分析法的证题格式并能熟练应用. 教学过程设计 师:我们已经学习了综......

    证明不等式的基本方法—反证法与放缩法

    §4.2.3证明不等式的基本方法—反证法与放缩法【学习目标】能熟练运用反证法与放缩法来证明不等式。【新知探究】1.反证法的一般步骤:反设——推理——导出矛盾(得出结论);2.放缩......

    用数学归纳法证明不等式[精选]

    人教版选修4—5不等式选讲课题:用数学归纳法证明不等式教学目标:1、牢固掌握数学归纳法的证明步骤,熟练表达数学归纳法证明的过程。2、通过事例,学生掌握运用数学归纳法,证明不等......

    用比较法证明不等式·教案

    用比较法证明不等式·教案北京二十五中 冯睿 教学目标 1.理解,掌握比较法证明不等式. 2.培养渗透转化、分类讨论等数学思想,提高分析、解决问题能力. 3.锻炼学生的思维品质(思维的严......

    浅谈用放缩法证明不等式

    淮南师范学院2012届本科毕业论文 1 目录引言„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„(2) 1. 放缩法的常用技巧„„„„„„„„„„„„„„„......

    用放缩法证明不等式

    用放缩法证明不等式蒋文利飞翔的青蛙所谓放缩法就是利用不等式的传递性,对照证题目标进行合情合理的放大和缩小的过程,在使用放缩法证题时要注意放和缩的“度”,否则就不能同向......

    用向量可以证明不等式

    运用向量可以证明不等式向量一章中有两处涉及到不等式,其一,aa+bab或-bab;其二,abab。前者的几何意义是三角形两边之和大于第三边,两边之差小于第三边,后者是数量积的性质,这两个结......