【带余除法】
17个点五个五个排列，可以排3列，剩余两个。用带余除法来说，17除以5等于3，余数是2.
带余除法，也称为欧几里德除法（Euclidean division）是数学中的一种基本算术计算方式。给定一个被除数a和一个除数b，带余除法给出一个整数q和一个介于一定范围的余数r，使得下面等式成立：
一般限定余数的范围在0与b之间，也有限定在-b/2与b/2之间。这样的限定都是为了使得满足等式的q有且仅有一个。这时候的q称为带余除法的商。带余除法一般表示为：
表达为：“a除以b等于q，余r”。最常见的带余除法是整数与整数的带余除法（被除数a和除数b都是整数），但实数与整数乃至实数与实数的带余除法也有应用。对一般的抽象代数系统，能够进行带余除法的都是具有欧几里德性质的系统。如果余数为零，则称b整除a。一般约定除数b不能为0.
带余除法的计算有长久的历史，有各种计算工具和计算方法。最常用的是长除法（竖式除法）。带余除法在数论中有不少用途，比如说辗转相除法的基本步骤就是带余除法。
==例子==
如何将30个苹果尽可能地分给7个人，并且使每人一样多？
以下是整数带余除法的例子：依照公历，一年中的四月份有30天。每星期有7天，从四月的第一天开始，可以数出有四个星期，此外还有2天。如果要数出5个星期，则还差了5天。带余除法表示，就是：
里面的30是被除数，7是除数，4是带余除法得到的商，2是带余除法得到的余数。日常生活中说：“四月份有四个多星期”，是带余除法的结果。
另一个例子是分配问题。假设有30个苹果要分给7个人，每人分的要一样多，那么可以使用带余除法：
这说明每人可以分到4个，还剩余2个。如果每人分5个，则是不够的。每人如果只分3个，则还剩余9个，可以继续分。带余除法说明了在人人分到的要一样多的条件下，每人可以分到的最多苹果数目。
===不同的带余除法===
最基本的带余除法是整数与整数的带余除法，这时商和余数都是整数。实数与整数的带余除法，或实数与实数的带余除法，余数是实数，但不一定是整数。比如说讨论使用正弦函数构造的数列时，就需要使用除数为的带余除法，来讨论每一项具体的取值。
==基本定理==
带余除法限定了余数的范围，使得商唯一存在。整数与整数的带余除法中，余数的范围通常是这样的b个元素的集合。被除数为实数的带余除法中，常常会使用介于0和除数|b|之间（大于等于0，严格小于|b|）的半开闭区间作为余数的范围；另一种常见的范围是大于等于-|b|/2，严格小于|b|/2。带余除法的基本定理说明：整数与整数的带余除法中，只要余数的范围是|b|个整数，并且任何两个数之差都不是b的倍数，那么带余除法的商唯一存在；被除数为实数的除法中，只要余数的范围是一个如同长度为|b|的半开半闭区间，那么带余除法的商唯一存在。page1=25
最常见的带余除法中用到的是整数除以整数的一个版本：
对任何给定的整数a和非零整数b，都存在唯一的整数q以及属于集合的整数r，使得
=== 证明 ===
定理的证明是将整数集合或实数轴分割成长度为|b|的区间段。证明由两部分组成 - 首先证明 q 和 r 的存在性，其次证明 q 和 r 的唯一性。
整数除以整数的情况：
假设余数的范围是，其中任两个数的差都不是b的倍数。那么可以将全体整数分割成以下集合的不交并集：
其中的指两两不相交的并集。这样的划分方式下，不会有两个集合有交集。反设有两个集合和有交集：
那么
这说明有两个元素的差是b的倍数。矛盾。另一方面，任何一个整数都必然属于某个。设有整数s，那么存在整数qs使得qs b ≤ s s b + b，也就是说存在里的一个数ts，使得 同样地，对里的每一个数ri，也各自存在的一个数ti和一个整数qi，使得 由于有b + 1个属于集合的整数，根据抽屉原理，必然有两个整数相同。而由前所证，不可能有的情况，所以只能是存在某个i使得，所以：
因此，任何一个整数都唯一地属于某个。而对应的这个整数k就是带余除法唯一确定的商。page1=18-22
被除数是实数的情况：
假设余数的范围是math|x, x + b)，那么将实数轴分割为：
这个分割方式构成了实数的一个分划，每个实数都唯一地属于其中的某一个区间段，所以被除数a也必然唯一地属于其中的某一个区间段。假设a属于区间段：，则说明
所以带余除法的商唯一确定，就是q0。
==计算==
计算带余除法和计算除法的手段基本相同。手工计算时常常使用长除法，与除法不同之处是到个位即停止，剩余的即是余数。计算机运算中使用的带余除法一般耗费的时间比相同位数的乘法更久，所以编程时为了减少机器运算量，常常会尽力避免除法运算。一般的编程语言和数学、统计软件中，带余除法运算符（指令）和取模运算符（指令）可能是分开的，也可能是合并的。如在进行带余除法时尽管默认返回的是商，但实际上余数也储存在运算结果中。除数是2的幂次的时候，可以使用右移的位移运算代替带余除法。这是因为计算机储存数据使用的是二进制，取一个长度为n的二进制数的前k位，实际上就是它除以2的n-k次幂后的商，而后n-k位则是其余数。
===算法===
====原始算法====
原始的带余除法算法可以视为是重复使用减法的过程。设要计算a除以b，则在a里面不断地扣除b，直到不能继续扣除（满足余数范围）为止。以a、b都是正整数，余数范围为的除法为例，伪代码如下：
function Division(a, b)
q ← 0; r ← a;
while r >= b do
r ← r - b;
q ← q + 1;
end while
return q, r;
这样的算法复杂度是a/b的级别。cb
====使用二分法====
更为优化的算法是使用二进制以及二分法的结合。算法大致分为两个部分：首先用不断倍增的方式找出一个a所属的区间，然后用二分法不断收窄区间，直到将a限制在一个长度为b的区间为止。举例来说，要计算237除以9，可以首先列出如下表格：
也就是从小到大逐个列出2的幂次与9的乘积，直到超过237为止。其中，24 × 9 = 144 是小于等于237的最大数，之后的288就比237更大了。接下来反过来利用2的幂次与9的乘积来计算237除以9。过程如下：
*设q = 16，p = 32；
*237介于144与288之间，而144和288的平均数是216，比237小，令q = (16 + 32)/2 = 24，p = 32；
*216和288的平均数是252，比237大，令q = 24，p = (24 + 32)/2 = 28；
*216和252的平均数是234，比237小，令q = (24 + 28)/2 = 26，p = 28；
*234和252的平均数是243，比237大，令q = 26，p = (26 + 28)/2 = 27；
*最后得到q的值为26，这就是237除以9的商，237减去234剩余的3就是余数。伪代码如下：
function QuickDivision(a, b)
counter ← 0; power ← 1; mid ← 0; appr ← 0;
//-{zh-hans:找到2的幂次与除数b的乘积中比被除数a大的最小数对应的幂次;zh-hant:找到2的幂次与除数b的乘积中比被除数a大的最小数对应的幂次}-
while power * b
以上的算法的复杂度在级别，当较大时，远远比原始的算法快捷。cb
==推广==
===多项式的带余除法===
以域为系数的多项式构成的多项式整环中也可以定义带余除法。设有A、B两个多项式，其中B不是零多项式。则存在由A和B唯一确定的多项式Q和R，使得：
并且多项式R是零多项式或者它的次数严格小于B的次数，称为多项式带余除法的余元。page1=10
===欧几里德整环===
普通的整数或实数之间的带余除法可以良好定义。在更广泛的代数结构中，能够定义带余除法的代数结构被称为欧几里德整环。定义如下：
设有整环和从到自然数的映射，使得：
:若而，则存在使得，而且要么有，或者 。
则称为欧几里德整环。page1=141
欧几里德整环中，使用一个额外的函数来比较两个元素之间的“大小”关系，从而能够定义带余除法。这个函数也称为范数。欧几里德整环必然是主理想整环因而也必然是唯一分解整环。page2=16-17