自动推理推不出来（请教解决办法）

lcd012

已知：DC$fh{094}AB，AC=CB，
AD=DF=FA=BD=DE=EB=EG=FG,
求证:AB=BG=GA

下载 (9.17 KB)

2010-10-16 17:47

本人录制了制作过程，但文件超过200KB，无法上传，请凭密码16个1（即1111111111111111）到jsjjc161@qq.com下载“自动推理推不出来录像.rar”

pxc417

下载 (36.99 KB)

2010-10-17 14:50

lcd012

2# pxc417
谢谢斑竹。
周老师的证法很新颖，我的证法则很传统。

下载 (10.86 KB)

2010-10-19 23:25

pxc417

计算机推理的难点，就是不知道如何增加新的辅助点、辅助线，添加辅助圆更是难！
这种“无中生有”，属于人的高级智慧。

计算机的长处是将已有图形的性质反复搜索，如果限制其搜索步数，以及推理规则，那么所能得出的结论就有限。

所以我们想的办法大多是尽量避免添加辅助线。

目前，我那种向量法由于不需要添加新的元素，已经用计算机实现了。