Showing that $f(x)$ is convex in $(0,3)$












1














I've got the following function: $$f(x)=frac{1}{16x}-frac{1}{(x+3)^2} $$
And I wish to show that it is convex in the open interval $(0,3)$, took the second derivative, i.e.$$f''(x)=frac{1}{8x^3}-frac{6}{(x+3)^4}$$
I painstakingly tried to expand it and algebraically manipulate it to solve $f''(x)>0$, but that seems pretty hopeless, how should I go about this?










share|cite|improve this question



























    1














    I've got the following function: $$f(x)=frac{1}{16x}-frac{1}{(x+3)^2} $$
    And I wish to show that it is convex in the open interval $(0,3)$, took the second derivative, i.e.$$f''(x)=frac{1}{8x^3}-frac{6}{(x+3)^4}$$
    I painstakingly tried to expand it and algebraically manipulate it to solve $f''(x)>0$, but that seems pretty hopeless, how should I go about this?










    share|cite|improve this question

























      1












      1








      1







      I've got the following function: $$f(x)=frac{1}{16x}-frac{1}{(x+3)^2} $$
      And I wish to show that it is convex in the open interval $(0,3)$, took the second derivative, i.e.$$f''(x)=frac{1}{8x^3}-frac{6}{(x+3)^4}$$
      I painstakingly tried to expand it and algebraically manipulate it to solve $f''(x)>0$, but that seems pretty hopeless, how should I go about this?










      share|cite|improve this question













      I've got the following function: $$f(x)=frac{1}{16x}-frac{1}{(x+3)^2} $$
      And I wish to show that it is convex in the open interval $(0,3)$, took the second derivative, i.e.$$f''(x)=frac{1}{8x^3}-frac{6}{(x+3)^4}$$
      I painstakingly tried to expand it and algebraically manipulate it to solve $f''(x)>0$, but that seems pretty hopeless, how should I go about this?







      calculus inequality functional-inequalities






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Nov 24 at 18:07









      Spasoje Durovic

      19410




      19410






















          2 Answers
          2






          active

          oldest

          votes


















          2














          We are claiming that



          $$f''(x)=frac{1}{8x^3}-frac{6}{(x+3)^4}>0 ifffrac{(x+3)^4-48x^3}{8x^3(x+3)^4}>0$$



          then we need to prove that (using the idea by Timothy for the rational roots)



          $$bar g(x)=(x+3)^4-48x^3=(x-3)(x^3-33x^2-45x-27)>0$$



          that is



          $$g(x)=x^3-33x^2-45x-27<0$$



          and we have




          • $g(0)=-27$

          • $g(3)=-432$

          • $h(x)=g'(x)=3x^2-66x-45<0$


          therefore





          • $g(x)$ is strictly decreasing on the interval


          • $g(x)$ is negative on the interval






          share|cite|improve this answer































            1














            Here's something I would do:



            Solve $f''(x)=0$ and test a value inside your open interval.



            So we have: $$frac1{8x^3}-frac6{(x+3)^4}=0$$



            $$frac{1}{8x^3}=frac{6}{(x+3)^4}$$



            Then I would cross multiply and expand $(x+3)^4$:



            $$(x+3)^4=48x^3$$



            $$x^4+12x^3+54x^2+108x+81=48x^3$$
            $$x^4-36x^3+54x^2+108x+81=0$$



            At this point, we could use the Rational Root Theorem to guess roots.



            The possible roots are $pm1, pm3, pm27, pm81$.



            Of these, we find that $x=3$ works, as $3^4-36(3)^3+54(3)^2+108(3)+81=0$.



            I think you could take it from here.






            share|cite|improve this answer





















            • Damn! I tried to apply RRT, checked 1, and -1 and was like, yeah, this won't work, turns out, I shouldn't have been lazy -.-
              – Spasoje Durovic
              Nov 24 at 18:33










            • yeah sometimes the roots are like 3 or -3, I was kind of able to tell that it was 3 because the coefficients had a common factor of 3
              – Timothy Cho
              Nov 24 at 18:33








            • 1




              RRT only gives us the rational roots but how can we conclude form here that we have not others not rational roots on the interval $(0,3)$?
              – gimusi
              Nov 24 at 18:40












            • I'm trying to complete the arguement, anyway, I've read through your answer and it's quite nice, I don't think I would've came up with that, so I'm trying to adapt my initial attempt, if i'm unable to, I will try to go carefully through yours to get more insight on how you came up with it
              – Spasoje Durovic
              Nov 24 at 18:46






            • 1




              @SpasojeDurovic The edited version is simpler than the forst one. For the previous the reasoning make use of simple properties for continuos funtions (IVT and Weierstrass) and for derivatives. We have that the previsous g(x) was equal to 0 ate the limits of the interval. Now, since the derivative h(x) has exactly one root on that interval, considering also the sign of h(x), g(x) must have exactly a maximum and then it can cross the x axis, otherwise g(x) would have also a minimum on that interval.
              – gimusi
              Nov 24 at 19:16











            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%2f3011871%2fshowing-that-fx-is-convex-in-0-3%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown

























            2 Answers
            2






            active

            oldest

            votes








            2 Answers
            2






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes









            2














            We are claiming that



            $$f''(x)=frac{1}{8x^3}-frac{6}{(x+3)^4}>0 ifffrac{(x+3)^4-48x^3}{8x^3(x+3)^4}>0$$



            then we need to prove that (using the idea by Timothy for the rational roots)



            $$bar g(x)=(x+3)^4-48x^3=(x-3)(x^3-33x^2-45x-27)>0$$



            that is



            $$g(x)=x^3-33x^2-45x-27<0$$



            and we have




            • $g(0)=-27$

            • $g(3)=-432$

            • $h(x)=g'(x)=3x^2-66x-45<0$


            therefore





            • $g(x)$ is strictly decreasing on the interval


            • $g(x)$ is negative on the interval






            share|cite|improve this answer




























              2














              We are claiming that



              $$f''(x)=frac{1}{8x^3}-frac{6}{(x+3)^4}>0 ifffrac{(x+3)^4-48x^3}{8x^3(x+3)^4}>0$$



              then we need to prove that (using the idea by Timothy for the rational roots)



              $$bar g(x)=(x+3)^4-48x^3=(x-3)(x^3-33x^2-45x-27)>0$$



              that is



              $$g(x)=x^3-33x^2-45x-27<0$$



              and we have




              • $g(0)=-27$

              • $g(3)=-432$

              • $h(x)=g'(x)=3x^2-66x-45<0$


              therefore





              • $g(x)$ is strictly decreasing on the interval


              • $g(x)$ is negative on the interval






              share|cite|improve this answer


























                2












                2








                2






                We are claiming that



                $$f''(x)=frac{1}{8x^3}-frac{6}{(x+3)^4}>0 ifffrac{(x+3)^4-48x^3}{8x^3(x+3)^4}>0$$



                then we need to prove that (using the idea by Timothy for the rational roots)



                $$bar g(x)=(x+3)^4-48x^3=(x-3)(x^3-33x^2-45x-27)>0$$



                that is



                $$g(x)=x^3-33x^2-45x-27<0$$



                and we have




                • $g(0)=-27$

                • $g(3)=-432$

                • $h(x)=g'(x)=3x^2-66x-45<0$


                therefore





                • $g(x)$ is strictly decreasing on the interval


                • $g(x)$ is negative on the interval






                share|cite|improve this answer














                We are claiming that



                $$f''(x)=frac{1}{8x^3}-frac{6}{(x+3)^4}>0 ifffrac{(x+3)^4-48x^3}{8x^3(x+3)^4}>0$$



                then we need to prove that (using the idea by Timothy for the rational roots)



                $$bar g(x)=(x+3)^4-48x^3=(x-3)(x^3-33x^2-45x-27)>0$$



                that is



                $$g(x)=x^3-33x^2-45x-27<0$$



                and we have




                • $g(0)=-27$

                • $g(3)=-432$

                • $h(x)=g'(x)=3x^2-66x-45<0$


                therefore





                • $g(x)$ is strictly decreasing on the interval


                • $g(x)$ is negative on the interval







                share|cite|improve this answer














                share|cite|improve this answer



                share|cite|improve this answer








                edited Nov 24 at 19:06

























                answered Nov 24 at 18:34









                gimusi

                1




                1























                    1














                    Here's something I would do:



                    Solve $f''(x)=0$ and test a value inside your open interval.



                    So we have: $$frac1{8x^3}-frac6{(x+3)^4}=0$$



                    $$frac{1}{8x^3}=frac{6}{(x+3)^4}$$



                    Then I would cross multiply and expand $(x+3)^4$:



                    $$(x+3)^4=48x^3$$



                    $$x^4+12x^3+54x^2+108x+81=48x^3$$
                    $$x^4-36x^3+54x^2+108x+81=0$$



                    At this point, we could use the Rational Root Theorem to guess roots.



                    The possible roots are $pm1, pm3, pm27, pm81$.



                    Of these, we find that $x=3$ works, as $3^4-36(3)^3+54(3)^2+108(3)+81=0$.



                    I think you could take it from here.






                    share|cite|improve this answer





















                    • Damn! I tried to apply RRT, checked 1, and -1 and was like, yeah, this won't work, turns out, I shouldn't have been lazy -.-
                      – Spasoje Durovic
                      Nov 24 at 18:33










                    • yeah sometimes the roots are like 3 or -3, I was kind of able to tell that it was 3 because the coefficients had a common factor of 3
                      – Timothy Cho
                      Nov 24 at 18:33








                    • 1




                      RRT only gives us the rational roots but how can we conclude form here that we have not others not rational roots on the interval $(0,3)$?
                      – gimusi
                      Nov 24 at 18:40












                    • I'm trying to complete the arguement, anyway, I've read through your answer and it's quite nice, I don't think I would've came up with that, so I'm trying to adapt my initial attempt, if i'm unable to, I will try to go carefully through yours to get more insight on how you came up with it
                      – Spasoje Durovic
                      Nov 24 at 18:46






                    • 1




                      @SpasojeDurovic The edited version is simpler than the forst one. For the previous the reasoning make use of simple properties for continuos funtions (IVT and Weierstrass) and for derivatives. We have that the previsous g(x) was equal to 0 ate the limits of the interval. Now, since the derivative h(x) has exactly one root on that interval, considering also the sign of h(x), g(x) must have exactly a maximum and then it can cross the x axis, otherwise g(x) would have also a minimum on that interval.
                      – gimusi
                      Nov 24 at 19:16
















                    1














                    Here's something I would do:



                    Solve $f''(x)=0$ and test a value inside your open interval.



                    So we have: $$frac1{8x^3}-frac6{(x+3)^4}=0$$



                    $$frac{1}{8x^3}=frac{6}{(x+3)^4}$$



                    Then I would cross multiply and expand $(x+3)^4$:



                    $$(x+3)^4=48x^3$$



                    $$x^4+12x^3+54x^2+108x+81=48x^3$$
                    $$x^4-36x^3+54x^2+108x+81=0$$



                    At this point, we could use the Rational Root Theorem to guess roots.



                    The possible roots are $pm1, pm3, pm27, pm81$.



                    Of these, we find that $x=3$ works, as $3^4-36(3)^3+54(3)^2+108(3)+81=0$.



                    I think you could take it from here.






                    share|cite|improve this answer





















                    • Damn! I tried to apply RRT, checked 1, and -1 and was like, yeah, this won't work, turns out, I shouldn't have been lazy -.-
                      – Spasoje Durovic
                      Nov 24 at 18:33










                    • yeah sometimes the roots are like 3 or -3, I was kind of able to tell that it was 3 because the coefficients had a common factor of 3
                      – Timothy Cho
                      Nov 24 at 18:33








                    • 1




                      RRT only gives us the rational roots but how can we conclude form here that we have not others not rational roots on the interval $(0,3)$?
                      – gimusi
                      Nov 24 at 18:40












                    • I'm trying to complete the arguement, anyway, I've read through your answer and it's quite nice, I don't think I would've came up with that, so I'm trying to adapt my initial attempt, if i'm unable to, I will try to go carefully through yours to get more insight on how you came up with it
                      – Spasoje Durovic
                      Nov 24 at 18:46






                    • 1




                      @SpasojeDurovic The edited version is simpler than the forst one. For the previous the reasoning make use of simple properties for continuos funtions (IVT and Weierstrass) and for derivatives. We have that the previsous g(x) was equal to 0 ate the limits of the interval. Now, since the derivative h(x) has exactly one root on that interval, considering also the sign of h(x), g(x) must have exactly a maximum and then it can cross the x axis, otherwise g(x) would have also a minimum on that interval.
                      – gimusi
                      Nov 24 at 19:16














                    1












                    1








                    1






                    Here's something I would do:



                    Solve $f''(x)=0$ and test a value inside your open interval.



                    So we have: $$frac1{8x^3}-frac6{(x+3)^4}=0$$



                    $$frac{1}{8x^3}=frac{6}{(x+3)^4}$$



                    Then I would cross multiply and expand $(x+3)^4$:



                    $$(x+3)^4=48x^3$$



                    $$x^4+12x^3+54x^2+108x+81=48x^3$$
                    $$x^4-36x^3+54x^2+108x+81=0$$



                    At this point, we could use the Rational Root Theorem to guess roots.



                    The possible roots are $pm1, pm3, pm27, pm81$.



                    Of these, we find that $x=3$ works, as $3^4-36(3)^3+54(3)^2+108(3)+81=0$.



                    I think you could take it from here.






                    share|cite|improve this answer












                    Here's something I would do:



                    Solve $f''(x)=0$ and test a value inside your open interval.



                    So we have: $$frac1{8x^3}-frac6{(x+3)^4}=0$$



                    $$frac{1}{8x^3}=frac{6}{(x+3)^4}$$



                    Then I would cross multiply and expand $(x+3)^4$:



                    $$(x+3)^4=48x^3$$



                    $$x^4+12x^3+54x^2+108x+81=48x^3$$
                    $$x^4-36x^3+54x^2+108x+81=0$$



                    At this point, we could use the Rational Root Theorem to guess roots.



                    The possible roots are $pm1, pm3, pm27, pm81$.



                    Of these, we find that $x=3$ works, as $3^4-36(3)^3+54(3)^2+108(3)+81=0$.



                    I think you could take it from here.







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered Nov 24 at 18:30









                    Timothy Cho

                    789519




                    789519












                    • Damn! I tried to apply RRT, checked 1, and -1 and was like, yeah, this won't work, turns out, I shouldn't have been lazy -.-
                      – Spasoje Durovic
                      Nov 24 at 18:33










                    • yeah sometimes the roots are like 3 or -3, I was kind of able to tell that it was 3 because the coefficients had a common factor of 3
                      – Timothy Cho
                      Nov 24 at 18:33








                    • 1




                      RRT only gives us the rational roots but how can we conclude form here that we have not others not rational roots on the interval $(0,3)$?
                      – gimusi
                      Nov 24 at 18:40












                    • I'm trying to complete the arguement, anyway, I've read through your answer and it's quite nice, I don't think I would've came up with that, so I'm trying to adapt my initial attempt, if i'm unable to, I will try to go carefully through yours to get more insight on how you came up with it
                      – Spasoje Durovic
                      Nov 24 at 18:46






                    • 1




                      @SpasojeDurovic The edited version is simpler than the forst one. For the previous the reasoning make use of simple properties for continuos funtions (IVT and Weierstrass) and for derivatives. We have that the previsous g(x) was equal to 0 ate the limits of the interval. Now, since the derivative h(x) has exactly one root on that interval, considering also the sign of h(x), g(x) must have exactly a maximum and then it can cross the x axis, otherwise g(x) would have also a minimum on that interval.
                      – gimusi
                      Nov 24 at 19:16


















                    • Damn! I tried to apply RRT, checked 1, and -1 and was like, yeah, this won't work, turns out, I shouldn't have been lazy -.-
                      – Spasoje Durovic
                      Nov 24 at 18:33










                    • yeah sometimes the roots are like 3 or -3, I was kind of able to tell that it was 3 because the coefficients had a common factor of 3
                      – Timothy Cho
                      Nov 24 at 18:33








                    • 1




                      RRT only gives us the rational roots but how can we conclude form here that we have not others not rational roots on the interval $(0,3)$?
                      – gimusi
                      Nov 24 at 18:40












                    • I'm trying to complete the arguement, anyway, I've read through your answer and it's quite nice, I don't think I would've came up with that, so I'm trying to adapt my initial attempt, if i'm unable to, I will try to go carefully through yours to get more insight on how you came up with it
                      – Spasoje Durovic
                      Nov 24 at 18:46






                    • 1




                      @SpasojeDurovic The edited version is simpler than the forst one. For the previous the reasoning make use of simple properties for continuos funtions (IVT and Weierstrass) and for derivatives. We have that the previsous g(x) was equal to 0 ate the limits of the interval. Now, since the derivative h(x) has exactly one root on that interval, considering also the sign of h(x), g(x) must have exactly a maximum and then it can cross the x axis, otherwise g(x) would have also a minimum on that interval.
                      – gimusi
                      Nov 24 at 19:16
















                    Damn! I tried to apply RRT, checked 1, and -1 and was like, yeah, this won't work, turns out, I shouldn't have been lazy -.-
                    – Spasoje Durovic
                    Nov 24 at 18:33




                    Damn! I tried to apply RRT, checked 1, and -1 and was like, yeah, this won't work, turns out, I shouldn't have been lazy -.-
                    – Spasoje Durovic
                    Nov 24 at 18:33












                    yeah sometimes the roots are like 3 or -3, I was kind of able to tell that it was 3 because the coefficients had a common factor of 3
                    – Timothy Cho
                    Nov 24 at 18:33






                    yeah sometimes the roots are like 3 or -3, I was kind of able to tell that it was 3 because the coefficients had a common factor of 3
                    – Timothy Cho
                    Nov 24 at 18:33






                    1




                    1




                    RRT only gives us the rational roots but how can we conclude form here that we have not others not rational roots on the interval $(0,3)$?
                    – gimusi
                    Nov 24 at 18:40






                    RRT only gives us the rational roots but how can we conclude form here that we have not others not rational roots on the interval $(0,3)$?
                    – gimusi
                    Nov 24 at 18:40














                    I'm trying to complete the arguement, anyway, I've read through your answer and it's quite nice, I don't think I would've came up with that, so I'm trying to adapt my initial attempt, if i'm unable to, I will try to go carefully through yours to get more insight on how you came up with it
                    – Spasoje Durovic
                    Nov 24 at 18:46




                    I'm trying to complete the arguement, anyway, I've read through your answer and it's quite nice, I don't think I would've came up with that, so I'm trying to adapt my initial attempt, if i'm unable to, I will try to go carefully through yours to get more insight on how you came up with it
                    – Spasoje Durovic
                    Nov 24 at 18:46




                    1




                    1




                    @SpasojeDurovic The edited version is simpler than the forst one. For the previous the reasoning make use of simple properties for continuos funtions (IVT and Weierstrass) and for derivatives. We have that the previsous g(x) was equal to 0 ate the limits of the interval. Now, since the derivative h(x) has exactly one root on that interval, considering also the sign of h(x), g(x) must have exactly a maximum and then it can cross the x axis, otherwise g(x) would have also a minimum on that interval.
                    – gimusi
                    Nov 24 at 19:16




                    @SpasojeDurovic The edited version is simpler than the forst one. For the previous the reasoning make use of simple properties for continuos funtions (IVT and Weierstrass) and for derivatives. We have that the previsous g(x) was equal to 0 ate the limits of the interval. Now, since the derivative h(x) has exactly one root on that interval, considering also the sign of h(x), g(x) must have exactly a maximum and then it can cross the x axis, otherwise g(x) would have also a minimum on that interval.
                    – gimusi
                    Nov 24 at 19:16


















                    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.





                    Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


                    Please pay close attention to the following guidance:


                    • 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.


                    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%2f3011871%2fshowing-that-fx-is-convex-in-0-3%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

                    Plaza Victoria

                    Puebla de Zaragoza

                    Musa