2013高中数学奥数培训资料之高斯函数

兰州成功私立中学高中奥数辅导资料（内部资料）§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．求证：,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证明7．对自然数n及一切自然数x，求证：].[]1[]2[]1[][nxnnxnxnxx.8．求出]31010[10020000的个位数字例题答案：1．证明：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．解：因]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5．解：.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证毕均成立故原不等式对一切命题成立时即故相加得所以成立对一切即因为即有时命题成立设NnknkxAkxkkxkxkxkxkxxxkxkxxkxxxxkxkkxxkxxAAAAkxxkxxkAkxxkxxAAAkAxAxAAxkAkAkkxkAkAkkxkAkAkkxAAxkAxAxAknkkkkkkkkkkkkkkk7．解：M＝|f(x)|max＝max{|f⑴|，|f(－1)|，|f(－2a)|}⑴若|－2a|≥1(对称轴不在定义域内部)则M＝max{|f⑴|，|f(－1)|}而f⑴＝1＋a＋bf(－1)＝1－a＋b|f⑴|＋|f(－1)|≥|f⑴＋f(－1)|＝2|a|≥4则|f⑴|和|f(－1)|中至少有一个不小于2∴M≥2＞21⑵|－2a|＜1M＝max{|f⑴|，|f(－1)|，|f(－2a)|}＝max{|1＋a＋b|，|1－a＋b|，|－4a2＋b|}＝max{|1＋a＋b|，|1－a＋b|，|－4a2＋b|，|－4a2＋b|}≥41(|1＋a＋b|＋|1－a＋b|＋|－4a2＋b|＋|－4a2＋b|)≥41[(1＋a＋b)＋(1－a＋b)－(－4a2＋b)－(－4a2＋b)]＝)2a2(412≥21综上所述，原命题正确.8．先找出3101010020000的整数部分与分数部分.3101010020000=31033103)10(100200100200200100.3108110310910310310]31010[,131093103.310310,3)10(|310310|3)10(,)3(])10[(3)10(1005020000100100200001002002000100200001001001002001002002000022100100200200002210010021002100200200100知显然是整数知又知其中分母的个位数字为3，分子的个位数字为9，故商的个位数字为3.