奥林匹克数学的技巧三2-7-18优化假设对已知条件中的多个量作有序化或最优化(最大、最小、最长、最短)的假定,叫做优化假设,常取“极端”、“限定”、“不妨设”的形式
由于假设本身给题目增加了一个已知条件,求解也就常能变得容易
求解都用到这一技巧
例2-166空间个点,任4点不共面,连条线段,证明其中至少有3条边组成一个三角形
证明设其中任意三条线段都不能组成三角形,并设从A1点引出的线段最多(优化假设),且这些线段为A1B1,A1B2,…A1Bk,除A1,B1,B2,…,Bk之外,其他点设为A2,A3,…,A2n-k
显然中任两点间无线段相连
于是,每一个发出的线段至多()条,而每个发出的线段至多条(),故线段总数最多为(图2-65):这与已知条件连条线段矛盾,故存在三条线段组成一个三角形
例2-167平面上的有限个圆盘盖住了面积为1的区域S,求证可以从中选出一些互不相交的原盘来,使它们的面积之和不小于
证明将圆心为O,半径为r的原盘记为
首先取全体圆盘中面积最大的一个记为;然后在与不相交的圆盘中取面积最大的一个,记为,接着在与,都不相交的圆盘中取面积最大的一个,记为,继续这一过程,直到无圆可取为止,设取得的圆盘依次为,,…,(1)则(1)中的圆盘互不相交,且剩下的圆盘均与(1)中的某一圆盘相交
下面证明,(1)中各圆面积之和不小于
任取,必存在一个已知圆盘,使
这个或在(1)中,或与(1)中的圆盘相交,反正必与(1)有重迭部分,现设(1)中与有公共部分的最大圆盘为,因为,与,,…,均不相交,故由的取法知,且由知,,更有
这表明从而得2-7-19计算两次对同一数学对象,当用两种不同的方式将整体分为部分时,则按两种不同方式所求得的总和应是相等的,这叫计算两次原理成富比尼原理
计算两次可以建立左右两边关系不太明显的恒等式
在反证法中,计算两次又可用来构成矛盾
例2-168能否从