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