【分享】交流一下 Mathematica 编程方法，期望学习该软件的网友积极参与

天山草 · 发表于 2013-12-9 17:35

下面引用由denglongshan在 2013/12/09 05:22pm 发表的内容：
证明角相等他们的方法还不如“交比”好用，五圆定理中，从他最后一步看，并没有根据文中的性质对应的角相等的计算结果，应该是需要改进的，不明白他不写出来的理由，可能是计算结　...

他证明四点共圆是证两个圆周角相等，好像不如利用“交比”来得简便。

天山草 · 发表于 2013-12-9 17:50

[这个贴子最后由天山草在 2013/12/09 08:25pm 第 4 次编辑]

先向李涛学到下面一点：
若设三角形 ABC 的内心坐标是（0，0），且内切圆的半径为 1；
A 点坐标是（u,-1）， B 点坐标是（v,-1），则 A 点横坐标是(u+v)/(uv+1)，纵坐标是 (uv-1)/(uv+1)。
注：此时 u 为负值，v 为正值， uv +1 和 uv -1 都是负值。

denglongshan · 发表于 2013-12-9 17:51

同感，这应该是他论文的缺点，连他自己最后也不写出来，可能只是后台运算。

天山草 · 发表于 2013-12-10 13:15

今天初步看了下李涛的论文，写得很好。他的理论能够自成一个完整的体系。值得我们学习。至于他证明四点共圆是证两个圆周角相等，虽然好像不如利用“交比”来得简便，但是也是能走得通的一条路。我估计李涛也知道有“交比”这件事，他至所以没有采用，大概有他的道理。
他的“搜索”模块很好，可以发现求证之外的“新大陆”。

天山草 · 发表于 2013-12-10 13:17

关于“证明的可读性”，看了李涛的文章，我认为程序和运行结果都应该“可读”。

天山草 · 发表于 2013-12-10 19:44

[这个贴子最后由天山草在 2013/12/11 11:20am 第 2 次编辑]

李涛证明泰博定理的方法剖析。按照李的方法，我们也能够证明泰博定理。

denglongshan · 发表于 2013-12-10 22:45

大家注意看一下71页的问题，我发现程序也会出错，十分令人困惑。

今天耗费好几个小时才发现Mathematica也会出错。

天山草 · 发表于 2013-12-11 09:17

“干货”这个词的由来：
常听到这样的话：“某某的报道文章水分太多，不靠谱”。其中“水分”就是指不可靠，不真实，不可信之类。与之相应的就有了“干货”的说法，意思是真东西多，很实在。

denglongshan · 发表于 2013-12-11 18:03

哦，原来如此！你帮我看看你上面一楼的程序有什么问题？下载压缩包就可以了。很奇怪，办公室的电脑没有同样的问题。

天山草 · 发表于 2013-12-11 19:06

[这个贴子最后由天山草在 2013/12/14 08:49am 第 7 次编辑]

仿照李涛的构图思路来证明泰博定理【试验版一】：

		自动登录	找回密码
密码			注册

【分享】交流一下 Mathematica 编程方法，期望学习该软件的网友积极参与