两种证明
1.考虑exgcd，考虑通解，在取值范围限制内取最大值
2.因为互质，利用同余类，x b xbxb 中 x = 0 , 1 , ⋯   , a − 1 x=0,1,\cdots,a-1x=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
记录一下而已，具体的参考这里
代码就不再写一次了。。（
版权声明：本文为Estia_原创文章，遵循CC 4.0 BY-SA版权协议，转载请附上原文出处链接和本声明。