最新数学奥赛--高斯函数.docVIP

精品文档 数学奥赛辅导 第五讲高斯函数 知识、方法、技能 y?[x]，称为高斯函数，又称取整函数. 这一讲介绍重要的数论函数它是数学竞赛热点之一. xx],[xx]x[的整数部分是不超过定义一：对任意实数.的最大整数，称为与它相伴随y?{x},{x}?x?[x]. 的是小数部分函数{x}][x的定义不难得到如下性质：、由 y?[x]y?{x}[0,1) 的定义域为R，值域为Z；的定义域为（1），值域为Rx?[x]?{x},且0?{x}?1x. ，都有（2）对任意实数x[x]?x?[x]?1,x?1?[x]?x. （，都有3）对任意实数x?x[x]?[x]][xy?，其图像如图I （4）－4－5是不减函数，即若－1；则 2112y?{x}是以1为周期的周期函数，如图I －4－5－2. 2 —4 图Ⅰ——5 — 图Ⅰ—4—51 ?N?,nRx?}x?n}?{[[x?n]?n?x];{x. 其中.（5）nn??Rx[x{}?x?y};[],?x]?{{yxy[x?]?[]?[];{xx}?y ；特别地，）（6iii1i?1i?ana].[]?[n bbnn??Rxx]?[x],?[Ryx,?][][xy?x[]?y ；特别地，），其中；一般有7（?iii?1?i1?i 精品文档． 精品文档?nnN?R?,x]n?[x],x[?. ][xx?N?R?,nx?][[]?. （8），其中 nn. ）略7【证明】（1）—（xx??Zm[m?1]?m,m?nm)1nm?x?n(m?，则（.由于8， ）令，因此， nn][x[x].故?1,[]?mm??m),?1]?[x?n(mnm(nm?1)?N 于是，3，则由（）知， nn. 证毕. 取整函数或高斯函数在初等数论中的应用是基于下面两个结论x?Nx?R?,n?][n. 之间的整数中，有个是定理一：的倍数，且1至x nxxxxx?][]?1)?n?1,即[]?n?x?([?[]【证明】因而是n，此式说明：不大于x nnnnn][x 的倍数的正整数只有这个： nx.?nn,2n,?,[] nnp 定理二：在的最高方次数是！中，质数nnn.[])[][]p(n!????? 32pppppn1,!)n?p(n!n各数中，…，一定是【证明】由于是质数，因此1，含2的方次数nn2][][ppp的中有个的倍数，有个所含n的方次数的总和.由定理一知，1，2，…， 2ppnn.[]]p(n!)[???? 倍数，…，所以 2p，由于的因数. 此定理说明：其中M不含例如，[][!)?7(2000]?M?p?n! 277330. M7 =7 ·M，其中+…=285+40+5=330，则2000！1n?12][??[x?nx]??[,n?N,则x]?[x?][x?]??xR （厄米特恒等式）定理三： nnn 1】引入辅助函数【证法112n??12n??)].f(xx?[?]?[x??[xxnxxf()?[]?[]?[?]?x?]? 因… nnnnn11],?[0x)f)?f(x(xR?x时，成立，所以是一个以为周期的周期函数，而当对一切 nn0?xf()Rx?. 直接计算知，厄米特恒等式成立，故任意 精品文档． 精品文档1?1n}].xn{]?n[x}]?[{x}?]?[?]??[{x}?]n[x?[{x消】等式等价于【证法2 nn)10,n[x]x?[k使得，则一定存在一个去后得到与原等式一样的等式，只不过是对k?1kk?1kkx?k?1.(k?1)?n?[nx]?，知，故原式右端，即由另一方面，?x???x nnnn1??n?2k?n12k?2k?ik?i?1k1kk?1k??xx?,?,???x?,?x??,?,? nnnnnnnnnnt?k1k,即t?n??1?[x?]??[x]?，设 . 这时，1在这批不等式的右端总有一个等于 nn1?kn?kn??1n1?[x?]???[x?][x?]?01?k之，因此原式的左端是，而个1 nnn.?k?1. 和，即左端故左=右，这个方法是：第一.【评述】证法2的方法既适用于证明等式，也适用于证明不等式)10,[[0,1). 步“弃整”，把对任意实数的问题转化为分段讨论的问题；第二步对. 下面给出一个定理高斯函数在格点（又叫整点）问题研究中有重要应用. ?],by?f(x)在[a],bf(t)](t为[a[内的上连续而且非负，那么和式定理四：设函数b?a?t)x?b,0?yf(a?x? 特别地，有内