一次不定方程式ax+by=cが整数解を持つ条件は非常にきれいな形で表されます。その条件の証明と整数解を持つときに一般解を求める方法。