10下4高斯函数.pptVIP

第七节 高斯函数[x] 又名“取整函数” 设 x 为任意实数，不超过x的最大整数称为 x的整数部分，记作 [x] ,称为高斯函数（或方括号函数）．称x －[x] 为 x 的小数部分，记作{x}． 　　例如，[0.25] = 0，[ ] = 7，[－3] = －3， {π}=0.14159，[－π]=－4，… 定理1 ( 4 ) [x] + [y] ≤ [x+y] ≤[x] + [y] ＋1,其中等号有且仅有一个成立 ; 0≤{x + y}≤{x}+{y }. 证：因0≤ {x},{y} 1，故0≤{x}+{y}2. 于是由x+y = [x] + [y]+{x}+{y}即知 定理1.28 定理1 设n≥2，则在 n! 的标准分解式中，记素因数 p 的指数α= fp (n!) , 则 例 数100! 末尾连续地有多少位全是零? 解：命题等价于求100!可被10的多少次方整除．因10=2× 5，而由定理1知100! 中2的指数大于5的指数，因而100! 中 5 的指数 α就是需求的100! 末尾全是零的位数．但 定理4 设n是正整数，1≤k≤n-1，则 证明过程 当是任意正实数时,即厄米特恒等式成立.定理证毕. 问题探讨1 设n正整数，则 问题探讨2 * * 由定义1可直接推得下列性质： 1 x = [x] + {x}； ０≤ {x} 1． 2 x－1 [x] ≤ x [x]+1. 定义 1 (1) 若x ≤ y,则 [ x] ≤ [ y]; (2) 当 n∈Z时, [n+x] = n + [x],{n+x} = {x}. 设x, y ∈R, ，则有 (1)证：∵[ x] ≤ x ≤ y [ y] ＋1 , ∴ [ x] ≤ [ y]. 严格不等式 ! 探索： [ x-y]与[ x]-[ y]之间的关系 故[x] + [y] ≤[ x+y] ≤[x] + [y] ＋1． 证毕． 性质 4 可推广到多个数相加的情况， 而0≤{x + y}是显然的. 定义 ! 上述第一种等号,第二种小于号 ! 据此，又可得 若x ∈R＋, n ∈Z＋,则从1到 x 所有整数中, n 的倍数有 [ ]个 例1 重新思考：带余数除法的表达式 例1 求在 200到 500 的整数中， 7 的倍数有多少个？ 解 ∴所求7 的倍数有 71 － 28 = 43 （个）. 证：若pn，则p | n!，即在 n! 的标准分解式中p的指数是零，此时(1)显然成立．现设 p≤n， 可知数列1, 2, …, n 中，p 的倍数共有[ ]个：p，2p，…，[ ] p．它们的积是 注意 在定理中如果 p 不是质数，则结论不成立．比如 n = 15 ， p = 4 时. 故100! 末尾连续地有24位全是数字0． 推论 n!的标准分解式是 100!=93326215443944152681699238856266700490715968264381621468592963895217599993229915608941463976156518286253697920827223758251185210916864000000000000000000000000 这里 表示p取遍不超过n的所有素数所作的乘积。 若n是素数，则 例 试证埃尔米特(Hermite)恒等式： 证明思路1: 凑整： 等式左边可以分成两部分：一是 x 的整数部分相加．二是由 x 的小数部分加上 i / n ( i =1, 2, …, n－1), 然后取整得到的．再与右边比较。 证明思路2：函数思想 ( 构造函数 f(x) 为等式右侧减左侧的差。 ) 当x是任意正实数时,即厄米特恒等式成立.证毕. 进一步 设x和y是正无理数， 证明：数列[x],[2x], …,[kx], …与[y],[2y], …,[ky], …联合构成了整个正整数集合，而且，两个数列中的数互不相同。 证明思路： 1.在上述数列中有一个数等于给定的正整数n; 2.对于任意给定的正整数 n，总可找到某个正整数k，使得n等于[kx]或者[ky]。 思路: 化为求不等式的整数解, 因为整数解只有有限个. 化的依据: [x] ≤ x [x]+1 (定义导出的最基本性质) 解关于 y 的不等式得