用网络画板自动证明三角形的内心定理

三角形的三个角的平分线共点。本文，用网络画板的自动推理功能，来证明这个结论。

工具/原料

电脑

网络画板

填坑

1、绘制三角形ABC。

3、开始推理，结果并没有角相等的条件或结论。这说明，自动推理功能并没有凸鹣沮北把这个所谓的角平分线当成真正的角平分线来对待。

5、以B为圆心、BE为半径作圆，与线段AB交于F。

7、依同样的方法，绘制出∠ACB的平分线。

9、连结线段AI，并自动推理，看看有没有∠BAI=∠CAI的结论。