返回列表 回复 发帖

UID
2157 
帖子
10 
精华
0 
积分
0 
1#
打印
tT
lcd012发表于 2010-10-16 17:37 | 只看该作者

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

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

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

订阅 TOP

版主

Rank: 7Rank: 7Rank: 7

UID
424 
帖子
151 
精华
2 
积分
163 
2#
pxc417发表于 2010-10-17 14:50 | 只看该作者
1.JPG
回复 引用

TOP

UID
2157 
帖子
10 
精华
0 
积分
0 
3#
lcd012发表于 2010-10-19 23:25 | 只看该作者

传统证法

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

传统证法.GIF
回复 引用

TOP

版主

Rank: 7Rank: 7Rank: 7

UID
424 
帖子
151 
精华
2 
积分
163 
4#
pxc417发表于 2010-10-20 08:17 | 只看该作者
计算机推理的难点，就是不知道如何增加新的辅助点、辅助线，添加辅助圆更是难！
这种“无中生有”，属于人的高级智慧。

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

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

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

TOP

返回列表