一条很难用公理证明的几何新定理？

dlsh · 发表于 2009-3-15 20:03:23

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？欢迎注册

×

这条几何定理点击超万次，还没有其它证明方法。
Fb是Feuerbach点（三角形的九点圆与内切圆或旁切圆的切点），试证明：Fb关于三边切点构成的三角形DEF，三个中点构成的三角形MaMbMc，三个垂足HaHbHc构成的三角形的Simson直线以与切点三角形的Euler直线平行，并且Fb关于切点三角形与中点三角形的Simson直线重合。

详细讨论参考：
http://bbs.mathchina.com/cgi-bin/topic.cgi?forum=5&topic=2068

gxqcn · 发表于 2009-3-16 07:35:31

估计楼主又打算来这里“显摆”你的“机器证明”了。

无心人 · 发表于 2009-3-16 07:58:19

定理机器证明
1、C/C++写的程序虽然速度快，但涉及到的模式太多，相对复杂
2、这里OOP思想并不占优势
3、必须用专门的语言，我觉得ML，Haskell等最合适了
Prolog主要用于知识库，lisp效率有点低。他们的特点是针对性强，程序简单

mathe · 发表于 2009-3-16 18:15:50

题目太复杂乐,缺乏数学美

无心人 · 发表于 2009-3-16 19:49:00

应该属于堆砌结果的题目

jx215 · 发表于 2009-3-16 21:30:06

晕～～～

dlsh · 发表于 2009-3-19 22:31:38

“估计楼主又打算来这里“显摆”你的“机器证明”了。”
没有必要“显摆”，只是希望看到有志者应用论文中的新概念编写出更强大的符号计算软件，实现真正意义上的“机器证明”。复数方法更容易看出几何意义。

wayne · 发表于 2009-3-19 23:29:56

吴方法不可以吗

我用过两个软件,在这里显显摆了，一个是MMP软件，
http://www.mmrc.iss.ac.cn/mmp/ ，不过几年都没更新了，

另外，Java 几何专家何专家，如果你浏览器装了jre，可以在线运行
http://www.cs.wichita.edu/~ye/gex.html

这两个都能自动推理，证明几何命题的

wayne · 发表于 2009-3-20 09:01:52

原帖由 无心人 于 2009-3-16 19:49 发表
应该属于堆砌结果的题目

我甚至感觉这个命题是由软件“自动发现”出来的结论

无心人 · 发表于 2009-3-20 10:37:33

有可能

不过，数学证明涉及到理论上的难度是很大的

账号		自动登录	找回密码
密码			欢迎注册

[讨论] 一条很难用公理证明的几何新定理？

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

点评