3证明一.直接证明(1)定义:直接从原命题的条件逐步推得命题成立的证明方法.(2)一般形式⇒A⇒B⇒C…⇒⇒本题结论.(3)综合法①定义:从已知条件出发,以已知的定义、公理、定理为依据,逐步下推,直到推出要证明的结论为止.这种证明方法常称为综合法.②推证过程……⇒⇒⇒(4)分析法①定义:从问题的结论出发,追溯导致结论成立的条件,逐步上溯,直到使结论成立的条件和已知条件或已知事实吻合为止.这种证明方法常称为分析法.②推证过程……⇐⇐⇐二.间接证明(1)常用的间接证明方法有反证法、同一法等.(2)反证法的基本步骤①反设——假设命题的结论不成立,即假定原结论的反面为真.②归谬——从反设和已知条件出发,经过一系列正确的逻辑推理,得出矛盾结果.③存真——由矛盾结果,断定反设不真,从而肯定原结论成立.【套路秘籍】---千里之行始于足下【修炼套路】---为君聊赋《今日诗》,努力请从今日始考向一综合法【例1】已知,且,求证:
【答案】证明见解析【解析】由,得,即,所以,所以,故原等式成立.【举一反三】1.已知函数f(x)=(xa−a)lnx(a>0)
(1)若函数f(x)在¿上是增函数,求正数a的取值范围;(2)当a≠1时,设函数f(x)的图象与x轴的交点为A,B,曲线y=f(x)在A,B两点处的切线斜率分别为k1,k2,求证:k1+k20),∴f'(x)=xlnx+x−a2ax,设g(x)=xlnx+x−a2, 函数f(x)在¿上是增函数,∴g(x)=xlnx+x−a2≥0在¿上恒成立,即a2≤xlnx+x在¿上恒成立,设h(x)=xlnx+x,则h'(x)=lnx+2, x≥1,∴h'(x)≥2,∴h(x)=xlnx+x在¿上是增函数,∴h(x)≥1,由a2≤xlnx+x在¿上恒成立,得a2≤1, a>0,∴00且a2≠1,∴F(a2)=lna2−a