1.8高斯函数解析.docVIP

高斯函数 本节我们约定：全体实数的集合简称实数集，记作R 不超过实数x的最大整数记作。例如，，1， 。 函数叫做高斯（Grauss）函数. 值得注意的是，高斯函数通常也叫做取整函数.因此常出现类似的错误. 显然是整数，且满足，当且仅当为整数时“=”成立。 请读者自己画出函数的图像，并说明图像的特征。 高斯函数有如下性质。 性质1 函数是不减函数，即若，则有。 证明：由定义知，又，故，这说明是不超过的一个整数，而是不超过的最大整数，所以 性质2 若是整数，则，即整数可以从方括号中提出。 性质3 证明：当是整数时，显然有； 当不是整数时，设，则 故 性质4 若，则. 证明：设两式相减，得 所以。由得， 故 性质5 证明：设，两式相加，得 由，得，所以 性质6 若，则 证明：设， 则，故，即为不超过的一个整数，故 例1 若，其中均为正整数，且，求证： 证明:因为所以 故 例2 定理1设x是正实数，n是正整数，则从1到x的整数中，n的 倍数有个 定理2在n！的标准分解式中，质因数p的指数是 证明:因为p是质数，所以n！中p的指数h等于把2,3,4, ……, n 都分解成标准分解式后，各分解式中p的指数的总和.由定理1可 知，在2,3,4,…，n中有个p的倍数，有个的倍数，…… 例3 求7在2 000!中的最高幂指数. 解:因为73 = 343 2 000 2 401=74而 所以7在2 000!中的最高幂指数为285+40+5=330. 例4 求2 001!中末尾0的个数. 分析：因为10 = 2X5，所以2 001!中末尾0的个数相当于2 001 !的质因数分解式中2X5的个数.由于25，故2 001!的质因数分解式中所含2的个数要比含5的个数多(为什么?)，因此只需考察2 001!中含有质因数5的个数. 解:因为625=542 00155= 3 125, 所以2 001!中含有质因数5的最高幂指数为 所以2 001!中末尾0的个数是499. 例5 求30!的标准分解式. 解:所有不大于30的质因数有 2，3，5,7,11，13，17，19,23,29. 只要求出上述10个质因数的最高幂指数即可. 在30!中， 2的最高幂指数为 3的最高幂指数为 5的最高幂指数为 同理7,11,13,17,23,29的最高幂指数依次为4,2,2,1,1,1,1. 所以30！的标准分解式为 30！= （另一本书） 在上一节里面我们讨论了把任意一个正整数分解成标准分解式的问题，现在我们就要实际求出n!的标准分解式，为了达到这个目的，我们先介绍两个在数论中常常用到的函数：与。 定义：函数与是对于一切函数都有定义的函数，函数的值等于不大于的最大整数；函数的值是-。我们 把[x]叫做x的整数部分，{x}叫做x的分数部分. 由定义可以立刻得出下列简单性质: 证 b时显然.设m是任一不大于而为b的倍数的正整 数，则 故满足以上条件的m的个数等于满足(1)的的个数，因而等于. 证完 定理 在n!的标准分解式中质因数p()的指数 注意.若。则，故上式只有有限项不为零，因而有意义. 证 设想把2，……，n都分解成标准分解式，则由算术基本定 理，h就是这n-1个分解式中p的指数之和，设其中P的指数是r 的有n，个，则 其中恰好是2,……,n这n-1个数中能被.除尽 的个数，但由，，故 推论1 其中表示展布在不超过n的一切指数上的积式. 推论2贾宪数是整数.由及 {0，1，2，3} 【分析】 如图2-52，用矩形平面部分标识1以内分母是60的分数的集合 它共有60个元素，（为方便计算，把也列入其中） 在这些分数里， 分子能被2整除的分数有（个）； 分子能被3整除的分数有（个）； 分子能被5整除的分数有（个）； 这三类分数分别用图2-52中A,B,C,三个圆圈内的平面部分表示。 此外，分子能被2和3整除的分数有（个）； 分子能被2和5整除的分数有（个）； 分子能被3和5整除的分数有（个）。 标识着三个集合的是图中给每个圆面的公共部分，即三个“枣核形”。 最后，分子能同时被2、3、5整除的分数有（个） 因此，1以内分母是60的分数中，不是最简真分数的有 （个）。 如果最初不将 列为集合里的元素，则应列式为（个）