6第六讲高斯函数及其应用学生版题稿.doc

第六讲 高斯函数与整点 本讲概述 本讲我们将研究全国数学联赛二试范围内初等数论所要求的最后一个专题：高斯函数. 实际上高斯函数就是取整函数，利用这个函数可以将以前很多需要大量描述才能说清楚的问题很简洁地描述和处理.我们想给出高斯函数的定义及若干性质: 定义一：对任意实数是不超过的最大整数，称为的整数部分.与它相伴随的是小数部分函数 由、的定义不难得到如下性质： （1）的定义域为R，值域为Z；的定义域为R，值域为 （2）对任意实数，都有. （3）对任意实数，都有. （4）是不减函数，即若则，其图像如图1； 是以1为周期的周期函数，如图2. 图1 图2 （5）.其中. （6）； 特别地， （7），其中；一般有； 特别地，. （8），其中. 【证明】（1）—（7）略. （8）令，则，因此，.由于， 于是， 证毕. 上面（1）-（5）都很容易理解；而（6）-（7）一般只需掌握二元形式，多元的很难用上；(8)的证明方法是涉及高斯函数问题的一种典型方法，必须熟练掌握. 以下给出高斯函数相关的几个重要定理： 定理一：，且1至x之间的整数中，有个是的倍数. 【证明】因，此式说明：不大于x而是n的倍数的正整数只有这个： 定理二：在！中，质数的最高方次数是 【证明】由于是质数，因此含的方次数一定是1，2，…，各数中所含的方次数的总和.由定理一知，1，2，…，n中有个的倍数，有个2的倍数，…，所以 此定理说明：，其中M不含的因数.例如，由于 +…=285+40+5=330， 则2000！=7330·M，其中. 定理三：（厄米特恒等式） 高斯函数在格点（又叫整点）问题研究中有重要应用. 下面给出一个定理. 定理四：设函数上连续而且非负，那么和式内的整数）表示平面区域内的格点个数.特别地，有 位于三角形：内的格点个数等于为整数）； （2）奇数p,q满足，矩形域内的格点数等于 *注：利用上面的结果，我们可以证明关于初等数论中关于雅可比符号的二次互反律. *（3），区域：内的格点个数等于 . 这些结论通过画图即可得到. 关于格点更深入的研究(如格点多边形面积等)往往涉及到组合几何的与数论的高级知识，有兴趣的同学可以参考闵嗣鹤的小丛书《格点与面积》，这些更高难度的问题一般只在冬令营及更高级别赛事中出现，本讲不涉及.一般来说，联赛中只涉及到中等难度的格点个数计数问题，其处理手段即利用定理4. 例题精讲 （1）试利用定理2给出34！的质因子分解形式； （2）若其展开式最后12位是，试确定最后9位数. 【例2】（1）证明当n=1,2,…时交错地取偶数与奇数值。 （2）证明,m=0,1,2,…. 【例3】(1) 双曲线的右半支与直线围成的区域内部（不含边界）整点个数为： (2)对任意自然数n，连接原点与点.用表示线段上除端点以外的整点个数，试求和： 【例4】解方程：. 【例5】求所有满足条件的实数a，其中n为任意正整数时皆成立. 【例6】求出的个位数字. 【例7】当n遍历全体正整数时，证明亦遍历全体正整数，但数列中的项除外. 【例8】证明定理3（厄米特恒等式）则 【例9】设非负整数咧满足对所有的i,j，i+j 证明：存在唯一实数x，使得对一切n=1,2,,1997,. 【例10】设为正整数，求等式成立的充要条件. 大显身手 练习1.整数的末两位数是_______． 练习2.解方程：. 练习3对任意整数，证明：. 练习4.证明：.将n换为正实数x，等式是否仍成立？ 练习5. 练习6.设n是一个固定的正整数，b(n)是关于所有正整数k的最小值。证明[b(n)]=[. 练习7.设S(x)表示数列，证明方程有两相异实根,使得中有无穷多个正整数。 练习8.求最大的实数，使得对任意的，均有. 练习9.求满足下式的所有自然数a,b:. 练习10.确定所有的实数对(a,b)使得a[bn]=b[an]对一切正整数n成立。 练习11.证明对每个自然数k，存在无理数，使得对任一自然数m， 练习12.设为方程 的最大正根。证明被17整除。 练习13.（B