If n is such a positive integer, that 8|n², then 4|n

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











up vote
1
down vote

favorite












I'm new to the subject of discrete mathematics.
This statement is either true or false and it has to be proved. I've struggled with this exercise for quite a while, and this is what I came up with:
If 8|n² then n² is even
If n² is even then n is even
If n is positive and 4|n then n = 4k (k - any positive integer)
If n = 4k then n² = 16k²
8|16k² and 4|4k, therefore the statement is true



n|m means n divides m



So guys, can someone verify whether I proved it or not?










share|cite|improve this question







New contributor




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



















  • Use the fact that if a prime $p$ divides a product of numbers, then it will divide one factor.
    – Wuestenfux
    2 hours ago










  • Your proof is wrong. You use the fact that $4|n$ in your proof. Hint is to see that $2|(n/2)^2$, so that $2|(n/2)$. I'm not sure who downvoted, but I upvoted it, I respect anyone who tries to prove something for themself
    – Rumpelstiltskin
    2 hours ago











  • What you have proven is the converse, if 4 | n then 8 | n^2
    – Dark Malthorp
    2 hours ago














up vote
1
down vote

favorite












I'm new to the subject of discrete mathematics.
This statement is either true or false and it has to be proved. I've struggled with this exercise for quite a while, and this is what I came up with:
If 8|n² then n² is even
If n² is even then n is even
If n is positive and 4|n then n = 4k (k - any positive integer)
If n = 4k then n² = 16k²
8|16k² and 4|4k, therefore the statement is true



n|m means n divides m



So guys, can someone verify whether I proved it or not?










share|cite|improve this question







New contributor




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



















  • Use the fact that if a prime $p$ divides a product of numbers, then it will divide one factor.
    – Wuestenfux
    2 hours ago










  • Your proof is wrong. You use the fact that $4|n$ in your proof. Hint is to see that $2|(n/2)^2$, so that $2|(n/2)$. I'm not sure who downvoted, but I upvoted it, I respect anyone who tries to prove something for themself
    – Rumpelstiltskin
    2 hours ago











  • What you have proven is the converse, if 4 | n then 8 | n^2
    – Dark Malthorp
    2 hours ago












up vote
1
down vote

favorite









up vote
1
down vote

favorite











I'm new to the subject of discrete mathematics.
This statement is either true or false and it has to be proved. I've struggled with this exercise for quite a while, and this is what I came up with:
If 8|n² then n² is even
If n² is even then n is even
If n is positive and 4|n then n = 4k (k - any positive integer)
If n = 4k then n² = 16k²
8|16k² and 4|4k, therefore the statement is true



n|m means n divides m



So guys, can someone verify whether I proved it or not?










share|cite|improve this question







New contributor




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











I'm new to the subject of discrete mathematics.
This statement is either true or false and it has to be proved. I've struggled with this exercise for quite a while, and this is what I came up with:
If 8|n² then n² is even
If n² is even then n is even
If n is positive and 4|n then n = 4k (k - any positive integer)
If n = 4k then n² = 16k²
8|16k² and 4|4k, therefore the statement is true



n|m means n divides m



So guys, can someone verify whether I proved it or not?







discrete-mathematics






share|cite|improve this question







New contributor




Nojus Kudaba 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 question







New contributor




Nojus Kudaba 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 question




share|cite|improve this question






New contributor




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









asked 2 hours ago









Nojus Kudaba

141




141




New contributor




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





New contributor





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






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











  • Use the fact that if a prime $p$ divides a product of numbers, then it will divide one factor.
    – Wuestenfux
    2 hours ago










  • Your proof is wrong. You use the fact that $4|n$ in your proof. Hint is to see that $2|(n/2)^2$, so that $2|(n/2)$. I'm not sure who downvoted, but I upvoted it, I respect anyone who tries to prove something for themself
    – Rumpelstiltskin
    2 hours ago











  • What you have proven is the converse, if 4 | n then 8 | n^2
    – Dark Malthorp
    2 hours ago
















  • Use the fact that if a prime $p$ divides a product of numbers, then it will divide one factor.
    – Wuestenfux
    2 hours ago










  • Your proof is wrong. You use the fact that $4|n$ in your proof. Hint is to see that $2|(n/2)^2$, so that $2|(n/2)$. I'm not sure who downvoted, but I upvoted it, I respect anyone who tries to prove something for themself
    – Rumpelstiltskin
    2 hours ago











  • What you have proven is the converse, if 4 | n then 8 | n^2
    – Dark Malthorp
    2 hours ago















Use the fact that if a prime $p$ divides a product of numbers, then it will divide one factor.
– Wuestenfux
2 hours ago




Use the fact that if a prime $p$ divides a product of numbers, then it will divide one factor.
– Wuestenfux
2 hours ago












Your proof is wrong. You use the fact that $4|n$ in your proof. Hint is to see that $2|(n/2)^2$, so that $2|(n/2)$. I'm not sure who downvoted, but I upvoted it, I respect anyone who tries to prove something for themself
– Rumpelstiltskin
2 hours ago





Your proof is wrong. You use the fact that $4|n$ in your proof. Hint is to see that $2|(n/2)^2$, so that $2|(n/2)$. I'm not sure who downvoted, but I upvoted it, I respect anyone who tries to prove something for themself
– Rumpelstiltskin
2 hours ago













What you have proven is the converse, if 4 | n then 8 | n^2
– Dark Malthorp
2 hours ago




What you have proven is the converse, if 4 | n then 8 | n^2
– Dark Malthorp
2 hours ago










4 Answers
4






active

oldest

votes

















up vote
2
down vote













If $k$ is the number of factors $2$ that $n$ has in its prime factorisation, then we know that $n^2$ has $2k$ such factors.



We are given that $8$ divides $n^2$ so $2k ge 3$. As $k$ is an integer this means that $k ge 2$, so indeed $4|n$.






share|cite|improve this answer



























    up vote
    2
    down vote













    No, you did not prove it. At no point what you wrote as something equivalent to “… and therefore $4mid n^2$”.



    You stated (correctly) that $n$ is even. How could $n$ then fail to be a multiple of $4$? Only if $n=2k$, whre $k$ is an odd number. But then $n^2=4k^2$ and, since $k^2$ is odd too, $8nmid4k^2$. Thereby, a contradiction is reached and so $4mid n$.






    share|cite|improve this answer



























      up vote
      1
      down vote













      Hint: the number of primes in the prime factorization of a square is even. Now $8=2^3$.






      share|cite|improve this answer



























        up vote
        1
        down vote













        Sorry, but your proof is wrong, because at a certain point you assume that $4mid n$.



        Since $8mid n^2$, $n$ is even, so $n=2a$. Hence $8mid 4a^2$, which implies $2mid a^2$. Therefore $a$ is even: $a=2b$ and finally $n=4b$.






        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
          );



          );






          Nojus Kudaba is a new contributor. Be nice, and check out our Code of Conduct.









           

          draft saved


          draft discarded


















          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2921458%2fif-n-is-such-a-positive-integer-that-8n%25c2%25b2-then-4n%23new-answer', 'question_page');

          );

          Post as a guest






























          4 Answers
          4






          active

          oldest

          votes








          4 Answers
          4






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes








          up vote
          2
          down vote













          If $k$ is the number of factors $2$ that $n$ has in its prime factorisation, then we know that $n^2$ has $2k$ such factors.



          We are given that $8$ divides $n^2$ so $2k ge 3$. As $k$ is an integer this means that $k ge 2$, so indeed $4|n$.






          share|cite|improve this answer
























            up vote
            2
            down vote













            If $k$ is the number of factors $2$ that $n$ has in its prime factorisation, then we know that $n^2$ has $2k$ such factors.



            We are given that $8$ divides $n^2$ so $2k ge 3$. As $k$ is an integer this means that $k ge 2$, so indeed $4|n$.






            share|cite|improve this answer






















              up vote
              2
              down vote










              up vote
              2
              down vote









              If $k$ is the number of factors $2$ that $n$ has in its prime factorisation, then we know that $n^2$ has $2k$ such factors.



              We are given that $8$ divides $n^2$ so $2k ge 3$. As $k$ is an integer this means that $k ge 2$, so indeed $4|n$.






              share|cite|improve this answer












              If $k$ is the number of factors $2$ that $n$ has in its prime factorisation, then we know that $n^2$ has $2k$ such factors.



              We are given that $8$ divides $n^2$ so $2k ge 3$. As $k$ is an integer this means that $k ge 2$, so indeed $4|n$.







              share|cite|improve this answer












              share|cite|improve this answer



              share|cite|improve this answer










              answered 2 hours ago









              Henno Brandsma

              93.7k342101




              93.7k342101




















                  up vote
                  2
                  down vote













                  No, you did not prove it. At no point what you wrote as something equivalent to “… and therefore $4mid n^2$”.



                  You stated (correctly) that $n$ is even. How could $n$ then fail to be a multiple of $4$? Only if $n=2k$, whre $k$ is an odd number. But then $n^2=4k^2$ and, since $k^2$ is odd too, $8nmid4k^2$. Thereby, a contradiction is reached and so $4mid n$.






                  share|cite|improve this answer
























                    up vote
                    2
                    down vote













                    No, you did not prove it. At no point what you wrote as something equivalent to “… and therefore $4mid n^2$”.



                    You stated (correctly) that $n$ is even. How could $n$ then fail to be a multiple of $4$? Only if $n=2k$, whre $k$ is an odd number. But then $n^2=4k^2$ and, since $k^2$ is odd too, $8nmid4k^2$. Thereby, a contradiction is reached and so $4mid n$.






                    share|cite|improve this answer






















                      up vote
                      2
                      down vote










                      up vote
                      2
                      down vote









                      No, you did not prove it. At no point what you wrote as something equivalent to “… and therefore $4mid n^2$”.



                      You stated (correctly) that $n$ is even. How could $n$ then fail to be a multiple of $4$? Only if $n=2k$, whre $k$ is an odd number. But then $n^2=4k^2$ and, since $k^2$ is odd too, $8nmid4k^2$. Thereby, a contradiction is reached and so $4mid n$.






                      share|cite|improve this answer












                      No, you did not prove it. At no point what you wrote as something equivalent to “… and therefore $4mid n^2$”.



                      You stated (correctly) that $n$ is even. How could $n$ then fail to be a multiple of $4$? Only if $n=2k$, whre $k$ is an odd number. But then $n^2=4k^2$ and, since $k^2$ is odd too, $8nmid4k^2$. Thereby, a contradiction is reached and so $4mid n$.







                      share|cite|improve this answer












                      share|cite|improve this answer



                      share|cite|improve this answer










                      answered 2 hours ago









                      José Carlos Santos

                      122k16101186




                      122k16101186




















                          up vote
                          1
                          down vote













                          Hint: the number of primes in the prime factorization of a square is even. Now $8=2^3$.






                          share|cite|improve this answer
























                            up vote
                            1
                            down vote













                            Hint: the number of primes in the prime factorization of a square is even. Now $8=2^3$.






                            share|cite|improve this answer






















                              up vote
                              1
                              down vote










                              up vote
                              1
                              down vote









                              Hint: the number of primes in the prime factorization of a square is even. Now $8=2^3$.






                              share|cite|improve this answer












                              Hint: the number of primes in the prime factorization of a square is even. Now $8=2^3$.







                              share|cite|improve this answer












                              share|cite|improve this answer



                              share|cite|improve this answer










                              answered 2 hours ago









                              Michael Hoppe

                              9,71631532




                              9,71631532




















                                  up vote
                                  1
                                  down vote













                                  Sorry, but your proof is wrong, because at a certain point you assume that $4mid n$.



                                  Since $8mid n^2$, $n$ is even, so $n=2a$. Hence $8mid 4a^2$, which implies $2mid a^2$. Therefore $a$ is even: $a=2b$ and finally $n=4b$.






                                  share|cite|improve this answer
























                                    up vote
                                    1
                                    down vote













                                    Sorry, but your proof is wrong, because at a certain point you assume that $4mid n$.



                                    Since $8mid n^2$, $n$ is even, so $n=2a$. Hence $8mid 4a^2$, which implies $2mid a^2$. Therefore $a$ is even: $a=2b$ and finally $n=4b$.






                                    share|cite|improve this answer






















                                      up vote
                                      1
                                      down vote










                                      up vote
                                      1
                                      down vote









                                      Sorry, but your proof is wrong, because at a certain point you assume that $4mid n$.



                                      Since $8mid n^2$, $n$ is even, so $n=2a$. Hence $8mid 4a^2$, which implies $2mid a^2$. Therefore $a$ is even: $a=2b$ and finally $n=4b$.






                                      share|cite|improve this answer












                                      Sorry, but your proof is wrong, because at a certain point you assume that $4mid n$.



                                      Since $8mid n^2$, $n$ is even, so $n=2a$. Hence $8mid 4a^2$, which implies $2mid a^2$. Therefore $a$ is even: $a=2b$ and finally $n=4b$.







                                      share|cite|improve this answer












                                      share|cite|improve this answer



                                      share|cite|improve this answer










                                      answered 2 hours ago









                                      egreg

                                      167k1180189




                                      167k1180189




















                                          Nojus Kudaba is a new contributor. Be nice, and check out our Code of Conduct.









                                           

                                          draft saved


                                          draft discarded


















                                          Nojus Kudaba is a new contributor. Be nice, and check out our Code of Conduct.












                                          Nojus Kudaba is a new contributor. Be nice, and check out our Code of Conduct.











                                          Nojus Kudaba is a new contributor. Be nice, and check out our Code of Conduct.













                                           


                                          draft saved


                                          draft discarded














                                          StackExchange.ready(
                                          function ()
                                          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2921458%2fif-n-is-such-a-positive-integer-that-8n%25c2%25b2-then-4n%23new-answer', 'question_page');

                                          );

                                          Post as a guest













































































                                          Comments

                                          Popular posts from this blog

                                          Long meetings (6-7 hours a day): Being “babysat” by supervisor

                                          Is the Concept of Multiple Fantasy Races Scientifically Flawed? [closed]

                                          Confectionery