Section 5.1
Diophantine equations have the form:
\[ax + by = c\]
where all numbers are integers.
We in general are interested in three questions:
Let us start with the simplest case:
\[ax = c\]
Now let's look at the case of two variables.
First, a necessary condition:
For \(ax+by=c\) to have a solution, we must have that \(\gcd(a,b) | c\).
This is easy to see. The interesting thing is that the converse is also true:
If \(\gcd(a,b) | c\), then the equation \(ax+by=c\) has a solution.
This is also easy to see.
Here is a special case of this result:
The equation \(ax+by=1\) has a solution if and only if \(\gcd(a,b) = 1\).
This follows as the only way \(\gcd(a,b)\) would divide \(1\) is if it were actually equal to 1.
In the next segment, we will see how the Euclidean Algorithm can help us find a solution.