Ask your own question, for FREE!
Mathematics 24 Online
OpenStudy (anonymous):

if gcd(a,b)=1, then gcd(a,bc)=gcd(a,c) prove

OpenStudy (anonymous):

i write this out last last night, let me see if i can find it

OpenStudy (anonymous):

do you know Bezout's Identity? yo satellite :)

OpenStudy (anonymous):

no

OpenStudy (anonymous):

are we allowed to use bezout's identity? or the fundamental theorem of arithmetic?

OpenStudy (anonymous):

i dont think so :)

OpenStudy (anonymous):

then what tools do we have to work with? o.O

OpenStudy (anonymous):

if gcd(a,c)=d and gcd(a,bc)=e then how do u prove that e|c (using gcd(a,b)=1)?

OpenStudy (anonymous):

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

OpenStudy (anonymous):

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.

OpenStudy (anonymous):

HELLO JOE!

OpenStudy (anonymous):

but imo, that doesn't sound very concrete. A proof involving bezout or FTA would be stronger. imo anyways.

OpenStudy (anonymous):

yo satellite!!!!!!!

OpenStudy (anonymous):

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!

OpenStudy (anonymous):

Myininaya :) /wave

OpenStudy (anonymous):

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\]

myininaya (myininaya):

hey joe!

OpenStudy (anonymous):

Thats what i wanted to do, but that Bezout's Identity.

OpenStudy (anonymous):

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)

OpenStudy (anonymous):

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

myininaya (myininaya):

i think you have to use bezouty

OpenStudy (anonymous):

joemath can finish it, because now you have to shake your bazouti

myininaya (myininaya):

i need to go to bed

OpenStudy (anonymous):

i just got here :( stay up!

OpenStudy (anonymous):

me too! i am supposed to be doing work, but instead of working or sleeping i am here!

OpenStudy (anonymous):

jk jk, im getting ready to sleep as well.

OpenStudy (anonymous):

can u answer one more?

OpenStudy (anonymous):

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.

OpenStudy (anonymous):

do you mean kx+Ly=c?

OpenStudy (anonymous):

kx-Ly=c and infinitly*

OpenStudy (anonymous):

i have a solution for that on my computer. one sec...

OpenStudy (anonymous):

myininaya (myininaya):

night for reals joe sorry i'm leaving you and satellite

OpenStudy (anonymous):

night :)

OpenStudy (anonymous):

just switch s and t for k and L and that proof will work.

OpenStudy (anonymous):

not sure about notation: x and y with bar over them? negation?

OpenStudy (anonymous):

im just denoting different integers from the x and y i used previously. you can call them something else if you like.

OpenStudy (anonymous):

ok makes sense tyvm

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!