数学奥赛辅导第五讲 高斯函数

1数学奥赛辅导第五讲高斯函数知识、方法、技能这一讲介绍重要的数论函数][xy，称为高斯函数，又称取整函数。它是数学竞赛热点之一。定义一：对任意实数][,xx是不超过x的最大整数，称][x为x的整数部分。与它相伴随的是小数部分函数].[}{},{xxxxy由][x、}{x的定义不难得到如下性质：（1）][xy的定义域为R，值域为Z；}{xy的定义域为R，值域为)1,0[（2）对任意实数x，都有1}{0},{][xxxx且。（3）对任意实数x，都有xxxxxx][1,1][][。（4）][xy是不减函数，即若21xx则][][21xx，其图像如图I－4－5－1；}{xy是以1为周期的周期函数，如图I－4－5－2。图Ⅰ—4—5—1图Ⅰ—4—5—2（5）}{}{];[][xnxxnnx。其中NnRx,。2（6）niiiniiRxxxyxyxxyxyx11],[][};{}{}{{];[][][；特别地，].[][banbna（7）][][][yxxy，其中Ryx,；一般有niiiniiRxxx11],[][；特别地，NnRxxxnn,],[][。（8）]][[][nxnx，其中NnRx,。【证明】（1）—（7）略。（8）令Zmmnx,][，则1mnxm，因此，)1(mnxnm。由于nm，Nmn)1(，则由（3）知，),1(][mnxnm于是，.]][[,1][mnxmnxm故证毕。取整函数或高斯函数在初等数论中的应用是基于下面两个结论。定理一：NnRx,，且1至x之间的整数中，有][nx个是n的倍数。【证明】因nnxxnnxnxnxnx)1]([][,1][][即，此式说明：不大于x而是n的倍数的正整数只有这nx][个：.][,,2,nnxnn定理二：在n！中，质数p的最高方次数是.][][][)!(32pnpnpnnp【证明】由于p是质数，因此!n含p的方次数)!(np一定是1，2，…，nn,1各数中所含p的方次数的总和。由定理一知，1，2，…，n中有][pn个p的倍数，有][2pn个p2的3倍数，…，所以.][][)!(2pnpnnp此定理说明：Mpnnp)!(!，其中M不含p的因数。例如，由于]72000[]72000[)!2000(72+…=285+40+5=330，则2000！=7330·M，其中7M。定理三：（厄米特恒等式）][]1[]2[]1[][,,nxnnxnxnxxNnRx则【证法1】引入辅助函数].1[]2[]2[]1[][][)(nnxnnxnxnxxnxxf因)1(nxf…)(xf对一切Rx成立，所以)(xf是一个以n1为周期的周期函数，而当]1,0[nx时，直接计算知0)(xf，故任意Rx，厄米特恒等式成立。【证法2】等式等价于}].{[][]1}[{]1}[{}][{][xnxnnnxnxxxn消去][xn后得到与原等式一样的等式，只不过是对)1,0[x，则一定存在一个k使得nkxnk1，即knxk)1(，故原式右端.1][knx另一方面，由nkxnk1知，nnkxnnknikxniknknxnknknxnk12,,1,,221,11，在这批不等式的右端总有一个等于1，设kntntk即,1。这时，]1[][nxx0][nknx，而1]1[]1[nnxnknx，因此原式的左端是1k个1之和，即左端.1k故左=右。【评述】证法2的方法既适用于证明等式，也适用于证明不等式。，这个方法是：第一步“弃整”，把对任意实数的问题转化为)1,0[的问题；第二步对)1,0[分段讨论。高斯函数在格点（又叫整点）问题研究中有重要应用。下面给出一个定理。定理四：设函数],[)(baxfy在上连续而且非负，那么和式btabattf],[)](([为内的整数）表示平面区域)(0,xfybxa内的格点个数。特别地，有4（1）位于三角形：dxcbaxy,0内的格点个数等于dxcxbax且]([为整数）；（2）1),(qp，矩形域]2,0;2,0[pq内的格点数等于.2121][][2/02/0qxpyqpypqxqp（3）0r，圆域222ryx内的格点个数等于2/0222]2[4][8][41rxrxrr。（4）0n，区域：nxyyx,0,0内的格点个数等于nxnxn02][][2。这些结论通过画图即可得到。5赛题精讲例1：求证：,2!211knnn其中k为某一自然数。（1985年第17届加拿大数学竞赛试题）[证明]2为质数，n!中含2的方次数为1].2[)!(2ttnn若1111221111122221]2[]2[)!(2,2tktkktktkknnn则故!.|21nn反之，若n不等于2的某个非负整数次幕，可设n=2sp，其中p1为奇数，这时总可以找出整数t，使]2[]2[)!(22!,222211ppnnpsstst的方次数为中所含于是0]2[pts].2[]22[])12(2[])222[(21pnpppptstssttstsss由于12,2)!(22!,2]2[,221ntstsnnnp则的方次数中含故则n!。这与已知矛盾，故必要性得证。例2：对任意的01].22[,KkknSNn计算和（第10届IMO试题）【解】因]212[]22[11kknn对一切k=0，1，…成立，因此，].2[]22[]212[111kkknnn又因为n为固定数，当k适当大时，.)]2[]2([,0]2[,1201nnnSnnKkkkk故从而6例3：计算和式.]503305[5020的值nnS（1986年东北三省数学竞赛试题）【解】显然有：若.,,1][][][,1}{}{Ryxyxyxyx则503是一个质数，因此，对n=1，2，…，502，503305n都不会是整数，但503305n+,305503)503(305n可见此式左端的两数的小数部分之和等于1，于是，[503305n]+.304]503)503(305[n故25115021.76304251304]),503)503(305[]503305([]503305[nnnnnS例4：设M为一正整数，问方程222}{][xxx，在[1，M]中有多少个解？（1982年瑞典数学竞赛试题）【解】显然x=M是一个解，下面考察在[1，M]中有少个解。设x是方程的解。将222}{}{}{2][xxxxx代入原方程，化简得}]{[2xx,1}{0].}{}]{[2[2xxxx由于所以上式成立的充要条件是2[x]{x}为一个整数。.1)1(],1[,.)1())1(21(2),1[,11.2)1,[),12,,1,0(2}{,][个解中有原方程在因此个解中方程有可知在又由于个解中方程有即在则必有设MMMMMMMMmmmmmkmkxNmx例5：求方程.051][4042的实数解xx（第36届美国数学竞赛题）【解】.0][,1][][不是解又因xxxx7.217][,23][,211][;217][,23][,25][.07][2)(3][2(.0)11][2)(5][2(.051][4][4,051][40)1]([422xxxxxxxxxxxxxx或.2269,02694;2229,02294;2189,01894;229,0294:,876][2][2222xxxxxxxxxx分别代入方程得或或或解得经检验知，这四个值都是原方程的解。例6：.][3]3[2]2[1][][:,,nnxxxxnxNnRx证明（第10届美国数学竞赛试题）这道题的原解答要极为复杂，现用数学归纳法证明如下。【证明】.,2,1,][2]2[][kkkxxxAk令由于.,1],[1命题成立时则nxA8.,,,],[][][][][][][])[])1([(]))2[(]2([])1[(]([][]2[])2[(])1[(][])1[(]2[][][])1[(]2[][][])1[(]2[][)(:].[],2[22,],)1[()1()1(],[,][,][,].)1[(,],2[],[,1122112111221111121证毕均成立故原不等式对一切命题成立时即故相加得所以成立对一切即因为即有时命题成立设NnknkxAkxkkxkxkxkxkxxxkxkxxkxxxxkxkkxxkxxAAAAkxxkxxkAkxxkxxAAAkAxAxAAxkAkAkkxkAkAkkxkAkAkkxAAxkAxAxAknkkkkkkkkkkkkkkk例7：对自然数n及一切自然数x，求证：)].([]1[]2[]1[][苏联数学竞赛题nxnnxnxnxx【证明】则},{][xxx]1[]2[]1[][nnxnxnxx].[]1[]2[]1[][}].{[]1}[{]2}[{]1}[{}][{.}]{[.1}{,}{11}{1}{.]1}[{]}[{]1}[{]2}[{]1}[{}][{,11}{,1}{,1,.}]{[]1}[{]2}[{]1}[{}][{}],{[][}]{][[][].1}[{]2}[{]1}[{}][{][],1}[{][]2}[{][]1}[{][}][{][]1}{][[]2}{][[]1}{][[}]{][[nxnnxnxnxxxnnnxnxnxxknxnknxnknxnnkxnkxknnnxnkxnkxnxnxxnkxnkxnkkxnnnxnxnxxxnxnxnxnnxnnxnxnxxxnnnxxnxxnxxxxnnxxnxxnxxxx从而有知故知且知及由则而使设存在即可故只要证明].[]1[]2[]1[][}].{[]1}[{]2}[{]1}[{}][{.}]{[.1}{,}{11}{1}{.]1}[{]}[{]1}[{]2}[{]1}[{}][{,11}{,1}{,1,.}]{[]1}[{]2}[{]1}[{}][{}],{[][}]{][[][].1}[{]2}[{]1}[{}][{][],1}[{][]2}[{][]1}[{][}][{][]1}{][[]2}{][[]1}{][[}]{][[nxnnxnxnxxxnnnxnxnxxknxnknxnknxnnkxnkxknnnxnkxnkxnxnxxnkxnkxnkkxnnnxnxnxxxnxnxnxnnxnnxnxnxxxnnnxxnxxnxxxxnnxxnxxnxxxx