简单的评述就是这样：
在你证完的图形中给所有线段标上端点，如果有一个端点是BC的另一三等分点
那就判违反要求。

用机器就这样：给定精度比如0.01，在BC的另一三等分点处作半径为0.01的圆
如果所作图形有任何部分处于圆内则判违规

【 在 iwannabe 的大作中提到: 】
: DG⊥BC, BH=CG
: HG=AD
: 完了
--
FROM 114.89.203.*