常见数学证明题方法有哪些

常见数学证明题方法有哪些？数学证明题首先要弄清题意，对于文字型”数学证明题，既没有图形，也无直观的已知与求证。如何弄清题意呢?根据命题的定义可知，命题由条件与结论两部分组成，因此区分命题的条件与结论至关重要，是解题成败的关键。今天小编就具体来说说常见数学证明题方法有哪些。

证明方法一

分析综合法。

分析综合法也就是要逆向推理，从题目要你证明的结论出发往回推理。看看结论是要证明角相等，还是边相等，等等，如证明角相等的方法有(1.对顶角相等2.平行线里同位角相等、内错角相等3.余角、补角定理4.角平分线定义5.等腰三角形6.全等三角形的对应角等等方法。)结合题意选出其中的一种方法，然后再考虑用这种方法证明还缺少哪些条件，把题目转换成证明其他的结论，通常缺少的条件会在第三步引申出的条件和题目中出现，这时再把这些条件综合在一起，很条理的写出证明过程。

这里的记有两层意思。第一层意思是要标记，在读题的时候每个条件，你要在所给的图形中标记出来。如给出对边相等，就用边相等的符号来表示。第二层意思是要牢记，题目给出的条件不仅要标记，还要记在脑海中，做到不看题，就可以把题目复述出来。

难度大一点的题目往往把一些条件隐藏起来，所以我们要会引申，那么这里的引申就需要平时的积累，平时在课堂上学的基本知识点掌握牢固，平时训练的一些特殊图形要熟记，在审题与记的时候要想到由这些条件你还可以得到哪些结论，然后在图形旁边标注，虽然有些条件在证明时可能用不上，但是这样长期的积累，便于以后难题的学习。

证明方法二

逆推法

从结论出发寻求证明方法。如2004年第15题是不等式证明题，该题只要应用不等式证明的一般步骤就能解决问题：即从结论出发构造函数，利用函数的单调性推出结论。在判定函数的单调性时需借助导数符号与单调性之间的关系，正常情况只需一阶导的符号就可判断函数的单调性，非正常情况却出现的更多(这里所 举出的例子就属非正常情况)，这时需先用二阶导数的符号判定一阶导数的单调性，再用一阶导的符号判定原来函数的单调性，从而得所要证的结果。该题中可设 F(x)=ln*x-ln*a-4(x-a)/e*，其中eF(a)就是所要证的不等式。

借助几何意义寻求证明思路

一个证明题，大多时候是能用其几何意义来正确解释的，当然最为基础的是要正确理解题目文字的含义。如2007年数学一第19题是一个关于中值定理的证明题，可以在直角坐标系中画出满足题设条件的函数草图，再联系结论能够发现：两个函数除两个端点外还有一个函数值相等的点，那就是两个函数分别取最大值的点(正确审题：两个函数取得最大值的点不一定是同一个点)之间的一个点。这样很容易想到辅助函数F(x)=f(x)-g(x)有三个零点，两次应用罗尔中值定理就能得到所证结论。再如2005年数学一第18题(1)是关于零点存在定理的证明题，只要在直角坐标系中结合所给条件作出函数y=f(x)及 y=1-x在[0，1]上的图形就立刻能看到两个函数图形有交点，这就是所证结论，重要的是写出推理过程。从图形也应该看到两函数在两个端点处大小关系恰好相反，也就是差函数在两个端点的值是异号的，零点存在定理保证了区间内有零点，这就证得所需结果。

证明方法三

解数学题时，把某个式子看成一个整体，用一个变量去代替它，从而使问题得到简化，这叫换元法。换元的实质是转化，关键是构造元和设元，理论依据是等量代换，目的是变换研究对象，将问题移至新对象的知识背景中去研究，从而使非标准型问题标准化、复杂问题简单化，变得容易处理。换元法又称辅助元素法、变量代换法。通过引进新的变量，可以把分散的条件联系起来，隐含的条件显露出来，或者把条件与结论联系起来。或者变为熟悉的形式，把复杂的计算和推证简化。它可以化高次为低次、化分式为整式、化无理式为有理式、化超越式为代数式，在研究方程、不等式、函数、数列、三角等问题中有广泛的应用。

换元的方法有：局部换元、三角换元、均值换元等。局部换元又称整体换元，是在已知或者未知中，某个代数式几次出现，而用一个字母来代替它从而简化问题，当然有时候要通过变形才能发现。例如解不等式：4 +2 -2≥0，先变形为设2 =t(t>0)，而变为熟悉的一元二次不等式求解和指数方程的问题。三角换元，应用于去根号，或者变换为三角形式易求时，主要利用已知代数式中与三角知识中有某点联系进行换元。如求函数y= + 的值域时，易发现x∈[0,1]，设x=sin α ，α∈[0, ]，问题变成了熟悉的求三角函数值域。为什么会想到如此设，其中主要应该是发现值域的联系，又有去根号的需要。如变量x、y适合条件x +y =r (r>0)时，则可作三角代换x=rcosθ、y=rsinθ化为三角问题。均值换元，如遇到x+y=S形式时，设x= +t，y= -t等等。我们使用换元法时，要遵循有利于运算、有利于标准化的原则，换元后要注重新变量范围的选取，一定要使新变量范围对应于原变量的取值范围，不能缩小也不能扩大。如上几例中的t>0和α∈[0, ]。