证明:
假设G不为BC中点,.
我们有等高三角形的面积比.
而,
我们有
故而类似的等高三角形面积比,
故而
而我们知道,梯形对角线分左右两个小三角形面积应该是相等的. 详细如下(证明).
对等底等高的三角形有
(1)与(2)冲突,故而假设不成立. 我们得到G为BC中点■
证毕.