I've been looking at the following problem, involving Diophantine equations:

Let $\displaystyle a,b,c\geq 0$ such that $\displaystyle \gcd(a,b)=1$ and $\displaystyle c\geq (a-1)(b-1)$. Show that there exist nonnegative integers $\displaystyle s,t$ so that $\displaystyle as+bt=c$.

I know that the solutions to a linear Diophantine equation are given by $\displaystyle x=x_0+bt, y=y_0-at$, where $\displaystyle (x_0,y_0)$ is a particular solution and $\displaystyle t$ is an integer parameter. If I want these to be positive simultaneously, I need to have $\displaystyle \dfrac{-x_0}{b}\leq t\leq \dfrac{y_0}{a}$. In other words, there needs to be an integer in the interval $\displaystyle \left[\dfrac{-x_0}{b}, \dfrac{y_0}{a}\right]$.

From here, I cannot seem to put bounds on the endpoints of the interval. I would appreciate any insight you may have on the issue.