一个与矩形剖分有关的命题(一):巧妙的初等证明
2008-07-23 18:50
399 查看
今天才听说了这样一个有趣的命题:如果一个矩形可以分割为若干个小矩形,每个小矩形都有至少一边为整数长,则原矩形同样有至少一个长度为整数的边。换句话说,用至少有一边的长度是整数的小矩形拼成一个大矩形,大矩形也有至少一条整数长的边。这个命题看似简单但却很难证明,更准确地说应该是很难想到证明方法。而有趣就有趣在,这个命题的证明方法出奇的多,从图论方法到数论方法,每个证明都相当巧妙。
我们所要介绍的第一个证明是我觉得最巧妙的证明方法。证明的关键在于下面这个引理:像国际象棋棋盘一样对整个平面黑白染色,那么与两坐标轴平行放置且至少一边长为偶数的矩形一定覆盖了相同面积的黑色区域和白色区域。原因很简单,看上图,该矩形中的每一个(长度为偶数个单位的)横条显然都覆盖了相同面积的黑白两色区域。
下面,我们把整个平面分成(1/2)*(1/2)大小的正方形,并且像上面那样黑白二染色,然后把那个大矩形对齐坐标轴放在平面上,左下角和原点对齐。这个矩形内的每个小矩形都有至少一个整数边,也即至少有一边的长度是1/2的偶数倍,因此每个小矩形都覆盖了相同面积的黑色区域和白色区域。这样,整个大矩形也就覆盖了同等面积的黑白区域。
然而,对于一个左下角与原点对齐的矩形,如果右上角(x,y)两个坐标值都不是整数的话,那么这个矩形所覆盖的黑色区域一定大于白色区域:除去黑白相等的“整”的部分,最后剩下的就是最右上角的那个未填满的1x1正方形有待讨论。坐标(x,y)的位置只有三种可能,而第一种情况可以等价地转化为第二种情况,第二种情况也可以等价地变成第三种情况,在第三种情况中我们立即看到,矩形所覆盖的黑色面积一定大于白色面积。
如果要让整个矩形覆盖相同面积的黑色和白色,x和y至少有一个是整数才行,而这就是我们所要证明的结论了。
我们所要介绍的第一个证明是我觉得最巧妙的证明方法。证明的关键在于下面这个引理:像国际象棋棋盘一样对整个平面黑白染色,那么与两坐标轴平行放置且至少一边长为偶数的矩形一定覆盖了相同面积的黑色区域和白色区域。原因很简单,看上图,该矩形中的每一个(长度为偶数个单位的)横条显然都覆盖了相同面积的黑白两色区域。
下面,我们把整个平面分成(1/2)*(1/2)大小的正方形,并且像上面那样黑白二染色,然后把那个大矩形对齐坐标轴放在平面上,左下角和原点对齐。这个矩形内的每个小矩形都有至少一个整数边,也即至少有一边的长度是1/2的偶数倍,因此每个小矩形都覆盖了相同面积的黑色区域和白色区域。这样,整个大矩形也就覆盖了同等面积的黑白区域。
然而,对于一个左下角与原点对齐的矩形,如果右上角(x,y)两个坐标值都不是整数的话,那么这个矩形所覆盖的黑色区域一定大于白色区域:除去黑白相等的“整”的部分,最后剩下的就是最右上角的那个未填满的1x1正方形有待讨论。坐标(x,y)的位置只有三种可能,而第一种情况可以等价地转化为第二种情况,第二种情况也可以等价地变成第三种情况,在第三种情况中我们立即看到,矩形所覆盖的黑色面积一定大于白色面积。
如果要让整个矩形覆盖相同面积的黑色和白色,x和y至少有一个是整数才行,而这就是我们所要证明的结论了。
相关文章推荐
- 一个与矩形剖分有关的命题(二):直观的图论证明
- 一个与矩形剖分有关的命题(三):诡异的微积分证明
- 一个与矩形剖分有关的命题(四):简便的数论证明
- 一个与矩形剖分有关的命题(五):数学归纳法
- 工控应用中关于刚体旋转操作的一个有用的几何命题及证明
- 一个和圆内接多边形有关的命题
- 有关周期函数的一个命题
- 证明:对于一个矩形A,可以找到另一个矩形B的周长和面积都为A的n倍(一)修正
- 关于命题“网络规划中一个VLAN要对应一个网段”的证明
- 证明:对于一个矩形A,可以找到另一个矩形B的周长和面积都为A的n倍(二)
- Conway关于莫莱(Morley)定理的一个巧妙证明
- 正数的算术平均值不小于几何平均值的一个初等证明
- 正数的算术平均值不小于几何平均值的一个初等证明
- 证明:对于一个矩形A,可以找到另一个矩形B的周长和面积都为A的n倍(一)
- 使用uc/os中遇到的一个有关OSMboxPend()的一个问题
- 用Rectangle输出一个矩形的周长和面积
- 【数据库原理】索引实例证明(一个单引号引发的MYSQL性能损失)
- 证明题:证明当n是一个整数且n>2时,方程x^n+y^n=z^n无正整数x,y,z的解。
- 编写一个单文档界面应用程序,该程序在用户区能以在两个矩形的相交矩形为外接矩形画一个椭圆。
- 创建一个大小为400*400的三通道的RGB图像。将它的全部元素置0.使用指针算法将以(100,100)与(300,300)为项点绘制一个绿色的矩形。