板块一 反证法
知识导航
反证法
反证法是一种间接证法.为了证明某个命题的正确性,先提出一个与命题的结论相反的假设,然后,从这个假设出发,经过正确的推理,导致矛盾,从而否定假设,达到肯定原命题正确的目的,这种方法就是反证法.
反证法的逻辑根据是“排中律”.对于同一思维对象,所作的两种互相对立的判断只能一真一假、反证法就是通过证明结论的反面不真而肯定结论为真的一种证明方法.
用反证法证明一个命题的正确性的步骤,大体上分为. (1)反设.假设结论的反面成立;
(2)归谬.由反设及原命题的条件出发,经过严密的推理,导出矛盾; (3)结论.否定反设,肯定原命题正确.
按照反设所涉及到的情况的多少,反证法可分为归谬反证法与穷举反证法.
1.若结论的反面只有一种情形,那么,反设单一,只须驳倒这种情形,便可达到反证的目的.这叫归谬反证法.
2.若结论的反面不只一种情形,那么,要将各种情形一一驳倒,才能肯定原命题正确,这叫穷举反证法.
夯实基础
【例1】 设
2,0是一次函数yaxba0上一点,试证yaxb的图象至多只能通过一
个有理点(横坐标和纵坐标都是有理数的点).
【解析】 将x2,y0代入yaxb,得b2a,于是yax2,设yaxba0的图
y2,则x1、y1、x2、y2都是有理数,且 象上有两个不同的有理点x1,y1、x2,y1ax12
y2ax22xyx2y1消去a,变形得122 y2y1
因为x1x2,则y1y2,所以上式左端是有理数,它不可能等于无理数,故yaxba0的图象至多只能通过一个有理点.
【备选】 求证: 平面上任意两个不同的整点到点P(2,3)的距离都不相等. 【解析】 假设结论不成立,则平面上两个不同的整点A(a,b)、B(c,d)(其中a、b、c、d都是
整数)使得APBP.
由AP2BP2可得(a2)2(b3)2(c2)2(d3)2,
即2(ac)22(bd)3a2b2c2d2,
从而8(ac)212(bd)28(ac)(bd)6(a2b2c2d2)2, 进而可得8(ac)(bd)6(a2b2c2d2)28(ac)212(bd)2, 因此(ac)(bd)0.
⑴ 若ac0,则bd0,从而ac,bd,A、B重合. ⑵ 同理,若bd0,A、B重合.
习题1. 若a0,则关于x的方程axb0的解是唯一的.
b【解析】 因为a0,则x是axb0的一个解,
a假设axb0的解不是唯一的,不妨设x1、x2都是axb0的解,这里x1x2,则 ax1b0 ①
ax2b0 ② ①②得 ax1x20
由于x1x2,所以x1x20,则a0,这与a0矛盾. 故若a0,则x的方程axb0的解是唯一的.
【点评】证明的第一行是说明解的存在,在这种情况下,结论“解是唯一的”的否定是“至少有两
个解”,但本题的反设是“若x1、x2(x1x2)是axb0的解”,其实,这里省去了“只要有两个不同的解,就能导出矛盾,当然不可以有更多的不同的解”的推理.
【例2】 平面上有一点P及△ABC,若PBPCABAC,求证.点P在△ABC外部. 【解析】 假设点P不在△ABC外部,则有如下几种可能.
⑴ 若点P在BC边上(如下左图).
由PBPCBCABBC,与已知矛盾,所以点P不可能在BC边上. ⑵ 若点P在AC(或AB)边上(不包括端点)(如下中图),则PBABAP
所以PBPCABAPPCABAC
与已知矛盾,所以点P不可能在AC(或AB)边上.
AAPPDCABPCBCB
⑶ 若P与A重合,显然PBPCABAC,与已知矛盾,故点P不可能是A点. ⑷ 若点P在△ABC内(如上页右图),延长BP交AC于D,则
ABADBPPD ① PDDCPC ②
①+②得ABADPDDCBPPDPC
即ABACPBPC,与已知矛盾,所以点P不在△ABC内. 由以上⑴~⑷知,点P必在△ABC外.
习题2. 如右图,在凸四边形ABCD中,若ABBD≤ACCD,求证.ABAC.
DABC
【解析】 设AB≥AC,则ACB≥ABC,因为ABCD是凸四边形,所以
BCDACB,ABCDBC,则BCDDBC,于是BDCD,故ABBDACCD,与已知条件矛盾,因此,ABAC得证.
习题3. 在同一平面内有四条直线a、b、c、d,若a与b相交,ca,db,则c与d也相交. 【解析】 假设c∥d,因为ac,所以ad,又因为bd,所以a、b平行,这与已知条件a与b相交
矛盾,故c与d也相交.
探索提升
【例3】 在四边形ABCD中,OAOC,ABCADC,求证.ABCD是平行四边形.
ADAD
OB'O
【解析】 若OBOD,则显然ABCD是平行四边形.
若OBOD,不妨设OBOD,则在OB上取点B',使得OB'OD,连结AB'、B'C,则四边形AB'CD是平行四边形,则ADCAB'CABC,矛盾! 故ABCD是平行四边形.
习题4. 已知在四边形ABCD和A'B'C'D'中,ABA'B',BCB'C',CDC'D',DAD'A',且
AB∥CD,B'C'∥D'A'.证明.这两个四边形都是平行四边形.
BCBC
AEDA'D'BCB'FC'
【解析】 显然,若ABCD则结论成立.
否则,不妨设ABCD,BCDA.
如图,在线段BA上截取BECD,连结DE; 则四边形EBCD是平行四边形,DEBC. 同样,在线段B'C'上截取B'FA'D', 则A'B'FD'是平行四边形,D'FA'B'.
那么ABCDAEEDADBCADB'C'A'D'FC',
D'FC'D'A'B'C'D'ABCD,矛盾!
即两个四边形均是平行四边形.
非常挑战
【例4】 G是△ABC的重心,若ABGCACGB,则ABAC.
A
AC'GBCGBC
【解析】 若ABAC,不妨设ABAC,通过倍长中线可得CAGBAG,
作点C关于AG的对称点C',则由“8字模型”,ABGC'AC'GB, 可得ABGCACGB,矛盾!故ABAC.
【例5】 试证明雷米欧司—斯坦纳定理.内角平分线相等的三角形是等腰三角形.
M
AFDEBC【解析】 如图,若ABAC,则
一方面, ACBABC,DCBEBC,
在△DBC和△EBC中,CDBE,BCCB于是BDCE ……① 另一方面,作□DBEF,则BEDF,又BECD ∴△FDC为等腰三角形,其中DFDC ∴FCDDFC,而ABEACD
∴EFCECF,从而ECEFBD ……② 综合①、②,矛盾.
【备选】 设凸五边形ABCDE的各边相等,并且A≥B≥C≥D≥E,
求证.此五边形是正五边形.
D
DECEC
【解析】 假设AE,那么在△BAE和△AED中,由BAEAED可得BEAD;因此,在
△ABD和△EBD中,由BEAD可得BDEABD.另外,由BCCD可得BDCCBD,结合BDEABD可得CDECBA,而这与已知条件BD矛盾.所以AE,结合已知条件可得ABCDE,得证.
本题中,多次使用了“两边对应相等的两个三角形中,夹角越大,则第三边也越大;反之亦然”这一定理.
ABAB
板块二 同一法
知识导航
同一法
在符合同一法则的前提下,代替证明原命题而证明它的逆命题成立的一种方法叫做同一法.同一法是间接证法的一种.当要证明某种图形具有某种特性而不易直接证明时,使用此法往往可以克服这个困难.
用同一法证明的一般步骤是:
(1)不从已知条件入手,而是作出符合结论特性的图形; (2)证明所作的图形符合已知条件;
(3)推证出所作图形与已知为同一图形.
探索提升
【例6】 在等腰△ABC中,ABAC,A36,D是AC上的一点,满足ADBC;求证.(1)
(2)BDBC. ABDCBD;
A
D
【解析】 由点D的唯一性,利用同一法可以轻松解决问题.
【例7】 在△ABC中,D是BC边上一点,B40,BAD30,ABCD,求C.
BC
AA
【解析】 在BC所在直线上找点C',使得AC'AB,连结AC'
则C'40,ADC70,那么DAC'70,由此DC'AC'ABDC,即C、C' 重合.所以C40.
习题5. 在△ABC中,D是BC边上一点,B42,BAD27,ABCD,求C.
BDCBDC'A
【解析】 说明.答案为42;题目可进一步变成“在△ABC中,D是BC边上一
点,B,BAD,32180,ABCD,求C”.
【备选】 在梯形ABCD中,AD∥BC,BC90,E、F分别是AD、BC的中点,
1求证.EFBCAD.
2PBDCAEDAE'D
【解析】 延长BA、CD交于点P,连结PF交AD于点E',利用线束定理容易证明E'即为AD的
11中点,那么E、E'重合,则EFPFPEBCAD,得证.
22
BFCBFC非常挑战
1【例8】 在△ABC中,AD是角平分线,I是AD上一点,且BIC90BAC,则I为△ABC2的内心.
1【解析】 设I'为三角形的内心,显然I'必在AD上,且BI'C90BAC.若点I在AI'上,
2
11易得BIC90BAC;若点I在I'D上,易得BIC90BAC.所以,点I与
22点I'重合,即I为三角形的内心.
习题6. 如图,I是△ABC的BAC的角分线上一点,直线MN过点I,与AB、AC边分别交于点
M、N,且ABINIC,ACIMIB.求证.I是△ABC的内心.
AMINBC
【解析】 BIC180MIBNIC190BAC,结合上题结论可知,I是△ABC的内
2心.
因篇幅问题不能全部显示,请点此查看更多更全内容
Copyright © 2019- jqkq.cn 版权所有 赣ICP备2024042794号-4
违法及侵权请联系:TEL:199 1889 7713 E-MAIL:2724546146@qq.com
本站由北京市万商天勤律师事务所王兴未律师提供法律服务