高考数学解题方法攻略特殊证法理
- 格式：doc
- 大小：1.00 MB
- 文档页数：15
数学方法之特殊证法【考情分析】近几年的高考虽然削弱了在不等式证明方面的要求，但像立体几何中位置关系的认定，数列关系式的认可以及解析几何性质的证明都是频频出现的考试形式。
在高考中所占的分值大约在30分左右。
这类考题的特点是：（1）立体几何证明多以线、面间垂直或平行关系的证明为主，解决此类问题的思路是应用好在该部分学习的判定定理和性质定理即可；（2）数列题可能是与等差等比数列定义或性质有关的结论的证明问题（譬如证明数列是否为等差或等比数列，这类题目要应用好定义和性质公式，技巧性很强）、也可能是复合不等式知识的或单纯等式形式的与自然数有关的结论的证明问题（解题思路是可能应用数学归纳法或放缩法）；（3）解析几何中的解答题经常与平面几何图形相结合，经常判断一些位置关系，此类题目的证明多要结合几何特征，应用好代数关系式说明；预测2012年高考的趋势为：题型、题量以及出题点还和往年一样，基本保持不变；【知识交汇】1．定义法所谓定义法，就是直接用数学定义解决问题。
数学中的定理、公式、性质和法则等，都是由定义和公理推演出来。
定义是揭示概念内涵的逻辑方法，它通过指出概念所反映的事物的本质属性来明确概念。
定义是千百次实践后的必然结果，它科学地反映和揭示了客观世界的事物的本质特点。
简单地说，定义是基本概念对数学实体的高度抽象。
用定义法解题，是最直接的方法。
2．反证法反证法是属于“间接证明法”一类，是从反面的角度思考问题的证明方法，即：肯定题设而否定结论，从而导出矛盾推理而得。
反证法的实质：“若肯定定理的假设而否定其结论，就会导致矛盾”。
具体地讲，反证法就是从否定命题的结论入手，并把对命题结论的否定作为推理的已知条件，进行正确的逻辑推理，使之得到与已知条件、已知公理、定理、法则或者已经证明为正确的命题等相矛，矛盾的原因是假设不成立，所以肯定了命题的结论，从而使命题获得了证明。
反证法的证题模式可以简要的概括我为“否定→推理→否定”。
即从否定结论开始，经过正确无误的推理导致逻辑矛盾，达到新的否定，可以认为反证法的基本思想就是“否定之否定”。
应用反证法证明的主要三步是：否定结论→推导出矛盾→结论成立。
实施的具体步骤是：第一步，反设：作出与求证结论相反的假设；第二步，归谬：将反设作为条件，并由此通过一系列的正确推理导出矛盾；第三步，结论：说明反设不成立，从而肯定原命题成立。
在应用反证法证题时，一定要用到“反设”进行推理，否则就不是反证法。
用反证法证题时，如果欲证明的命题的方面情况只有一种，那么只要将这种情况驳倒了就可以，这种反证法又叫“归谬法”；如果结论的方面情况有多种，那么必须将所有的反面情况一一驳倒，才能推断原结论成立，这种证法又叫“穷举法”。
一般来讲，反证法常用来证明的题型有：命题的结论以“否定形式”、“至少”或“至多”、“唯一”、“无限”形式出现的命题；或者否定结论更明显。
具体、简单的命题；或者直接证明难以下手的命题，改变其思维方向，从结论入手进行反面思考，问题可能解决得十分干脆。
3．数学归纳法数学归纳法是用来证明某些与自然数有关的数学命题的一种推理方法，在解数学题中有着广泛的应用。
它是一个递推的数学论证方法，论证的第一步是证明命题在n ＝1(或n 0)时成立，这是递推的基础；第二步是假设在n ＝k 时命题成立，再证明n ＝k ＋1时命题也成立，这是无限递推下去的理论依据，它判断命题的正确性能否由特殊推广到一般，实际上它使命题的正确性突破了有限，达到无限。
这两个步骤密切相关，缺一不可，完成了这两步，就可以断定“对任何自然数（或n ≥n 0且n ∈N ）结论都正确”。
由这两步可以看出，数学归纳法是由递推实现归纳的，属于完全归纳。
运用数学归纳法证明问题时，关键是n ＝k ＋1时命题成立的推证，此步证明要具有目标意识，注意与最终要达到的解题目标进行分析比较，以此确定和调控解题的方向，使差异逐步减小，最终实现目标完成解题。
运用数学归纳法，可以证明下列问题：与自然数n 有关的恒等式、代数不等式、三角不等式、数列问题、几何问题、整除性问题等等。
4．不等式的证明方法（1）比较法是证明不等式最基本、最常用、最重要的方法之一。
它包括“作差法”与“作商法”，比差法的理论依据是：0>-⇔>b a b a 0=-⇔=b a b a 0<-⇔<b a b a比商法的理论依据是a ，b ∈R ＋，那么：1>⇔>b ab a 1<⇔<b ab a1=⇔=b ab a判断a ，b 的大小，当a ，b ∈R 时，可以通过判断a －b 与0的大小来完成。
当a ，b ∈R ＋时，可以通过判断ba与1的大小来完成。
比较法这种方法其本质就在于单独讨论“a ，b ”不等式难以证明时，就“a －b ，ba”整体讨论，使问题迁移“环境”，给问题带来新的结构。
对a －b ，ba变形后与0，1的比较提供可能，这种变形后的式子结构“a －b ，ba”能够和“0，1”比较大小是比较法的精髓。
作差法中，对差“a －b ”的变形方法通常有通分、配方（非负数）、因式分解、二次函数的判别式等。
作商法的一般步骤是，求商 变形 判断与1的大小。
方法的选择：若不等式两边含有相同的项，或者作差以后能进行因式分解；能用配方法，能写成分式判断其符号，可使用作差法。
若不等式两边是指数形式，能使分子、分母变形得到相同结果的不等式，用作商法比较容易，也就是说，凡适合于求“商”运算，并能比较出商与1的大小的不等式，一般都适合于用作商法证明。
（2）综合法综合法就是由已知出发，根据不等式性质，基本不等式等，逐步推导得到所要证明的不等式的一种方法，也就是用因果关系书写“从已知出发”借助不等式性质和有关定理，经过逐步的逻辑推理，最后达到待证不等式得证的全过程，其特点可描述为“执因索果”，即从“已知”看“可知”逐步推向“未知”，综合法证明题逻辑性很强，它要求每步推理都要有依据。
（3）分析法证明不等式，可以从待证的不等式出发，分析使这个不等式成立的充分条件，把证明不等式转化成为判定这些充分条件是否具备的问题，如果能断定这些充分条件都已具备，那么就可以断定原不等式成立，这种证明方法叫做分析法。
分析法是从结论入手，逆求使它成立的充分条件，直到和已知条件沟通为止，概括地说就是“从未知，看需知，逐步靠拢已知”。
分析法证明“若A 则B ”的基本模式是欲证B 为真 只需证B 1为真 只需证B 2为真 …………只需证A 为真， 今已知A 为真，故B 必真其逻辑关系是12B B B A ⇐⇐⇐L（4）放缩法在证明不等式A ＞B 时，可以构造出数学式C ，使A ＞C ，且C ＞B ，则A ＞B 得证。
其中数学式C 常常通过将A 缩小或将B 放大而构成，它的依据是不等式的传递性，这种证明方法叫做放缩法，用放缩法证明不等式，在高中数学中占有一定的比重。
【思想方法】 题型1：定义法例1．（11天津理，20））已知数列{}n a 与{}n b 满足：1123(1)0,2nn n n n n n b a a b a b ++++-++==， *n ∈N ，且122,4a a ==． （Ⅰ）求345,,a a a 的值；（Ⅱ）设*2121,n n n c a a n N -+=+∈，证明：{}n c 是等比数列；（III ）设*242,,k k S a a a k N =++⋅⋅⋅+∈证明：4*17()6nk k k S n N a =<∈∑．本小题主要考查等比数列的定义、数列求和等基础知识，考查运算能力、推理论证能力、综合分析和解决问题的能力及分类讨论的思想方法.满分14分.（I ）解：由*3(1),,2nn b n N +-=∈可得1,n n b ⎧=⎨⎩为奇数2,n 为偶数 又1120,n n n n n b a a b a +++++=123123234434543;5;4.=-=-=当n=1时,a +a +2a =0,由a =2,a =4,可得a 当n=2时,2a +a +a =0,可得a 当n=3时,a +a +2a =0,可得a（II ）证明：对任意*,n N ∈2122120,n n n a a a -+++= ① 2212220,n n n a a a ++++= ② 21222320,n n n a a a +++++= ③②—③，得223.n n a a += ④将④代入①，可得21232121()n n n n a a a a ++-++=-+即*1()n n c c n N +=-∈ 又1131,0,n c a a =+=-≠故c因此11,{}n n n c c c +=-所以是等比数列.（III ）证明：由（II ）可得2121(1)kk k a a -++=-， 于是，对任意*2k N k ∈≥且，有133********,()1,1,(1)() 1.k k k a a a a a a a a --+=--+=-+=--+=-M将以上各式相加，得121(1)(1),kk a a k -+-=-- 即121(1)(1)k k a k +-=-+，此式当k=1时也成立.由④式得12(1)(3).k k a k +=-+ 从而22468424()()(),k k k S a a a a a a k -=++++++=-L2124 3.k k k S S a k -=-=+所以，对任意*,2n N n ∈≥， 44342414114342414()nnk m m m mk m k m m m m S S S S S a a a a a ---==---=+++∑∑ 12221232()2222123nm m m m mm m m m =+-+=--++++∑ 123()2(21)(22)(22)nm m m m m ==++++∑2253232(21)(22)(23)nm m m n n ==++⨯+++∑21533(21)(21)(22)(23)n m m m n n =<++-+++∑151111113[()()()]3235572121(22)(23)n n n n =+⋅-+-++-+-+++L1551336221(22)(23)7.6n n n =+-⋅++++<对于n=1，不等式显然成立. 所以，对任意*,n N ∈2121212212n n n n S S S S a a a a --++++L 32121241234212()()()n n n n S S S S S S a a a a a a --=++++++L22211121(1)(1)(1)41244(41)4(41)n nn =--+--++-----L22211121()()()41244(41)44(41)n n n n n =-+-+--+--L 111().4123n n ≤-+=-题型2：反证法例3．（2010江西理数理，22）证明以下命题：（1）对任一正整a,都存在整数b,c(b<c)，使得222a b c ，，成等差数列。
