28高斯函数数论函数，称为高斯函数，又称取整函数. 它是数学竞赛热点之一.定义一：对任意实数是不超过的最大整数，称为的整数部分.与它相伴随的是小数部分函数由、的定义不难得到如下性质：（1）的定义域为R ，值域为Z ；的定义域为R ，值域为 （2）对任意实数，都有. （3）对任意实数，都有.（4）是不减函数，即若则，其图像如图I －4－5－1；是以1为周期的周期函数，如图I －4－5－2.图Ⅰ—4—5—1 图Ⅰ—4—5—2（5）.其中. （6）；特别地，（7），其中；一般有；特别地，.][x y =][,x x x ][x x ].[}{},{x x x x y -==][x }{x ][x y =}{x y =)1,0[x 1}{0},{][<≤+=x x x x 且x x x x x x x ≤<-+<≤][1,1][][][x y =21x x ≤][][21x x ≤}{x y =}{}{];[][x n x x n n x =++=+*∈∈N n R x ,∑∑==∈≥+≥++≥+ni iin i iR xx x y x y x x y x y x 11],[][};{}{}{{];[][][].[][ba nb na ≥][][][y x xy ⋅≥+∈R y x ,∑∏=+=∈≥ni iin i iR xx x 11],[][*∈+∈≤N n R x x x n n ,],[][（8），其中. 例题讲解1．求证：其中k 为某一自然数.2．对任意的3．计算和式4．设M 为一正整数，问方程，在[1，M]中有多少个解？5．求方程]][[][nx n x =*∈+∈N n R x ,,2!211--=⇔k n n n ∑∞=+*+=∈01].22[,K k kn S N n 计算和.]503305[502的值∑==n nS 222}{][x x x =-.051][4042的实数解=+-x x6．7．对自然数n 及一切自然数x ，求证：.8．求出的个位数字.][3]3[2]2[1][][:,,nnx x x x nx N n R x ++++≥∈+∈*证明].[]1[]2[]1[][nx nn x n x n x x =-+++++++ ]31010[10020000+例题答案：1．证明：2为质数，n!中含2的方次数为若故反之，若n 不等于2的某个非负整数次幕，可设n=2s p ，其中p >1为奇数，这时总可以找出整数t ，使由于n !.这与已知矛盾，故必要性得证. 2．解：因对一切k =0,1,…成立，因此， 又因为n 为固定数，当k 适当大时,3．解：显然有：若503是一个质数，因此，对n=1,2,…,502, 都不会是整数，但+可见此式左端的两数的小数部分之和等于1，于是，[]+故4．解：显然x =M 是一个解,下面考察在[1，M]中有少个解.∑∞==1].2[)!(2t t n n ∑∑∞=-=--------=-=++++====1111221111122221]2[]2[)!(2,2t k t k k t k t k k n n n 则!.|21n n -+++=<<--+ ]2[]2[)!(22!,222211p p n n p s s t s t 的方次数为中所含于是≤++- 0]2[p t s ].2[]22[])12(2[])222[(21p n p p p p t s t s s t t s t s s s -------+=-=-=+++ 12,2)!(22!,2]2[,221----≤-=-<<n t s ts n n n p 则的方次数中含故则]212[]22[11+=+++k k n n ].2[]22[]212[111+++-⋅=+k k k nn n .)]2[]2([,0]2[,1201n nn S n n K k k k k ==-==<∑∞=+ 故从而.,,1][][][,1}{}{R y x y x y x y x ∈++=+=+则503305n 503305n ,305503)503(305=-n 503305n .304]503)503(305[=-n ∑∑===⨯=-+==25115021.76304251304]),503)503(305[]503305([]503305[n n n n n S设x 是方程的解.将代入原方程，化简得所以上式成立的充要条件是2[x ]{x }为一个整数.5．解：经检验知，这四个值都是原方程的解.6．这道题的原解答要极为复杂，现用数学归纳法证明如下. 【证明】 由于222}{}{}{2][x x x x x +⋅+==}]{[2x x ,1}{0].}{}]{[2[2<≤+x x x x 由于.1)1(],1[,.)1())1(21(2),1[,11.2)1,[),12,,1,0(2}{,][个解中有原方程在因此个解中方程有可知在又由于个解中方程有即在则必有设+--⋅=-+++-≤≤+-==∈=M M M M M M M M m m m m m k mkx N m x .0][,1][][不是解又因<+<≤x x x x ⎪⎪⎪⎩⎪⎪⎪⎨⎧≤≥>⎪⎪⎪⎩⎪⎪⎪⎨⎧≤≥<⎩⎨⎧≤-->--⎪⎩⎪⎨⎧≤+->+-+∴.217][,23][,211][;217][,23][,25][.07][2)(3][2(.0)11][2)(5][2(.051][4][4,051][40)1]([422x x x x x x x x x x x x x x 或.2269,02694;2229,02294;2189,01894;229,0294:,876][2][2222==-==-==-==-==x x x x x x x x x x 分别代入方程得或或或解得.,2,1,][2]2[][ =+++=k kkx x x A k 令.,1],[1命题成立时则==n x A7．解：M ＝|f(x)|max ＝max{|f ⑴|，|f(－1)|，|f(－)|} ⑴若|－|≥1 (对称轴不在定义域内部) 则M ＝max{|f ⑴|，|f(－1)|} 而f ⑴＝1＋a ＋b f(－1)＝1－a ＋b|f ⑴|＋|f(－1)|≥|f ⑴＋f(－1)|＝2|a|≥4 则|f ⑴|和|f(－1)|中至少有一个不小于2∴ M≥2＞⑵|－|＜1 M ＝max{|f ⑴|，|f(－1)|，|f(－)|} ＝max{|1＋a ＋b|，|1－a ＋b|，|－＋b|}＝max{|1＋a ＋b|，|1－a ＋b|，|－＋b|，|－＋b|}≥(|1＋a ＋b|＋|1－a ＋b|＋|－＋b|＋|－＋b|)≥[(1＋a ＋b)＋(1－a ＋b)－(－＋b)－(－＋b)]＝≥综上所述，原命题正确.8．先找出的整数部分与分数部分..,,,],[][][][][][][])[])1([(]))2[(]2([])1[(]([][]2[])2[(])1[(][])1[(]2[][][])1[(]2[][][])1[(]2[][)(:].[],2[22,],)1[()1()1(],[,][,][,].)1[(,],2[],[,1122112111221111121证毕均成立故原不等式对一切命题成立时即故相加得所以成立对一切即因为即有时命题成立设*---------∈=≤∴=+++≤++-++-++-+=+++-+-++-+++≤++++++-+++=+-+++=+++-==--=---=-=-=--≤≤≤-≤N n k n kx A kx k kx kx kx kx kx x x k x k x x k x x x x k x k kx x k x x A A A A kx x k x x kA kx x k x x A A A kA x A x A A x k A k A k kx kA kA k kx kA kA kkx A A x k A x A x A k n k k k k k k k k k k k k k k k 2a 2a212a2a 4a 24a 24a 2414a 24a 2414a 24a 2)2a 2(412+213101010020000+=其中分母的个位数字为3，分子的个位数字为9，故商的个位数字为3.3101010020000+31033103)10(100200100200200100+++-.3108110310910310310]31010[,131093103.310310,3)10(|310310|3)10(,)3(])10[(3)10(1005020000100100200001002002000100200001001001002001002002000022100100200200002210010021002100200200100+-=+-=+-=+<+=++--+---=-知显然是整数知又知。