整除运算的不同定义，取余运算与取模运算的区别与联系

数学中整除及余数的定义
设a，b是两个整数，且b≠0，则存在唯一的整数q和r使得： $a=q\times b+r（0\le r<|b|)$
该式叫做带余除法，记余数$r=amodb$
数学中的余数一定是非负整数。

数学中（以及python中），整除商为实数商向下取整。
商$q=\lfloor \frac{a}{b}\rfloor$
C++/Java/C#/JavaScript中，整除商为实数商向0取整。
商$q=\lfloor \frac{a}{b}\rfloor （\frac{a}{b}\ge 0)，q=\lceil \frac{a}{b}\rceil （\frac{a}{b}<0)$，
余数都为$r=b\ast q-a$
因此两种整除定义下的余数不同。
例：

$-7÷2=-3.5$
商向0取整：$-7=-3\ast 2-1$，即$-7÷2=-\mathrm{3......}-1$（C++取模）
商向下取整：$-7=-4\ast 2+1$，即$-7÷2=-4\dots \dots 1$（数学取余）

使用C++代码完成数学取余，求a mod b：
商向0取整，则除法等式为$a÷b=c......d$，其中$d=a\%b$，%为C++取模运算。
满足$a=c\ast b+d$
商向下取整，除法等式为$a÷b=e......f$，其中$f=amodb$，mod为数学取余运算。
满足$a=e\ast b+f$
因此有：$c\ast b+d=e\ast b+f$
如果$d>0$，那么$f=d$，此时$amodb=a\%b$
如果$d=0$，那么$f=0$，此时$amodb=a\%b$
如果$d<0$，由于数学中余数不能为负，所以将等式调整为余数大于等于0。

• 如果除数$b>0$，则调整为$c\ast b+d=(c-1)\ast b+(d+b)$，因此$f=d+b$，此时$amodb=a\%b+b$
• 如果除数$b<0$，则调整为$c\ast b+d=(c+1)\ast b+(d-b)$，因此$f=d-b$，此时$amodb=a\%b-b$
• 综合以上两种情况，$amodb=a\%b+|b|$

综合以上所有情况，在各种情况下都满足$amodb=(a\%b+|b|)\%b$
即C++中求a mod b的写法为：(a%b+abs(b))%b
（当b为long long类型时，需要自己写求long long类型绝对值的函数）。