Let $a, b, c in Z$ such that $gcd(a,c) = d$ for some integer $d$. Prove if $amid bc$ then $amid bd$.

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
2
down vote

favorite
1












Here is what I have tried.



If $gcd (a,c) = d$ then you can pick $x, y$ such that $d = ax + cy$



So to show $bd = la$, multiply $b$ into above to get $bd = bax + bcy$



And since $bc = ma$, $bd = bax + may$



Is this sufficient proof? I think I need to get rid of the $b$ in $bax$







share|cite|improve this question





















  • Yes, it is correct. You don't need to get rid of b in $bax$.
    – Hector Blandin
    Jul 18 at 21:36







  • 1




    It's fine for me. Why should you get rid of the $b $ in $bax$? You can factor out $a$ in the r.h.s., that's the main point.
    – Bernard
    Jul 18 at 21:36










  • What is $l$ and $m$? Where did those come from? Oh. $l = frac bda$ and $m = frac bcm$.... Yes, other than the style point you need to introduce $m,l$ the proof is valid. And no, then $b$ is $bax$ is not a problem.
    – fleablood
    Jul 18 at 21:38






  • 2




    alternative proof, the way I tend to do things which is neither easier nor more illuminating than yours, just different: Let $a=a'd;c=c'd$ Then $gcd(a',c')=1$ then $a|bcimplies a'|bc'implies a'|b$. So $a'd=a|bd$. (Mine uses a modified Euclid's Lemma; yours Bezout's-- kind of interesting as your proof is nearly exactly how we would prove Euclid's lemma)
    – fleablood
    Jul 18 at 21:49














up vote
2
down vote

favorite
1












Here is what I have tried.



If $gcd (a,c) = d$ then you can pick $x, y$ such that $d = ax + cy$



So to show $bd = la$, multiply $b$ into above to get $bd = bax + bcy$



And since $bc = ma$, $bd = bax + may$



Is this sufficient proof? I think I need to get rid of the $b$ in $bax$







share|cite|improve this question





















  • Yes, it is correct. You don't need to get rid of b in $bax$.
    – Hector Blandin
    Jul 18 at 21:36







  • 1




    It's fine for me. Why should you get rid of the $b $ in $bax$? You can factor out $a$ in the r.h.s., that's the main point.
    – Bernard
    Jul 18 at 21:36










  • What is $l$ and $m$? Where did those come from? Oh. $l = frac bda$ and $m = frac bcm$.... Yes, other than the style point you need to introduce $m,l$ the proof is valid. And no, then $b$ is $bax$ is not a problem.
    – fleablood
    Jul 18 at 21:38






  • 2




    alternative proof, the way I tend to do things which is neither easier nor more illuminating than yours, just different: Let $a=a'd;c=c'd$ Then $gcd(a',c')=1$ then $a|bcimplies a'|bc'implies a'|b$. So $a'd=a|bd$. (Mine uses a modified Euclid's Lemma; yours Bezout's-- kind of interesting as your proof is nearly exactly how we would prove Euclid's lemma)
    – fleablood
    Jul 18 at 21:49












up vote
2
down vote

favorite
1









up vote
2
down vote

favorite
1






1





Here is what I have tried.



If $gcd (a,c) = d$ then you can pick $x, y$ such that $d = ax + cy$



So to show $bd = la$, multiply $b$ into above to get $bd = bax + bcy$



And since $bc = ma$, $bd = bax + may$



Is this sufficient proof? I think I need to get rid of the $b$ in $bax$







share|cite|improve this question













Here is what I have tried.



If $gcd (a,c) = d$ then you can pick $x, y$ such that $d = ax + cy$



So to show $bd = la$, multiply $b$ into above to get $bd = bax + bcy$



And since $bc = ma$, $bd = bax + may$



Is this sufficient proof? I think I need to get rid of the $b$ in $bax$









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Jul 18 at 21:32









Bernard

110k635103




110k635103









asked Jul 18 at 21:29









SolidSnackDrive

1107




1107











  • Yes, it is correct. You don't need to get rid of b in $bax$.
    – Hector Blandin
    Jul 18 at 21:36







  • 1




    It's fine for me. Why should you get rid of the $b $ in $bax$? You can factor out $a$ in the r.h.s., that's the main point.
    – Bernard
    Jul 18 at 21:36










  • What is $l$ and $m$? Where did those come from? Oh. $l = frac bda$ and $m = frac bcm$.... Yes, other than the style point you need to introduce $m,l$ the proof is valid. And no, then $b$ is $bax$ is not a problem.
    – fleablood
    Jul 18 at 21:38






  • 2




    alternative proof, the way I tend to do things which is neither easier nor more illuminating than yours, just different: Let $a=a'd;c=c'd$ Then $gcd(a',c')=1$ then $a|bcimplies a'|bc'implies a'|b$. So $a'd=a|bd$. (Mine uses a modified Euclid's Lemma; yours Bezout's-- kind of interesting as your proof is nearly exactly how we would prove Euclid's lemma)
    – fleablood
    Jul 18 at 21:49
















  • Yes, it is correct. You don't need to get rid of b in $bax$.
    – Hector Blandin
    Jul 18 at 21:36







  • 1




    It's fine for me. Why should you get rid of the $b $ in $bax$? You can factor out $a$ in the r.h.s., that's the main point.
    – Bernard
    Jul 18 at 21:36










  • What is $l$ and $m$? Where did those come from? Oh. $l = frac bda$ and $m = frac bcm$.... Yes, other than the style point you need to introduce $m,l$ the proof is valid. And no, then $b$ is $bax$ is not a problem.
    – fleablood
    Jul 18 at 21:38






  • 2




    alternative proof, the way I tend to do things which is neither easier nor more illuminating than yours, just different: Let $a=a'd;c=c'd$ Then $gcd(a',c')=1$ then $a|bcimplies a'|bc'implies a'|b$. So $a'd=a|bd$. (Mine uses a modified Euclid's Lemma; yours Bezout's-- kind of interesting as your proof is nearly exactly how we would prove Euclid's lemma)
    – fleablood
    Jul 18 at 21:49















Yes, it is correct. You don't need to get rid of b in $bax$.
– Hector Blandin
Jul 18 at 21:36





Yes, it is correct. You don't need to get rid of b in $bax$.
– Hector Blandin
Jul 18 at 21:36





1




1




It's fine for me. Why should you get rid of the $b $ in $bax$? You can factor out $a$ in the r.h.s., that's the main point.
– Bernard
Jul 18 at 21:36




It's fine for me. Why should you get rid of the $b $ in $bax$? You can factor out $a$ in the r.h.s., that's the main point.
– Bernard
Jul 18 at 21:36












What is $l$ and $m$? Where did those come from? Oh. $l = frac bda$ and $m = frac bcm$.... Yes, other than the style point you need to introduce $m,l$ the proof is valid. And no, then $b$ is $bax$ is not a problem.
– fleablood
Jul 18 at 21:38




What is $l$ and $m$? Where did those come from? Oh. $l = frac bda$ and $m = frac bcm$.... Yes, other than the style point you need to introduce $m,l$ the proof is valid. And no, then $b$ is $bax$ is not a problem.
– fleablood
Jul 18 at 21:38




2




2




alternative proof, the way I tend to do things which is neither easier nor more illuminating than yours, just different: Let $a=a'd;c=c'd$ Then $gcd(a',c')=1$ then $a|bcimplies a'|bc'implies a'|b$. So $a'd=a|bd$. (Mine uses a modified Euclid's Lemma; yours Bezout's-- kind of interesting as your proof is nearly exactly how we would prove Euclid's lemma)
– fleablood
Jul 18 at 21:49




alternative proof, the way I tend to do things which is neither easier nor more illuminating than yours, just different: Let $a=a'd;c=c'd$ Then $gcd(a',c')=1$ then $a|bcimplies a'|bc'implies a'|b$. So $a'd=a|bd$. (Mine uses a modified Euclid's Lemma; yours Bezout's-- kind of interesting as your proof is nearly exactly how we would prove Euclid's lemma)
– fleablood
Jul 18 at 21:49










1 Answer
1






active

oldest

votes

















up vote
2
down vote



accepted










This is a sufficient proof. You have shown $bd = a(bx+my)=al$, which is what you wanted.






share|cite|improve this answer





















    Your Answer




    StackExchange.ifUsing("editor", function ()
    return StackExchange.using("mathjaxEditing", function ()
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    );
    );
    , "mathjax-editing");

    StackExchange.ready(function()
    var channelOptions =
    tags: "".split(" "),
    id: "69"
    ;
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function()
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled)
    StackExchange.using("snippets", function()
    createEditor();
    );

    else
    createEditor();

    );

    function createEditor()
    StackExchange.prepareEditor(
    heartbeatType: 'answer',
    convertImagesToLinks: true,
    noModals: false,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    );



    );








     

    draft saved


    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2856026%2flet-a-b-c-in-z-such-that-gcda-c-d-for-some-integer-d-prove-if-a%23new-answer', 'question_page');

    );

    Post as a guest






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    2
    down vote



    accepted










    This is a sufficient proof. You have shown $bd = a(bx+my)=al$, which is what you wanted.






    share|cite|improve this answer

























      up vote
      2
      down vote



      accepted










      This is a sufficient proof. You have shown $bd = a(bx+my)=al$, which is what you wanted.






      share|cite|improve this answer























        up vote
        2
        down vote



        accepted







        up vote
        2
        down vote



        accepted






        This is a sufficient proof. You have shown $bd = a(bx+my)=al$, which is what you wanted.






        share|cite|improve this answer













        This is a sufficient proof. You have shown $bd = a(bx+my)=al$, which is what you wanted.







        share|cite|improve this answer













        share|cite|improve this answer



        share|cite|improve this answer











        answered Jul 18 at 21:36









        Sambo

        1,2561427




        1,2561427






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2856026%2flet-a-b-c-in-z-such-that-gcda-c-d-for-some-integer-d-prove-if-a%23new-answer', 'question_page');

            );

            Post as a guest













































































            Comments

            Popular posts from this blog

            What is the equation of a 3D cone with generalised tilt?

            Color the edges and diagonals of a regular polygon

            Relationship between determinant of matrix and determinant of adjoint?