零点定理是一个大家平时生活中用惯了以至于反而觉得很陌生的一个定理。若函数f(x)在区间[a,b]连续,并且f(a)与f(b)异号,那在(a,b)之间一定存在某个x,使得f(x)=0。如果你从海拔为-100的地方走到海拔为400的地方,那不管你是怎么走的,你一定会有经过了海平面的一瞬间。另一个比较隐蔽一些的应用便是,对任意一个凸多边形,总存在一条直线把它分成面积相等的两份。考虑一条竖直直线从左至右扫过整个凸多边形,则凸多边形位于直线左边的那部分面积由0逐渐增大为整个凸多边形的面积,直线右侧的面积则由最初的整个凸多边形面积渐渐变为0。若把直线左侧的面积记为f(x),直线右侧的面积记为g(x),则随着直线位置x的变化,f(x)-g(x)的值由一个负数连续地变为了一个正数,它一定经过了一个零点。这表明,在某一时刻一定有f(x)=g(x)。
用类似的方法,我们能证明一个更强的命题:对任意一个凸多边形,总能用两条互相垂直的直线把它的面积分成四等份。利用前面的结论,我们能找到一条直线l1,它把整个凸多边形分成上下相等的两份;类似地,我们能找到唯一的一条与l1垂直的直线l2,使得它恰好把整个凸多边形分成左右相等的两份。注意,现在我们有A1+A2 = A2+A3 = A3+A4 = A4+A1,我们甚至立即还可以知道A1=A3并且A2=A4,但这都还不足以保证四块面积全都相等。怎么办呢?注意,我们前面假定直线l1是一条水平直线。事实上,l1每取一个方向,我们都能用上面的方法得到一个具有相同性质的新构造。为此,我们将直线l1的方向顺时针旋转90度。考虑整个过程中A1-A2的值的变化过程:旋转后的A1-A2恰好就是旋转前的A2-A3,而A1和A3又是相等的……于是我们发现,旋转前后的A1-A2的值恰好互为相反数!这表明,在直线l1旋转的过程中,一定有一瞬间满足A1-A2=0,这一刻的l1和l2便是两条互相垂直并把图形四等分的直线。
我们来看一个更牛B的定理:对任意一个凸多边形,总能用三条交于一点的直线把它的面积分成六等分。
先用直线l1把图形分成上下相等的两半。对于l1上的任意一点p,总存在唯一的四条射线,它们和直线l1一起恰好把图形分成六等分。现在,考虑p点从l1最左边向最右边移动,则角α由180度慢慢变成0度,角β则从0度慢慢变成180度,因此在此过程中必然有α=β的时刻。把此时我们得到的那条直线记作l2,并把剩余的两条射线分别记作r1和r2。现在,将l1的方向顺时针旋转180度,得到的构造和之前一样,只不过r1和r2交换位置了:原来r2在r1延长线的顺时针方向,现在r2跑到了r1的延长线的逆时针方向,前后两个角度互为相反数。因此,在l1旋转的过程中,必然有某个时刻r1的延长线和r2正好重合。三次嵌套地调用零点定理,我们终于证明了这个结论。
本文来源于上次提到的电子书
前几天回了一趟家,不巧又碰上扁桃体发炎,发烧烧得和笔记本底板一个温度,搞得10多天没更新了
呼吁大家在读书学习写代码想问题的时候多注意身体!
沙发 好久没看到Matrix牛的文章了。
板凳坐一下
赞~
小学的时候就想过垂直直线四分面积的事情,当时以为不可能的.
原来和二分面积一样,用这个想法就可以解决的阿!
最后一句话很善意~同感
介质定理还能这么用..比习题集上的那些鸟题有趣多了
赞~~总算等到matrix67更新blog了
类似那个经典的桌子脚着地问题……
很强大
一定要注意身体诶
好书
最后一句
确实好久没见你文章了..有空来广州玩不??我是gg,哈哈..
笔记本底板是什么温度。。
这个定理还能继续强化么?有上限么/
我想想。。
Matrux67牛!好奶牛,又产优质奶了,已经喂到13层了,嘿嘿!顶顶顶!
有个小疑问:A1-A2的值为什么可以确定遍历[A1-A2,A2-A3]?
和12楼同问,可否继续拓展到n条直线,将任意凸多边形分成2*n等份的一般情况?
零点定理的前提是函数的连续性,请给出你上面两个推导中对函数连续性的证明。
这句话,”这表明,在直线l1旋转的过程中,一定有一瞬间满足A1-A2=0,这一刻的l1和l2便是两条互相垂直并把图形四等分的直线。”那么怎么保证这一刻A2-A3也=0呢?
则角α由180度慢慢变成0度,角β则从0度慢慢变成180度
为什么是从180度开始变?最左边是说整条直线还是直线在多边形内部部分?
有这样一个问题:
平面内有2条折线,一条在上面,一条在下面,2条折线上各点的x坐标一一对应。如何求这2条折线所包围空间内与坐标轴平行的矩形和椭圆?
上题写漏了,指面积最大的矩形和椭圆。
如果要更严谨的话,首先要证明的是连续性。
完全同意22楼的话,连续性的问题很重要,而证明过程缺了这一步~
好久没来逛大牛的blog了,这次清清GReader的内容,才发现,原来每一篇文章的后面(发文后两三天)都有白痴的评论
这个好像就是大一学的中值定理吧
这个还不错!得好好考虑!
楼主你好,您上面说的定理对我很有用,在此感谢。不过我还有一个问题,想请您解答。问题:f(x),g(x)怎么确定?能不能找出最短的那条平分线?怎么找?