关于高斯函数应用的一个结果.pdfVIP

第7卷 第24期 2007年l2月 科 学 技 术 与 工 程 V01．7 No．24 Dee．2Oo7 1671-1819(2007)24—6395—02 Science Technology and Engineering @ 2007 Sei．Tech．Engng． 关于高斯函数应用的一个结果 陈 斌 (西北大学数学系，西安710069；渭南师范学院数学系，渭南714000) 摘 要 利用高斯函数的定义和性质等相关知识，对一个关于整除问题与二项式定理问题的命题，经过猜测、归纳等方法进 行了证明，并得出了一个重要结论：若(口。， )=l， ≠ =l，2，…， ，则 三三一 是整数 。 关键阋 高斯函数 算术基本定理 整数 中国法分类号 0．156； 文献标识码 A 呙册幽致 (z)=【xl表不／f、趋过买致 的最大 于)，0，有 =)，[÷】+)，叼，即【 】=)， 整数，又名为取整函数。利用高斯函数及其性质， 经过猜测、归纳、计算，得到了下面的一个结果。 [y 】+【 】。 定理：设 (口。，口：) =l， 是整 因此，有[ 】=[号】+[ 】，但是，由于0 数，那么若 (口 ， )=1，i≠ =1，2，…，k，则 +一 {_二二口 是整数。 ≤y叼y可知，[ 】_0’故[ 】=[ l !口2 1… ! 。 引理3 ∈R ，n∈N，则1至 之间的整 1 引理及其证明 数中，有I 1个是n的倍数。L n J 为了证明以上定理，给出下面几个预备知识及 引理。 证明：因[nx】≤音[音卜·，即[音】n≤L n J n L n J L n J 引理l对于任意正整数JI}有，[等】≥ 詈】。 ([音】+1)n，这说明不大于 而是n的倍数的 证明：不妨设÷=I l+叼，0≤叼1，可知：’， L J ’ 正整数只有下列[音】个：n，2 n，…，[音】n。L，I J L n J [等】=[ 手】+ 叼】= 手卜 kr／l≥ 号】，即 引理4 设P是素数，n∈N，且 ≤nP ， 有[等】≥ ÷】。 则有pc n [詈】+[ 】+…+[ 】。 证明：由于P是素数，所以n!中P的次数是1， 引理2对于任意正整数)，，有[ 】=[÷】。 2，…，n中各数P的方次数之和。由引理3和文献 证明：设÷=『 1+叼，0≤叼1。那么由’， L J 。 。 。 [2]知：l，2，…，n中有[号】个p的倍数，有[号D】个L口J L J 2007年9月7日收到 国家自然科学基金项目、 p 的倍数 ≤npk+l测[声 方 ‘ 陕西省教育厅基金项目(06JK302)渭南师范学院基金 = 项目(07ykso31)渭南师范学院基金项目(06YKS021)资助 0，故n!中p的方次数为：p(n!)_【詈】+【 】+ 作者简介：陈 斌(1979一)，男，陕西省咸阳人，西北大学硕士， 渭南师范学院教师。 … +