E14一类离散最值问题的探究.doc

 PAGE \* MERGEFORMAT 19 参赛队员：蔡煜晟、赵海洲 所在省份：浙江省 所在国家：中华人民共和国 指导老师：张传鹏、杨晓鸣 论文标题：一类离散最值问题的探究 目 录 摘要 关键词 1. 背景与结果………………………………………（3） 2. 预备知识…………………………………………（5） 3. 引理的证明………………………………………（6） 4. 定理的证明…………………………………… （11） 5. 思考与展望…………………………………… （18） 附录：参考文献…………………………………… （19） 一类离散最值问题的探究 摘 要 本文探究了在给定m×m网格中任意画圆，圆周经过的格点数f(m)的最大值问题。对于方格数小于15×15，借助已有的知识和工具问题得到彻底解决；对于方格数大于16×16，我们引进了类似Farey数列，建立一套计数方法，得到函数f(m)的下界。在此基础上，给出相应圆的半径的上界和下界，并根据函数f(m)的下界和圆的半径范围求出所有可能的圆，再分别计算这些圆所经过的格点数。从而得出在给定m×m网格中任意圆周经过的格点数的最大值。 关键词 格点、欧拉函数、Farey数列、互质。 Abstract This paper mainly discusses how to get f(m), the maximum number of grid points a circle can pass in a grid net of m × m. For m≤15, we solve the problem using known tools and knowledge. For m≥16, we make use of the similar calculation method as Farey Sequence, and get the lower bound of the range of f(m). Based on this lower bound, we calculate the range of the radius of the circle; next, we obtain all the circle equation for all the possible circle according to the lower bound of f(m) and range of radius. Finally, the maximum number of grid point a circle can pass in the gird net of m × m is obtained. Keyword Grid point Grid net, Euler Function, Farey Sequence, Relatively Prime Integers 1. 背景与结果 2010年浙江省湖州市中考有一道很有意思的题目，即第16题： 请你在如图一所示的12×12的网格图形中任意画一个圆，则所画的圆最多能经过169个格点中的___________个格点． [1] 图一 这道题当时给出的标准答案是12，它实际上是错误的，正确答案应该是16。我们注意到这一错误，并且进行探究之后，对于m=12以外的情况产生了兴趣。 我们知道，哈代等数学家在他的论著[2]（p257~258）中，得到了以原点为圆心的圆周经过的格点数，即得到下面的命题。 命题 方程（， 、分别为形如以及不同的素数）有整数解组数为4（＝）。 事实上，华罗庚先生在他的《数论导引》[３]（p131—140）中对以原点为圆心的圆周经过的格点数、中心在原点的椭圆内的格点数、以及三维球内和高维球内的格点数都作了论述。 我们利用这些结果得到下面的推论： 推论 若圆（a、n为正整数，、为整数，圆的半径为R＝）在m×m的网格上经过s个格点。若当Rm时，则s≤；若当≤m时，则s≤2；若当≤时，s≤4。 我们知道，要使在给定方格中得圆周经过的格点数最多，利用圆的性质，其圆心一定为有理点。所以，我们总假设圆的圆心是有理点。 利用推论，以及圆的半径的平方数的质因数分解，解决了网格数小于15×15的网格中任意圆周经过的最大格点数。但当网格数大于16×16，该方法失效，失效的原因是此时解决该问题时使用的抽屉原理不能使用，因为抽屉个数多于格点个数。所以当网格数大于16×16就要另辟其径。 解决问题的关键之一是整数的计数方法，受Farey数列的启发，我们引进边长和的概念（以两个格点为对角线所做矩形的两邻边之和），这个和记为，对角线的斜率的绝对值记为＝（、为互素的正整数），这样建立了整数与整数+的关系。这样，利用欧拉函数建立了一套计数