if gcd(a,b)=1, then gcd(a,bc)=gcd(a,c) prove
i write this out last last night, let me see if i can find it
do you know Bezout's Identity? yo satellite :)
no
are we allowed to use bezout's identity? or the fundamental theorem of arithmetic?
i dont think so :)
then what tools do we have to work with? o.O
if gcd(a,c)=d and gcd(a,bc)=e then how do u prove that e|c (using gcd(a,b)=1)?
i think what joemath meant to ask was what theorems we allowed to use, so basically gcd characterization theorem, EEA, and basic deinitions of math
i guess you would just say, if (a,bc) = e, then e divides a, and e divides bc, but since (a,b) =1, e cant divide b, so it must divide c.
HELLO JOE!
but imo, that doesn't sound very concrete. A proof involving bezout or FTA would be stronger. imo anyways.
yo satellite!!!!!!!
this is what you do for this problem. i wrote it all out last night and it was late but i think i got it correct. joe can check long time no see!
Myininaya :) /wave
you start with the fact that if gcd(a,b)=1 then there are integers x and y with \[ax+by=1\] and then if gdc(a,c)= d then \[ax_1+cy_1=d\] and then write \[adx+bdy=d=ax_1+cy_1\]and then \[adx+b(ax_1+cy_1)y=d\]
hey joe!
Thats what i wanted to do, but that Bezout's Identity.
then you write \[a(dx+bx_1y_1)+cbyy_1\] and argue that this is a linear combination of \[a\] and \[bc\] so it is divisible by gcd(a, bc)
yes i think this is what you use. but this question requires some elementary algebra that i cannot do at this hor of the night
i think you have to use bezouty
joemath can finish it, because now you have to shake your bazouti
i need to go to bed
i just got here :( stay up!
me too! i am supposed to be doing work, but instead of working or sleeping i am here!
jk jk, im getting ready to sleep as well.
can u answer one more?
Prove the following statement. If k and L are coprime positive integers, then the linear Diophantine equation kx Ly = c has innitely many solutions in the positive integers.
do you mean kx+Ly=c?
kx-Ly=c and infinitly*
i have a solution for that on my computer. one sec...
night for reals joe sorry i'm leaving you and satellite
night :)
just switch s and t for k and L and that proof will work.
not sure about notation: x and y with bar over them? negation?
im just denoting different integers from the x and y i used previously. you can call them something else if you like.
ok makes sense tyvm
Join our real-time social learning platform and learn together with your friends!