取整函数的性质和应用.pdf

维普资讯 vd．7． ．5 高等数学研究 Sev．，2004 兀DIESIN0。LU EM 也M I( 45 取整函数的性质和应用 赵天玉 (长iX_大学信息与数学学院 湖北荆州 434023) 摘 要 主要讨论了取整函数的性质，并给出了此函数在数学分析中的若干应用例子。 关键词 取整函数；性质；应用；例题 中图分类号 O171 取整函数是一个常用的函数。在离散数学中要用到取整函数；在计算机算法分析中常常用到 取整函数；在微积分中，也经常看到取整函数的身影。在教学过程中，我们发现凡遇到取整函 数，学生多少会出现一些理解错误，含有取整函数的的一些习题，也往往是比较难。为此，查阅 了若干资料，总结出取整函数的一些性质，以备教学参考之用，并用例子说明其在求和及微积分 中的应用。 一 、 取整函数及其性质 1．下整函数与上整函数 对所有实数．27，定义[,32]：小于或等于z的最大整数；()=大于或等于 的最小整数。称 []为下整函数，(,27)为上整函数。例如，[3．25]=3，[一3．25]=一4，(丌)=4，(一丌)：一3。 2．取整函数的性质 性质1 对任意的实数 ，有[]≤-T；(。r)≥J．。[．]『=xe=5,x是一个整数甘()： 。 当z不是整数时，(23)一[]=lox—l[]≤ ≤(23) +1o[一 ]=一()；(～ )=一[]。 这些性质可以从取整函数的定义中立即得到。 性质2 设 为整数，则有[]=”甘 ≤ ，z+l；[]：，z甘 一1 ≤ ；()： 甘 ～ 1 ≤ ；(z)= ㈢ ≤ 2376+1；[z+，z]：[]+ ；(+ )：()+”。 这是因为[z]+ ≤ -_1． [23]+ 十l，得N[23+ ]=[2332]+ 。类似可证明另一个等式。 性质3 设”为整数，则有2327 甘[] ；rt ，z )；≤，z )≤”；≤ ≤[]。 这是因为若 又知[z]≤2376，所以[] ；反之，若[] ，则 一[]≥1，即 [23]+1≤ 又知23[]+1，所以2376。类似地可以证明其它性质。 性质4 设f(x)是任意的连续、严格单调递增函数，且具有性质：当函数值f(32)为整数时，自 变量23也是整数，则有 f【()j： 【f([州)j； (1) (f(23))=(f(()))。 (2) 特别地，当z≥0时，有[佃 ]=[ ]；( )=( ) 当 ，为整数且，z0时，有I』 f：{_LrJ }；( )：(盟 )。 我们只证明(2)式，(1)式可类似地证明，其它情况是式(1)，(2)的直接结果 事实上，若23：(z)，(2)式自然成立，这时 是整数。否则，()，这时．不是整数。因为 *收稿 日期：2004—02一l6 维普资讯 高等数学研究 2004年9月 f(x)是严格单调递增函数，所以_厂()f((z))。又因为(,37)是单调递增函数，所以(-厂())≤ (f(()))。若等式成立，则证明完成。不然的话，有(-厂())(-厂(()))。设(-厂())=”，0≤a1，则 f(x)=”一a≤”=(-厂())。又(-厂(()))”，推得(-厂(()))≥”+1o设0≤ 1，则有-厂(())≥ ，z+1一 ”=(-厂())≥-厂()。由连续函数的介值定理，存在 ∈[，())，使得f(y)=”=(-厂())。 因为”为整数，由f(x)的特殊性质知，也是整数。又 不是整数，故 ()。这是不可能的，因为 在 与()之间不可能存在整数，故只有(厂())=(． 厂((z)))。 性质