1、绘制三角形ABC。
2、用角平分线工具，直接构造∠ABC的平分线，与AC交于D。
3、开始推理，结果并没有角相等的条件或结论。
这说明，自动推理功能并没有把这个所谓的角平分线当成真正的角平分线来对待。
4、于是，用尺规作图法来绘制角平分线。
在线段BC上取点E。
5、以B为圆心、BE为半径作圆，与线段AB交于F。
6、取EF中点G，然后推理一下试试，结果真的出现了角相等的结论，这说明BG作为∠ABC的平分线，得到了承认。
7、依同样的方法，绘制出∠ACB的平分线。
8、隐藏圆。
设两条角平分线交于I。
9、连结线段AI，并自动推理，看看有没有∠BAI=∠CAI的结论。
10、选择目标结论，并创建结论，可以得到具体的证明过程。
