Prove that if $a$ and $b$ are some integers, then $a^2 - 4b$ does not equal $2$.












0












$begingroup$



Prove that if $a$ and $b$ are some integers, then $a^2 - 4b$ does not equal $2$.




How do I prove this, I tried using contradiction but I'm not sure how I can contradict this statement?










share|cite|improve this question











$endgroup$












  • $begingroup$
    Is it possile if a is odd? Is it possible if a is even.
    $endgroup$
    – fleablood
    Oct 23 '16 at 0:11










  • $begingroup$
    It doesnt say anything about it being odd or even in the question
    $endgroup$
    – Chance Gordon
    Oct 23 '16 at 0:16










  • $begingroup$
    So? That doesn't mean you can't say anything about it being odd or even. So, again. What happens if a is odd? What happens if a is even?
    $endgroup$
    – fleablood
    Oct 23 '16 at 0:37










  • $begingroup$
    Contradiction: Let $a^2 - 4b = 2$ then $a^2 = 4b + 2 = 2(2b + 1)$ so $a$ is even. Let $a = 2c$. $4c^2 = 2(2b + 1)$ so $2c^2 = 2b + 1$. Hmmmmm.....
    $endgroup$
    – fleablood
    Oct 23 '16 at 0:40
















0












$begingroup$



Prove that if $a$ and $b$ are some integers, then $a^2 - 4b$ does not equal $2$.




How do I prove this, I tried using contradiction but I'm not sure how I can contradict this statement?










share|cite|improve this question











$endgroup$












  • $begingroup$
    Is it possile if a is odd? Is it possible if a is even.
    $endgroup$
    – fleablood
    Oct 23 '16 at 0:11










  • $begingroup$
    It doesnt say anything about it being odd or even in the question
    $endgroup$
    – Chance Gordon
    Oct 23 '16 at 0:16










  • $begingroup$
    So? That doesn't mean you can't say anything about it being odd or even. So, again. What happens if a is odd? What happens if a is even?
    $endgroup$
    – fleablood
    Oct 23 '16 at 0:37










  • $begingroup$
    Contradiction: Let $a^2 - 4b = 2$ then $a^2 = 4b + 2 = 2(2b + 1)$ so $a$ is even. Let $a = 2c$. $4c^2 = 2(2b + 1)$ so $2c^2 = 2b + 1$. Hmmmmm.....
    $endgroup$
    – fleablood
    Oct 23 '16 at 0:40














0












0








0





$begingroup$



Prove that if $a$ and $b$ are some integers, then $a^2 - 4b$ does not equal $2$.




How do I prove this, I tried using contradiction but I'm not sure how I can contradict this statement?










share|cite|improve this question











$endgroup$





Prove that if $a$ and $b$ are some integers, then $a^2 - 4b$ does not equal $2$.




How do I prove this, I tried using contradiction but I'm not sure how I can contradict this statement?







integers






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Oct 23 '16 at 1:22









Em.

15k72037




15k72037










asked Oct 23 '16 at 0:07









Chance GordonChance Gordon

1069




1069












  • $begingroup$
    Is it possile if a is odd? Is it possible if a is even.
    $endgroup$
    – fleablood
    Oct 23 '16 at 0:11










  • $begingroup$
    It doesnt say anything about it being odd or even in the question
    $endgroup$
    – Chance Gordon
    Oct 23 '16 at 0:16










  • $begingroup$
    So? That doesn't mean you can't say anything about it being odd or even. So, again. What happens if a is odd? What happens if a is even?
    $endgroup$
    – fleablood
    Oct 23 '16 at 0:37










  • $begingroup$
    Contradiction: Let $a^2 - 4b = 2$ then $a^2 = 4b + 2 = 2(2b + 1)$ so $a$ is even. Let $a = 2c$. $4c^2 = 2(2b + 1)$ so $2c^2 = 2b + 1$. Hmmmmm.....
    $endgroup$
    – fleablood
    Oct 23 '16 at 0:40


















  • $begingroup$
    Is it possile if a is odd? Is it possible if a is even.
    $endgroup$
    – fleablood
    Oct 23 '16 at 0:11










  • $begingroup$
    It doesnt say anything about it being odd or even in the question
    $endgroup$
    – Chance Gordon
    Oct 23 '16 at 0:16










  • $begingroup$
    So? That doesn't mean you can't say anything about it being odd or even. So, again. What happens if a is odd? What happens if a is even?
    $endgroup$
    – fleablood
    Oct 23 '16 at 0:37










  • $begingroup$
    Contradiction: Let $a^2 - 4b = 2$ then $a^2 = 4b + 2 = 2(2b + 1)$ so $a$ is even. Let $a = 2c$. $4c^2 = 2(2b + 1)$ so $2c^2 = 2b + 1$. Hmmmmm.....
    $endgroup$
    – fleablood
    Oct 23 '16 at 0:40
















$begingroup$
Is it possile if a is odd? Is it possible if a is even.
$endgroup$
– fleablood
Oct 23 '16 at 0:11




$begingroup$
Is it possile if a is odd? Is it possible if a is even.
$endgroup$
– fleablood
Oct 23 '16 at 0:11












$begingroup$
It doesnt say anything about it being odd or even in the question
$endgroup$
– Chance Gordon
Oct 23 '16 at 0:16




$begingroup$
It doesnt say anything about it being odd or even in the question
$endgroup$
– Chance Gordon
Oct 23 '16 at 0:16












$begingroup$
So? That doesn't mean you can't say anything about it being odd or even. So, again. What happens if a is odd? What happens if a is even?
$endgroup$
– fleablood
Oct 23 '16 at 0:37




$begingroup$
So? That doesn't mean you can't say anything about it being odd or even. So, again. What happens if a is odd? What happens if a is even?
$endgroup$
– fleablood
Oct 23 '16 at 0:37












$begingroup$
Contradiction: Let $a^2 - 4b = 2$ then $a^2 = 4b + 2 = 2(2b + 1)$ so $a$ is even. Let $a = 2c$. $4c^2 = 2(2b + 1)$ so $2c^2 = 2b + 1$. Hmmmmm.....
$endgroup$
– fleablood
Oct 23 '16 at 0:40




$begingroup$
Contradiction: Let $a^2 - 4b = 2$ then $a^2 = 4b + 2 = 2(2b + 1)$ so $a$ is even. Let $a = 2c$. $4c^2 = 2(2b + 1)$ so $2c^2 = 2b + 1$. Hmmmmm.....
$endgroup$
– fleablood
Oct 23 '16 at 0:40










3 Answers
3






active

oldest

votes


















1












$begingroup$

Hint:



Use congruences. Such an equality would imply $2$ is a square modulo $4$. Write the list of all squares modulo $4$ and see if $2$ is among them.



Some details:



Remember two integers are congruent modulo $4$ if they have the same remainder when divided by $4$. This is equivalent to ‘one of them is equal to the other, pus a multiple of $4$’.



So $a^2-4b=2iff a^2=2+4biff a^2equiv 2mod 4$.



Now the classes of congruence modulo $4$ are $0$, $pm1$, $2$, and the relation of congruence is compatible with addition and multiplication. Thus the clsses of congruence of the squares are




  • $0^2=0$;

  • $(pm1)^2=1$;

  • $2^2=4equiv0$.


Neither $-1$ nor $2$ are in the list of (congruence classes) of squares modulo 4: we proved $2$ and $-1$ are not squares modulo $4$.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    I have little understanding of modulos and where and how to use them. Could you explain a bit?
    $endgroup$
    – Chance Gordon
    Oct 23 '16 at 0:23










  • $begingroup$
    @Chance Gordon: I've added details. Is that clearer?
    $endgroup$
    – Bernard
    Oct 23 '16 at 0:35



















0












$begingroup$

Your inequality can be rewritten as $a^2neq 4b+2= 2(2b+1)$.
Note that $2b+1$ is always an odd number whatever be $b$.
SO your question boils down to showing $a^2$ can never be double an odd number.



When $a$ is odd its square cannot be double of any number, being odd again.



When $a$ is even $ a^2$ will be an even number squared, that is $2mtimes 2m$ which is double of an even number. Done.






share|cite|improve this answer









$endgroup$





















    0












    $begingroup$

    Contradiction: Write as $(a+2b)(a-2b)=2$. Since $a$ and $b$ are integers, $a+2b$ and $a-2b$ are also integers. Therefore either $a+2b=2$ and $a-2b=1$, or $a+2b=1$ and $a-2b=2$ (or $-2$ and $-1$ or $-1$ and $-2$). There are $4$ pairs of simultaneous equations that could be true, however solving gives either: $a=3/2$, $b=pm 1/4$ or $a=-3/2$, $b=pm 1/4$. Any of these solutions contradicts that $a$ and $b$ were integers.






    share|cite|improve this answer











    $endgroup$













    • $begingroup$
      $(a+2b)(a-2b) = a^2 - 4b^2 ne a^2 - 4b$.
      $endgroup$
      – fleablood
      Jan 21 at 22:53











    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',
    autoActivateHeartbeat: false,
    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%2f1980673%2fprove-that-if-a-and-b-are-some-integers-then-a2-4b-does-not-equal-2%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    3 Answers
    3






    active

    oldest

    votes








    3 Answers
    3






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    1












    $begingroup$

    Hint:



    Use congruences. Such an equality would imply $2$ is a square modulo $4$. Write the list of all squares modulo $4$ and see if $2$ is among them.



    Some details:



    Remember two integers are congruent modulo $4$ if they have the same remainder when divided by $4$. This is equivalent to ‘one of them is equal to the other, pus a multiple of $4$’.



    So $a^2-4b=2iff a^2=2+4biff a^2equiv 2mod 4$.



    Now the classes of congruence modulo $4$ are $0$, $pm1$, $2$, and the relation of congruence is compatible with addition and multiplication. Thus the clsses of congruence of the squares are




    • $0^2=0$;

    • $(pm1)^2=1$;

    • $2^2=4equiv0$.


    Neither $-1$ nor $2$ are in the list of (congruence classes) of squares modulo 4: we proved $2$ and $-1$ are not squares modulo $4$.






    share|cite|improve this answer











    $endgroup$













    • $begingroup$
      I have little understanding of modulos and where and how to use them. Could you explain a bit?
      $endgroup$
      – Chance Gordon
      Oct 23 '16 at 0:23










    • $begingroup$
      @Chance Gordon: I've added details. Is that clearer?
      $endgroup$
      – Bernard
      Oct 23 '16 at 0:35
















    1












    $begingroup$

    Hint:



    Use congruences. Such an equality would imply $2$ is a square modulo $4$. Write the list of all squares modulo $4$ and see if $2$ is among them.



    Some details:



    Remember two integers are congruent modulo $4$ if they have the same remainder when divided by $4$. This is equivalent to ‘one of them is equal to the other, pus a multiple of $4$’.



    So $a^2-4b=2iff a^2=2+4biff a^2equiv 2mod 4$.



    Now the classes of congruence modulo $4$ are $0$, $pm1$, $2$, and the relation of congruence is compatible with addition and multiplication. Thus the clsses of congruence of the squares are




    • $0^2=0$;

    • $(pm1)^2=1$;

    • $2^2=4equiv0$.


    Neither $-1$ nor $2$ are in the list of (congruence classes) of squares modulo 4: we proved $2$ and $-1$ are not squares modulo $4$.






    share|cite|improve this answer











    $endgroup$













    • $begingroup$
      I have little understanding of modulos and where and how to use them. Could you explain a bit?
      $endgroup$
      – Chance Gordon
      Oct 23 '16 at 0:23










    • $begingroup$
      @Chance Gordon: I've added details. Is that clearer?
      $endgroup$
      – Bernard
      Oct 23 '16 at 0:35














    1












    1








    1





    $begingroup$

    Hint:



    Use congruences. Such an equality would imply $2$ is a square modulo $4$. Write the list of all squares modulo $4$ and see if $2$ is among them.



    Some details:



    Remember two integers are congruent modulo $4$ if they have the same remainder when divided by $4$. This is equivalent to ‘one of them is equal to the other, pus a multiple of $4$’.



    So $a^2-4b=2iff a^2=2+4biff a^2equiv 2mod 4$.



    Now the classes of congruence modulo $4$ are $0$, $pm1$, $2$, and the relation of congruence is compatible with addition and multiplication. Thus the clsses of congruence of the squares are




    • $0^2=0$;

    • $(pm1)^2=1$;

    • $2^2=4equiv0$.


    Neither $-1$ nor $2$ are in the list of (congruence classes) of squares modulo 4: we proved $2$ and $-1$ are not squares modulo $4$.






    share|cite|improve this answer











    $endgroup$



    Hint:



    Use congruences. Such an equality would imply $2$ is a square modulo $4$. Write the list of all squares modulo $4$ and see if $2$ is among them.



    Some details:



    Remember two integers are congruent modulo $4$ if they have the same remainder when divided by $4$. This is equivalent to ‘one of them is equal to the other, pus a multiple of $4$’.



    So $a^2-4b=2iff a^2=2+4biff a^2equiv 2mod 4$.



    Now the classes of congruence modulo $4$ are $0$, $pm1$, $2$, and the relation of congruence is compatible with addition and multiplication. Thus the clsses of congruence of the squares are




    • $0^2=0$;

    • $(pm1)^2=1$;

    • $2^2=4equiv0$.


    Neither $-1$ nor $2$ are in the list of (congruence classes) of squares modulo 4: we proved $2$ and $-1$ are not squares modulo $4$.







    share|cite|improve this answer














    share|cite|improve this answer



    share|cite|improve this answer








    edited Oct 23 '16 at 0:34

























    answered Oct 23 '16 at 0:19









    BernardBernard

    122k741116




    122k741116












    • $begingroup$
      I have little understanding of modulos and where and how to use them. Could you explain a bit?
      $endgroup$
      – Chance Gordon
      Oct 23 '16 at 0:23










    • $begingroup$
      @Chance Gordon: I've added details. Is that clearer?
      $endgroup$
      – Bernard
      Oct 23 '16 at 0:35


















    • $begingroup$
      I have little understanding of modulos and where and how to use them. Could you explain a bit?
      $endgroup$
      – Chance Gordon
      Oct 23 '16 at 0:23










    • $begingroup$
      @Chance Gordon: I've added details. Is that clearer?
      $endgroup$
      – Bernard
      Oct 23 '16 at 0:35
















    $begingroup$
    I have little understanding of modulos and where and how to use them. Could you explain a bit?
    $endgroup$
    – Chance Gordon
    Oct 23 '16 at 0:23




    $begingroup$
    I have little understanding of modulos and where and how to use them. Could you explain a bit?
    $endgroup$
    – Chance Gordon
    Oct 23 '16 at 0:23












    $begingroup$
    @Chance Gordon: I've added details. Is that clearer?
    $endgroup$
    – Bernard
    Oct 23 '16 at 0:35




    $begingroup$
    @Chance Gordon: I've added details. Is that clearer?
    $endgroup$
    – Bernard
    Oct 23 '16 at 0:35











    0












    $begingroup$

    Your inequality can be rewritten as $a^2neq 4b+2= 2(2b+1)$.
    Note that $2b+1$ is always an odd number whatever be $b$.
    SO your question boils down to showing $a^2$ can never be double an odd number.



    When $a$ is odd its square cannot be double of any number, being odd again.



    When $a$ is even $ a^2$ will be an even number squared, that is $2mtimes 2m$ which is double of an even number. Done.






    share|cite|improve this answer









    $endgroup$


















      0












      $begingroup$

      Your inequality can be rewritten as $a^2neq 4b+2= 2(2b+1)$.
      Note that $2b+1$ is always an odd number whatever be $b$.
      SO your question boils down to showing $a^2$ can never be double an odd number.



      When $a$ is odd its square cannot be double of any number, being odd again.



      When $a$ is even $ a^2$ will be an even number squared, that is $2mtimes 2m$ which is double of an even number. Done.






      share|cite|improve this answer









      $endgroup$
















        0












        0








        0





        $begingroup$

        Your inequality can be rewritten as $a^2neq 4b+2= 2(2b+1)$.
        Note that $2b+1$ is always an odd number whatever be $b$.
        SO your question boils down to showing $a^2$ can never be double an odd number.



        When $a$ is odd its square cannot be double of any number, being odd again.



        When $a$ is even $ a^2$ will be an even number squared, that is $2mtimes 2m$ which is double of an even number. Done.






        share|cite|improve this answer









        $endgroup$



        Your inequality can be rewritten as $a^2neq 4b+2= 2(2b+1)$.
        Note that $2b+1$ is always an odd number whatever be $b$.
        SO your question boils down to showing $a^2$ can never be double an odd number.



        When $a$ is odd its square cannot be double of any number, being odd again.



        When $a$ is even $ a^2$ will be an even number squared, that is $2mtimes 2m$ which is double of an even number. Done.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Oct 23 '16 at 1:27









        P VanchinathanP Vanchinathan

        15.3k12136




        15.3k12136























            0












            $begingroup$

            Contradiction: Write as $(a+2b)(a-2b)=2$. Since $a$ and $b$ are integers, $a+2b$ and $a-2b$ are also integers. Therefore either $a+2b=2$ and $a-2b=1$, or $a+2b=1$ and $a-2b=2$ (or $-2$ and $-1$ or $-1$ and $-2$). There are $4$ pairs of simultaneous equations that could be true, however solving gives either: $a=3/2$, $b=pm 1/4$ or $a=-3/2$, $b=pm 1/4$. Any of these solutions contradicts that $a$ and $b$ were integers.






            share|cite|improve this answer











            $endgroup$













            • $begingroup$
              $(a+2b)(a-2b) = a^2 - 4b^2 ne a^2 - 4b$.
              $endgroup$
              – fleablood
              Jan 21 at 22:53
















            0












            $begingroup$

            Contradiction: Write as $(a+2b)(a-2b)=2$. Since $a$ and $b$ are integers, $a+2b$ and $a-2b$ are also integers. Therefore either $a+2b=2$ and $a-2b=1$, or $a+2b=1$ and $a-2b=2$ (or $-2$ and $-1$ or $-1$ and $-2$). There are $4$ pairs of simultaneous equations that could be true, however solving gives either: $a=3/2$, $b=pm 1/4$ or $a=-3/2$, $b=pm 1/4$. Any of these solutions contradicts that $a$ and $b$ were integers.






            share|cite|improve this answer











            $endgroup$













            • $begingroup$
              $(a+2b)(a-2b) = a^2 - 4b^2 ne a^2 - 4b$.
              $endgroup$
              – fleablood
              Jan 21 at 22:53














            0












            0








            0





            $begingroup$

            Contradiction: Write as $(a+2b)(a-2b)=2$. Since $a$ and $b$ are integers, $a+2b$ and $a-2b$ are also integers. Therefore either $a+2b=2$ and $a-2b=1$, or $a+2b=1$ and $a-2b=2$ (or $-2$ and $-1$ or $-1$ and $-2$). There are $4$ pairs of simultaneous equations that could be true, however solving gives either: $a=3/2$, $b=pm 1/4$ or $a=-3/2$, $b=pm 1/4$. Any of these solutions contradicts that $a$ and $b$ were integers.






            share|cite|improve this answer











            $endgroup$



            Contradiction: Write as $(a+2b)(a-2b)=2$. Since $a$ and $b$ are integers, $a+2b$ and $a-2b$ are also integers. Therefore either $a+2b=2$ and $a-2b=1$, or $a+2b=1$ and $a-2b=2$ (or $-2$ and $-1$ or $-1$ and $-2$). There are $4$ pairs of simultaneous equations that could be true, however solving gives either: $a=3/2$, $b=pm 1/4$ or $a=-3/2$, $b=pm 1/4$. Any of these solutions contradicts that $a$ and $b$ were integers.







            share|cite|improve this answer














            share|cite|improve this answer



            share|cite|improve this answer








            edited Jan 21 at 23:52









            idriskameni

            757321




            757321










            answered Jan 21 at 22:25









            Jonty FreemanJonty Freeman

            1




            1












            • $begingroup$
              $(a+2b)(a-2b) = a^2 - 4b^2 ne a^2 - 4b$.
              $endgroup$
              – fleablood
              Jan 21 at 22:53


















            • $begingroup$
              $(a+2b)(a-2b) = a^2 - 4b^2 ne a^2 - 4b$.
              $endgroup$
              – fleablood
              Jan 21 at 22:53
















            $begingroup$
            $(a+2b)(a-2b) = a^2 - 4b^2 ne a^2 - 4b$.
            $endgroup$
            – fleablood
            Jan 21 at 22:53




            $begingroup$
            $(a+2b)(a-2b) = a^2 - 4b^2 ne a^2 - 4b$.
            $endgroup$
            – fleablood
            Jan 21 at 22:53


















            draft saved

            draft discarded




















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1980673%2fprove-that-if-a-and-b-are-some-integers-then-a2-4b-does-not-equal-2%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            MongoDB - Not Authorized To Execute Command

            How to fix TextFormField cause rebuild widget in Flutter

            in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith