网络画板的自动推理与角平分线怎么结合

1、网络额鹿赤柝画板不能识别角平分线吗？试一下。构造∠ABC，并给出角平分线BF，F是角平分线上任意一点；然后推理。确实没有任何条件和结论，这就说明，网络画板的角平分线工具并不能真正为自动推理提供有效的角平分线的条件。

3、下面，再测试一下，网络画板能不能推理出三角形内心的结论：尺规作图法给出∠ABC的平分线BI和∠ACb的平分线CJ；设BI和CJ交于F；推理。

5、条件已经很充分啦，怎么会没有得出这么个最基本的结论呢？原来，缺少辅助线：作F到△ABC三边的垂线段FP、FQ、FR，再推理，结论立现。