两种证明
1.考虑exgcd,考虑通解,在取值范围限制内取最大值
2.因为互质,利用同余类,
x
b
xb
xb 中
x
=
0
,
1
,
⋯
 
,
a
−
1
x=0,1,\cdots,a-1
x=0,1,⋯,a−1 那么
x
b
(
m
o
d
a
)
xb\pmod{a}
xb(moda) 各不相同,并且它们分别是所在同余类中最小的非负整数。所以最大一个不能被表示出来的就是
(
a
−
1
)
b
−
a
(a-1)b-a
(a−1)b−a
记录一下而已,具体的参考这里
代码就不再写一次了。。(