初等数论基础知识选介及题例(中)

三、带余除法与同余式定义4 x为实数,不超过x的最大整数叫做x的整数部分,记为[x];而把x-[x]叫做x的分数部分,记为{x},即{x}=x-[x]。 []叫做高士符号,例如 [7]=7,[2.5]=2,[π]=3,[-π]=-4 性质7.1) [x]≤x<[x]+1 2) 若x≥y,则[x]≥[y] 3) 若n为整数,则[x+n]=[x]+n 例13.1) [x]+[y]≤[x+y]≤[x]+[y]+1 2) [x-y]≤[x]-[y]≤[x-y]+1 定理6 (带余除法)对任意整数a及正整数b,唯一存在整数q及r,使有 a=qb+r 0≤r<6 (10) 这里q叫做a被b除的不完全商,r叫做a被b除所