专题04 常用逻辑用语(2)(反证法)学生版
专题04比较大小(解析版)
《比较大小》专项突破高考定位比较大小题型每年必考，而且以多种形式出现，可以囊括高中各部分知识，综合性极强，该题型很好的考察了学生的综合素养。
考点解析（1）特殊值法（2）单调性法（3)基本不等式法（4）放缩法（5）图像法（6）作差法（7）作商法（8）构造法（9）反证法题型解析类型一、特殊值法例1-1．已知111,,,a b a M a N a P b a b <<===，则,,M N P 的大小关系正确的为（） A ．N M P << B ．P M N <<C ．M P N <<D ．P N M <<【答案】B【分析】根据指数函数与幂函数的单调性即可求解.【详解】 解：111a b <<，01b a ∴<<<，∴指数函数x y a =在R 上单调递减，b a a a ∴>，即N M >，又幂函数a y x =在()0,∞+上单调递增，a a ab ∴>，即M P >，N M P ∴>>，故选：B.例1-2．设02x π<<，记lnsin a x =，sin b x =，sin x c e =，则比较a ，b ，c 的大小关系为（ ） A ．a b c <<B ．b a c <<C ．c b a <<D ．b c a << 【答案】A【分析】 根据02x π<<，得到()sin 0,1b x =∈，再利用对数函数和指数函数的性质判断.【详解】 因为02x π<<，所以()sin 0,1b x =∈，lnsin 0a x =<，sin 1x c e =>，所以a b c <<，故选：A例1-3．已知()()2221,2,2,2,2x x xx a b c ∈===，则,,a b c 的大小关系为（ ） A ．a b c >>B ．b c a >>C ．b a c >>D ．c a b >> 【答案】B【分析】根据指数函数的单调性，将问题转化为比较当()1,2x ∈时2,2,2x x x 的大小，利用特值法即可求得结果.【详解】因为()2222x x b ==，函数2x y =是单调增函数，所以比较a ，b ，c 的大小，只需比较当()1,2x ∈时2,2,2x x x 的大小即可.用特殊值法，取 1.5x =，容易知3222.25,23,22x x x ===，再对其均平方得()()()2222232.25 5.0625,29,228x x x =====， 显然()()()22232229228 2.25 5.0625x x x =>==>==， 所以222x x x >>，所以b c a >>故选：B.【点睛】本题考查利用指数函数的单调性比较指数式的大小关系，属基础题.本题解题的关键在于将问题转化为比较当()1,2x ∈时2,2,2x x x 的大小，再通过特殊值法即可得答案.例1-4．设0x y >>，1x y +=，若1ya x ⎛⎫= ⎪⎝⎭，1log xyb xy ⎛⎫ ⎪⎝⎭=，1log yc x =，则实数a ，b ，c 的大小关系是（ ）A ．a b c <<B ．b a c <<C ．b c a <<D ．c b a <<【答案】C【分析】利用0x y >>，1x y +=可知01y x <<<，结合不等式性质知11x >，01xy <<，1111xy y x >>>，再利用指数函数、对数函数的性质直接求解．【详解】 0x y >>，1x y +=，01y x ∴<<<利用不等式性质可知11x>，01xy <<，1111xy y x >>>， ∴011()()1y a x x=>=，1()log 10xy b xy ==-<，111log 1log log 1y y y c x y =>>=-， ∴实数a ，b ，c 的大小关系为b c a <<．故选：C.【点睛】方法点睛：本题考查指数对数的大小判断，判断方法：解题时要根据实际情况来构造相应的函数，利用函数单调性进行比较，如果指数相同，而底数不同则构造幂函数，若底数相同而指数不同则构造指数函数，若引入中间量，一般选0或1，考查学生的转化能力，属于基础题.类型二、单调性法例2-1．设233344443,,332a b c ⎛⎫⎛⎫⎛⎫=== ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭，则,,a b c 的大小关系是（ ） A ．a c b >>B ．a b c >>C ．c b a >>D ．b c a >> 【答案】C【分析】 根据指数函数43⎛⎫= ⎪⎝⎭x y 与幂函数34y x =的单调性判断,,a b c 的大小关系. 【详解】 因为函数43⎛⎫= ⎪⎝⎭x y 在R 上是增函数，所以23344433<⎛⎫⎛⎫ ⎪ ⎪⎝⎭⎝⎭，即a b <，又因为函数34y x =在(0,)+∞上是增函数，所以33444332⎛⎫⎛⎫< ⎪ ⎪⎝⎭⎝⎭，所以b c <，故a b c <<.故选：C练．已知 4.10.90.1445,,554a b c -⎛⎫⎛⎫⎛⎫=== ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭，则这三个数的大小关系为（ ） A ．a c b >>B ．b c a >>C ．c a b >>D ．c b a >> 【答案】B【分析】 利用指数函数的单调性即可比较大小.【详解】0.90.94554b -⎛⎫⎛⎫== ⎪ ⎪⎝⎭⎝⎭， 因为54xy ⎛⎫= ⎪⎝⎭在R 上单调递增﹐则1b c >>， 又 4.1044155a ⎛⎫⎛⎫=<= ⎪ ⎪⎝⎭⎝⎭. 故b c a >>.故选：B.练．设3log πa =，32log 2b =，1ln e 4c =，则a ，b ，c 大小关系为（ ）A ．a b c >>B ．b a c >>C ．c b a >>D ．c a b >> 【答案】B【分析】根据指数函数、对数函数的性质判断可得；【详解】解：因为1ln ln10e<=，所以1ln 0e 0441<<=，即01c <<，又2333332log 2log 2log 4log log 31π==>>=，即1b a >>，所以b a c >>；故选：B类型三、简单同构法（同底、同指、同真、同分母、同分子等）例3-1．已知43a =，3log 4b =，0.13c -=，则a 、b 、c 的大小关系为（ ） A ．a b c >>B ．c b a >>C ．b a c >>D ．a c b >> 【答案】A【分析】 首先根据题意得到4333log 3log 4>，从而得到a b >，又根据3log 41b =>，100.313c -<==，从而得到b c >，即可得到答案.【详解】 因为4334log 33a ==， 344333=3=81464⎛⎫>= ⎪⎝⎭， 所以4333log 3log 4>，即a b >.又因为33log 4log 31b =>=，100.313c -<==，即b c >，所以a b c >>.故选：A练．已知2516log 3,log 9,0.3a a b c -===，则a ，b ，c 的大小关系是（ ）A ．a >b >cB ．a >c >bC ．c >a >bD ．c >b >a【答案】D【分析】 利用对数运算、指数运算化简,b c ，结合对数函数的性质比较三者的大小关系.【详解】22444log 3log 3log 41b ==<=，所以01a b <<<，5555325log log log 5253log 32231010100.30.3110333a c --⎛⎫⎛⎫⎛⎫====>=> ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭， 所以cb a >>.故选：D例3-2．已知ln 22a =，ln33b =，ln 55c =，则a ，b ，c 的大小关系为（ ） A ．a b c <<B ．a c b <<C ．b a c <<D ．c a b <<【答案】D【分析】运用比差法分别比较,a b 与,a c ，进而可得结果.【详解】 因为ln 2ln 33ln 22ln 3ln8ln 902366a b ---=-==<，所以a b <； 又ln 2ln 55ln 22ln 5ln 32ln 250251010a c ---=-==>，所以a c >， 所以c ab <<.故选：D.练．已知12019ln 20202020a =+，12020ln 20212021b =+，12021ln 20222022c =+，则a ，b ，c 的大小关系是（ ）A ．a b c >>B ．a c b >>C ．c b a >>D ．c a b >>【答案】A【分析】根据三个数的形式，构造函数，利用导数判断函数的单调性，最后根据单调性进行比较大小即可.【详解】构造函数()ln 1f x x x =+-，()111x f x x x -'=-=，当01x <<时，()0f x '>， ()f x 单调递增，所以111202*********f f f ⎛⎫⎛⎫⎛⎫>> ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭，a b c >>. 故选：A练．已知ln 22a =，1b e =，ln 33c =，则a 、b 、c 的大小关系为（ ） A ．b c a <<B ．c a b <<C ．a c b <<D ．c b a << 【答案】C【分析】结合导数求()ln x f x x=的单调性，可判断,b a b c >>，令a c -，结合对数的运算性质可判断出c a >，从而可选出正确答案.【详解】解：设()ln x f x x =，则()21ln x f x x-'=，当0x e <<时，()0f x '>； 当x e >时，()0f x '<，则()f x 在()0,e 上单调递增，在(),e +∞上单调递减，则当x e =时，()max ln 1e f x e e ==，即,b a b c >>； ln 2ln 33ln 22ln 3ln8ln 902366a c ---=-==<，则c a >，所以bc a >>， 故选：C ．【点睛】思路点睛：比较几个数的大小关系时，常用的思路是：1、求出函数的单调性，结合增减性进行判断；2、利用作差法，判断两数与零的关系；3、利用作商法，判断两数与1的关系.练．已知7log 22a =，7log 33b =，7log 66c =，则a ，b ，c 的大小关系为（ ） A ．a b c >>B ．b a c >>C ．a c b >>D ．b c a >> 【答案】B【分析】先把a 、b 、c 化为“同构”形式，利用函数的单调性判断大小.【详解】∵log log m a a m b b =， ∵777log lo 6g 23g 2826lo a ===， 777log 3lo 6g 2g 3936lo b ===7log 66c = 因为7log y x =为增函数，所以777log 6log 8log 9<<，所以b a c >>.故选：B【点睛】指、对数比较大小：（1）结构相同的，构造函数，利用函数的单调性比较大小；（2）结构不同的，寻找“中间桥梁”，通常与0、1比较.练．已知e a =，33log e b =，5ln 5c =，则a ，b ，c 的大小关系为（ ） A ．c a b <<B ．a c b <<C ．b c a <<D ．a b c <<【答案】D【分析】 设()ln x f x x =，e x ≥，利用导数判断函数的单调性，利用函数的单调性比较函数值的大小； 【详解】解：设()ln x f x x=，e x ≥，则()2ln 10(ln )x f x x -'=≥恒成立，∵函数()f x 在[e )+∞，上单调递增，又(e)a f =，333log e (3)ln 3b f ===，5(5)ln 5c f ==，∵e 35<<，()()()e 35f f f ∴<<，∵a b c <<，故选：D . 例3-3．已知0a b c d <<<<，若c a a c =，则d b 与b d 的大小关系为（ ）A ．d b b d <B ．d b b d =C ．d b b d >D ．不确定【分析】由c a a c =得ln ln a c a c =，构造新函数ln x y x =，利用导数讨论ln x y x =的单调性，从而判断出ln ln ln b c d b c d >>，即可 得到d bb d >.【详解】因为c a a c =，所以ln ln c a a c =，即ln ln aca c =， 设ln x y x =，则21ln x y x -'=，令21ln xy x -'==0，得x e =，当(0,)x e ∈时，0y '>，ln xy x =单调递增，当(,)x e ∈+∞时，0y '<，ln xy x =单调递减； 因为ln ln aca c =，0abcd <<<<，所以ae c <<， 所以ln ln ln b cdb c d >>，即d b b d >.故选：C.【点睛】指、对数比较大小：（1）结构相同的，构造函数，利用函数的单调性比较大小；（2）结构不同的，寻找“中间桥梁”，通常与0、1比较.练．若e a =π，3e b =，3c π=，则a ，b ，c 的大小关系为（） A ．b a c << B ．a b c << C ．c a b <<D ．b c a << 【答案】A首先利用指数函数和幂函数的单调性得到b c <和a b >，再构造函数，利用导数得到函数的单调性得到a c <，即可得到答案.【详解】因为3x y =在R 上为增函数，所以33e π<，即b c <.因为e y x =在(0,)+∞为增函数，所以3e e π>，即a b >. 设ln ()x f x x=， 21ln ()x f x x -'=，令()0f x '=，x e =. (0,)x e ∈，()0f x '>，()f x 为增函数，(,)x e ∈+∞，()0f x '<，()f x 为减函数.则()(3)f f π<，即ln ln 33ππ<，因此3ln ln3ππ<， 即3ln ln 3ππ<，33ππ<.又33e πππ<<，所以a c <.所以b a c <<.故选：A【点睛】本题主要考查指数和幂的比较大小，利用导数得到函数的单调性来比较大小为解决本题的关键，属于中档题.练．已知5ln 4a π=，4ln5b π=，45ln c π=，则a ，b ，c 的大小关系是A ．c b a <<B ．c a b <<C ．b a c <<D ．a b c <<【答案】C令ln ()()x f x x e x=≥，利用导数研究函数的单调性即可得出a ，b ，c 的大小关系. 【详解】 解：令ln ()()x f x x e x =≥，21ln ()x f x x -'=， 可得函数()f x 在(),e +∞上单调递减，ln 4ln 5,5ln 44ln 5,45a b ππππ∴>∴>∴>， 同理可得：44ln ln 4,4ln ln 4,4,5ln 5ln 4,4c a ππππππππ>∴>∴>∴>∴>， ∵b a c <<.故选：C.【点睛】 本题考查了利用导数研究函数的单调性、对数函数的单调性，考查了推理能力与计算能力，属于中档题.类型四、中间量例4-1．若0.80.2a =，0.20.8b =，0.31.1c =，lg0.2d =，则a ，b ，c ，d 的大小关系是（ ） A ．c b a d >>>B ．c a b d >>>C ．b c a d >>>D ．a c b d >>>【答案】A【分析】由指数函数、幂函数以及对数函数的单调性比较大小即可.【详解】由指数函数的单调性知：0.20.80.20.2>，0.301.1 1.11>=由幂函数的单调性知：0.20.20.80.2>，所以0.20.20.810.80.20.20c b a >>=>>=>，又由对数函数的单调性可知：lg 0.2lg10d =<=综上有：c b a d >>>.故选：A例4-2．已知1253a -⎛⎫= ⎪⎝⎭，2log 5b =，3log 7c =，则a ，b ，c 的大小顺序是（ ） A ．a b c >>B ．c a b >>C ．c b a >>D ．b c a >> 【答案】D【分析】 由11225335-⎛⎫⎛⎫= ⎪ ⎪⎝⎭⎝⎭，22log 5log 4>，333log 3log 7log 9<<判断.【详解】 因为112253135a -⎛⎫⎛⎫==< ⎪ ⎪⎝⎭⎝⎭，22log 5log 42b =>=，3331log 3log 7log 92c =<=<=，所以b c a >>故选：D练．已知a =b =2log 3c =，则a ，b ，c 的大小关系为（ ）A ．b a c >>B ．a c b >>C ．a b c >>D ．b c a >>【答案】C【分析】根据指数运算与对数的性质，求得2a >，2b <，12c <<，再结合22log log 3b c ==，利用对数函数的单调性，即可求解.【详解】根据指数运算与对数运算的性质，可得122a =>=，2b =<，2log 3(1,2)c =∈，设22log log 3b c =，因为函数2log y x =为增函数，由于8523>，所以b c >，所以a b c >>.故选：C.练．已知0.352,ln 2,2a b c ===，则,,a b c 的大小关系为（ ）A ．a b c >>B ．c b a >>C ．b c a >>D ．c a b >> 【答案】B【分析】根据指数式与对数式互化公式，结合指数函数和对数函数的性质进行判断即可.【详解】由51log 2log log 522a a a =⇒==<，由112b >>>，0.312c =>，所以c b a >>， 故选：B类型五、放缩法例5-1．若1(,1)x e -∈，ln a x =，ln 1()2x b =，ln 2x c =，则a ，b ，c 的大小关系为（ ） A ．c b a >>B ．b a c >>C ．a b c >>D ．b c a >>【答案】D【分析】 先利用ln y x =的单调性求出a 值范围；再利用2x y =的单调性比较b 和c 的大小而得解.【详解】因1(,1)x e -∈，且函数ln y x =是增函数，于是10a -<<；函数2x y =是增函数，1ln 0ln 1x x -<<<-<，而ln ln 1()22x x -=，则ln 11()22x <<，ln 1212x <<，即1122c b <<<<， 综上得：b c a >>故选：D练．设02x π<<，记lnsin a x =，sin b x =，sin x c e =，则比较a ，b ，c 的大小关系为（ ）A ．a b c <<B ．b a c <<C ．c b a <<D ．b c a << 【答案】A【分析】 根据02x π<<，得到()sin 0,1b x =∈，再利用对数函数和指数函数的性质判断.【详解】 因为02x π<<，所以()sin 0,1b x =∈，lnsin 0a x =<，sin 1x c e =>，所以a b c <<，故选：A练．已知sin3a =，3log sin 3b =，sin33c =，则a ，b ，c 的大小关系是（） A ．a b c >> B ．b a c >>C ．c a b >>D ．c b a >>【答案】C【分析】利用指数函数、对数函数以及三角函数值即可得出选项.【详解】 因为32ππ<<，所以()sin30,1a =∈，33log sin 3log 10b =<=，sin30331c =>=，所以c a b >>.故选：C练．已知0.32=a ， 1.12.3b =，3log 6c =，则a ，b ，c 的大小关系为（）A ．c a b <<B ．c b a <<C ．a c b <<D ．b c a <<【答案】C【分析】根据指数函数，对数函数的单调性来判断数值大小.【详解】由对数及指数的单调性知：0.30.522 1.414a =<=， 1.12.3 2.3b =>，332log 6log 1.5c >=>，所以a ，b ，c 的大小关系为a c b <<.故选：C.类型六、比较法例6-1作差法．设2log 3a =，32log 2b =，32log 2c =-，则a ，b ，c 的大小顺序为（ ）A ．b c a <<B ．c b a <<C ．a b c <<D ．b a c <<【答案】A【分析】 先通过变形3339log 9log 2log 2c =-=，而332log 2log 4b ==，故可判断,b c 大小，再作差利用基本不等式有23log 3log 2220a c -=+->=即可得解.【详解】 由33333392log 2log 9log 2log log 42log 22c b =-=-=>==，23log 3log 222220a c -=+->>-=，所以a c >，所以a c b >>，故选：A.【点睛】本题考查了对数函数的比较大小，对数函数的比较大小是高考中重点考查对象，考查了利用中间量以及作差法比较大小，考查了变形转化以及对数的运算能力，比较大小有以下几种方法：（1）利用函数单调性比较大小；（2）中间量法比较大小；（3）作差法、作商法比较大小.例6-2作商法．已知0.75a =，52log 2=b ，21log 32=c ，则a 、b 、c 的大小关系是（ ） A ．a c b <<B ．a b c <<C ．b a c <<D ．c b a <<【答案】A【分析】 根据对数的运算法则及性质比较,b c 与a 的大小，利用作商法比较,b c 的大小.【详解】 由30.754a ==, 因为3444(5)1254256=<=，故3454<，所以3455log 5log 4a b =<=，因为3444(2)89=<=，故342<所以3422log 2log a c =<= 因为58165>，故85165>，因为5832<，故8532<， 所以8555558225222log 24log 2log 16log 511log 3log 3log 3log 22b c ===>=， 所以b c >，故a c b <<，故选：A【点睛】关键点点睛：根据对数的运算性质将a 写成对数345log 5，342log 2，利用函数的单调性比较真数大小即可，利用作商及放缩的方法可得,b c 的大小，属于较难题目. 练．已知1ln 23a =，24log 25b =，25log 26c =，则a ，b ，c 的大小关系为 A ．a b c >>B ．a c b >>C ．c b a >>D ．b c a >> 【答案】D【分析】 先由题，易知1ln 231a =<，而2425log 251,?log 261b c =>=>，再将b ，c 作商，利用对数的运算以及基本不等式，求得比值与1作比较即可得出答案.【详解】 因为1ln 02<，故1ln 231a =< 2425log 251,?log 261b c =>=>2225252525252524log 26log 26log 241log 26log 24()[log (251)(251)]1log 2524c b +==⋅<=+⋅-< 所以c b < ，即b c a >>故选D【点睛】本题考查了对数的运算以及基本不等式的综合，解题的关键是在于运算的技巧以及性质，属于中档偏上题型.类型七、图像法例7-1．若()122211log ,0,222a b c a b b c -⎛⎫⎛⎫==>= ⎪ ⎪⎝⎭⎝⎭，则,,a b c 的大小关系是（ ） A ．c a b <<B ．c b a <<C ．a c b <<D ．b c a <<【答案】B【分析】 分别画出函数1221(),log ,2x y y x y x ===的图象，由图象交点坐标，即可判断得出,,a b c 的大小关系.【详解】分别画出函数1221(),log ,2x y y x y x ===的图象，如图所示， 由图象，可得c b a <<.故选：B.练．若44log x x -=，144log y y =，44log 0z z -+=，则实数x ，y ，z 的大小关系为（ ） A ．x y z <<B ．z y x <<C ．z x y <<D ．y z x <<【答案】D【分析】 利用指数与对数函数的单调性，确定各方程根的范围，进而比较它们的大小.【详解】对于44log x x -=，由()4x f x -=与4()log g x x =有交点，()f x 过一、二象限，()g x 过一、四象限，∵()f x 与()g x 的交点必在第一象限且()f x 单调递减、()g x 单调递增，而1(1)(1)04f g =>=，11(2)(2)162f g =<=，可得()1,2x ∈，对于144log y y =，由()4y m y =与14()log n y y =有交点，()m y 过一、二象限，()n y 过一、四象限，∵()m y 与()n y 的交点必在第一象限且()m y 单调递增、()n y 单调递减，而(0)1m =，0lim ()y n y +→→+∞，111()2()222m n =>=，可得10,2y ⎛⎫∈ ⎪⎝⎭， 对于44log 0z z -+=，显然有12z =， ∵x ，y ，z 的大小关系为y z x <<，故选：D.例7-2．已知,,(0,)a b c ∈+∞，且ln 1a a =-，ln 1b b =，e 1c c =，则a ，b ，c 的大小关系是（ ）A ．c b a <<B ．a b c <<C ．c a b <<D ．b a c <<【答案】C【分析】由题意可得ln 1a a =-，1ln b b =，1e c c =.依次作出e x y =，ln y x =，1y x =-，1y x =在(0,)+∞上的图像，然后根据函数图像可求得答案【详解】ln 1a a =-，1ln b b =，1e c c =.依次作出e x y =，ln y x =，1y x =-，1y x =在(0,)+∞上的图像，如图所示.由图像可知01c <<，1a =，1b >，所以c a b <<.故选：C.练．正实数a ，b ，c 满足22a a -+=，33b b +=，4log 4c c +=，则实数a ，b ，c 之间的大小关系为（ ）A ．b a c <<B ．a b c <<C ．a c b <<D ．b c a <<【答案】A【分析】将22a a -+=，33b b +=，4log 4c c +=，转化为函数13x y =+，122x y =+，4log y x =与4y x =-的图象交点的横坐标，利用数形结合法求解.【详解】4log 4c c +=4log 4c c ⇒=-，即c 为函数4log y x =与4y x =-的图象交点的横坐标，33b b +=134b b ⇒+=-，即b 为函数13x y =+与4y x =-的图象交点的横坐标，22a a -+=1242a a ⇒+=-，即a 为函数122x y =+与4y x =-的图象交点的横坐标， 在同一坐标系中画出图象，如图所示：由图象可知：b a c <<.故选：A.练．已知5630x y ==，log x z y =，则x ，y ，z 的大小关系为（ ）A ．x y z <<B ．z y x <<C ．y x z <<D ．z x y <<【答案】B【分析】首先对5630x y ==取对数，可比较x ，y 的大小关系，利用对数的运算判断,x y 与1的大小关系，即可利用单调性判断z 的范围，进而可得出x ，y ，z 的大小关系.【详解】对5630x y ==两边同时取常用对数可得lg 5lg 6lg 30x y ==, 所以lg 30lg 5x =，lg 30lg 6y =， 因为lg y x =在()0,∞+单调递增，所以0lg5lg6<<，所以lg30lg30lg5lg 6>，即x y >， 又因为5lg30lg5lg 61log 61lg5lg5x +===+>， 6lg30lg5lg 61log 51lg 6lg 6y +===+>， 所以0log log 1x x z y x <=<=，所以z y x <<.故选：B.【点睛】关键点点睛：本题解题的关键点是取对数判断x ，y 的大小关系，判断x 与1的关系利用单调性得出z 的范围.类型八、方程中隐含条件例8-1．已知正数x ，y ，z 满足ln z x y ye zx ==，则x ，y ，z 的大小关系为（ ） A ．x y z >>B ．y x z >>C ．x z y >>D ．以上均不对【答案】A【分析】将z 看成常数，然后根据题意表示出,x y ，再作差比较出大小即可【详解】解：由ln z x y ye zx ==，得ln x y zx =，则ln z y =，得z y e =， 所以z ze e zx ⋅=，所以2ze x z =，令()(0)z f z e z z =->，则()10z f z e -'=>，所以函数()f z 在(0,)+∞上单调递增，所以0()(0)01f z f e >=-=，所以z e z >，即y z > 所以22()0z z z z z z e e ze e e z x y e z z z---=-==>， 所以x y >，综上x y z >>，故选：A练．设正实数a ，b ，c ，满足2ln 2a c e b b ce ===，则a ，b ，c 的大小关系为（ ） A ．a b c <<B ．a c b <<C ．c a b <<D ．b a c <<【答案】B【分析】通过构造函数()(0)x f x xe x =>，利用导数判断函数的单调性，并判断c 的范围，通过变形得c b e =，得,b c 的大小关系，再直接解方程求a 的范围，最后三个数比较大小.【详解】设()(0)x f x xe x =>，0x >时，()()10x f x x e '=+>恒成立，()f x 在(0,)+∞单调递增，1,12x ⎛⎫∈ ⎪⎝⎭时，()f x e ⎫∈⎪⎝⎭，2<，所以1,12c ⎛⎫∈ ⎪⎝⎭，ln ln ln b c b b b e ce =⋅=，故ln b c =，即)c b e e =∈，而ln 2122a =<，所以a c b <<． 故选：B【点睛】关键点点睛：本题的关键是构造函数()(0)x f x xe x =>，并且根据指对互化ln ln ln b b b b e =⋅，这样根据单调性可得ln b c =.练．设x ，y ，z 为正实数，且235log log log 1x y z ==>，则2x ，3y ，5z 的大小关系是（ ） A ．532z y x << B ．235x y z << C ．325y x z << D ．235x y z == 【答案】B【分析】,,x y z 为正实数，且235log log log 1x y z k ===>，可得：22,33,55k k k x y z =>=>=>,然后变形，构造函数，利用幂函数的单调性即可得出．【详解】,,x y z 为正实数，且235log log log 1x y z k ===>，可得22,33,55k k k x y z =>=>=>． ∵11121,31,51235k k k x y z ---=>=>=>， 令()1k f x x -=，又()f x 在()0+∞，上单调递增， ∵()()()532f f f >>，即532z y x >>， 故选：B ．【点睛】 关键点睛：本题的关键是指数式与对数式的互化、构造幂函数并运用其的单调性． 例8-2．已知a 、b 、c 均为不等于1的正实数，且ln ln a c b =，ln ln c b a =，则a 、b 、c 的大小关系是（ ）A ．c a b >>B ．b c a >>C ．a b c >>D ．a c b >>【答案】A【分析】分析可知，ln a 、ln b 、ln c 同号，分a 、b 、()0,1c ∈和a 、b 、()1,c ∈+∞两种情况讨论，结合对数函数的单调性可得出a 、b 、c 的大小关系.【详解】ln ln a c b =，ln ln c b a =，且a 、b 、c 均为不等于1的正实数， 则ln a 与ln b 同号，ln c 与ln a 同号，从而ln a 、ln b 、ln c 同号.∵若a 、b 、()0,1c ∈，则ln a 、ln b 、ln c 均为负数，ln ln ln a c b b =>，可得a b >，ln ln ln c b a a =>，可得c a >，此时c a b >>；∵若a 、b 、()1,c ∈+∞，则ln a 、ln b 、ln c 均为正数，ln ln ln a c b b =>，可得a b >，ln ln ln c b a a =>，可得c a >，此时c a b >>.综上所述，c a b >>.故选：A.【点睛】思路点睛：解答比较函数值大小问题，常见的思路有两个：（1）判断各个数值所在的区间；（2）利用函数的单调性直接解答.数值比较多的比较大小问题也也可以利用两种方法的综合应用.练．已知大于1的三个实数,,a b c 满足2(lg )2lg lg lg lg 0a a b b c -+=，则,,a b c 的大小关系不可能是（ ）A ．a b c ==B ．a b c >>C ．b c a >>D ．b a c >> 【答案】D【分析】令()22lg lg lg f x x x b b c =-+，则lg a 为()f x 的零点，根据判别式可得b c ≥，就b c =和b c >分类讨论后可得,,a b c 的大小关系.【详解】令()22lg lg lg f x x x b b c =-+，则lg a 为()f x 的零点且该函数图象的对称轴为lg x b =，故24lg 4lg lg 0b b c ∆=-≥，因为1,1b c >>，故lg 0,lg 0b c >>，所以lg lg b c ≥即b c ≥.又()()()()22lg lg lg lg lg lg lg ,lg lg lg lg lg lg lg f b b c b b c b f c c b c c c b =-=-=-=-，若b c =，则()()lg lg 0f b f c ==，故lg lg lg a b c ==即b c =.若b c >，则()()lg 0,lg 0f b f c <<，所以lg lg a c <或者lg lg b a <，即a c b <<或a b c >>.故选：D.【点睛】本题考查二次函数的零点，注意先根据方程的形式构建二次函数，再利用零点存在定理来讨论，注意合理分类，本题为中档题.例8-3．已知22,32a b a b +=+=，则lg b a 与lg a b 的大小关系是（ ）A ．lg lg b a a b <B ．lg lg b a a b =C ．lg lg b a a b >D ．不确定【答案】C【分析】 令()()2,3x x f x x g x x =+=+，结合题意可知01b a <<<，进而有b b a a b b >>，再利用对数函数的单调性和运算性质即可求解【详解】令()()2,3x x f x x g x x =+=+，则当0x >时，()()g x f x >，当0x <时，()()g x f x <；由22,32a b a b +=+=，得()()2,2f a g b ==考虑到()()2f a g b ==得01b a <<<，b b a a b b ∴>>由b a a b >，得()()lg lg b aab >， 即lg lg b a a b >故选：C练．设实数a ，b 满足51118a b a +=，7915a b b +=，则a ，b 的大小关系为（ ） A ．a b <B ．a b =C ．a b >D ．无法比较 【答案】A【分析】从选项A 或C 出发，分析其对立面，推理导出矛盾结果或成立的结果即可得解.【详解】假设a b ≥，则1111a b ≥，77a b ≥，由51118a b a +=得51151118()()11818a a a a a +≥⇒+≥， 因函数511()()()1818x x f x =+在R 上单调递减，又51116(1)1181818f =+=<，则()1(1)f a f ≥>，所以1a <；由7915a b a +=得797915()()11515b b b b b +≤⇒+≤， 因函数79()()()1515x x g x =+在R 上单调递减，又7916(1)1151515g =+=>，则()1(1)g b g ≤<，所以1b >；即有1a b <<与假设a b ≥矛盾，所以a b <，故选：A【点睛】思路点睛：应用反证法解决问题时必须先否定结论，把结论的反面作为条件，且必须根据这一条件进行推理，否则，仅否定结论，不从结论的反面出发进行推理，就不是反证法．巩固训练（精选以一敌百）1．（多选）（2022·全国·高三期中）已知a ，b 为正数，且1a b -=，则（ ） A ．221a b +<B ．331a b ->C ．222log log 2-<a bD ．211b b a+> 【答案】BD【详解】由于1a b -=，取1,2b a ==，代入四个选项对于A ：221a b +<，左边2251a b +=>故A 错误；对于C ，222log log 2a b -=，故C 错误2．（多选）（2022·江苏·南京市第一中学高三期中）已知实数,,x y z 满足ln 1y z x z e ⋅=⋅=.则下列关系式中可能成立的是（ ）A ．x y z >>B ．x z y >>C ．z x y >>D ．z y x >> 【答案】ABC 设1ln y x e k z ===，0k >，则k x e =，ln y k =，1z k=，画出函数图象，如图所示：当1k x =时，z x y >>；当2k x =时，x z y >>；当3k x =时，x y z >>； 故选：ABC。
(vip免费)【数学】2.2.2《反证法》课件(人教A版选修2-2)
一般地，从要证明的结论出发，逐步
寻求推证过程中，使每一步结论成立的充
分条件，直至最后，把要证明的结论归结
为判定一个明显成立的条件（已知条件、
定理、定义、公理等）为止，这种证明的
方法叫做分析法．
特点：执果索因.
用框图表示分析法
得到一个明显
Q P1
P1 P2
P2 P3
…
成立的结论
坚持做好每个学习步骤
武亦文的高考高分来自于她日常严谨的学习 态度，坚持认真做好每天的预习、复习。 “高中三年，从来没有熬夜，上课跟着老师 走，保证课堂效率。”武亦文介绍，“班主 任王老师对我的成长起了很大引导作用，王 老师办事很认真，凡事都会投入自己所有精 力，看重做事的过程而不重结果。每当学生 没有取得好结果，王老师也会淡然一笑，鼓 励学生注重学习的过程。”
曹杨二中高三(14)班学生
班级职务：学习委员
高考志愿：北京 大学中文系
高考成绩：语文121分数学146分
英语146分历史134分
综合28分总分
575分
(另有附加分10
分)
上海高考文科状元-结自己的成功经验，常方舟认为学习的高 效率是最重要因素，“高中三年，我每天晚 上都是10:30休息，这个生活习惯雷打不动。 早晨总是6:15起床，以保证八小时左右的睡 眠。平时功课再多再忙，我也不会‘开夜 车’。身体健康，体力充沛才能保证有效学 习。”高三阶段，有的同学每天学习到凌晨 两三点，这种习惯在常方舟看来反而会影响 次日的学习状态。每天课后，常方舟也不会 花太多时间做功课，常常是做完老师布置的 作业就算完。
孙老师说，杨蕙心学习效率很高，认真执行老师 的复习要求，往往一个小时能完成别人两三个小 时的作业量，而且计划性强，善于自我调节。此 外，学校还有一群与她实力相当的同学，他们经 常在一起切磋、交流，形成一种良性的竞争氛围。
1.2常用逻辑用语(3)(反证法)-高一数学新教材配套课件(沪教版2020)
这于＿三＿角＿形＿三＿个＿内＿角＿的＿和＿等＿于＿1＿80＿°＿矛盾
所以假设＿不＿成＿立＿＿＿， 所以，所求证的结论成立．
5.求证：在同一平面内,如果一条直线和两条平
行直线中的一条相交,那么和另一条也相交.
已知: 直线l1,l2,l3在同一平面内,且l1∥l2,l3与l1相交于点P.
求证: l3与l2相交.
执果索因
1.直接证明的方法:
(1)比较法: 作差比较法; 作商比较法; (2)综合法: (3)分析法: 2.没有特别要求的证明题: 用分析法寻找证明思路,用综合法写出证明过程!
反证法
学习目标：
1.了解反证法是间接证明的一种基本方法； 2.识别反证法所适用的数学问题； 3.理解反证法的思考过程（反设，归谬）； 4.会用反证法解决数学问题.
述的命题. （4）关于“唯一性”结论的命题. （5）解决整除性问题. （6）一些不等量命题的证明.
（7）有些基本定理或某一知识体系的初始阶段. （8）涉及各种“无限”结论的命题等.
准确地作出反设(即否定结论)是非常重要的， 下面是一些常见的结论的否定形式.
原词语 否不定等词于 原词语
等于
不是
任意的
故假设不成立，结论成立。
24
用反证法证题时,应注意的事项 :
（1）周密考察原命题结论的否定事项， 防止否定不当或有所遗漏；
（2）推理过程必须完整，否则不能说 明命题的真伪性；
（3）在推理过程中，要充分使用已知条 件，否则推不出矛盾，或者不能断 定推出的结果是错误的。
6
全课总结
1、知识小结： 反证法证明的思路：假设命题的结论
4.用反证法证明（填空）：
在三角形的内角中，至少有一个角不小于60°
(学生版)专题04 动词的时态和语态——备战2023年高考英语考试易错题
◆The shopclosesat 11：00 p．m. every day.
这家商店每天晚上11点关门。
(4)在时间、条件状语从句中常用一般现在时代替一般将来时。
◆I'll write to her when Ihavetime.
我有时间就给她写信。
【解析】题干中没有时间状语，由并列连词and后面的参照动词“are”和“is”无法判断出所填动词的时态。根据句意可知，价格以前很高，现在仍然很高，可知陈述的是过去的事实，故应用一般过去时。
【答案】were
(1)可根据并列连词and、but、or、rather than、neither...nor...、not only...but also...等前后的谓语动词形式确定所填谓语动词的时态；
(4)题干中如有now，at present，currently等，用现在进行时。
(5)题干中如有at that time，at six o’clock yesterday等，用过去进行时。
(6)题干中如有at this time tomorrow，from 1 o’clock to 3 o’clock tomorrow等，用将来进行时。
Xiao Ming’s cellphone___8_______________well soon.Maybe by next Sunday the cellphone___9_______________home and___10________________again.
基础夯实
考点一 一般现在时与一般过去时
③“would/had rather sb.did sth.”意为“宁愿某人做某事”
常用逻辑用语专题(学生版)
常用逻辑用语制作时间：2021.1.4 使用年级：高二制作人：陈静一、命题1、四种命题及其关系(1)、四种命题 (2)、四种命题间的逆否关系(3)、四种命题的真假关系①两个命题互为逆否命题，它们有相同的真假性；②两个命题为互逆命题或互否命题，它们的真假性没有关系．二、充分条件与必要条件1、定义1．如果p⇒q，则p是q的充分条件，q是p的必要条件．2．如果p⇒q，q⇒p，则p是q的充要条件．2、四种条件的判断1.如果“若p则q”为真，记为p q⇒，如果“若p则q”为假，记为p q⇒/.2.若p q⇒，则p是q的充分条件，q是p的必要条件3.判断充要条件方法：（1）定义法：①p是q的充分不必要条件⇔p qp q⇒⎧⎨⇐/⎩②p是q的必要不充分条件⇔p qp q⇒⎧/⎨⇐⎩③p是q的充要条件⇔p qq p⇒⎧⎨⇒⎩④p是q的既不充分也不必要条件⇔p qp q⇒⎧/⎨⇐/⎩（2）集合法：设P={p}，Q={q}，①若P Q，则p是q的充分不必要条件，q是p的必要不充分条件.②若P=Q，则p是q的充要条件（q也是p的充要条件）.③若P Q且Q P，则p是q的既不充分也不必要条件.（3）逆否命题法：①⌝q是⌝p的充分不必要条件⇔p是q的充分不必要条件②⌝q是⌝p的必要不充分条件⇔p是q的充分不必要条件③⌝q是⌝p的充分要条件⇔p是q的充要条件④⌝q 是⌝p 的既不充分又不必要条件⇔p 是q 的既不充分又不必要条件三、简单的逻辑联结词(1) 命题中的“且”“或”“非”叫做逻辑联结词．①用联结词“且”联结命题p 和命题q ，记作p ∧q ，读作“p 且q ”．②用联结词“或”联结命题p 和命题q ，记作p ∨q ，读作“p 或q ”．③对一个命题p 全盘否定，就得到一个新命题，记作¬p，读作“非p ”或“p 的否定”．(2)简单复合命题的真值表：四、量词1、全称量词与存在量词(1)常见的全称量词有：“任意一个”“一切”“每一个”“任给”“所有的”等．(2)常见的存在量词有：“存在一个”“至少有一个”“有些”“有一个”“某个”“有的”等．(3)全称量词用符号“∀”表示；存在量词用符号“∃”表示．2 全称命题与特称命题(1)含有全称量词的命题叫全称命题: “对M 中任意一个x ，有p (x )成立”可用符号简记为∀x ∈M ，p (x )，读作“对任意x 属于M ，有p (x )成立”．(2)含有存在量词的命题叫特称命题: “存在M 中的一个x 0，使p (x 0)成立”可用符号简记为∃x 0∈M ，P (x 0)，读作“存在M 中的元素x 0，使p (x 0)成立”．3命题的否定(1) 含有量词命题的否定全称命题p ：,()x M p x ∀∈的否定⌝p ：(),x M p x ∃∈⌝；全称命题的否定为存在命题存在命题p ：(),x M p x ∃∈的否定⌝p ：(),x M p x ∀∈⌝；存在命题的否定为全称命题其中()p x p （x ）是一个关于x 的命题.(2) 含有逻辑连接词命题的否定“p 或q ”的否定：“ ⌝p 且⌝q ” ； “p 且q ”的否定：“ ⌝p 或⌝q ”(3) “若p 则q “命题的否定：只否定结论特别提醒：命题的“否定”与“否命题”是不同的概念，命题的否定：只否定结论；否命题：全否对命题p 的否定（即非p ）是否定命题p 所作的判断，而“否命题”是 “若⌝p 则⌝q ”一、命题及其关系1、命题“若x y =，则||||x y =”，写出它的逆命题、否命题、逆否命题，并判断它们的真假2、原命题：“设a b c ∈R ，，，若a b >，则22ac bc >”以及它的逆命题、否命题、逆否命题中，真命题共有（ ）个．A ．0B ．1C ．2D ．43、命题：“若21x <，则11x -<<”的逆否命题是（ ）A ．若21x ≥，则1x ≥或1x -≤B ．若11x -<<，则21x <C ．若1x >或1x <-，则21x >D ．若1x ≥或1x -≤，则21x ≥4、有下列四个命题：①命题“若1xy =，则x ，y 互为倒数”的逆命题；②命题“面积相等的三角形全等”的否命题；③命题“若1≤m ，则220x x m -+=有实根”的逆否命题；④命题“若A B B =，则A B ⊆”的逆否命题． 其中是真命题的是 （填上你认为正确的命题的序号）．二、充分条件和必要条件1、0a <是方程2210ax x ++=至少有一个负数根的（ ）A ．必要不充分条件B ．充分不必要条件C ．充分必要条件D ．既不充分也不必要条件2、“M N <”是“33log log M N <”的（ ）A ．充分不必要条件；B ．必要不充分条件C ．充要条件；D ．既不充分也不必要条件3、“0a b >>”是“ A ．充分不必要条件B ．必要不充分条件C ．充要条件D ．既不充分也不必要条件 4、以下说法正确的有（ ）A ．实数0x y >>是B ．222a b ab +≥对,R a b ∈恒成立C ．命题“R x ∃∈，使得210x x ++≥”的否定是“R x ∀∈，使得210x x ++≥”D ，则+2x y 的最小值是8 5、“12a <<”是“对任意的正数x ， ） A ．充分不必要条件 B ．必要不充分条件C ．充要条件D ．既不充分也不必要条件6、已知2:20p x x --≤，22:60q x mx m --≤(0)m >.（1）若q 是p 成立的必要不充分条件，求m 的取值范围；（2）若p ⌝是q ⌝成立的充分不必要条件，求m 的取值范围.7、设p ：实数x 满足22430x ax a -+<，其中0a >；q ：实数x 满足260x x --≤.（1）若1a =，且p q 、都为真命题，求实数x 的取值范围；（2）若p 是q 的充分不必要条件，求实数a 的取值范围.8、已知集合A 是函数()2lg 208y x x =--的定义域，集合B 是不等式22210x x a -+-≥（0a >）的解集，p ：x A ∈，q ：x B ∈．（1）若A B =∅，求实数a 的取值范围；（2）若p ⌝是q 的充分不必要条件，求实数a 的取值范围．9、已知:p 对于x R ∀∈，函数()()2ln 46f x kx x k =-+有意义，:q 关于k 的不等式()2220k m k m -++≤成立. （1）若p ⌝为假命题，求k 的取值范围；（2）若p 是q 的必要不充分条件，求m 的取值范围.三、全称量词和存在量词1、命题“20,11x x ∀≥-≥-”的否定是（ ）A ．20,11x x ∀≥-<-B ．20,11x x ∀<-<- C ．20,1x x ∃≥-<-1 D ．20,11x x ∃<-<- 2、命题“0x R ∃∈，0sin 10x ->”的否定为______．3、命题“0x ∀>，3x e x >”的否定是（ ）A ．0x ∀>，3x e x ≤B ．0x ∀≤，3x e x >C ．0x ∃>，3x e x ≤D ．0x ∃≤，3x e x >4、命题“任意x ∈[1，3]，使e x －1－m≤0”是真命题，则m 的取值范围是__________.5、已知“命题:,p x R ∃∈使得2210ax x ++<成立”为真命题，则实数a 满足（ ）A ．[0，1)B ．(-∞，1)C ．[1，+∞)D ．(-∞，1]6、若命题“*n N ∃∈，260n nt -+≤”是真命题，则实数t 的取值范围是______.7、设:p 实数满足22230t at a --<；:q 实数t 使得命题：“x R ∃∈，使2(1)10x t x +-+<”是假命题.若p 是q 的充分不必要条件，求实数a 的取值范围.8、已知，命题2:,20p x R x ax ++∈≥∀，命题，210x ax -+=． （1）若命题p 为真命题，求实数a 的取值范围；（2）若命题q 为真命题，求实数a 的取值范围．。
高中数学课件 第二章 推理与证明 2.2反证法
路边苦李
王戎推断李子是苦涩的道理和你的方法一样吗？是什么方法？
反证法
反证法是我们常见的一种证明方法，它隶属于间接证明，今天 我们就来一起探讨反证法在证明问题中的应用.
（1）如果有5只鸽子飞进两只鸽笼，至少有3只鸽子在 同一只鸽笼，对吗？ （2）A、B、C三个人，A说B撒谎，B说C撒谎，C说A、 B都撒谎。则C在撒谎吗？为什么？
分析:假设C没有撒谎, 则A、B都撒谎.
由A撒谎, 知B没有撒谎. 这与B撒谎矛盾.
那么假设C没有撒谎不成立,
则C必定是在撒谎.
把这种不是直接从原命题的条件逐步推得命题 成立的证明方法称为间接证明
注：反证法是最常见的间接证法，
反证法：假设命题结论的反面成立, 经过正确的推理,引出矛盾，因此说 明假设错误,从而证明原命题成立,这 样的的证明方法叫反证法.（归谬法）
❖ “小试身手”三： ❖ 会议期间，姬鹏
飞外长会见了加拿大 外长夏普，拜会了法 国外长舒曼，与美国 国务卿罗杰斯见了面。 ❖ 这三个词用得好不好， 有什么区别吗？
❖ 朱自清的《背影》：
《背影》在三个地方分别用了“嘱 咐”“嘱”“嘱托”三个同义词，第一 次父亲因为事忙，本已说定不送我，叫 旅馆的一个熟识的茶房陪我同去。他再 三嘱咐茶房，甚是仔细。第二次，（当 父亲给“我”“拣定了靠车门的一张椅 子”）嘱我路上小心，夜里警醒些，不 要受凉。第三次，（在父亲嘱“我”路 上要小心之后）他又嘱托茶房好好照应 我。
❖ （①表示并列关系。一般不译，有时可译为“又”。②表 示递进关系。可译为“并且”或“而且”。④表示承接关 系。可译为“就”、“接着”，或不译。⑤表示转折关系。 可译为“但是”、“却”。⑥表示假设关系。可译为“如 果”、“假如”。⑦表示修饰关系，即连接状语。可不译。 ⑧用作代词。只用作第二人称，一般作定语，译为“你 的”；偶尔也作主语，译为“你”。）
华师版九年级数学广角 数学素材 反证法 (2)
[科目]数学
[关键词]反证法/古希腊
[标题]反证法
[内容]
反证法
反证法﹝ProofbyContradiction﹞是一种间接证法。
基本做法：1）假定结论不成立，即假设结论的反面成立；2）通过正确的推理得出矛盾；3）从而断定结论的反面错误，肯定结论正确。
如果结论的反面只有一种情况，只要断定这种情况不成立就可以了，这种反证法叫归谬法。
如果结论的反面不止一种情况，就需把各种情况一一驳倒，从而肯定结论的正面正确，这种反证法叫穷举法。
最早在数学中引用反证法的是古希腊毕达哥拉斯学派的希波克拉提斯﹝前460年左右﹞在欧几里得的《几何原本》中有不少用反证法的范例。
我国在五世纪时《张邱建算经》中已运用反证法。
反证法课件
3.反证法中常用的“结论词”与“反设词”如下：
结论词 至少有一个 至__多__有__一__个__ 至少有n个 至多有_n_个
一__个__也__没__有___
至多有
反设词
至少有两个
(不存在)
_(_n_－__1_) _个
至少有 (n＋1)个
结论词 只有一个 对所有x成立
对_任__意___x不成立
没有或至少 存在_某__个___x
题型三 用反证法证明结论中含有“至多”“至少”“都”等词语的问题 例3 用反证法证明：如果函数f(x)在区间[a，b]上是增函数，那么方程 f(x)＝0在区间[a，b]上至多有一个实数根.(不考虑重根) 证明 假设方程f(x)＝0在区间[a，b]上至少有两个实数根， 设α，β为它的两个实数根， 则f(α)＝f(β)＝0. 因为α≠β，不妨设α＜β，又因为函数f(x)在[a，b]上是增函数， 所以f(α)＜f(β)，这与f(α)＝f(β)＝0矛盾， 所以方程f(x)＝0在区间[a，b]上至多有一个实数根.
反设词
有两个
不成立
存在某个x成立
结论词 ቤተ መጻሕፍቲ ባይዱ是
_一__定__是___
p或q
p_且_ q
反设词 _不__都__是__ 不一定是 綈p且__綈q 綈p或綈q
思考 (1)有人说反证法就是通过证明逆否命题来证明原命题，这种 说法对吗？为什么？ 答案 这种说法是错误的，反证法是先否定命题，然后再证明命题的 否定是错误的，从而肯定原命题正确，不是通过逆否命题证题. 命题的否定与原命题是对立的，原命题正确，其命题的否定一定不对. (2)反证法主要适用于什么情形？ 答案 要证的结论与条件之间的联系不明显，直接由条件推出结论的 线索不够清晰；如果从正面证明，需要分成多种情形进行分类讨论， 而从反面进行证明，只要研究一种或很少的几种情形.
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
专题04 常用逻辑用语（2）（反证法）
知识梳理
反证法的步骤是：
（1）假设结论不成立；
（2）从假设出发推出矛盾；
（3）假设不成立，则结论成立．
在假设结论不成立时要注意考虑结论的反面所有可能的情况，如果只有一种，那么否定一种就可以了，如果有多种情况，则必须一一否定．
思考：将9个求分别染成红色或白色，那么无论怎样染，至少有5个球是同色的，怎么证明这个结论呢？
反证法的定义：
1.（1）想一想，我们接触过哪些数学问题是用反证法证明的？在实际生活中有没有这样的例子？请举出一例。
（2）设,,a b c 均为正实数，反证法证明：1
11,,a b c b c a
+++至少有一个不小于2.
2.试说出下列命题的反面：
（1）a 是实数。
（2)a 大于2。
（3）a 小于2。
（4）至少有2个
（5）最多有一个 （6）两条直线平行。
3.用反证法证明“如果一个三角形没有两个相等的角，那么这个三角形不是等腰三角形”的第一步反设：
4.已知：一个整数的平方能被2整除 求证：这个数是偶数。
思考：反证法的步骤是什么？
（四）当堂检测
1．求证：一个三角形中，最大的角不小于600..
2．已知,,(0,)a b c ∈+∞.求证：4a b +，9b c +，16c a
+中至少有一个不小于6.
巩固练习
1．命题：三角形的内角至多有一个是钝角，若用反证法证明，则下列假设正确的是（ ）
A ．假设至少有一个钝角
B ．假设至少有两个钝角
C ．假设三角形的三个内角中没有一个钝角
D ．假设没有一个钝角或至少有两个钝角
2．用反证法证明命题：“三角形的内角中至少有一个不大于60度”时，反设正确的是（）。
A ．假设三内角都不大于60度；
B ．假设三内角至多有两个大于60度；
C ．假设三内角至多有一个大于60度；
D ．假设三内角都大于60度。
3．用反证法证明命题：“,N a b ∈，若ab 可被5整除，那么,a b 中至少有一个能被5整除．”时，假设的内容应该是（ ）
A ．,a b 都不能被5整除
B ．,a b 都能被5整除
C ．,a b 不都能被5整除
D ．a 能被5整除 4．设,,0x y z >，1114,4,4a x b y c z y z x
=+=+=+，则,,a b c 三个数（ ） A ．都小于4 B ．至少有一个不大于4
C ．都大于4
D ．至少有一个不小于4 5．用反证法证明命题“若1x <-，则2230x x -->”时，正确的反设为（ ）
A ．x ≤﹣1
B ．x ≥﹣1
C ．x 2﹣2x ﹣3≤0
D ．x 2﹣2x ﹣3≥0
6．设,a b 是两个实数，给出下列条件：
①1a b +>；②2a b +=；③2a b +>；④222a b +>；⑤1ab >.
其中能推出：“,a b 中至少有一个大于1”的条件是____________．
7．已知,,1a b R a b ∈+<，求证20x ax b ++=的两根的绝对值都小于1，用反证法证明可假设__________
8．（1）已知0a >，0b >，且a b ，比较是22
a b b a
+与+a b 的大小； （2）用反证法证明：若a 、b 、R c ∈，且221x a b =-+，221y b c =-+，221z c a =-+，
则x、y、z中至少有一个不小于0；
（32
<
课后练习
1．命题：三角形的内角至多有一个是钝角，若用反证法证明，则下列假设正确的是
A．假设至少有一个钝角B．假设至少有两个钝角
C．假设三角形的三个内角中没有一个钝角D．假设没有一个钝角或至少有两个钝角
2．甲、乙、丙三名同学中只有一人考了满分，当他们被问到谁考了满分时，回答如下：甲说：丙没有考满分；乙说：是我考的；丙说：甲说的是真话.
事实证明：在这三名同学中，只有一人说的是假话，那么得满分的同学是
A．甲 B．乙 C．丙 D．甲或乙
a b∈，若ab可被5整除，那么,a b中至少有一个能被5整除．”3．用反证法证明命题：“,N
时，假设的内容应该是（）
A．,a b都不能被5整除B．,a b都能被5整除
C．,a b不都能被5整除D．a能被5整除
4．用反证法证明某命题时，对结论：“自然数a 、b 、c 中至多有一个是偶数”的正确假设为（ ）
A ．自然数a 、b 、c 中至少有一个是偶数
B ．自然数a 、b 、c 中至少有两个是偶数
C ．自然数a 、b 、c 都是奇数
D ．自然数a 、b 、c 都是偶数
5．十七世纪法国数学家费马提出猜想：“当整数2n >时，关于,,x y z 的方程n n n x y z +=没有正整数解”.经历三百多年，于二十世纪九十年中期由英国数学家安德鲁怀尔斯证明了费马猜想，使它终成费马大定理，则下面说法正确的是（ ）
A ．存在至少一组正整数组(,,)x y z 使方程333x y z +=有解
B ．关于,x y 的方程331x y +=有正有理数解
C ．关于,x y 的方程331x y +=没有正有理数解
D ．当整数3n >时，关于,,x y z 的方程n n n x y z +=没有正实数解
6．甲、乙、丙三位同学获得某项竞赛活动的前三名，但具体名次未知．3人作出如下预测： 甲说：我不是第三名；
乙说：我是第三名；
丙说：我不是第一名．
若甲、乙、丙3人的预测结果有且只有一个正确，由此判断获得第一名的是__________．
7．（1（2）已知0a >，0b >，且2a b +>，求证：1b a +和1a b
+中至少有一个小于2.。