就是说，$a(x*\frac{c}{d}+kb)+b(y*\frac{c}{d}-ka)=c$ 能表示出所有解，然后 $k=\frac{1}{\gcd(a,b)}$ 时满足最小且为正整数。

但比如我们想得到的是 $x'=(x*\frac{c}{d}+kb)$ 最小，为什么一定是让这个 $kb$ 最小，取模得到的余数就一定最小呢？是不是因为$k=\frac{1}{\gcd(a,b)}$ 时 $kb$ 最小，且若 $kb$ 更大也一定是 $k=\frac{b}{\gcd(a,b)}$ 的倍数，所以取模的数越小越好？