用网络画板证明三角形的重心定理
三角形的三条中线共点,这是一个非常简单的几何定理。但是,怎么让网络画板自动证明这个几何问题呢?
工具/原料
电脑
网络画板
基本构型
1、要证明几何问题,先得画图,这其实是一个给定几何条件的过程。绘制三角形ABC。

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

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

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

三角形的三条中线共点,这是一个非常简单的几何定理。但是,怎么让网络画板自动证明这个几何问题呢?
工具/原料
电脑
网络画板
基本构型
1、要证明几何问题,先得画图,这其实是一个给定几何条件的过程。绘制三角形ABC。
3、连结线段AD和BE,两条线段的交点记为G。
2、推理出来的结论很多,需要我们慢慢寻找目标结论。
4、往下翻,发现目标结论就在共线结论末尾。