RT，这篇题解 只证明了有解时 $\dfrac{c}{\gcd(a,b)}$ 为整数，并没有证明无解时此数不为整数，也就是说没有证明充要性。

同理，这篇题解也是这样：link