Answer:
a.
![x = x_1+r((b)/(gcd(a, b)) )\\y=y_1-r((a)/(gcd(a, b)) )](https://img.qammunity.org/2021/formulas/mathematics/college/awgntzvekc9d5izrtl3lhrwwshfit9l1uw.png)
b. x = -8 and y = 4
Step-by-step explanation:
This question is incomplete. I will type the complete question below before giving my solution.
For integers a, b, c, consider the linear Diophantine equation
![ax+by=c](https://img.qammunity.org/2021/formulas/mathematics/college/df7ohrja0k2m9i4b55psf8rlk5ydnqel4y.png)
Suppose integers x0 and yo satisfy the equation; that is,
![ax_0+by_0 = c](https://img.qammunity.org/2021/formulas/mathematics/college/dxav6ghjk7wtph6x6fsh2c77b3cnrgab9t.png)
what other values
and
![y=y_0+k](https://img.qammunity.org/2021/formulas/mathematics/college/7g38cwcid85z8r1zg9p71umqme0b398yrq.png)
also satisfy ax + by = c? Formulate a conjecture that answers this question.
Devise some numerical examples to ground your exploration. For example, 6(-3) + 15*2 = 12.
Can you find other integers x and y such that 6x + 15y = 12?
How many other pairs of integers x and y can you find ?
Can you find infinitely many other solutions?
From the Extended Euclidean Algorithm, given any integers a and b, integers s and t can be found such that
the numbers s and t are not unique, but you only need one pair. Once s and t are found, since we are assuming that gcd(a,b) divides c, there exists an integer k such that gcd(a,b)k = c.
Multiplying as + bt = gcd(a,b) through by k you get
So this gives one solution, with x = sk and y = tk.
Now assuming that ax1 + by1 = c is a solution, and ax + by = c is some other solution. Taking the difference between the two, we get
Therefore,
![a(x_1-x) = b(y-y_1)](https://img.qammunity.org/2021/formulas/mathematics/college/m593gtjjx611hpoc1ilq6zs9npohxdfq5o.png)
This means that a divides b(y−y1), and therefore a/gcd(a,b) divides y−y1. Hence,
for some integer r. Substituting into the equation
![a(x_1-x)=rb((a)/(gcd(a, b)) )\\gcd(a, b)*a(x_1-x)=rba](https://img.qammunity.org/2021/formulas/mathematics/college/7d3m8bfymoyhkvuslc4fzmi6u8raj2e7ak.png)
or
![x = x_1-r((b)/(gcd(a, b)) )](https://img.qammunity.org/2021/formulas/mathematics/college/bina3479s4k54y5qrfex3pzin00llyh0bo.png)
Thus if ax1 + by1 = c is any solution, then all solutions are of the form
![x = x_1+r((b)/(gcd(a, b)) )\\y=y_1-r((a)/(gcd(a, b)) )](https://img.qammunity.org/2021/formulas/mathematics/college/awgntzvekc9d5izrtl3lhrwwshfit9l1uw.png)
In order to find all integer solutions to 6x + 15y = 12
we first use the Euclidean algorithm to find gcd(15,6); the parenthetical equation is how we will use this equality after we complete the computation.
![15 = 6*2+3\\6=3*2+0](https://img.qammunity.org/2021/formulas/mathematics/college/a1uh0ha2cvr0uyov8wnsufcxtxqjjva8md.png)
Therefore gcd(6,15) = 3. Since 3|12, the equation has integral solutions.
We then find a way of representing 3 as a linear combination of 6 and 15, using the Euclidean algorithm computation and the equalities, we have,
![3 = 15-6*2](https://img.qammunity.org/2021/formulas/mathematics/college/lyoqc2qi3848urmiqbqaolvwf7w0lelifn.png)
Because 4 multiplies 3 to give 12, we multiply by 4
![12 = 15*4-6*8](https://img.qammunity.org/2021/formulas/mathematics/college/vrpmr7eq2gr06ygyr6xudokh8muljfam6y.png)
So one solution is
&
![y = 4](https://img.qammunity.org/2021/formulas/mathematics/college/cg1pw3ut82ijwocz6e1ru41m29p1o8g646.png)
All other solutions will have the form
![x=-8+(15r)/(3) = -8+5r\\y=4-(6r)/(3) =4-2r](https://img.qammunity.org/2021/formulas/mathematics/college/fzv6axums9cb8rumhpakwp3j9vwnzedler.png)
where
∈ Ζ
Hence by putting r values, we get many (x, y)