浅谈几何证明的证题方法.docxVIP

浅谈初等几何研究的证题方法 摘要：在任何的几何证明中，题目都由三个部分组成分别是论题、论据、论证。其中论题是需要证明它的真实性的判断，论据是用来证明论题真实性所引起的那些判断，而论证就是由论据出发来进行一系列推理来证明论题真实性的一个过程。按一般的推理思维来说证明方法一般有直接证明和间接证明。直接证法是由命题的已知条件出发，然后根据公理、定义、定理、公式、性质进行一系列正面的逻辑推理，最后得到命题的结论的一种证明方法。而直接证明又包括综合法和分析法等具体方法。在一些命题不容易或者不能直接证明时，我们需要从另一个角度去思考转而证明它的否定命题不真实来证明，或者在特定的条件下来证明它的逆命题是否真实，从而间接地证明原命题真实的证明方法。间接法包括反证法、同一法等。其中反证法又包括归谬法和穷举法。 关键词：直接证明；间接证明；推理；证明 下面我们就对这些方法做一个简单的分析。 直接证明：在一些命题不容易或者不能直接证明时，我们需要从另一个角度去思考转而证明它的否定命题不真实来证明，或者在特定的条件下来证明它的逆命题是否真实，从而间接地证明原命题真实的证明方法。 1、综合法——由因导果。综合法是从命题的条件出发，来寻求命题结论的一种方法。就比如用综合法来证明命题“若A则D”的思路是：A推出B推出C推出……推出D。这样命题就可以得到证明了。但是事实上，通过条件A出发我们可以推出很多的结论，我们首先尽可能的找到与A靠近的结论B、B1、B2这是第一层；然后对于B、B1、B2中的每一个都进行推理，然后得到更多的结论一层一层的推理下去直到在某一层中出现D这样就可以找到从A到D的证明路线了。它的特点就是从已知出发看可知，并逐步推出未知的一个过程。由因导果，其逐步推理实际是寻找它的必要条件，它的思路就是由条件和已证明的真实判断出发，经过一系列的推理，寻找它们之间存在的内外联系，最后综合推得所要证明的结论。这一系列的中间推理是由条件到目标的中途点来实现的。 例平行四边形ABCD外接于 平行四边形EFGH,则其对角线AC、BD、EG、HF共点. 证明：设AC、BD的交点为0,则0为AC和 BD的中点.因∠AHE=∠CFG，∠AEH=∠CGF,EH=GF故△AHE?≌ΔCFG,从而AE=CG,AH=CF可见AE与GC平行且相等,即AECG是平行四边形.所以,EG和AC互相平分，即EG通过AC的中点0. 同理可证，HF也通过点0. 2、分析法——执果索因。分析法是从命题的结论出发，寻求其成立的充分条件的证明方法。即先假定所求的结论成立。分析使这个命题成立的条件。把证明这个命题转化为判定这些条件是否具备的问题，如果能肯定这些条件都已具备。那么就可以判定原命题成立。我们称之为执果索因。运用分析法证明命题若A则D，就要有结论D出发向条件A回溯。先假定结论D成立，寻求D成立的原因。然后就各个原因分别研究，找出他们成立的条件。逐步进行下去。最后达到条件A，从而证明了了命题，它的思考路线是从结论出发看需要的条件来推出结论。它的特点是从未知看需知。逐步的向已知靠拢。寻找充分条件。这里的需知是倒退的中途点。分析法的优点是容易找到这名思路。具有打开思维通路的齐效。例证明等腰三角形底边上任一点到两腰的距离之和为常量。 例证明等腰三角形底边上任一点到两腰的距离之和为常量。证明 ：设P为等腰△ABC底边BC上任一点,PD⊥AB,PE⊥AC.要证明PD+PE为常量,考虑点P的极端位置,即将P点移到底边的一个端点(如C点),容易看出,常量便是一腰上的高CH.因此我们证明(1)PD+PE=CH在高线CH上截取?FH=PD,要证(1),只需证(2)PE=CF由于∠PCE=∠BCA=∠ABC=∠CPF，又PC=?CP,易知△PCE≌ΔCPF.于是(2)和(1)得证. 注此题还可以延长DP到G使PG=PE,得到证明;也可以利用面积法,即利用△ABC的面积等于ΔABP的面积与△ACP的面积之和来证明本题（1）要证命题“若A则D”，综合法从条件A出发，由因导果，一步一步地推到结论D。相邻两个判断，后边是前边的必要条件。分析法是从结论D出发，执果索因，一步步地探索到A，相邻的两个判断，后边是前边的充分条件。因此，综合法与分析法是互相对立的。(2) 综合法与分析法各有其长也各有不足。综合法宜于表述，但对稍复杂的问题不易找到解题思路；分析法步步逆求命题成立的充分条件，思路分析较为自然，易于找到解题途径，但解题过程的表述较为繁琐。因此，在解题时两种思考方法往往交替使用，先用分析法探求解题途径，打开思维道，再用综合法进行叙述,珠联璧合，相得益彰。 （3）综合法与分析法的有机结合。综合法是由条件到结论的顺推，分析法是由结论到条件倒推.从逻辑推理本身的要求来说,综合法显得自然，而分析法在