取整函数的一个证明

求证：

 ceil(m-n)=ceil(m)-floor(n) （这里m,n均为有理数。假设m>n,并且m的小数部>=n的小数部分）

 

证明：

设m=x+p(x为m的整数部分,p为小数部分)

   n=y+q(y为n的整数部分,q为小数部分)

则ceil(m-n)=ceil((x+p)-(y+q))=ceil((x-y)+(p-q))

又根据题目的假设这里有p>q 所以ceil((x-y)+(p-q))=x-y+1=(x+1)-y

这里的x+1显然等于ceil(x) ,y=floor(n)

所以等式成立。证毕。

 

推广：把m的小数部>=n的小数部分，这里的条件去掉呢？

这时就需要分情况讨论：（1）当m的小数部>=n的小数部分等式成立

（2）当m的小数部<n的小数部分等式成立时，此时p-q<0,则ceil((x-y)+(p-q))= x-y=floor(m)-floor(n)