超级画板自动推理的不足之处.pdf

超级画板自动推理的不足之处 使用超级画板的自动推理可以证明许多几何题，熟练应用这一功能，可以帮助自己学习 严谨的逻辑推理。但是使用自动推理的过程中可以发现，并不是所有的题目都能得到想要的 结果。这是什么原因呢？我们排除作图的错误或者添加条件的不完整，下面来谈谈其他可能 的原因。 1、题目的解答的方法唯一，且必须通过做辅助点来完成 由于超级画板只能做成辅助线，不会自己做成辅助点。如果题目的解答的方法唯一，那 么显然超级画板是不会给出想要的结果。我们来看下面一个例子。 例1：如右图，在△ABC 中，D 为BC 的中点，点E、F 分别在边AC 、AB 上，并且∠ABE= ∠ACF ，BE、CF 交于点O．过点O 作OP⊥AC ，OQ⊥AB ，P、Q 为垂足．求证：DP=DQ． 这道题相对较难，利用超级画板给不出想要的答案。这是因为解答需要作出两个辅助点 ——BO 和CO 的中点M N，然后再连接PM、 MD、 QN 、ND，只需证明三角形PMD 全等 于三角形DNQ 即可。我们在超级画板作出两个中点，就可以得到想要的答案： 初二的许多几何题都需要做辅助点或辅助线，这也导致超级画板在解决低年级的几何证 明题反而显得相当无力。要解决这类问题，学生必须有敏锐的眼光并不断尝试。常见的辅助 点除了中点，还有特殊线段（比如角平分线、中线、高）的延长线上的点，其他的要具体问 题具体分析。 2、超级画板自动推理的规则不完善，有些规则无效甚至程序出错。 点击【推理】— 【设置推理规则和方法】，可以查看推理使用的各个规则。其中，规则 40 和42 是默认不选中，不知道这是开发者有意而为之还是粗心大意。右击它们可以将其选 中。但是，即使选中，在推理过程中这两个规则都是无效的，不起任何作用。规则40 是： 三角形的内角和180°，规则42 ：外角等于不相邻的两个内角之和。这两个定理基本且很重 要。许多初中几何证明少了它们是无法证明的，即使高考题也不例外。 例2：（2008 江苏，21A，10 分）如图，设△ABC 的外接圆的切线AE 与BC 的延长线交 于点E，∠BAC 的平分线与BC 交于点D。 2 求证：ED =EC ·EB。 这道题的思路简单，使用切割线定理，再证明DE=AE 即可。然而，要证明DE=AE，需 要用到定理：三角形外角等于不相邻的两个内角之和。由于超级画板这一定理对应的规则失 效，导致这一道题解不出来。 另外规则43 和规则113 是出错的，触发这两个规则会使得超级画板卡住或者直接关闭。 因此，建议使用者画图之后记得保存再运行自动推理。如推理过程发现上述问题，可以将规 则46 和规则113 右击去掉勾选。 3、题目的答案类型在超级画板是没有的类型 例如，高考题很多求线段比例的值，然而，推理结果并没有线段比例值这一类型的结果， 只有线段之间的比例关系、线段和关系这些信息。因此如果不是两条线段有特殊的关系（比 如相等），这一类型的题目的结果超级画板是得不出来的。其他如两角之和，圆的面积值三 角形面积值等也是没有的。不过像两角之和可以观察是不是特殊的关系，如互余、互补来寻 找答案；圆的面积值可以通过查看半径值来计算。 另外，超级画板添加条件时也需要一些技巧，例如两段弧长度相等可以转化为对应的圆 周角或圆心角相等。 4 、小结 超级画板作为一个国产的数学软件，已经有许多年没有更新了。处于完善阶段的软件如 果得不到重视，必然会被抛弃。它为教育而生，却得不到教育者的支持。这么好的软件国家 应该出资帮助其完成更新和完善，让它发挥更大的作用。 想要了解更多信息可以加“超级画板交流群” ：3 3 1 4 2 1 0 6 0 。