三角形的三条中线共点，这是一个非常简单的几何定理。但是，怎么让网络画板自动证明这个几何问题呢？
工具/原料
电脑
网络画板
基本构型
1、要证明几何问题，先得画图，这其实是一个给定几何条件的过程。绘制三角形ABC。
2、分别取三边中点D、E、F。
3、连结线段AD和BE，两条线段的交点记为G。
4、这样，基本图形就算绘制完成了。
自动推理
1、给出了基本图形之后，点击推理按钮。
2、推理出来的结论很多，需要我们慢慢寻找目标结论。
3、重心定理的目标结论就是：C、G、F共线，所以，看看共线的结论里面有没有。
4、往下翻，发现目标结论就在共线结论末尾。
5、选中目标结论，点击创建结论按钮，就可以查看具体的证明步骤。
