How to prove that $f(x) = frac-2x+1(2x-1)^2-1$ is one-to-one on $(0,1)$?

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











up vote
3
down vote

favorite
1












How do I prove that the function



$$f(x) = frac-2x+1(2x-1)^2-1$$



is one-to-one on the interval $(0,1)$? I have simplified the function $f(x)=f(y)$ and have a multivariable quadratic equation equal to zero. How do I conclude that the function is one to one?







share|cite|improve this question






















  • I apologize for leaving out a piece of information, I only need to know if the function is one to one from the interval (a,b).
    – Bret Hisey
    Sep 2 at 18:47














up vote
3
down vote

favorite
1












How do I prove that the function



$$f(x) = frac-2x+1(2x-1)^2-1$$



is one-to-one on the interval $(0,1)$? I have simplified the function $f(x)=f(y)$ and have a multivariable quadratic equation equal to zero. How do I conclude that the function is one to one?







share|cite|improve this question






















  • I apologize for leaving out a piece of information, I only need to know if the function is one to one from the interval (a,b).
    – Bret Hisey
    Sep 2 at 18:47












up vote
3
down vote

favorite
1









up vote
3
down vote

favorite
1






1





How do I prove that the function



$$f(x) = frac-2x+1(2x-1)^2-1$$



is one-to-one on the interval $(0,1)$? I have simplified the function $f(x)=f(y)$ and have a multivariable quadratic equation equal to zero. How do I conclude that the function is one to one?







share|cite|improve this question














How do I prove that the function



$$f(x) = frac-2x+1(2x-1)^2-1$$



is one-to-one on the interval $(0,1)$? I have simplified the function $f(x)=f(y)$ and have a multivariable quadratic equation equal to zero. How do I conclude that the function is one to one?









share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Sep 3 at 7:56









Asaf Karagila♦

294k31410737




294k31410737










asked Sep 2 at 17:47









Bret Hisey

1006




1006











  • I apologize for leaving out a piece of information, I only need to know if the function is one to one from the interval (a,b).
    – Bret Hisey
    Sep 2 at 18:47
















  • I apologize for leaving out a piece of information, I only need to know if the function is one to one from the interval (a,b).
    – Bret Hisey
    Sep 2 at 18:47















I apologize for leaving out a piece of information, I only need to know if the function is one to one from the interval (a,b).
– Bret Hisey
Sep 2 at 18:47




I apologize for leaving out a piece of information, I only need to know if the function is one to one from the interval (a,b).
– Bret Hisey
Sep 2 at 18:47










5 Answers
5






active

oldest

votes

















up vote
10
down vote













You can't prove that, because it is not true. For instance,$$fleft(frac1-sqrt54right)=fleft(frac1+sqrt54right)=1.$$






share|cite|improve this answer




















  • The question was changed/clarified, so now it is true.
    – Don Hatch
    Sep 3 at 6:28

















up vote
6
down vote













Alt. hint: $,h(x)=1-2x,$ is a bijection, and $,g(x) = dfracxx^2-1,$ is not injective on $,Bbb R,$ (though it is injective on $,(-1,1),$ and $Bbb R setminus [-1,1]$ respectively). It follows that $,f = g circ h,$ is not injective on $,Bbb R,$.






[ EDIT ]   Addressing OP's clarification that the question refers to is one-to-one from the interval (0,1), note that $,g(x),$ is indeed injective on $,(-1,1),$ since $,a,b in (-1,1) implies ab+1 ne 0,$ and:

$$
0 = g(a) - g(b) = fracaa^2-1 - fracbb^2-1= fracab^2-a-a^2b+b(a^2-1)(b^2-1) \[10px] = frac(ab+1)(b-a)(a^2-1)(b^2-1) quadimpliesquad a = b
$$



Given that $,hbig((0,1)big)=(-1,1),$ it follows that $,f = g circ h,$ is injective on $,(0,1),$.






share|cite|improve this answer





























    up vote
    4
    down vote













    Note that $f(x)$ has $2$ vertical asymptotes at



    $$(2x-1)^2=1 implies 2x-1=pm 1 implies x=0,1$$



    and it easy to check that



    • $lim_xto -infty f(x)=0$

    • $lim_xto 0^- f(x)=infty$

    • $lim_xto 0^+ f(x)=-infty$

    • $lim_xto 1^- f(x)=infty$

    • $lim_xto 1^+ f(x)=+infty$

    • $lim_xto infty f(x)=0$

    and therefore, since the function is continuous in its domain, by intermediate value theorem it can't be one to one.






    share|cite|improve this answer





























      up vote
      3
      down vote













      $f(x) = frac-2x+1(2x-1)^2-1$



      $f'(x) = frac (-2x+1)'[(2x-1)^2 -1]- (-2x+1)[(2x-1)^2 - 1]'[(2x-1)^2 - 1]^2$



      $=frac -2[(2x-1)^2 - 1]-(-2x + 1)2(2x-1)2[(2x-1)^2 - 1]^2=frac 2[1-(2x-1)^2] +4(2x -1)^2[(2x-1)^2 - 1]^2$



      Now if $0 < x < 1$ then $-1 < 2x -1 < 1$ and $0le (2x -1)^2 < 1$ and $0< 1-(2x-1)^2 le 1$, while $[(2x-1)^2 - 1]^2 >0$ and $(2x -1)^2 > 0$.



      So for $0 < x < 1$, $f'(x) > 0$ and $f$ is therefore strictly increasing and $1-1$.






      share|cite|improve this answer



























        up vote
        0
        down vote













        One other pair of $x, y$ that give the same image are of the form: $$2xy-x-y+1$$ , with $(2x-1)^2-1 neq0$ and $(2y-1)^2-1 neq0$






        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%2f2903034%2fhow-to-prove-that-fx-frac-2x12x-12-1-is-one-to-one-on-0-1%23new-answer', 'question_page');

          );

          Post as a guest






























          5 Answers
          5






          active

          oldest

          votes








          5 Answers
          5






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes








          up vote
          10
          down vote













          You can't prove that, because it is not true. For instance,$$fleft(frac1-sqrt54right)=fleft(frac1+sqrt54right)=1.$$






          share|cite|improve this answer




















          • The question was changed/clarified, so now it is true.
            – Don Hatch
            Sep 3 at 6:28














          up vote
          10
          down vote













          You can't prove that, because it is not true. For instance,$$fleft(frac1-sqrt54right)=fleft(frac1+sqrt54right)=1.$$






          share|cite|improve this answer




















          • The question was changed/clarified, so now it is true.
            – Don Hatch
            Sep 3 at 6:28












          up vote
          10
          down vote










          up vote
          10
          down vote









          You can't prove that, because it is not true. For instance,$$fleft(frac1-sqrt54right)=fleft(frac1+sqrt54right)=1.$$






          share|cite|improve this answer












          You can't prove that, because it is not true. For instance,$$fleft(frac1-sqrt54right)=fleft(frac1+sqrt54right)=1.$$







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Sep 2 at 17:57









          José Carlos Santos

          120k16101182




          120k16101182











          • The question was changed/clarified, so now it is true.
            – Don Hatch
            Sep 3 at 6:28
















          • The question was changed/clarified, so now it is true.
            – Don Hatch
            Sep 3 at 6:28















          The question was changed/clarified, so now it is true.
          – Don Hatch
          Sep 3 at 6:28




          The question was changed/clarified, so now it is true.
          – Don Hatch
          Sep 3 at 6:28










          up vote
          6
          down vote













          Alt. hint: $,h(x)=1-2x,$ is a bijection, and $,g(x) = dfracxx^2-1,$ is not injective on $,Bbb R,$ (though it is injective on $,(-1,1),$ and $Bbb R setminus [-1,1]$ respectively). It follows that $,f = g circ h,$ is not injective on $,Bbb R,$.






          [ EDIT ]   Addressing OP's clarification that the question refers to is one-to-one from the interval (0,1), note that $,g(x),$ is indeed injective on $,(-1,1),$ since $,a,b in (-1,1) implies ab+1 ne 0,$ and:

          $$
          0 = g(a) - g(b) = fracaa^2-1 - fracbb^2-1= fracab^2-a-a^2b+b(a^2-1)(b^2-1) \[10px] = frac(ab+1)(b-a)(a^2-1)(b^2-1) quadimpliesquad a = b
          $$



          Given that $,hbig((0,1)big)=(-1,1),$ it follows that $,f = g circ h,$ is injective on $,(0,1),$.






          share|cite|improve this answer


























            up vote
            6
            down vote













            Alt. hint: $,h(x)=1-2x,$ is a bijection, and $,g(x) = dfracxx^2-1,$ is not injective on $,Bbb R,$ (though it is injective on $,(-1,1),$ and $Bbb R setminus [-1,1]$ respectively). It follows that $,f = g circ h,$ is not injective on $,Bbb R,$.






            [ EDIT ]   Addressing OP's clarification that the question refers to is one-to-one from the interval (0,1), note that $,g(x),$ is indeed injective on $,(-1,1),$ since $,a,b in (-1,1) implies ab+1 ne 0,$ and:

            $$
            0 = g(a) - g(b) = fracaa^2-1 - fracbb^2-1= fracab^2-a-a^2b+b(a^2-1)(b^2-1) \[10px] = frac(ab+1)(b-a)(a^2-1)(b^2-1) quadimpliesquad a = b
            $$



            Given that $,hbig((0,1)big)=(-1,1),$ it follows that $,f = g circ h,$ is injective on $,(0,1),$.






            share|cite|improve this answer
























              up vote
              6
              down vote










              up vote
              6
              down vote









              Alt. hint: $,h(x)=1-2x,$ is a bijection, and $,g(x) = dfracxx^2-1,$ is not injective on $,Bbb R,$ (though it is injective on $,(-1,1),$ and $Bbb R setminus [-1,1]$ respectively). It follows that $,f = g circ h,$ is not injective on $,Bbb R,$.






              [ EDIT ]   Addressing OP's clarification that the question refers to is one-to-one from the interval (0,1), note that $,g(x),$ is indeed injective on $,(-1,1),$ since $,a,b in (-1,1) implies ab+1 ne 0,$ and:

              $$
              0 = g(a) - g(b) = fracaa^2-1 - fracbb^2-1= fracab^2-a-a^2b+b(a^2-1)(b^2-1) \[10px] = frac(ab+1)(b-a)(a^2-1)(b^2-1) quadimpliesquad a = b
              $$



              Given that $,hbig((0,1)big)=(-1,1),$ it follows that $,f = g circ h,$ is injective on $,(0,1),$.






              share|cite|improve this answer














              Alt. hint: $,h(x)=1-2x,$ is a bijection, and $,g(x) = dfracxx^2-1,$ is not injective on $,Bbb R,$ (though it is injective on $,(-1,1),$ and $Bbb R setminus [-1,1]$ respectively). It follows that $,f = g circ h,$ is not injective on $,Bbb R,$.






              [ EDIT ]   Addressing OP's clarification that the question refers to is one-to-one from the interval (0,1), note that $,g(x),$ is indeed injective on $,(-1,1),$ since $,a,b in (-1,1) implies ab+1 ne 0,$ and:

              $$
              0 = g(a) - g(b) = fracaa^2-1 - fracbb^2-1= fracab^2-a-a^2b+b(a^2-1)(b^2-1) \[10px] = frac(ab+1)(b-a)(a^2-1)(b^2-1) quadimpliesquad a = b
              $$



              Given that $,hbig((0,1)big)=(-1,1),$ it follows that $,f = g circ h,$ is injective on $,(0,1),$.







              share|cite|improve this answer














              share|cite|improve this answer



              share|cite|improve this answer








              edited Sep 2 at 19:08

























              answered Sep 2 at 18:28









              dxiv

              55.8k64798




              55.8k64798




















                  up vote
                  4
                  down vote













                  Note that $f(x)$ has $2$ vertical asymptotes at



                  $$(2x-1)^2=1 implies 2x-1=pm 1 implies x=0,1$$



                  and it easy to check that



                  • $lim_xto -infty f(x)=0$

                  • $lim_xto 0^- f(x)=infty$

                  • $lim_xto 0^+ f(x)=-infty$

                  • $lim_xto 1^- f(x)=infty$

                  • $lim_xto 1^+ f(x)=+infty$

                  • $lim_xto infty f(x)=0$

                  and therefore, since the function is continuous in its domain, by intermediate value theorem it can't be one to one.






                  share|cite|improve this answer


























                    up vote
                    4
                    down vote













                    Note that $f(x)$ has $2$ vertical asymptotes at



                    $$(2x-1)^2=1 implies 2x-1=pm 1 implies x=0,1$$



                    and it easy to check that



                    • $lim_xto -infty f(x)=0$

                    • $lim_xto 0^- f(x)=infty$

                    • $lim_xto 0^+ f(x)=-infty$

                    • $lim_xto 1^- f(x)=infty$

                    • $lim_xto 1^+ f(x)=+infty$

                    • $lim_xto infty f(x)=0$

                    and therefore, since the function is continuous in its domain, by intermediate value theorem it can't be one to one.






                    share|cite|improve this answer
























                      up vote
                      4
                      down vote










                      up vote
                      4
                      down vote









                      Note that $f(x)$ has $2$ vertical asymptotes at



                      $$(2x-1)^2=1 implies 2x-1=pm 1 implies x=0,1$$



                      and it easy to check that



                      • $lim_xto -infty f(x)=0$

                      • $lim_xto 0^- f(x)=infty$

                      • $lim_xto 0^+ f(x)=-infty$

                      • $lim_xto 1^- f(x)=infty$

                      • $lim_xto 1^+ f(x)=+infty$

                      • $lim_xto infty f(x)=0$

                      and therefore, since the function is continuous in its domain, by intermediate value theorem it can't be one to one.






                      share|cite|improve this answer














                      Note that $f(x)$ has $2$ vertical asymptotes at



                      $$(2x-1)^2=1 implies 2x-1=pm 1 implies x=0,1$$



                      and it easy to check that



                      • $lim_xto -infty f(x)=0$

                      • $lim_xto 0^- f(x)=infty$

                      • $lim_xto 0^+ f(x)=-infty$

                      • $lim_xto 1^- f(x)=infty$

                      • $lim_xto 1^+ f(x)=+infty$

                      • $lim_xto infty f(x)=0$

                      and therefore, since the function is continuous in its domain, by intermediate value theorem it can't be one to one.







                      share|cite|improve this answer














                      share|cite|improve this answer



                      share|cite|improve this answer








                      edited Sep 2 at 20:23









                      Yashas

                      172115




                      172115










                      answered Sep 2 at 18:44









                      gimusi

                      71k73786




                      71k73786




















                          up vote
                          3
                          down vote













                          $f(x) = frac-2x+1(2x-1)^2-1$



                          $f'(x) = frac (-2x+1)'[(2x-1)^2 -1]- (-2x+1)[(2x-1)^2 - 1]'[(2x-1)^2 - 1]^2$



                          $=frac -2[(2x-1)^2 - 1]-(-2x + 1)2(2x-1)2[(2x-1)^2 - 1]^2=frac 2[1-(2x-1)^2] +4(2x -1)^2[(2x-1)^2 - 1]^2$



                          Now if $0 < x < 1$ then $-1 < 2x -1 < 1$ and $0le (2x -1)^2 < 1$ and $0< 1-(2x-1)^2 le 1$, while $[(2x-1)^2 - 1]^2 >0$ and $(2x -1)^2 > 0$.



                          So for $0 < x < 1$, $f'(x) > 0$ and $f$ is therefore strictly increasing and $1-1$.






                          share|cite|improve this answer
























                            up vote
                            3
                            down vote













                            $f(x) = frac-2x+1(2x-1)^2-1$



                            $f'(x) = frac (-2x+1)'[(2x-1)^2 -1]- (-2x+1)[(2x-1)^2 - 1]'[(2x-1)^2 - 1]^2$



                            $=frac -2[(2x-1)^2 - 1]-(-2x + 1)2(2x-1)2[(2x-1)^2 - 1]^2=frac 2[1-(2x-1)^2] +4(2x -1)^2[(2x-1)^2 - 1]^2$



                            Now if $0 < x < 1$ then $-1 < 2x -1 < 1$ and $0le (2x -1)^2 < 1$ and $0< 1-(2x-1)^2 le 1$, while $[(2x-1)^2 - 1]^2 >0$ and $(2x -1)^2 > 0$.



                            So for $0 < x < 1$, $f'(x) > 0$ and $f$ is therefore strictly increasing and $1-1$.






                            share|cite|improve this answer






















                              up vote
                              3
                              down vote










                              up vote
                              3
                              down vote









                              $f(x) = frac-2x+1(2x-1)^2-1$



                              $f'(x) = frac (-2x+1)'[(2x-1)^2 -1]- (-2x+1)[(2x-1)^2 - 1]'[(2x-1)^2 - 1]^2$



                              $=frac -2[(2x-1)^2 - 1]-(-2x + 1)2(2x-1)2[(2x-1)^2 - 1]^2=frac 2[1-(2x-1)^2] +4(2x -1)^2[(2x-1)^2 - 1]^2$



                              Now if $0 < x < 1$ then $-1 < 2x -1 < 1$ and $0le (2x -1)^2 < 1$ and $0< 1-(2x-1)^2 le 1$, while $[(2x-1)^2 - 1]^2 >0$ and $(2x -1)^2 > 0$.



                              So for $0 < x < 1$, $f'(x) > 0$ and $f$ is therefore strictly increasing and $1-1$.






                              share|cite|improve this answer












                              $f(x) = frac-2x+1(2x-1)^2-1$



                              $f'(x) = frac (-2x+1)'[(2x-1)^2 -1]- (-2x+1)[(2x-1)^2 - 1]'[(2x-1)^2 - 1]^2$



                              $=frac -2[(2x-1)^2 - 1]-(-2x + 1)2(2x-1)2[(2x-1)^2 - 1]^2=frac 2[1-(2x-1)^2] +4(2x -1)^2[(2x-1)^2 - 1]^2$



                              Now if $0 < x < 1$ then $-1 < 2x -1 < 1$ and $0le (2x -1)^2 < 1$ and $0< 1-(2x-1)^2 le 1$, while $[(2x-1)^2 - 1]^2 >0$ and $(2x -1)^2 > 0$.



                              So for $0 < x < 1$, $f'(x) > 0$ and $f$ is therefore strictly increasing and $1-1$.







                              share|cite|improve this answer












                              share|cite|improve this answer



                              share|cite|improve this answer










                              answered Sep 2 at 22:43









                              fleablood

                              61.1k22676




                              61.1k22676




















                                  up vote
                                  0
                                  down vote













                                  One other pair of $x, y$ that give the same image are of the form: $$2xy-x-y+1$$ , with $(2x-1)^2-1 neq0$ and $(2y-1)^2-1 neq0$






                                  share|cite|improve this answer
























                                    up vote
                                    0
                                    down vote













                                    One other pair of $x, y$ that give the same image are of the form: $$2xy-x-y+1$$ , with $(2x-1)^2-1 neq0$ and $(2y-1)^2-1 neq0$






                                    share|cite|improve this answer






















                                      up vote
                                      0
                                      down vote










                                      up vote
                                      0
                                      down vote









                                      One other pair of $x, y$ that give the same image are of the form: $$2xy-x-y+1$$ , with $(2x-1)^2-1 neq0$ and $(2y-1)^2-1 neq0$






                                      share|cite|improve this answer












                                      One other pair of $x, y$ that give the same image are of the form: $$2xy-x-y+1$$ , with $(2x-1)^2-1 neq0$ and $(2y-1)^2-1 neq0$







                                      share|cite|improve this answer












                                      share|cite|improve this answer



                                      share|cite|improve this answer










                                      answered Sep 2 at 18:21









                                      dmtri

                                      810317




                                      810317



























                                           

                                          draft saved


                                          draft discarded















































                                           


                                          draft saved


                                          draft discarded














                                          StackExchange.ready(
                                          function ()
                                          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2903034%2fhow-to-prove-that-fx-frac-2x12x-12-1-is-one-to-one-on-0-1%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