Proof by Contradiction - There exists a positive number $x$ such that $x - frac2x <1$ and $x leq 2$.

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











up vote
0
down vote

favorite













I want to prove that there exists a positive number $x$ such that $x - dfrac2x <1$ and $x leq 2$.




Starting a proof by contradiction, I assumed that there is a positive number x such that x - (2/x) > 1 and x <= 2. I multiplied the first inequality by x and got x^2 - x - 2 > 0. I'm confused where to go from here and how to use the fact that x must also be less than or equal to 2.










share|cite|improve this question



















  • 2




    The easiest way to prove existence is to explicitly produce one example. In this case it's not too hard to consider $x = 1$ - it obviously satisfies both conditions. There is nothing left to prove.
    – mathguy
    Sep 6 at 4:06










  • For contradiction, you should assume that for all positive $x$ with $x leq 2$, we have $x - frac 2x geq 1$. Then, you should show that this cannot happen. Simplify this to $x^2 -x- 2 geq 0$, which goes to $(x+1)(x-2) geq 0$. Now, the product of two numbers is positive if and only if both have the same sign, so $0 < x leq 2$ and this equation cannot simultaneously have a solution.
    – Ð°ÑÑ‚он вілла олоф мэллбэрг
    Sep 6 at 4:08











  • @астонвіллаолофмэллбэрг But it is necessary to distinguish the cases $xge 0$ and $x<0$ when we multiply an inequality with $x$.
    – Peter
    Sep 6 at 7:07










  • @Peter $0 < x leq 2$ is part of the assumptions, hence the simplification goes through.
    – Ð°ÑÑ‚он вілла олоф мэллбэрг
    Sep 6 at 7:55










  • @астонвіллаолофмэллбэрг You are right, I overlooked the word "positive"
    – Peter
    Sep 6 at 7:56















up vote
0
down vote

favorite













I want to prove that there exists a positive number $x$ such that $x - dfrac2x <1$ and $x leq 2$.




Starting a proof by contradiction, I assumed that there is a positive number x such that x - (2/x) > 1 and x <= 2. I multiplied the first inequality by x and got x^2 - x - 2 > 0. I'm confused where to go from here and how to use the fact that x must also be less than or equal to 2.










share|cite|improve this question



















  • 2




    The easiest way to prove existence is to explicitly produce one example. In this case it's not too hard to consider $x = 1$ - it obviously satisfies both conditions. There is nothing left to prove.
    – mathguy
    Sep 6 at 4:06










  • For contradiction, you should assume that for all positive $x$ with $x leq 2$, we have $x - frac 2x geq 1$. Then, you should show that this cannot happen. Simplify this to $x^2 -x- 2 geq 0$, which goes to $(x+1)(x-2) geq 0$. Now, the product of two numbers is positive if and only if both have the same sign, so $0 < x leq 2$ and this equation cannot simultaneously have a solution.
    – Ð°ÑÑ‚он вілла олоф мэллбэрг
    Sep 6 at 4:08











  • @астонвіллаолофмэллбэрг But it is necessary to distinguish the cases $xge 0$ and $x<0$ when we multiply an inequality with $x$.
    – Peter
    Sep 6 at 7:07










  • @Peter $0 < x leq 2$ is part of the assumptions, hence the simplification goes through.
    – Ð°ÑÑ‚он вілла олоф мэллбэрг
    Sep 6 at 7:55










  • @астонвіллаолофмэллбэрг You are right, I overlooked the word "positive"
    – Peter
    Sep 6 at 7:56













up vote
0
down vote

favorite









up vote
0
down vote

favorite












I want to prove that there exists a positive number $x$ such that $x - dfrac2x <1$ and $x leq 2$.




Starting a proof by contradiction, I assumed that there is a positive number x such that x - (2/x) > 1 and x <= 2. I multiplied the first inequality by x and got x^2 - x - 2 > 0. I'm confused where to go from here and how to use the fact that x must also be less than or equal to 2.










share|cite|improve this question
















I want to prove that there exists a positive number $x$ such that $x - dfrac2x <1$ and $x leq 2$.




Starting a proof by contradiction, I assumed that there is a positive number x such that x - (2/x) > 1 and x <= 2. I multiplied the first inequality by x and got x^2 - x - 2 > 0. I'm confused where to go from here and how to use the fact that x must also be less than or equal to 2.







real-analysis proof-explanation






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Sep 6 at 4:04









Nosrati

22.5k61748




22.5k61748










asked Sep 6 at 3:56









user130272

58111




58111







  • 2




    The easiest way to prove existence is to explicitly produce one example. In this case it's not too hard to consider $x = 1$ - it obviously satisfies both conditions. There is nothing left to prove.
    – mathguy
    Sep 6 at 4:06










  • For contradiction, you should assume that for all positive $x$ with $x leq 2$, we have $x - frac 2x geq 1$. Then, you should show that this cannot happen. Simplify this to $x^2 -x- 2 geq 0$, which goes to $(x+1)(x-2) geq 0$. Now, the product of two numbers is positive if and only if both have the same sign, so $0 < x leq 2$ and this equation cannot simultaneously have a solution.
    – Ð°ÑÑ‚он вілла олоф мэллбэрг
    Sep 6 at 4:08











  • @астонвіллаолофмэллбэрг But it is necessary to distinguish the cases $xge 0$ and $x<0$ when we multiply an inequality with $x$.
    – Peter
    Sep 6 at 7:07










  • @Peter $0 < x leq 2$ is part of the assumptions, hence the simplification goes through.
    – Ð°ÑÑ‚он вілла олоф мэллбэрг
    Sep 6 at 7:55










  • @астонвіллаолофмэллбэрг You are right, I overlooked the word "positive"
    – Peter
    Sep 6 at 7:56













  • 2




    The easiest way to prove existence is to explicitly produce one example. In this case it's not too hard to consider $x = 1$ - it obviously satisfies both conditions. There is nothing left to prove.
    – mathguy
    Sep 6 at 4:06










  • For contradiction, you should assume that for all positive $x$ with $x leq 2$, we have $x - frac 2x geq 1$. Then, you should show that this cannot happen. Simplify this to $x^2 -x- 2 geq 0$, which goes to $(x+1)(x-2) geq 0$. Now, the product of two numbers is positive if and only if both have the same sign, so $0 < x leq 2$ and this equation cannot simultaneously have a solution.
    – Ð°ÑÑ‚он вілла олоф мэллбэрг
    Sep 6 at 4:08











  • @астонвіллаолофмэллбэрг But it is necessary to distinguish the cases $xge 0$ and $x<0$ when we multiply an inequality with $x$.
    – Peter
    Sep 6 at 7:07










  • @Peter $0 < x leq 2$ is part of the assumptions, hence the simplification goes through.
    – Ð°ÑÑ‚он вілла олоф мэллбэрг
    Sep 6 at 7:55










  • @астонвіллаолофмэллбэрг You are right, I overlooked the word "positive"
    – Peter
    Sep 6 at 7:56








2




2




The easiest way to prove existence is to explicitly produce one example. In this case it's not too hard to consider $x = 1$ - it obviously satisfies both conditions. There is nothing left to prove.
– mathguy
Sep 6 at 4:06




The easiest way to prove existence is to explicitly produce one example. In this case it's not too hard to consider $x = 1$ - it obviously satisfies both conditions. There is nothing left to prove.
– mathguy
Sep 6 at 4:06












For contradiction, you should assume that for all positive $x$ with $x leq 2$, we have $x - frac 2x geq 1$. Then, you should show that this cannot happen. Simplify this to $x^2 -x- 2 geq 0$, which goes to $(x+1)(x-2) geq 0$. Now, the product of two numbers is positive if and only if both have the same sign, so $0 < x leq 2$ and this equation cannot simultaneously have a solution.
– Ð°ÑÑ‚он вілла олоф мэллбэрг
Sep 6 at 4:08





For contradiction, you should assume that for all positive $x$ with $x leq 2$, we have $x - frac 2x geq 1$. Then, you should show that this cannot happen. Simplify this to $x^2 -x- 2 geq 0$, which goes to $(x+1)(x-2) geq 0$. Now, the product of two numbers is positive if and only if both have the same sign, so $0 < x leq 2$ and this equation cannot simultaneously have a solution.
– Ð°ÑÑ‚он вілла олоф мэллбэрг
Sep 6 at 4:08













@астонвіллаолофмэллбэрг But it is necessary to distinguish the cases $xge 0$ and $x<0$ when we multiply an inequality with $x$.
– Peter
Sep 6 at 7:07




@астонвіллаолофмэллбэрг But it is necessary to distinguish the cases $xge 0$ and $x<0$ when we multiply an inequality with $x$.
– Peter
Sep 6 at 7:07












@Peter $0 < x leq 2$ is part of the assumptions, hence the simplification goes through.
– Ð°ÑÑ‚он вілла олоф мэллбэрг
Sep 6 at 7:55




@Peter $0 < x leq 2$ is part of the assumptions, hence the simplification goes through.
– Ð°ÑÑ‚он вілла олоф мэллбэрг
Sep 6 at 7:55












@астонвіллаолофмэллбэрг You are right, I overlooked the word "positive"
– Peter
Sep 6 at 7:56





@астонвіллаолофмэллбэрг You are right, I overlooked the word "positive"
– Peter
Sep 6 at 7:56











2 Answers
2






active

oldest

votes

















up vote
1
down vote













Take ANY positive number such that:



$$x<2tag1$$



This implies:



$$frac2x>frac22$$



$$frac2x>1$$



$$-frac2x<-1tag2$$



Add (1) and (2) and you get:



$$x-frac2x<1$$



Actually all positive numbers less than 2 are solutions to your problem. The only exception is $x=2$.






share|cite|improve this answer



























    up vote
    0
    down vote













    You made a error in "I assumed that there is a positive number x such that x - (2/x) > 1 and x <= 2."



    To use proof by contradiction, it should be "For all positive x, x - (2/x) > 1 or x <= 2."



    Actually the original statement is wrong. There does NOT exist a positive number x such that x - (2/x) > 1 and x <= 2.






    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%2f2907071%2fproof-by-contradiction-there-exists-a-positive-number-x-such-that-x-frac%23new-answer', 'question_page');

      );

      Post as a guest






























      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes








      up vote
      1
      down vote













      Take ANY positive number such that:



      $$x<2tag1$$



      This implies:



      $$frac2x>frac22$$



      $$frac2x>1$$



      $$-frac2x<-1tag2$$



      Add (1) and (2) and you get:



      $$x-frac2x<1$$



      Actually all positive numbers less than 2 are solutions to your problem. The only exception is $x=2$.






      share|cite|improve this answer
























        up vote
        1
        down vote













        Take ANY positive number such that:



        $$x<2tag1$$



        This implies:



        $$frac2x>frac22$$



        $$frac2x>1$$



        $$-frac2x<-1tag2$$



        Add (1) and (2) and you get:



        $$x-frac2x<1$$



        Actually all positive numbers less than 2 are solutions to your problem. The only exception is $x=2$.






        share|cite|improve this answer






















          up vote
          1
          down vote










          up vote
          1
          down vote









          Take ANY positive number such that:



          $$x<2tag1$$



          This implies:



          $$frac2x>frac22$$



          $$frac2x>1$$



          $$-frac2x<-1tag2$$



          Add (1) and (2) and you get:



          $$x-frac2x<1$$



          Actually all positive numbers less than 2 are solutions to your problem. The only exception is $x=2$.






          share|cite|improve this answer












          Take ANY positive number such that:



          $$x<2tag1$$



          This implies:



          $$frac2x>frac22$$



          $$frac2x>1$$



          $$-frac2x<-1tag2$$



          Add (1) and (2) and you get:



          $$x-frac2x<1$$



          Actually all positive numbers less than 2 are solutions to your problem. The only exception is $x=2$.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Sep 6 at 12:22









          Oldboy

          3,3151323




          3,3151323




















              up vote
              0
              down vote













              You made a error in "I assumed that there is a positive number x such that x - (2/x) > 1 and x <= 2."



              To use proof by contradiction, it should be "For all positive x, x - (2/x) > 1 or x <= 2."



              Actually the original statement is wrong. There does NOT exist a positive number x such that x - (2/x) > 1 and x <= 2.






              share|cite|improve this answer


























                up vote
                0
                down vote













                You made a error in "I assumed that there is a positive number x such that x - (2/x) > 1 and x <= 2."



                To use proof by contradiction, it should be "For all positive x, x - (2/x) > 1 or x <= 2."



                Actually the original statement is wrong. There does NOT exist a positive number x such that x - (2/x) > 1 and x <= 2.






                share|cite|improve this answer
























                  up vote
                  0
                  down vote










                  up vote
                  0
                  down vote









                  You made a error in "I assumed that there is a positive number x such that x - (2/x) > 1 and x <= 2."



                  To use proof by contradiction, it should be "For all positive x, x - (2/x) > 1 or x <= 2."



                  Actually the original statement is wrong. There does NOT exist a positive number x such that x - (2/x) > 1 and x <= 2.






                  share|cite|improve this answer














                  You made a error in "I assumed that there is a positive number x such that x - (2/x) > 1 and x <= 2."



                  To use proof by contradiction, it should be "For all positive x, x - (2/x) > 1 or x <= 2."



                  Actually the original statement is wrong. There does NOT exist a positive number x such that x - (2/x) > 1 and x <= 2.







                  share|cite|improve this answer














                  share|cite|improve this answer



                  share|cite|improve this answer








                  edited Sep 6 at 13:13

























                  answered Sep 6 at 13:07









                  Albert

                  13




                  13



























                       

                      draft saved


                      draft discarded















































                       


                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function ()
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2907071%2fproof-by-contradiction-there-exists-a-positive-number-x-such-that-x-frac%23new-answer', 'question_page');

                      );

                      Post as a guest













































































                      這個網誌中的熱門文章

                      tkz-euclide: tkzDrawCircle[R] not working

                      How to combine Bézier curves to a surface?

                      1st Magritte Awards