why $ax + by$ can take any value if their gcd is $1$ [duplicate]
$begingroup$
This question already has an answer here:
If $(a,b)=1$ then there exist positive integers $x$ and $y$ s.t $ax+by=1$. [duplicate]
1 answer
Given 2 integers $a$ and $b$ whose gcd is 1 (coprime). Now the value of $ax + by$ can be any multiple of gcd$(a, b)$, which is 1 in this case. So literally
$ax + by$ can be any integer value. I have verified it for some small coprime numbers, but what is the mathematical reason behind this?
number-theory elementary-number-theory
$endgroup$
marked as duplicate by Chase Ryan Taylor, metamorphy, Dietrich Burde
StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;
$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');
$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Jan 12 at 9:08
This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
add a comment |
$begingroup$
This question already has an answer here:
If $(a,b)=1$ then there exist positive integers $x$ and $y$ s.t $ax+by=1$. [duplicate]
1 answer
Given 2 integers $a$ and $b$ whose gcd is 1 (coprime). Now the value of $ax + by$ can be any multiple of gcd$(a, b)$, which is 1 in this case. So literally
$ax + by$ can be any integer value. I have verified it for some small coprime numbers, but what is the mathematical reason behind this?
number-theory elementary-number-theory
$endgroup$
marked as duplicate by Chase Ryan Taylor, metamorphy, Dietrich Burde
StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;
$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');
$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Jan 12 at 9:08
This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
$begingroup$
Welcome to Mathematics Stack Exchange community! The quick tour will help you get the most benefit from your time here. Also, please use MathJax for your equations.
$endgroup$
– dantopa
Jan 12 at 5:36
1
$begingroup$
This is called Bezout's identity and the standard proof uses the Euclidean algorithm.
$endgroup$
– Cheerful Parsnip
Jan 12 at 5:51
$begingroup$
If $gcd(a,b)=1$, then $rx+sy=1$ for some integers $r,s$. Now multiply with an arbitrary integer $k$ to obtain $k=(kr)x+(ks)y=ax+by$.
$endgroup$
– Dietrich Burde
Jan 12 at 9:11
add a comment |
$begingroup$
This question already has an answer here:
If $(a,b)=1$ then there exist positive integers $x$ and $y$ s.t $ax+by=1$. [duplicate]
1 answer
Given 2 integers $a$ and $b$ whose gcd is 1 (coprime). Now the value of $ax + by$ can be any multiple of gcd$(a, b)$, which is 1 in this case. So literally
$ax + by$ can be any integer value. I have verified it for some small coprime numbers, but what is the mathematical reason behind this?
number-theory elementary-number-theory
$endgroup$
This question already has an answer here:
If $(a,b)=1$ then there exist positive integers $x$ and $y$ s.t $ax+by=1$. [duplicate]
1 answer
Given 2 integers $a$ and $b$ whose gcd is 1 (coprime). Now the value of $ax + by$ can be any multiple of gcd$(a, b)$, which is 1 in this case. So literally
$ax + by$ can be any integer value. I have verified it for some small coprime numbers, but what is the mathematical reason behind this?
This question already has an answer here:
If $(a,b)=1$ then there exist positive integers $x$ and $y$ s.t $ax+by=1$. [duplicate]
1 answer
number-theory elementary-number-theory
number-theory elementary-number-theory
edited Jan 13 at 2:30
J. W. Tanner
3,1261320
3,1261320
asked Jan 12 at 5:31
Nikhil RathoreNikhil Rathore
91
91
marked as duplicate by Chase Ryan Taylor, metamorphy, Dietrich Burde
StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;
$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');
$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Jan 12 at 9:08
This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
marked as duplicate by Chase Ryan Taylor, metamorphy, Dietrich Burde
StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;
$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');
$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Jan 12 at 9:08
This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
$begingroup$
Welcome to Mathematics Stack Exchange community! The quick tour will help you get the most benefit from your time here. Also, please use MathJax for your equations.
$endgroup$
– dantopa
Jan 12 at 5:36
1
$begingroup$
This is called Bezout's identity and the standard proof uses the Euclidean algorithm.
$endgroup$
– Cheerful Parsnip
Jan 12 at 5:51
$begingroup$
If $gcd(a,b)=1$, then $rx+sy=1$ for some integers $r,s$. Now multiply with an arbitrary integer $k$ to obtain $k=(kr)x+(ks)y=ax+by$.
$endgroup$
– Dietrich Burde
Jan 12 at 9:11
add a comment |
$begingroup$
Welcome to Mathematics Stack Exchange community! The quick tour will help you get the most benefit from your time here. Also, please use MathJax for your equations.
$endgroup$
– dantopa
Jan 12 at 5:36
1
$begingroup$
This is called Bezout's identity and the standard proof uses the Euclidean algorithm.
$endgroup$
– Cheerful Parsnip
Jan 12 at 5:51
$begingroup$
If $gcd(a,b)=1$, then $rx+sy=1$ for some integers $r,s$. Now multiply with an arbitrary integer $k$ to obtain $k=(kr)x+(ks)y=ax+by$.
$endgroup$
– Dietrich Burde
Jan 12 at 9:11
$begingroup$
Welcome to Mathematics Stack Exchange community! The quick tour will help you get the most benefit from your time here. Also, please use MathJax for your equations.
$endgroup$
– dantopa
Jan 12 at 5:36
$begingroup$
Welcome to Mathematics Stack Exchange community! The quick tour will help you get the most benefit from your time here. Also, please use MathJax for your equations.
$endgroup$
– dantopa
Jan 12 at 5:36
1
1
$begingroup$
This is called Bezout's identity and the standard proof uses the Euclidean algorithm.
$endgroup$
– Cheerful Parsnip
Jan 12 at 5:51
$begingroup$
This is called Bezout's identity and the standard proof uses the Euclidean algorithm.
$endgroup$
– Cheerful Parsnip
Jan 12 at 5:51
$begingroup$
If $gcd(a,b)=1$, then $rx+sy=1$ for some integers $r,s$. Now multiply with an arbitrary integer $k$ to obtain $k=(kr)x+(ks)y=ax+by$.
$endgroup$
– Dietrich Burde
Jan 12 at 9:11
$begingroup$
If $gcd(a,b)=1$, then $rx+sy=1$ for some integers $r,s$. Now multiply with an arbitrary integer $k$ to obtain $k=(kr)x+(ks)y=ax+by$.
$endgroup$
– Dietrich Burde
Jan 12 at 9:11
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
If you want a mathematical reason, then you have to specify that you are working with integers.
Here $1$ is a generator of the integers $mathbb Z$ as an additive group ($-1$ is the only other generator), and since you have expressed $1$ in terms of the elements $a$ and $b$ you have been given, these two elements together generate the whole group - ie every integer is included.
The arithmetic expression of $n$ in terms of $a$ and $b$ has been dealt with in another answer - that tells you how you can do it.
There are two things here which are worth noting:
First, the set of numbers $ax+by$ express every integer multiple of the gcd or $a$ and $b$ whatever that is - call it $d$. Then $d$ is the least possible positive value of $ax+by$ and every multiple of $d$ is expressible. Just multiply everything by $n$.
Second, when looking to see what subgroup (or other subobject) is generated by a set of elements, we might look to see the "simplest" elements formed from the set we have. If I can generate some element $z$ from the set I've been given, I can then generate everything I can make using $z$.
$endgroup$
add a comment |
$begingroup$
$gcd(a,b)=1$ if and only if $a$ is a unit modulo $b$. Thus, there is some integer $p$ such that $apequiv 1 pmod b$, which means that there is some integer $q$ such that $ap=1+bq$.
We can rewrite this as $ap-bq=1$. Then for any integer $k$ we have $(x,y)=(kp,-kq)$ as a solution to the equation $ax+by=k$.
$endgroup$
$begingroup$
what you mean by a is unit modulo b. gcd(17, 6) = 1 and 17 % 6 = 5.
$endgroup$
– Nikhil Rathore
Jan 12 at 12:27
$begingroup$
also what is meant by ap≡1(modb)
$endgroup$
– Nikhil Rathore
Jan 12 at 12:28
$begingroup$
$a$ is a unit modulo $b$ means there is $c$ such that $ac equiv 1 pmod b$. See here
$endgroup$
– J. W. Tanner
Jan 13 at 1:19
$begingroup$
$ac equiv 1 pmod b$ means $ac - 1$ is an integer multiple of $b$. See here
$endgroup$
– J. W. Tanner
Jan 13 at 1:22
add a comment |
$begingroup$
This is, I think, pretty easy to see once one realizes that, for $a, b in Bbb Z$ with
$gcd(a, b) = d, tag 1$
there exist $x, y in Bbb Z$ with
$ax + by = d; tag 2$
the easiest way I know to see this is to use the fact that $Bbb Z$ is a principal ideal domain (or PID); that is, for any ideal
$J subset Bbb Z tag 3$
there exists some $j in Bbb Z$ with
$J = (j) = jBbb Z; tag 4$
given that $Bbb Z$ is a PID, we examine the ideal generated by $a$ and $b$:
$(a, b) = {am + bn mid m, n in Bbb Z }; tag 5$
we then have
$(a, b) = (d) = dBbb Z, tag 6$
for some $d in Bbb Z$, and thus there are $x, y in Bbb Z$ such that (2) binds. It follows from (4) and (6) that
$d mid a, ; d mid b; tag 7$
thus, by definition,
$d mid gcd(a, b), tag 8$
and since
$gcd(a, b) mid a, ; gcd(a, b) mid b, tag 9$
we see via (2) that
$gcd(a, b) mid d; tag{10}$
it follows from (8) and (10) that
$d = gcd(a, b); tag{11}$
therefore there are $x, y in Bbb Z$ with
$gcd(a, b) = ax + by; tag{12}$
now if
$gcd(a, b) = 1, tag{13}$
we have
$ax + by = 1, tag{14}$
and thus for $z in Bbb Z$
$z = z(ax + by) = a(xz) + b(yz); tag{15}$
therefore, for any $z in Bbb Z$ there exist $r, s in Bbb Z$ with
$z = ar + bt; tag{16}$
the expression may take on any integer value; the essential mathematical reason is that $Bbb Z$ is a PID.
$endgroup$
add a comment |
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
If you want a mathematical reason, then you have to specify that you are working with integers.
Here $1$ is a generator of the integers $mathbb Z$ as an additive group ($-1$ is the only other generator), and since you have expressed $1$ in terms of the elements $a$ and $b$ you have been given, these two elements together generate the whole group - ie every integer is included.
The arithmetic expression of $n$ in terms of $a$ and $b$ has been dealt with in another answer - that tells you how you can do it.
There are two things here which are worth noting:
First, the set of numbers $ax+by$ express every integer multiple of the gcd or $a$ and $b$ whatever that is - call it $d$. Then $d$ is the least possible positive value of $ax+by$ and every multiple of $d$ is expressible. Just multiply everything by $n$.
Second, when looking to see what subgroup (or other subobject) is generated by a set of elements, we might look to see the "simplest" elements formed from the set we have. If I can generate some element $z$ from the set I've been given, I can then generate everything I can make using $z$.
$endgroup$
add a comment |
$begingroup$
If you want a mathematical reason, then you have to specify that you are working with integers.
Here $1$ is a generator of the integers $mathbb Z$ as an additive group ($-1$ is the only other generator), and since you have expressed $1$ in terms of the elements $a$ and $b$ you have been given, these two elements together generate the whole group - ie every integer is included.
The arithmetic expression of $n$ in terms of $a$ and $b$ has been dealt with in another answer - that tells you how you can do it.
There are two things here which are worth noting:
First, the set of numbers $ax+by$ express every integer multiple of the gcd or $a$ and $b$ whatever that is - call it $d$. Then $d$ is the least possible positive value of $ax+by$ and every multiple of $d$ is expressible. Just multiply everything by $n$.
Second, when looking to see what subgroup (or other subobject) is generated by a set of elements, we might look to see the "simplest" elements formed from the set we have. If I can generate some element $z$ from the set I've been given, I can then generate everything I can make using $z$.
$endgroup$
add a comment |
$begingroup$
If you want a mathematical reason, then you have to specify that you are working with integers.
Here $1$ is a generator of the integers $mathbb Z$ as an additive group ($-1$ is the only other generator), and since you have expressed $1$ in terms of the elements $a$ and $b$ you have been given, these two elements together generate the whole group - ie every integer is included.
The arithmetic expression of $n$ in terms of $a$ and $b$ has been dealt with in another answer - that tells you how you can do it.
There are two things here which are worth noting:
First, the set of numbers $ax+by$ express every integer multiple of the gcd or $a$ and $b$ whatever that is - call it $d$. Then $d$ is the least possible positive value of $ax+by$ and every multiple of $d$ is expressible. Just multiply everything by $n$.
Second, when looking to see what subgroup (or other subobject) is generated by a set of elements, we might look to see the "simplest" elements formed from the set we have. If I can generate some element $z$ from the set I've been given, I can then generate everything I can make using $z$.
$endgroup$
If you want a mathematical reason, then you have to specify that you are working with integers.
Here $1$ is a generator of the integers $mathbb Z$ as an additive group ($-1$ is the only other generator), and since you have expressed $1$ in terms of the elements $a$ and $b$ you have been given, these two elements together generate the whole group - ie every integer is included.
The arithmetic expression of $n$ in terms of $a$ and $b$ has been dealt with in another answer - that tells you how you can do it.
There are two things here which are worth noting:
First, the set of numbers $ax+by$ express every integer multiple of the gcd or $a$ and $b$ whatever that is - call it $d$. Then $d$ is the least possible positive value of $ax+by$ and every multiple of $d$ is expressible. Just multiply everything by $n$.
Second, when looking to see what subgroup (or other subobject) is generated by a set of elements, we might look to see the "simplest" elements formed from the set we have. If I can generate some element $z$ from the set I've been given, I can then generate everything I can make using $z$.
answered Jan 12 at 7:00
Mark BennetMark Bennet
81.6k984181
81.6k984181
add a comment |
add a comment |
$begingroup$
$gcd(a,b)=1$ if and only if $a$ is a unit modulo $b$. Thus, there is some integer $p$ such that $apequiv 1 pmod b$, which means that there is some integer $q$ such that $ap=1+bq$.
We can rewrite this as $ap-bq=1$. Then for any integer $k$ we have $(x,y)=(kp,-kq)$ as a solution to the equation $ax+by=k$.
$endgroup$
$begingroup$
what you mean by a is unit modulo b. gcd(17, 6) = 1 and 17 % 6 = 5.
$endgroup$
– Nikhil Rathore
Jan 12 at 12:27
$begingroup$
also what is meant by ap≡1(modb)
$endgroup$
– Nikhil Rathore
Jan 12 at 12:28
$begingroup$
$a$ is a unit modulo $b$ means there is $c$ such that $ac equiv 1 pmod b$. See here
$endgroup$
– J. W. Tanner
Jan 13 at 1:19
$begingroup$
$ac equiv 1 pmod b$ means $ac - 1$ is an integer multiple of $b$. See here
$endgroup$
– J. W. Tanner
Jan 13 at 1:22
add a comment |
$begingroup$
$gcd(a,b)=1$ if and only if $a$ is a unit modulo $b$. Thus, there is some integer $p$ such that $apequiv 1 pmod b$, which means that there is some integer $q$ such that $ap=1+bq$.
We can rewrite this as $ap-bq=1$. Then for any integer $k$ we have $(x,y)=(kp,-kq)$ as a solution to the equation $ax+by=k$.
$endgroup$
$begingroup$
what you mean by a is unit modulo b. gcd(17, 6) = 1 and 17 % 6 = 5.
$endgroup$
– Nikhil Rathore
Jan 12 at 12:27
$begingroup$
also what is meant by ap≡1(modb)
$endgroup$
– Nikhil Rathore
Jan 12 at 12:28
$begingroup$
$a$ is a unit modulo $b$ means there is $c$ such that $ac equiv 1 pmod b$. See here
$endgroup$
– J. W. Tanner
Jan 13 at 1:19
$begingroup$
$ac equiv 1 pmod b$ means $ac - 1$ is an integer multiple of $b$. See here
$endgroup$
– J. W. Tanner
Jan 13 at 1:22
add a comment |
$begingroup$
$gcd(a,b)=1$ if and only if $a$ is a unit modulo $b$. Thus, there is some integer $p$ such that $apequiv 1 pmod b$, which means that there is some integer $q$ such that $ap=1+bq$.
We can rewrite this as $ap-bq=1$. Then for any integer $k$ we have $(x,y)=(kp,-kq)$ as a solution to the equation $ax+by=k$.
$endgroup$
$gcd(a,b)=1$ if and only if $a$ is a unit modulo $b$. Thus, there is some integer $p$ such that $apequiv 1 pmod b$, which means that there is some integer $q$ such that $ap=1+bq$.
We can rewrite this as $ap-bq=1$. Then for any integer $k$ we have $(x,y)=(kp,-kq)$ as a solution to the equation $ax+by=k$.
answered Jan 12 at 6:03
Matthew CramerusMatthew Cramerus
272
272
$begingroup$
what you mean by a is unit modulo b. gcd(17, 6) = 1 and 17 % 6 = 5.
$endgroup$
– Nikhil Rathore
Jan 12 at 12:27
$begingroup$
also what is meant by ap≡1(modb)
$endgroup$
– Nikhil Rathore
Jan 12 at 12:28
$begingroup$
$a$ is a unit modulo $b$ means there is $c$ such that $ac equiv 1 pmod b$. See here
$endgroup$
– J. W. Tanner
Jan 13 at 1:19
$begingroup$
$ac equiv 1 pmod b$ means $ac - 1$ is an integer multiple of $b$. See here
$endgroup$
– J. W. Tanner
Jan 13 at 1:22
add a comment |
$begingroup$
what you mean by a is unit modulo b. gcd(17, 6) = 1 and 17 % 6 = 5.
$endgroup$
– Nikhil Rathore
Jan 12 at 12:27
$begingroup$
also what is meant by ap≡1(modb)
$endgroup$
– Nikhil Rathore
Jan 12 at 12:28
$begingroup$
$a$ is a unit modulo $b$ means there is $c$ such that $ac equiv 1 pmod b$. See here
$endgroup$
– J. W. Tanner
Jan 13 at 1:19
$begingroup$
$ac equiv 1 pmod b$ means $ac - 1$ is an integer multiple of $b$. See here
$endgroup$
– J. W. Tanner
Jan 13 at 1:22
$begingroup$
what you mean by a is unit modulo b. gcd(17, 6) = 1 and 17 % 6 = 5.
$endgroup$
– Nikhil Rathore
Jan 12 at 12:27
$begingroup$
what you mean by a is unit modulo b. gcd(17, 6) = 1 and 17 % 6 = 5.
$endgroup$
– Nikhil Rathore
Jan 12 at 12:27
$begingroup$
also what is meant by ap≡1(modb)
$endgroup$
– Nikhil Rathore
Jan 12 at 12:28
$begingroup$
also what is meant by ap≡1(modb)
$endgroup$
– Nikhil Rathore
Jan 12 at 12:28
$begingroup$
$a$ is a unit modulo $b$ means there is $c$ such that $ac equiv 1 pmod b$. See here
$endgroup$
– J. W. Tanner
Jan 13 at 1:19
$begingroup$
$a$ is a unit modulo $b$ means there is $c$ such that $ac equiv 1 pmod b$. See here
$endgroup$
– J. W. Tanner
Jan 13 at 1:19
$begingroup$
$ac equiv 1 pmod b$ means $ac - 1$ is an integer multiple of $b$. See here
$endgroup$
– J. W. Tanner
Jan 13 at 1:22
$begingroup$
$ac equiv 1 pmod b$ means $ac - 1$ is an integer multiple of $b$. See here
$endgroup$
– J. W. Tanner
Jan 13 at 1:22
add a comment |
$begingroup$
This is, I think, pretty easy to see once one realizes that, for $a, b in Bbb Z$ with
$gcd(a, b) = d, tag 1$
there exist $x, y in Bbb Z$ with
$ax + by = d; tag 2$
the easiest way I know to see this is to use the fact that $Bbb Z$ is a principal ideal domain (or PID); that is, for any ideal
$J subset Bbb Z tag 3$
there exists some $j in Bbb Z$ with
$J = (j) = jBbb Z; tag 4$
given that $Bbb Z$ is a PID, we examine the ideal generated by $a$ and $b$:
$(a, b) = {am + bn mid m, n in Bbb Z }; tag 5$
we then have
$(a, b) = (d) = dBbb Z, tag 6$
for some $d in Bbb Z$, and thus there are $x, y in Bbb Z$ such that (2) binds. It follows from (4) and (6) that
$d mid a, ; d mid b; tag 7$
thus, by definition,
$d mid gcd(a, b), tag 8$
and since
$gcd(a, b) mid a, ; gcd(a, b) mid b, tag 9$
we see via (2) that
$gcd(a, b) mid d; tag{10}$
it follows from (8) and (10) that
$d = gcd(a, b); tag{11}$
therefore there are $x, y in Bbb Z$ with
$gcd(a, b) = ax + by; tag{12}$
now if
$gcd(a, b) = 1, tag{13}$
we have
$ax + by = 1, tag{14}$
and thus for $z in Bbb Z$
$z = z(ax + by) = a(xz) + b(yz); tag{15}$
therefore, for any $z in Bbb Z$ there exist $r, s in Bbb Z$ with
$z = ar + bt; tag{16}$
the expression may take on any integer value; the essential mathematical reason is that $Bbb Z$ is a PID.
$endgroup$
add a comment |
$begingroup$
This is, I think, pretty easy to see once one realizes that, for $a, b in Bbb Z$ with
$gcd(a, b) = d, tag 1$
there exist $x, y in Bbb Z$ with
$ax + by = d; tag 2$
the easiest way I know to see this is to use the fact that $Bbb Z$ is a principal ideal domain (or PID); that is, for any ideal
$J subset Bbb Z tag 3$
there exists some $j in Bbb Z$ with
$J = (j) = jBbb Z; tag 4$
given that $Bbb Z$ is a PID, we examine the ideal generated by $a$ and $b$:
$(a, b) = {am + bn mid m, n in Bbb Z }; tag 5$
we then have
$(a, b) = (d) = dBbb Z, tag 6$
for some $d in Bbb Z$, and thus there are $x, y in Bbb Z$ such that (2) binds. It follows from (4) and (6) that
$d mid a, ; d mid b; tag 7$
thus, by definition,
$d mid gcd(a, b), tag 8$
and since
$gcd(a, b) mid a, ; gcd(a, b) mid b, tag 9$
we see via (2) that
$gcd(a, b) mid d; tag{10}$
it follows from (8) and (10) that
$d = gcd(a, b); tag{11}$
therefore there are $x, y in Bbb Z$ with
$gcd(a, b) = ax + by; tag{12}$
now if
$gcd(a, b) = 1, tag{13}$
we have
$ax + by = 1, tag{14}$
and thus for $z in Bbb Z$
$z = z(ax + by) = a(xz) + b(yz); tag{15}$
therefore, for any $z in Bbb Z$ there exist $r, s in Bbb Z$ with
$z = ar + bt; tag{16}$
the expression may take on any integer value; the essential mathematical reason is that $Bbb Z$ is a PID.
$endgroup$
add a comment |
$begingroup$
This is, I think, pretty easy to see once one realizes that, for $a, b in Bbb Z$ with
$gcd(a, b) = d, tag 1$
there exist $x, y in Bbb Z$ with
$ax + by = d; tag 2$
the easiest way I know to see this is to use the fact that $Bbb Z$ is a principal ideal domain (or PID); that is, for any ideal
$J subset Bbb Z tag 3$
there exists some $j in Bbb Z$ with
$J = (j) = jBbb Z; tag 4$
given that $Bbb Z$ is a PID, we examine the ideal generated by $a$ and $b$:
$(a, b) = {am + bn mid m, n in Bbb Z }; tag 5$
we then have
$(a, b) = (d) = dBbb Z, tag 6$
for some $d in Bbb Z$, and thus there are $x, y in Bbb Z$ such that (2) binds. It follows from (4) and (6) that
$d mid a, ; d mid b; tag 7$
thus, by definition,
$d mid gcd(a, b), tag 8$
and since
$gcd(a, b) mid a, ; gcd(a, b) mid b, tag 9$
we see via (2) that
$gcd(a, b) mid d; tag{10}$
it follows from (8) and (10) that
$d = gcd(a, b); tag{11}$
therefore there are $x, y in Bbb Z$ with
$gcd(a, b) = ax + by; tag{12}$
now if
$gcd(a, b) = 1, tag{13}$
we have
$ax + by = 1, tag{14}$
and thus for $z in Bbb Z$
$z = z(ax + by) = a(xz) + b(yz); tag{15}$
therefore, for any $z in Bbb Z$ there exist $r, s in Bbb Z$ with
$z = ar + bt; tag{16}$
the expression may take on any integer value; the essential mathematical reason is that $Bbb Z$ is a PID.
$endgroup$
This is, I think, pretty easy to see once one realizes that, for $a, b in Bbb Z$ with
$gcd(a, b) = d, tag 1$
there exist $x, y in Bbb Z$ with
$ax + by = d; tag 2$
the easiest way I know to see this is to use the fact that $Bbb Z$ is a principal ideal domain (or PID); that is, for any ideal
$J subset Bbb Z tag 3$
there exists some $j in Bbb Z$ with
$J = (j) = jBbb Z; tag 4$
given that $Bbb Z$ is a PID, we examine the ideal generated by $a$ and $b$:
$(a, b) = {am + bn mid m, n in Bbb Z }; tag 5$
we then have
$(a, b) = (d) = dBbb Z, tag 6$
for some $d in Bbb Z$, and thus there are $x, y in Bbb Z$ such that (2) binds. It follows from (4) and (6) that
$d mid a, ; d mid b; tag 7$
thus, by definition,
$d mid gcd(a, b), tag 8$
and since
$gcd(a, b) mid a, ; gcd(a, b) mid b, tag 9$
we see via (2) that
$gcd(a, b) mid d; tag{10}$
it follows from (8) and (10) that
$d = gcd(a, b); tag{11}$
therefore there are $x, y in Bbb Z$ with
$gcd(a, b) = ax + by; tag{12}$
now if
$gcd(a, b) = 1, tag{13}$
we have
$ax + by = 1, tag{14}$
and thus for $z in Bbb Z$
$z = z(ax + by) = a(xz) + b(yz); tag{15}$
therefore, for any $z in Bbb Z$ there exist $r, s in Bbb Z$ with
$z = ar + bt; tag{16}$
the expression may take on any integer value; the essential mathematical reason is that $Bbb Z$ is a PID.
answered Jan 12 at 6:51
Robert LewisRobert Lewis
48k23067
48k23067
add a comment |
add a comment |
$begingroup$
Welcome to Mathematics Stack Exchange community! The quick tour will help you get the most benefit from your time here. Also, please use MathJax for your equations.
$endgroup$
– dantopa
Jan 12 at 5:36
1
$begingroup$
This is called Bezout's identity and the standard proof uses the Euclidean algorithm.
$endgroup$
– Cheerful Parsnip
Jan 12 at 5:51
$begingroup$
If $gcd(a,b)=1$, then $rx+sy=1$ for some integers $r,s$. Now multiply with an arbitrary integer $k$ to obtain $k=(kr)x+(ks)y=ax+by$.
$endgroup$
– Dietrich Burde
Jan 12 at 9:11