contradiction proof on divides

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











up vote
2
down vote

favorite












Suppose a,b ∈ Z. If 4 | $(a^2 + b^2)$ then a and b are not both odd.



So, assuming that 4 | $(a^2 + b^2)$ and $a$ and $b$ are odd



this gives $4k=(2l+1)^2+(2u+1)^2$ for some $k,l,uin z$



eventually leading to $4k=4(l^2+l+u)+2(u^2+1)$



The RHS is not a multiple of 4 when $u=2$ contradiction.



Is this valid, thanks.










share|cite|improve this question























  • You are trying to prove the claim in the first line? Not sure why you can set $u=2$ towards the end...isn't $u$ an unknown parameter?
    – lulu
    14 hours ago










  • As a hint; show that $m$ odd implies $m^2=4k+1$ for some $k$.
    – lulu
    14 hours ago










  • thanks i see my mistake, should i leave the question as it is or correct it?
    – Carlos Bacca
    13 hours ago










  • @CarlosBacca You asked where the mistake is. We told you where the mistake is. The logical next step is to accept one of the answers. Don't edit out your mistake.
    – 5xum
    13 hours ago










  • True that would be pointless
    – Carlos Bacca
    13 hours ago














up vote
2
down vote

favorite












Suppose a,b ∈ Z. If 4 | $(a^2 + b^2)$ then a and b are not both odd.



So, assuming that 4 | $(a^2 + b^2)$ and $a$ and $b$ are odd



this gives $4k=(2l+1)^2+(2u+1)^2$ for some $k,l,uin z$



eventually leading to $4k=4(l^2+l+u)+2(u^2+1)$



The RHS is not a multiple of 4 when $u=2$ contradiction.



Is this valid, thanks.










share|cite|improve this question























  • You are trying to prove the claim in the first line? Not sure why you can set $u=2$ towards the end...isn't $u$ an unknown parameter?
    – lulu
    14 hours ago










  • As a hint; show that $m$ odd implies $m^2=4k+1$ for some $k$.
    – lulu
    14 hours ago










  • thanks i see my mistake, should i leave the question as it is or correct it?
    – Carlos Bacca
    13 hours ago










  • @CarlosBacca You asked where the mistake is. We told you where the mistake is. The logical next step is to accept one of the answers. Don't edit out your mistake.
    – 5xum
    13 hours ago










  • True that would be pointless
    – Carlos Bacca
    13 hours ago












up vote
2
down vote

favorite









up vote
2
down vote

favorite











Suppose a,b ∈ Z. If 4 | $(a^2 + b^2)$ then a and b are not both odd.



So, assuming that 4 | $(a^2 + b^2)$ and $a$ and $b$ are odd



this gives $4k=(2l+1)^2+(2u+1)^2$ for some $k,l,uin z$



eventually leading to $4k=4(l^2+l+u)+2(u^2+1)$



The RHS is not a multiple of 4 when $u=2$ contradiction.



Is this valid, thanks.










share|cite|improve this question















Suppose a,b ∈ Z. If 4 | $(a^2 + b^2)$ then a and b are not both odd.



So, assuming that 4 | $(a^2 + b^2)$ and $a$ and $b$ are odd



this gives $4k=(2l+1)^2+(2u+1)^2$ for some $k,l,uin z$



eventually leading to $4k=4(l^2+l+u)+2(u^2+1)$



The RHS is not a multiple of 4 when $u=2$ contradiction.



Is this valid, thanks.







proof-verification divisibility






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 14 hours ago









GNUSupporter 8964民主女神 地下教會

12.3k72243




12.3k72243










asked 14 hours ago









Carlos Bacca

18210




18210











  • You are trying to prove the claim in the first line? Not sure why you can set $u=2$ towards the end...isn't $u$ an unknown parameter?
    – lulu
    14 hours ago










  • As a hint; show that $m$ odd implies $m^2=4k+1$ for some $k$.
    – lulu
    14 hours ago










  • thanks i see my mistake, should i leave the question as it is or correct it?
    – Carlos Bacca
    13 hours ago










  • @CarlosBacca You asked where the mistake is. We told you where the mistake is. The logical next step is to accept one of the answers. Don't edit out your mistake.
    – 5xum
    13 hours ago










  • True that would be pointless
    – Carlos Bacca
    13 hours ago
















  • You are trying to prove the claim in the first line? Not sure why you can set $u=2$ towards the end...isn't $u$ an unknown parameter?
    – lulu
    14 hours ago










  • As a hint; show that $m$ odd implies $m^2=4k+1$ for some $k$.
    – lulu
    14 hours ago










  • thanks i see my mistake, should i leave the question as it is or correct it?
    – Carlos Bacca
    13 hours ago










  • @CarlosBacca You asked where the mistake is. We told you where the mistake is. The logical next step is to accept one of the answers. Don't edit out your mistake.
    – 5xum
    13 hours ago










  • True that would be pointless
    – Carlos Bacca
    13 hours ago















You are trying to prove the claim in the first line? Not sure why you can set $u=2$ towards the end...isn't $u$ an unknown parameter?
– lulu
14 hours ago




You are trying to prove the claim in the first line? Not sure why you can set $u=2$ towards the end...isn't $u$ an unknown parameter?
– lulu
14 hours ago












As a hint; show that $m$ odd implies $m^2=4k+1$ for some $k$.
– lulu
14 hours ago




As a hint; show that $m$ odd implies $m^2=4k+1$ for some $k$.
– lulu
14 hours ago












thanks i see my mistake, should i leave the question as it is or correct it?
– Carlos Bacca
13 hours ago




thanks i see my mistake, should i leave the question as it is or correct it?
– Carlos Bacca
13 hours ago












@CarlosBacca You asked where the mistake is. We told you where the mistake is. The logical next step is to accept one of the answers. Don't edit out your mistake.
– 5xum
13 hours ago




@CarlosBacca You asked where the mistake is. We told you where the mistake is. The logical next step is to accept one of the answers. Don't edit out your mistake.
– 5xum
13 hours ago












True that would be pointless
– Carlos Bacca
13 hours ago




True that would be pointless
– Carlos Bacca
13 hours ago










3 Answers
3






active

oldest

votes

















up vote
3
down vote



accepted










It's not yet valid, because you haven't shown why the RHS cannot be a multiple of $4$. You cannot simply set $u=2$, because the $u$ you have is already determined by $b$, since $b=2u+1$.




To correct your proof, re-think how you got from



$$4k=(2l+1)^2 + (2u+1)^2$$



to



$$4k = 4(l^2+l+u) + 2(u^2+1)$$



because I think you were a bit sloppy here.






share|cite|improve this answer



























    up vote
    1
    down vote













    This is invalid. You have done a mistake in calculation.
    RHS will be $4(l^2+u^2+l+u)+2$, which is not divisible by 4.
    Hope it helps:)






    share|cite|improve this answer



























      up vote
      0
      down vote













      If you multiply correctly, the RHS leaves a rest of 2 modulo 4. So your idea was correct, you just need to recalculate.






      share|cite|improve this answer








      New contributor




      Nodt Greenish is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.

















        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: true,
        showLowRepImageUploadWarning: true,
        reputationToPostImages: 10,
        bindNavPrevention: true,
        postfix: "",
        imageUploader:
        brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
        contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
        allowUrls: true
        ,
        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%2f2995327%2fcontradiction-proof-on-divides%23new-answer', 'question_page');

        );

        Post as a guest






























        3 Answers
        3






        active

        oldest

        votes








        3 Answers
        3






        active

        oldest

        votes









        active

        oldest

        votes






        active

        oldest

        votes








        up vote
        3
        down vote



        accepted










        It's not yet valid, because you haven't shown why the RHS cannot be a multiple of $4$. You cannot simply set $u=2$, because the $u$ you have is already determined by $b$, since $b=2u+1$.




        To correct your proof, re-think how you got from



        $$4k=(2l+1)^2 + (2u+1)^2$$



        to



        $$4k = 4(l^2+l+u) + 2(u^2+1)$$



        because I think you were a bit sloppy here.






        share|cite|improve this answer
























          up vote
          3
          down vote



          accepted










          It's not yet valid, because you haven't shown why the RHS cannot be a multiple of $4$. You cannot simply set $u=2$, because the $u$ you have is already determined by $b$, since $b=2u+1$.




          To correct your proof, re-think how you got from



          $$4k=(2l+1)^2 + (2u+1)^2$$



          to



          $$4k = 4(l^2+l+u) + 2(u^2+1)$$



          because I think you were a bit sloppy here.






          share|cite|improve this answer






















            up vote
            3
            down vote



            accepted







            up vote
            3
            down vote



            accepted






            It's not yet valid, because you haven't shown why the RHS cannot be a multiple of $4$. You cannot simply set $u=2$, because the $u$ you have is already determined by $b$, since $b=2u+1$.




            To correct your proof, re-think how you got from



            $$4k=(2l+1)^2 + (2u+1)^2$$



            to



            $$4k = 4(l^2+l+u) + 2(u^2+1)$$



            because I think you were a bit sloppy here.






            share|cite|improve this answer












            It's not yet valid, because you haven't shown why the RHS cannot be a multiple of $4$. You cannot simply set $u=2$, because the $u$ you have is already determined by $b$, since $b=2u+1$.




            To correct your proof, re-think how you got from



            $$4k=(2l+1)^2 + (2u+1)^2$$



            to



            $$4k = 4(l^2+l+u) + 2(u^2+1)$$



            because I think you were a bit sloppy here.







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered 14 hours ago









            5xum

            87.6k391159




            87.6k391159




















                up vote
                1
                down vote













                This is invalid. You have done a mistake in calculation.
                RHS will be $4(l^2+u^2+l+u)+2$, which is not divisible by 4.
                Hope it helps:)






                share|cite|improve this answer
























                  up vote
                  1
                  down vote













                  This is invalid. You have done a mistake in calculation.
                  RHS will be $4(l^2+u^2+l+u)+2$, which is not divisible by 4.
                  Hope it helps:)






                  share|cite|improve this answer






















                    up vote
                    1
                    down vote










                    up vote
                    1
                    down vote









                    This is invalid. You have done a mistake in calculation.
                    RHS will be $4(l^2+u^2+l+u)+2$, which is not divisible by 4.
                    Hope it helps:)






                    share|cite|improve this answer












                    This is invalid. You have done a mistake in calculation.
                    RHS will be $4(l^2+u^2+l+u)+2$, which is not divisible by 4.
                    Hope it helps:)







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered 14 hours ago









                    Crazy for maths

                    1424




                    1424




















                        up vote
                        0
                        down vote













                        If you multiply correctly, the RHS leaves a rest of 2 modulo 4. So your idea was correct, you just need to recalculate.






                        share|cite|improve this answer








                        New contributor




                        Nodt Greenish is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                        Check out our Code of Conduct.





















                          up vote
                          0
                          down vote













                          If you multiply correctly, the RHS leaves a rest of 2 modulo 4. So your idea was correct, you just need to recalculate.






                          share|cite|improve this answer








                          New contributor




                          Nodt Greenish is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                          Check out our Code of Conduct.



















                            up vote
                            0
                            down vote










                            up vote
                            0
                            down vote









                            If you multiply correctly, the RHS leaves a rest of 2 modulo 4. So your idea was correct, you just need to recalculate.






                            share|cite|improve this answer








                            New contributor




                            Nodt Greenish is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                            Check out our Code of Conduct.









                            If you multiply correctly, the RHS leaves a rest of 2 modulo 4. So your idea was correct, you just need to recalculate.







                            share|cite|improve this answer








                            New contributor




                            Nodt Greenish is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                            Check out our Code of Conduct.









                            share|cite|improve this answer



                            share|cite|improve this answer






                            New contributor




                            Nodt Greenish is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                            Check out our Code of Conduct.









                            answered 13 hours ago









                            Nodt Greenish

                            266




                            266




                            New contributor




                            Nodt Greenish is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                            Check out our Code of Conduct.





                            New contributor





                            Nodt Greenish is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                            Check out our Code of Conduct.






                            Nodt Greenish is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                            Check out our Code of Conduct.



























                                 

                                draft saved


                                draft discarded















































                                 


                                draft saved


                                draft discarded














                                StackExchange.ready(
                                function ()
                                StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2995327%2fcontradiction-proof-on-divides%23new-answer', 'question_page');

                                );

                                Post as a guest













































































                                Popular posts from this blog

                                How to check contact read email or not when send email to Individual?

                                Displaying single band from multi-band raster using QGIS

                                How many registers does an x86_64 CPU actually have?