对于不定方程ax−by=1(a<b,a,b∈N+)ax-by=1(a<b,a,b\in N^+ )ax−by=1(a<b,a,b∈N+)
在有解的情况下，能否证明始终存在一组解(x0,y0)(x_0,y_0)(x0,y0),
使 0≤x0<b,0≤y0<a0\le x_0<b,0\le y_0<a0≤x0<b,0≤y0<a
