首先对于 axaxax ≡ 111 ( modmodmod bbb )； 观察数据范围可以发现 bbb ≥ 222 ，所以转化成 axaxax modmodmod b=1b=1b=1 从 modmodmod 的定义中我们可以看出原方程就是 ax−by=1ax-by=1ax−by=1 （ yyy 是整数） 因为一定有解，然后由裴蜀定理可以知道 gcdgcdgcd ( aaa , bbb )| 111 ，即 gcdgcdgcd ( aaa , bbb ) =1=1=1 ，得证 aaa , bbb 互质。 然后就可以套扩欧模板了。