数论-整除&除余

a = 7
b = 3
# 向下取整
print(a // b) # 3
# 向上取整
print((a + b - 1) // b) # 3
print((a - 1) // b + 1) # 3

# 如果m | (a - b), 则a和b在模m的意义下同余, 也就是a % m == b % m
# (a + b) % m == ((a % m) + (b % m)) % m
# (a * b) % m == ((a % m) * (b % m)) % m

# 同余的一般性质
# 自反性: a≡a(mod m)
# 对称性: a≡b(mod m), 则: b≡a(mod m)
# 传递性: a≡b(mod m), b≡c(mod m), 则: a≡c(mod m)
# 线性运算: a≡b(mod m), c≡d(mod m), 则: (a+c)≡(b+d)(mod m)