主题:【原创】上帝之书 -- 我爱莫扎特
首先感谢几位河友的参与。这道题已经收到周师傅,桑榆非晚,honeybl,Seagul1等河友的解答,此外umggc,bogut等参与了讨论,发表自己的见解及改进意见。
我也参与了大部分讨论。讨论过程中,我表现得比较“严苛”,可能给人吹毛求疵的感觉。我发表的意见纯粹是技术性的,希望没有引起各位的不快。
数学本来就比其他学科严格,而数学的发展过程也是越来越严密化的过程。一些几百年前的证明也许在今天看来算得上漏洞百出,但其中蕴含的思想绝不平凡。从历史上说,欧拉公式虽然是欧拉第一个发现,但他给出的证明按后人的标准看就是不严格的。大约到50多年后才出现真正严格清晰的证明。中间的过程绝非一帆风顺。有兴趣的朋友可以看看珍珠土老鼠提到的《证明与反驳》。
在几位河友的解答中,周师傅和桑榆非晚的思路比较好。
先看周师傅的解答。他的证明的核心思想很清楚,就是对顶点数做数学归纳法。这是正确的思路。事实上我最后公布的一个答案(就是我和肖邦兄说的初中程度能理解的解答)也是这个思路。但周师傅的解法在具体实施时遇到技术上的小困难。
1,加点还是减点。
我们有两种做法。可以一个一个的减少多面体的顶点,并证明过程中等式不变。也可以从一个简单图形(如四面体)出发,一个点一个点往上加,最后重新构造出原来的多面体。注意!两种方法有着很微妙的差别。大家可以考虑一下哪个更好一些。
2,形状的限制。
当我们去除多面体一个顶点后,会发现余下的图形变得比较复杂。此时一种方法是仔细分析新形成的面,但bogut也认为计算会较复杂。另外,umggc提出将新的面划成三角形,这种技术在数学上被称为“三角剖分”,是很有意义的想法。umggc还提出欧拉公式题目中的凸性并不重要,这又是一个很好的观察,说明多面体的形状对证明碍手碍脚,却不改变实质。
桑榆非晚的思路也很好。他相当于是说,我们把多面体的面一块一块“拼接”上去直到最后成为多面体之前,V+F-E=1,而最后一块“塞”进去后,V+F-E=2。我在回帖中提到,“拼接”的顺序会对等式产生影响。见 http://www.ccthere.com/article/2040568 。
小结一下,重要的思路有归纳法(对顶点),和“拼接”(相当于对面做归纳法)。有用的想法有“三角剖分”,以及对多面体形状的适当“忽视”。现在的问题是我们如何把这些好的想法和观察在一个证明里完整清晰的体现出来。
我给大家一点小提示。
事实上欧拉公式不仅对非凸多面体成立,还对其他图形也成立。其中值得一提的有:
1,球面多面体。此时顶点在球面上,棱是球面上的大圆弧。我们仍有V+F-E=2。
2,连通平面图。我们在平面上画一个多边形,并在多边形内部或边上找定一些点,通过这些点和多边形的顶点间相互连线把多边形分割成若干个多边形。另V为点数,F为分割出的小多边形数,E为所有图形的边数。则成立V+F-E=1。
这两种情形和多面体既有联系又有区别。注意到这点会对证明有所帮助。
我这周很忙,无法继续我写的系列。我打算在周六前给出欧拉公式的解答,并在周末继续更新。
我希望有兴趣的朋友继续提供好的证明思路,或者改进已经出现的做法。河友们也可以回帖说说你们对几个证明的看法,以帮助我决定通宝最终的归属。
谢谢大家!
本帖一共被 1 帖 引用 (帖内工具实现)
- 相关回复 上下关系8
压缩 2 层
🙂感觉和桑榆非晚的思路差不多 我爱莫扎特 字10 2009-02-27 06:50:01
🙂【原创】阶段点评
🙂俺初二,只能打醤油。 1 njyd 字0 2009-02-21 19:18:06
🙂建议先严格定义“凸多面体” 2 honeybl 字259 2009-02-21 14:44:23