6第六讲高斯函数及其应用学生版概述.doc

第六讲 高斯函数与整点 本讲概述 本讲我们将研究全国数学联赛二试范围内初等数论所要求的最后一个专题：高斯函数. 实际上高斯函数就是取整函数，利用这个函数可以将以前很多需要大量描述才能说清楚的问题很简洁地描述和处理.我们想给出高斯函数的定义及若干性质: 定义一：对任意实数是不超过的最大整数，称为的整数部分.与它相伴随的是小数部分函数 由、的定义不难得到如下性质： （1）的定义域为R，值域为Z；的定义域为R，值域为 （2）对任意实数，都有. （3）对任意实数，都有. （4）是不减函数，即若则，其图像如图1； 是以1为周期的周期函数，如图2. 图1 图2 （5）.其中. （6）； 特别地， （7），其中；一般有； 特别地，. （8），其中. 【证明】（1）—（7）略. （8）令，则，因此，.由于， 于是， 证毕. 上面（1）-（5）都很容易理解；而（6）-（7）一般只需掌握二元形式，多元的很难用上；(8)的证明方法是涉及高斯函数问题的一种典型方法，必须熟练掌握. 以下给出高斯函数相关的几个重要定理： 定理一：，且1至x之间的整数中，有个是的倍数. 【证明】因，此式说明：不大于x而是n的倍数的正整数只有这个： 定理二：在！中，质数的最高方次数是 【证明】由于是质数