网络画板不能识别角平分线吗？试一下。

构造∠ABC，并给出角平分线BF，F是角平分线上任意一点；然后推理。

确实没有任何条件和结论，这就说明，网络画板的角平分线工具并不能真正为自动推理提供有效的角平分线的条件。

解决方法：

以B为圆心作任意圆，与∠ABC的两边有两个交点，其中点记为I，此时推理，会有一个角相等（∠ABI=∠CBI）的结论。

而这个角相等的结论，就是角平分线，可以作为进一步推理的条件。

而且，圆B与角的两边，也被网络画板自动添加标签了。

^*v*^

这说明，角平分线的条件，需要用尺规作图法给出。

下面，再测试一下，网络画板能不能推理出三角形内心的结论：

尺规作图法给出∠ABC的平分线BI和∠ACb的平分线CJ；

设BI和CJ交于F；

推理。

看看，有没有∠BAF=∠CAF的结论。

或者，连接射线AF，看看，有没有AF是∠BAC的平分线的结论。

结果是，没有。

条件已经很充分啦，怎么会没有得出这么个最基本的结论呢？

原来，缺少辅助线：

作F到△ABC三边的垂线段FP、FQ、FR，再推理，结论立现。

看来，想要使用自动推理功能，还得善于绘制辅助线。

要使用自动推理，最好使用智能画笔和尺规作图法构造基本图形，如角平分线要使用尺规作图法，而垂线段使用智能画笔。