pxc417

下载 (36.99 KB)

2010-10-17 14:50

pxc417

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

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

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

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