这里我就提供一下：塞瓦韦斯特定理
已知a，b是大于1 的正整数，且gcd(a,b)=1;使不定方程 ax+by=C 无非负整数的最大整数解 C=a*b-a-b
至于怎末证明本人表示不太会，推荐大佬的给你们看看 https://www.cnblogs.com/xxzh/p/9178564.html
例题：
NOIP2017 提高组自测 小凯的疑惑
纵使单枪匹马，也要勇闯天涯
这里我就提供一下：塞瓦韦斯特定理
已知a，b是大于1 的正整数，且gcd(a,b)=1;使不定方程 ax+by=C 无非负整数的最大整数解 C=a*b-a-b
至于怎末证明本人表示不太会，推荐大佬的给你们看看 https://www.cnblogs.com/xxzh/p/9178564.html
例题：