数论-裴蜀定理

# 裴蜀定理: 当a和b是不全为0的整数, ax+by=m有整数解, 则m必须是gcd(a, b)的倍数

# 裴蜀定理扩展
# a, b为大于等于0的整数, n为整数, 是否存在大于等于0的整数x, y使方程ax + by = n有解 ?
# 结论:
# 1.若n > a * b - a - b, 有解
# 2.若n = 0, 有解
# 3.若n < 0, 无解
# 4.若ax + by = n有解, 则ax + by = a * b - a - b - n无解, 因为n > a * b - a - b, 所以a * b - a - b - n < 0。