消点法相关论文
中国科学院院士张景中教授在攻克计算机的可读性证明时创立了平面几何命题论证的“消点法”.......
近几年中考中，“二动点型最值问题”层出不穷、形式多样、方法各异.这类问题涉及两个动点，使问题显得扑朔迷离，往往处于填空、选择或......
质点几何定理机器证明一直以来都是自动推理领域的研究课题,其证明方法和研究成果都具有明显的应用价值。近年来,研究者们依据质点......
在上一期我们向大家介绍了消点法,并对消点法的应用举例进行说明.消点法是一个普遍有效的解题方法.消点法解题的要点如下:(1)把题......
“消点法”是类比代数中求解二元一次方程组的“消元法”而提出的一种解决几何问题的方法.它可以解决这样的一类几何问题:如果这个......
“双动点问题”是题中某一条线段的两个端点都在某个图形上运动的问题.而“求双动点线段最小问题”重点考查了学生的化归转化的数......
1引言寻找运动变化中的不变量和不变性,是数学研究的旨趣之一。这种思想可以表现为一系列技法,体现数学思想的巨大威力。以面积法......
由于传统的兴趣和多种原因,几何定理的机器证明在自动推理的研究中占有重要的地位。自吴法发表至今20年,几何定理机器证明的研究和......
近几年中考中，常出现“两动点型最值问题”．这类问题涉及两个动点，使问题显得扑朔迷离，往往处于填空题、选择题或解答题压轴或次压轴的......
消点法是一种遵循“后出现的点先消去”原则的几何定理机械证明法，是一种化繁为简的化归方法^[1]。一言以蔽之，消点法的主要思路是“......
为了实现几何自动推理的可读性证明,并提高推理效率,介绍了一个基于消点法的可构造性几何命题自动推理系统的设计与实现。该系统提......
《中学数学》（苏州）1995年第10期中的文[1]对1994年第22届美国数学奥林匹克中的第2题作了如下推广;若凸四边形ABCD的对角线AC与BD互......
本文针对质点法生成的目标关系式的过程不简明,缺少明显几何意义的问题,提出了一种具有较高可读性算法的几何定理证明器MMP.首先,......
用计算机能生成几何定理的易为人们理解的证明吗？这个几十年来进展很小的难题，自１９９２年以来有了突破性进展．对于一大类欧氏几何命题──构......
数学教育面临的困难是多方面的。其中重要的一个方面是数学本身难学。只靠数学教育的研究不可能完全解决数学难学的问题。如果数学......
<正> 1998年,市场上出现了能证明几何定理的软件,能解决许多和中学课程范围内的题目难度相当的问题,并能给出传统风格的、易于理解......
<正>在解析几何证明与计算中,我们常常设出点的坐标作为引参过渡的桥梁.设点容易,消点却得使出"洪荒之力",决非易事!本文就如何"消......
方程是初中代数课程的核心，“以方程为纲，以元为序”可以对初中代数内容进行重建．几何是初中数学的另一支柱内容，根据已有的研究，用面积......
