高中数学竞赛讲义-高斯函数 新人教A 版VIP免费

§28高斯函数数论函数][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,.（6）niiiniiRxxxyxyxxyxyx11],[][};{}{}{{];[][][；特别地，].[][banbna（7）][][][yxxy，其中Ryx,；一般有niiiniiRxxx11],[][；特别地，NnRxxxnn,],[][.（8）]][[][nxnx，其中NnRx,.用心爱心专心1例题讲解1．求证：,2!211knnn其中k为某一自然数.2．对任意的01].22[,KkknSNn计算和3．计算和式.]503305[5020的值nnS4．设M为一正整数，问方程222}{][xxx，在[1，M]中有多少个解？5．求方程.051][4042的实数解xx6．.][3]3[2]2[1][][:,,nnxxxxnxNnRx证明用心爱心专心27．对自然数n及一切自然数x，求证：].[]1[]2[]1[][nxnnxnxnxx.8．求出]31010[10020000的个位数字例题答案：1．证明：2为质数，n!中含2的方次数为用心爱心专心31].2[)!(2ttnn若1111221111122221]2[]2[)!(2,2tktkktktkknnn则故!.|21nn反之，若n不等于2的某个非负整数次幕，可设n=2sp，其中p>1为奇数，这时总可以找出整数t，使]2[]2[)!(22!,222211ppnnpsstst的方次数为中所含于是0]2[pts].2[]22[])12(2[])222[(21pnpppptstssttstsss由于12,2)!(22!,2]2[,221ntstsnnnp则的方次数中含故则n!.这与已知矛盾，故必要性得证.2．解：因]212[]22[11kknn对一切k=0,1,…成立，因此，].2[]22[]212[111kkknnn又因为n为固定数，当k适当大时,.)]2[]2([,0]2[,1201nnnSnnKkkkk故从而3．解：显然有：若.,,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[nnnnnS4．解：显然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用心爱心专心45．解：.0][,1][][不是解又因xxxx.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．这道题的原解答要极为复杂，现用数学归纳法证明如下.【证明】.,2,1,][2]2[][kkkxxxAk令由于.,1],[1命题成立时则nxA.,,,],[][][][][][][])[])1([(]))2[(]2([])1[(]([][]2[])2[(])1[(][])1[(]2[][][])1[(]2[][][])1[(]2[][)(:].[],2[22,],)1[()1()1(],[,][,][,].)1[(,],2[],[,1122112111221111121证毕均成立故原...