正当老师在为第三步引理破产而烦恼的时候,Alpha又冒出来声称“找到一个反例证伪您的第一引理”。如图所示:
老师:且称为反例一。
Delta:我们不能承认这个反例——他不是多面体。
Gamma:我想,一个多面体是表面由多边形面构成的立体。
老师:暂且称之为定义一。
Delta:你错了。一个多面体是由一个多边形系统构成的曲面。
老师:称之为定义二。
Delta:这样,反例一就不能称作是一个多面体。原命题还是对的。
Alpha:这里又有一个反例!请看,这是“孪生四面体”。
Delta:我们重新修订多面体定义:一个多面体是一个满足下列要求的多边形系统:(1)每一条棱上恰好有两个多边形相交;(2)从共顶点的一个多边形内的一点到另一多边形内的一点的连线不与任何一条棱相交是可能的。
老师:定义三。
Alpha:你何必不把多面体定义为满足”V-E+F=2“的多边形系统?!
Kappa:定义P。
老师:除了定义P,有谁能够举出即便最严格的定义也承认的反例?
Gamma:我能。请看反例三:星状多面体,也可以称为“海胆”。他的V-E+F=-6。
Delta:一个多面体是满足如下要求的棱边系统:(1)每一顶点都正好有两条棱相交;(2)除了顶点,棱与棱之间没有任何公共点。
老师:定义四。
Gamma:何必要第二个分句,保留第一个要求就好。
老师:定义四-2。有谁能够够举出定义四和定义四-2的反例吗?
Alpha:反例在此。一个我称之为“画框”的东西。V-E+F=2。
老师:反例四。
Beta:我觉得我们是在浪费时间!
Alpha:我这里还有一个挽救型定义:试取“隧道”——画框包围的空间——中的任意一点,穿过这点安装一个平面。你会发现任意这样的平面总与画框有两个不同的截面,造成了两个不同的完全隔开的多边形。而我们认为,一个多面体,通过空间中的任一点,至少有一个平面与该体的截面仅由一个多边形组成。
老师:这是一个隐定义,不妨称其为定义五。
Alpha:你已经变成一个可鄙的教条主义者了!!(离开教室)
Gamma:我有找到一个新的怪物:圆柱体。V-E+F=0。
Delta:你的“棱”并不是棱!一条棱有两个顶点!
老师:定义六?我认为我们应该拒绝接受Delta处理全局反例的方式。 阅读全文 »
首先万分感谢网友 IF…THEN… 给我寄了5本数学方面的书!
其中最吸引我的是据说已经绝版了的《数学史通论(第二版)》,相当厚重的一本书,上数学课偷看比较困难……所以我选择了《证明与反驳——数学发现的逻辑》这本100+页的小册子。读完之后发现,这本书真是写得有情有理,里面的说教在作者精心设置的背景下(一个水平极高的数学课堂)也比较容易让人接受。