inRm3D: 画板论坛 - Powered by Discuz! Board

标题: 自动推理推不出来（请教解决办法） [打印本页]

作者: lcd012 时间: 2010-10-16 17:37 标题: 自动推理推不出来（请教解决办法）

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

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

图片附件: 自动推导推不出来.GIF (2010-10-16 17:47, 9.17 KB) / 下载次数 1017
http://inrm3d.cn/attachment.php?aid=7644&k=f6e92d32512b46ac846b7fd924ec3bb7&t=1714655124&sid=555z0B

作者: pxc417 时间: 2010-10-17 14:50

图片附件: 1.JPG (2010-10-17 14:50, 36.99 KB) / 下载次数 955
http://inrm3d.cn/attachment.php?aid=7658&k=de89cbeaffacb3ace27e151c9d7f72b2&t=1714655124&sid=555z0B

作者: lcd012 时间: 2010-10-19 23:25 标题: 传统证法

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

图片附件: 传统证法.GIF (2010-10-19 23:25, 10.86 KB) / 下载次数 1004
http://inrm3d.cn/attachment.php?aid=7720&k=c5e91db673535450a80b79554e00908a&t=1714655124&sid=555z0B

作者: pxc417 时间: 2010-10-20 08:17

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

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

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

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

欢迎光临 inRm3D: 画板论坛 (http://inrm3d.cn/)