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) / 下载次数 1142
http://inrm3d.cn/attachment.php?aid=7644&k=b9a98e657f61fc2ad610ceb84c783527&t=1732395993&sid=vQGMo8

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

图片附件: 1.JPG (2010-10-17 14:50, 36.99 KB) / 下载次数 1071
http://inrm3d.cn/attachment.php?aid=7658&k=47e4886892205ee7b90e9f046faebb84&t=1732395993&sid=vQGMo8

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

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

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

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

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

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

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

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

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