无情天魔精致
三角形的三条中线共点，这是一个非常简单的几何定理。
但是，怎么让网络画板自动证明这个几何问题呢？
1/4
基本构型
要证明几何问题，先得画图，这其实是一个给定几何条件的过程。
绘制三角形ABC。
2/4
分别取三边中点D、E、F。
2/4
相关内容未经授权抓取自百度经验
3/4
连结线段AD和BE，两条线段的交点记为G。
4/4
1/5
自动推理
给出了基本图形之后，点击推理按钮。
2/5
推理出来的结论很多，需要我们慢慢寻找目标结论。
3/5
重心定理的目标结论就是：C、G、F共线，所以，看看共线的结论里面有没有。
4/5
往下翻，发现目标结论就在共线结论末尾。
5/5
选中目标结论，点击创建结论按钮，就可以查看具体的证明步骤。
-
-
用网络画板证明三角形的重心定理
[重新阅读]
