(1)综合法(由因及果),从已知条件出发,通过相关定义、定理、公理的应用,逐步推进,直至问题解决;
(2)分析法(寻果法)考虑命题的结论,考虑使其成立所需的条件,然后继续考虑所需的条件作为待证明的结论,以此类推,直到知道事实为止;
(3)双头法:分析与综合相结合。相比较而言,分析法有利于思考,综合法易于表达。因此,在实践中思考问题时,可以将它们结合起来,灵活处理,以缩短题目与结论的距离,最终达到证明的目的。
几何证明有两种基本类型:
一、平面图形的数量关系;
二是关于平面图形的位置关系。
这两类问题往往可以相互转化,比如证明平行关系可以转化为证明等角或余角。
比如可以有这样一个思维过程:证明两个边相等,从图中可以看出,我们只需要证明两个三角形相等;证明三角形同余,结合给出的条件,看需要证明什么条件,如何做辅助线来证明这个条件。
参考以上内容:百度百科-几何证明