用网络画板证明三角形的重心定理

三角形的三条中线共点，这是一个非常简单的几何定理。但是，怎么让网络画板自动证明这个几何问题呢？

工具/原料

电脑

网络画板

基本构型

1、要证明几何问题，先得画图，这其实是一个给定几何条件的过程。绘制三角形ABC。

2、分别取三边中点D、E、F。

3、连结线段AD和BE，两条线段的交点记为G。

4、这样，基本图形就算绘制完成了。

自动推理

1、给出了基本图形之后，点击推理按钮。

2、推理出来的结论很多，需要我们慢慢寻找目标结论。

3、重心定理的目标结论就是：C、G、F共线，所以，看看共线的结论里面有没有。

4、往下翻，发现目标结论就在共线结论末尾。

5、选中目标结论，点击创建结论按钮，就可以查看具体的证明步骤。