文档介绍：“消点法”在初中几何解题的初探 初中数学几何题解题技巧
【摘 要】历史上数学家在解几何中一直寻找着像解代数一样的通用公式，直到近代机器的发明，这样的系统才得以快速发展，我国数学家张景中院士以他的面积法发展起来的
“消点法”在初中几何解题的初探 初中数学几何题解题技巧
【摘 要】历史上数学家在解几何中一直寻找着像解代数一样的通用公式，直到近代机器的发明，这样的系统才得以快速发展，我国数学家张景中院士以他的面积法发展起来的消点法使得机器证明几何得以实现。本文就简单介绍此法在中学几何中用纸笔解题的应用。
【关键词】几何；机器证明；消点法
在数学的历史长河中，数学家一直都希望像解代数一样为几何问题寻找一套公式，使得解几何像解代数问题一样套用公式，数学大师笛卡尔、莱布尼茨、希尔伯特等科学巨匠为此曾付出大量心血，但未能找到有效的途径。而今特别是现在电子计算机的出现，人们更希望机器能代替人类成批地解决几何问题。
电子计算机的出现，大大促进了此领域的发展，早在 50 年代，美国数学家阿
尔弗雷德 ?塔斯基就用代数方法证明初等几何机械化的可能性，但直到 70 年代，这种方法仍未曾得到很好的发展。在这种以机器证明几何问题思维研究的发展中，我
国的张景中院士以他多年来研究并发展的几何新方法（面积法）为基本工具，提出了消点法思想，并且和周咸山、高小山合作，于 1992 年突破了这项难题，从而实现了几何定理可读性证明的自动生成，此法不以坐标为基础，也不同于传统的综合方法，此方法以几何不变为前提，把几何、代数逻辑和人工智能方法结合起来所形成的开发系统。用最初有限的基本几何不变量与一系列作图规则并且建立有限的一系列与这些不变量和作图规则有关的消点公式，把命题的前提以作图语句的形式输入，自动化程序就可以调用相应的消点公式把结论中的约束关系逐个消去，最后得出结论，把消点的过程记录起来并且与相应的消点公式结合，就是一个具有几何意义的证明过程。
可喜的是此法亦可由人用笔在纸上执行，我们称为的消点法，消点法把证明与作图联系起来，把代数演算与几何推理密切相联，从而几何解题的逻辑性增强
了，把初等几何解题从只运用四则运算的层次推进到代数方法的阶段，几何证题亦
有了以不变应万变的模式。
既然消点法是在面积法的基础上发展起来的，那么下面列出消点法要用到的
公式定理：
1、共边定理
有一条公共边的两个三角形，叫做共边三角形。共边三角形的面积比可以转
化为线段的比。下面来介绍共边定理。
设直线 AB 与直线 PQ交与 M，则
2、共角定理
若∠ ABC和∠ A’B’C’相等或互补，则有
例 1 求证：平行四边形对角线相互平分。
分析 （1）任取不共线的三点 A，B，C； （ 2）取点 D使 AD//BC，
DC//AB； （ 3）取 AC， BD的交点 O； 下面是消点法的分析过程：
把图中五个点分为三组：第一组为 A， B，C 我们把这组的点叫做自由点，这
些点不受到其它条件的约束（前提条件 A、B、C 不共线）。
第二组为 D