Which method to use to integrate this function?












12












$begingroup$


Recently I've been working on problems including integration and I'm having some difficulties solving this integral :



$$int_0^1 (1-x)sqrt{4x-x^2} {dx}$$



I tried to rewrite it in this form:



$$int_0^1 (1-x)xsqrt{frac{4-x}{x}} dx$$ and then subsitute $frac{4-x}{x}=t^2$ and by this substitution I get a function way easier integrated of this form:



$$-32intfrac{(t^2-3)t^2}{(1+t^2)^4}dt$$



I can integrate this function easily by simplifying it but the problem is that I cannot define its borders because $t$ is not defined for $x=0$ so this means that my substitution doesn't hold. But I don't have any other idea how to solve it so any help will be appreciated.Thank you!










share|cite|improve this question









$endgroup$








  • 5




    $begingroup$
    I'd write $4x-x^2=4-(x-2)^2$ and write $x-2=2sintheta$.
    $endgroup$
    – Lord Shark the Unknown
    Sep 11 '18 at 20:33










  • $begingroup$
    the domain of integration $xin(0,1)$ should be transformed into $tin(3,infty)$ with a reversal of orientation.
    $endgroup$
    – robjohn
    Sep 11 '18 at 22:14


















12












$begingroup$


Recently I've been working on problems including integration and I'm having some difficulties solving this integral :



$$int_0^1 (1-x)sqrt{4x-x^2} {dx}$$



I tried to rewrite it in this form:



$$int_0^1 (1-x)xsqrt{frac{4-x}{x}} dx$$ and then subsitute $frac{4-x}{x}=t^2$ and by this substitution I get a function way easier integrated of this form:



$$-32intfrac{(t^2-3)t^2}{(1+t^2)^4}dt$$



I can integrate this function easily by simplifying it but the problem is that I cannot define its borders because $t$ is not defined for $x=0$ so this means that my substitution doesn't hold. But I don't have any other idea how to solve it so any help will be appreciated.Thank you!










share|cite|improve this question









$endgroup$








  • 5




    $begingroup$
    I'd write $4x-x^2=4-(x-2)^2$ and write $x-2=2sintheta$.
    $endgroup$
    – Lord Shark the Unknown
    Sep 11 '18 at 20:33










  • $begingroup$
    the domain of integration $xin(0,1)$ should be transformed into $tin(3,infty)$ with a reversal of orientation.
    $endgroup$
    – robjohn
    Sep 11 '18 at 22:14
















12












12








12


1



$begingroup$


Recently I've been working on problems including integration and I'm having some difficulties solving this integral :



$$int_0^1 (1-x)sqrt{4x-x^2} {dx}$$



I tried to rewrite it in this form:



$$int_0^1 (1-x)xsqrt{frac{4-x}{x}} dx$$ and then subsitute $frac{4-x}{x}=t^2$ and by this substitution I get a function way easier integrated of this form:



$$-32intfrac{(t^2-3)t^2}{(1+t^2)^4}dt$$



I can integrate this function easily by simplifying it but the problem is that I cannot define its borders because $t$ is not defined for $x=0$ so this means that my substitution doesn't hold. But I don't have any other idea how to solve it so any help will be appreciated.Thank you!










share|cite|improve this question









$endgroup$




Recently I've been working on problems including integration and I'm having some difficulties solving this integral :



$$int_0^1 (1-x)sqrt{4x-x^2} {dx}$$



I tried to rewrite it in this form:



$$int_0^1 (1-x)xsqrt{frac{4-x}{x}} dx$$ and then subsitute $frac{4-x}{x}=t^2$ and by this substitution I get a function way easier integrated of this form:



$$-32intfrac{(t^2-3)t^2}{(1+t^2)^4}dt$$



I can integrate this function easily by simplifying it but the problem is that I cannot define its borders because $t$ is not defined for $x=0$ so this means that my substitution doesn't hold. But I don't have any other idea how to solve it so any help will be appreciated.Thank you!







real-analysis integration definite-integrals






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Sep 11 '18 at 20:30









Maths SurvivorMaths Survivor

502219




502219








  • 5




    $begingroup$
    I'd write $4x-x^2=4-(x-2)^2$ and write $x-2=2sintheta$.
    $endgroup$
    – Lord Shark the Unknown
    Sep 11 '18 at 20:33










  • $begingroup$
    the domain of integration $xin(0,1)$ should be transformed into $tin(3,infty)$ with a reversal of orientation.
    $endgroup$
    – robjohn
    Sep 11 '18 at 22:14
















  • 5




    $begingroup$
    I'd write $4x-x^2=4-(x-2)^2$ and write $x-2=2sintheta$.
    $endgroup$
    – Lord Shark the Unknown
    Sep 11 '18 at 20:33










  • $begingroup$
    the domain of integration $xin(0,1)$ should be transformed into $tin(3,infty)$ with a reversal of orientation.
    $endgroup$
    – robjohn
    Sep 11 '18 at 22:14










5




5




$begingroup$
I'd write $4x-x^2=4-(x-2)^2$ and write $x-2=2sintheta$.
$endgroup$
– Lord Shark the Unknown
Sep 11 '18 at 20:33




$begingroup$
I'd write $4x-x^2=4-(x-2)^2$ and write $x-2=2sintheta$.
$endgroup$
– Lord Shark the Unknown
Sep 11 '18 at 20:33












$begingroup$
the domain of integration $xin(0,1)$ should be transformed into $tin(3,infty)$ with a reversal of orientation.
$endgroup$
– robjohn
Sep 11 '18 at 22:14






$begingroup$
the domain of integration $xin(0,1)$ should be transformed into $tin(3,infty)$ with a reversal of orientation.
$endgroup$
– robjohn
Sep 11 '18 at 22:14












6 Answers
6






active

oldest

votes


















7












$begingroup$

It is always didactically good to give a solution for the given start. I will try it, although trigonometric substitutions from the beginning may save typing.



The substitution $t=sqrt{(4-x)/x}$ is ok, but we have to use improper integrals. The solution would be as follows. For $x=0+$ the corresponding (limiting) value of $t$ is $t=sqrt{4/0_+}=+infty$, and for $x=1$ we get $t=sqrt{(4-1)/1}=color{red}{sqrt 3}$. (It is square three, maybe the one reason for writing this answer.)
$$
begin{aligned}
J &=
int_0^1 (1-x)sqrt{4x-x^2} ; dx
\
&=
int_{infty}^{sqrt 3}
-32frac{(t^2-3)t^2}{(1+t^2)^4};dt
\
&=
+32int_{sqrt 3}^{infty}
frac{(t^2+2t^2+1)-5(t^2+1)+4}{(1+t^2)^4};dt
\
&=
+32int_{sqrt 3}^{infty}
left[
frac1{(1+t^2)^2}
-5frac1{(1+t^2)^3}
+4frac1{(1+t^2)^4}
right];dt
\
&=32(K_2-5K_3+4K_4) ,
end{aligned}
$$
where $K_n$ is the integral on the same interval of $(1+t^2)^{-n}$. We have the recursion
$$
begin{aligned}
K_n
&=int_{sqrt 3}^{infty}t'frac1{(1+t^2)^n};dt
\
&=frac t{(1+t^2)^n}Bigg|_{sqrt 3}^{infty}
-
int_{sqrt 3}^{infty}
tcdot frac{-2nt}{(1+t^2)^{n+1}};dt
\
&=-frac{sqrt3}{4^n}
+
2nint_{sqrt 3}^{infty}frac{(t^2+1)-1}{(1+t^2)^{n+1}};dt
\
&=-frac{sqrt3}{4^n}
+
2n(K_n-K_{n+1}) ,text{ i.e.}
\
K_{n+1}
&=
frac 1{2n}left[ (2n-1)K_n-frac{sqrt3}{4^n} right] .
\[2mm]
&qquadtext{This gives:}
\
K_1 &=arctan infty-arctansqrt 3 =left(frac 12-frac 13right)pi
=frac 16pi ,
\
K_2 &=frac 12left[K_1-frac{sqrt 3}4right]=frac 1{12}pi - frac{sqrt 3}8 ,
\
K_3 &=frac 14left[3K_2-frac{sqrt 3}{16}right]
=frac 1{16}pi - frac{7sqrt 3}{64} ,
\
K_4 &=frac 16left[5K_3-frac{sqrt 3}{64}right]
=frac 5{96}pi - frac{3sqrt 3}{32} ,
%\
%K_5 &=frac 18left[7K_4-frac{sqrt 3}{216}right]
%=frac {35}{768}pi - frac{169sqrt 3}{2048} ,
\
&qquadtext{ so putting all together}
\
J&=32(K_2-5K_3+4K_4)
\
&=-frac23pi+frac {3sqrt 3}2 .
end{aligned}
$$
As said, not the quick way, but all details are displayed. Computer check:



sage: var('x,t');
sage: integral( (1-x)*sqrt(4*x-x^2), x, 0, 1 ).simplify()
-2/3*pi + 3/2*sqrt(3)
sage: integral( 32*(t^2-3)*t^2/(1+t^2)^4, t, sqrt(3), oo ).simplify()
-2/3*pi + 3/2*sqrt(3)





share|cite|improve this answer









$endgroup$













  • $begingroup$
    Are we allowed to use the infinity sign like this $arctan infty$? Because a professor of mine says that infinity sign should be used only when we have limits otherwise it's wrong to use it in other(direct) ways.
    $endgroup$
    – Maths Survivor
    Sep 12 '18 at 0:18










  • $begingroup$
    In this case we have the limit, explicitly $$K_1=int_{sqrt 3}^inftyfrac {dt}{1+t^2}=lim_{Mtoinfty}int_{sqrt 3}^Mfrac {dt}{1+t^2}=lim_{Mtoinfty}arctanBigg|_{sqrt 3}^M=lim_{Mtoinfty}arctan M -arctansqrt 3=frac 12pi-frac 13pi .$$ To avoid this complicated notation, it is simpler to write $arctan infty$ instead of the longer $lim_{Mtoinfty}arctan M$. (Same in the integral.) We apply a continuous function, $arctan$, on the "symbol" $infty$, this function has a limit. The substitution was dictating the use of an improper integral, one with an $infty$ as one limit.
    $endgroup$
    – dan_fulea
    Sep 12 '18 at 0:27










  • $begingroup$
    I get it , thank you for your answer .
    $endgroup$
    – Maths Survivor
    Sep 12 '18 at 0:32








  • 1




    $begingroup$
    @MathsSurvivor: Your professor is correct if you are working in real analysis with the usual real line, since there is no real number $∞$. In this case, you must define infinite limit and limit at infinity separately from the usual case, and then the "$infty$" in both of them are merely symbolic. However, we can 'add' $∞$ to the real line, to get the affinely extended real line, which is literally the closed interval $[-∞,∞]$, and the real line is literally the open interval $(-∞,∞)$.
    $endgroup$
    – user21820
    Sep 12 '18 at 5:09






  • 1




    $begingroup$
    $[-∞,∞]$ is not a field, but it is a compact topological space, and $sup(S),inf(S)$ exist for any subset $S$, and hence $limsup,liminf$ of any sequence always exists. If they are equal then the limit exists. These extend the usual ones, and may help to explain why the logical structure of the infinite limits and limits and infinity are so similar to the non-infinite case. You can check that $arctan$ on $(-∞,∞)$ can be continuously extended to $-∞$ and $∞$, and then it is literally correct to write $arctan(∞) = π/2$.
    $endgroup$
    – user21820
    Sep 12 '18 at 5:13





















22












$begingroup$

The us try to get rid of the square root step-by-step:
$$begin{eqnarray*} int_{0}^{1}(1-x)sqrt{x}sqrt{4-x},dx&stackrel{xmapsto z^2}{=}& 2int_{0}^{1}z^2(1-z^2)sqrt{4-z^2},dz\&stackrel{zmapsto 2u}{=}&32int_{0}^{1/2}u^2(1-4u^2)sqrt{1-u^2},du\&stackrel{umapstosintheta}{=}&32int_{0}^{pi/6}sin^2thetacos^2theta(1-4sin^2theta),dtheta\&=&4int_{0}^{pi/6}left[-1+cos(2theta)+cos(4theta)-cos(6theta)right],dtheta.end{eqnarray*}$$
I guess you may take it from here.






share|cite|improve this answer









$endgroup$





















    6












    $begingroup$

    One can use $,displaystyle{int_a^b f(x) dx=int_a^b f(a+b-x) dx},$ to get: $$I=int_0^1 x sqrt{4-(1+x)^2} dx= int_0^1 (x+1)sqrt{4 - (x+1)^2} dx-int_0^1 sqrt{4 - (x+1)^2} dx$$ For the first one just substitute $4-(x+1)^2 =t$ to get $displaystyle{frac12 int_0^3 sqrt t dt}., $ And the second one is a standard square root integral.






    share|cite|improve this answer











    $endgroup$













    • $begingroup$
      How did you get $sqrt{4-(1+x^2)}$ shouldn't it be $sqrt{4(1-x)+(1-x)^2}$?
      $endgroup$
      – Maths Survivor
      Sep 11 '18 at 21:06












    • $begingroup$
      I used that $4x-x^2 = 4-(x-2)^2 $ to simplify faster.
      $endgroup$
      – Zacky
      Sep 11 '18 at 21:08










    • $begingroup$
      Also $$4(1-x)-(1-x)^2 =(1-x) (4-1+x)=(1-x) (3+x)$$$$2 ^2 - (x+1)^2 =(2-1-x) (2+1+x)=(1-x)(3+x)$$
      $endgroup$
      – Zacky
      Sep 11 '18 at 21:21










    • $begingroup$
      Yeah it's the same , you're right
      $endgroup$
      – Maths Survivor
      Sep 11 '18 at 21:25






    • 1




      $begingroup$
      Yes, just substitute $a+b-x=trightarrow x=a+b-t$ to prove it. The new bound will be $int_b^a$, but as we have $-dx=dt$ we can get rid of that minus sign and swap those to obtain $int_a^b f(x) dx=int_a^b f(a+b-t) dt$
      $endgroup$
      – Zacky
      Sep 11 '18 at 21:54





















    3












    $begingroup$

    Hint:



    By completing the square,



    $$4x-x^2=4-(x-2)^2$$ and that hints to use the substitution



    $$x-2=2cos t.$$



    Then



    $$int (1-x)sqrt{4x-x^2}dx=4int(1+2cos t)sin^2t,dt.$$



    The term $sin^2t$ is integrated in the form $dfrac{1-cos 2t}2$, and the second term is immediate.




    $$I=2t-2sin tcos t+dfrac83sin^3t=\arccosdfrac{x-2}2-(x-2)sqrt{1-dfrac{(x-2)^2}4}+dfrac83left(1-dfrac{(x-2)^2}4right)^{3/2}$$







    share|cite|improve this answer











    $endgroup$





















      3












      $begingroup$

      Your approach can be completed by noting that the domain of integrtion $xin(0,1)$ gets transformed to the unbounded domain of integration $tin(sqrt3,infty)$ with reversal of orientation (which negates the integral).





      We can also set $u=1-x/2implies4!left(1-u^2right)=4x-x^2$. Therefore,
      $$
      int_0^1(1-x)sqrt{4x-x^2},mathrm{d}x=4int_{1/2}^1(2u-1)sqrt{1-u^2},mathrm{d}u
      $$
      Then, setting $u=sin(theta)$ gives
      $$
      begin{align}
      4int_{1/2}^1(2u-1)sqrt{1-u^2},mathrm{d}u
      &=4int_{pi/6}^{pi/2}(2sin(theta)-1)overbrace{cos^2(theta)}^{1-sin^2(theta)},mathrm{d}theta\
      &=4int_{pi/6}^{pi/2}left(-2color{#C00}{sin^3(theta)}+color{#090}{sin^2(theta)}+2sin(theta)-1right)mathrm{d}theta\
      &=4int_{pi/6}^{pi/2}left(-2color{#C00}{frac{3sin(theta)-sin(3theta)}4}+color{#090}{frac{1-cos(2theta)}2}+2sin(theta)-1right)mathrm{d}theta\
      %&=-left[frac23cos(3theta)+sin(2theta)+2cos(theta)+2thetaright]_{pi/6}^{pi/2}\[3pt]
      %&=frac32sqrt3-frac23pi
      end{align}
      $$






      share|cite|improve this answer











      $endgroup$













      • $begingroup$
        At the stage $(2s-1)c^2$, it is more direct to integrate $sc^2$ and $c^2$.
        $endgroup$
        – Yves Daoust
        Sep 12 '18 at 12:58










      • $begingroup$
        The mechanics should include $sc^n$ and $cs^n$, as well as $s^{2m+1}c^n$ and $c^{2m+1}s^n$ where you expand the even powers. Polynomials are easy.
        $endgroup$
        – Yves Daoust
        Sep 12 '18 at 14:56












      • $begingroup$
        You needn't tell me.
        $endgroup$
        – Yves Daoust
        Sep 12 '18 at 15:20



















      2












      $begingroup$

      Hint: $(1-x)sqrt{4x-x^2} {dx}=-sqrt{4x-x^2}{dx} +(2-x)sqrt{4x-x^2}{dx}=-sqrt{4x-x^2}{dx} +0.5sqrt{4x-x^2}{d(4x-x^2)}$






      share|cite|improve this answer









      $endgroup$













        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%2f2913608%2fwhich-method-to-use-to-integrate-this-function%23new-answer', 'question_page');
        }
        );

        Post as a guest















        Required, but never shown

























        6 Answers
        6






        active

        oldest

        votes








        6 Answers
        6






        active

        oldest

        votes









        active

        oldest

        votes






        active

        oldest

        votes









        7












        $begingroup$

        It is always didactically good to give a solution for the given start. I will try it, although trigonometric substitutions from the beginning may save typing.



        The substitution $t=sqrt{(4-x)/x}$ is ok, but we have to use improper integrals. The solution would be as follows. For $x=0+$ the corresponding (limiting) value of $t$ is $t=sqrt{4/0_+}=+infty$, and for $x=1$ we get $t=sqrt{(4-1)/1}=color{red}{sqrt 3}$. (It is square three, maybe the one reason for writing this answer.)
        $$
        begin{aligned}
        J &=
        int_0^1 (1-x)sqrt{4x-x^2} ; dx
        \
        &=
        int_{infty}^{sqrt 3}
        -32frac{(t^2-3)t^2}{(1+t^2)^4};dt
        \
        &=
        +32int_{sqrt 3}^{infty}
        frac{(t^2+2t^2+1)-5(t^2+1)+4}{(1+t^2)^4};dt
        \
        &=
        +32int_{sqrt 3}^{infty}
        left[
        frac1{(1+t^2)^2}
        -5frac1{(1+t^2)^3}
        +4frac1{(1+t^2)^4}
        right];dt
        \
        &=32(K_2-5K_3+4K_4) ,
        end{aligned}
        $$
        where $K_n$ is the integral on the same interval of $(1+t^2)^{-n}$. We have the recursion
        $$
        begin{aligned}
        K_n
        &=int_{sqrt 3}^{infty}t'frac1{(1+t^2)^n};dt
        \
        &=frac t{(1+t^2)^n}Bigg|_{sqrt 3}^{infty}
        -
        int_{sqrt 3}^{infty}
        tcdot frac{-2nt}{(1+t^2)^{n+1}};dt
        \
        &=-frac{sqrt3}{4^n}
        +
        2nint_{sqrt 3}^{infty}frac{(t^2+1)-1}{(1+t^2)^{n+1}};dt
        \
        &=-frac{sqrt3}{4^n}
        +
        2n(K_n-K_{n+1}) ,text{ i.e.}
        \
        K_{n+1}
        &=
        frac 1{2n}left[ (2n-1)K_n-frac{sqrt3}{4^n} right] .
        \[2mm]
        &qquadtext{This gives:}
        \
        K_1 &=arctan infty-arctansqrt 3 =left(frac 12-frac 13right)pi
        =frac 16pi ,
        \
        K_2 &=frac 12left[K_1-frac{sqrt 3}4right]=frac 1{12}pi - frac{sqrt 3}8 ,
        \
        K_3 &=frac 14left[3K_2-frac{sqrt 3}{16}right]
        =frac 1{16}pi - frac{7sqrt 3}{64} ,
        \
        K_4 &=frac 16left[5K_3-frac{sqrt 3}{64}right]
        =frac 5{96}pi - frac{3sqrt 3}{32} ,
        %\
        %K_5 &=frac 18left[7K_4-frac{sqrt 3}{216}right]
        %=frac {35}{768}pi - frac{169sqrt 3}{2048} ,
        \
        &qquadtext{ so putting all together}
        \
        J&=32(K_2-5K_3+4K_4)
        \
        &=-frac23pi+frac {3sqrt 3}2 .
        end{aligned}
        $$
        As said, not the quick way, but all details are displayed. Computer check:



        sage: var('x,t');
        sage: integral( (1-x)*sqrt(4*x-x^2), x, 0, 1 ).simplify()
        -2/3*pi + 3/2*sqrt(3)
        sage: integral( 32*(t^2-3)*t^2/(1+t^2)^4, t, sqrt(3), oo ).simplify()
        -2/3*pi + 3/2*sqrt(3)





        share|cite|improve this answer









        $endgroup$













        • $begingroup$
          Are we allowed to use the infinity sign like this $arctan infty$? Because a professor of mine says that infinity sign should be used only when we have limits otherwise it's wrong to use it in other(direct) ways.
          $endgroup$
          – Maths Survivor
          Sep 12 '18 at 0:18










        • $begingroup$
          In this case we have the limit, explicitly $$K_1=int_{sqrt 3}^inftyfrac {dt}{1+t^2}=lim_{Mtoinfty}int_{sqrt 3}^Mfrac {dt}{1+t^2}=lim_{Mtoinfty}arctanBigg|_{sqrt 3}^M=lim_{Mtoinfty}arctan M -arctansqrt 3=frac 12pi-frac 13pi .$$ To avoid this complicated notation, it is simpler to write $arctan infty$ instead of the longer $lim_{Mtoinfty}arctan M$. (Same in the integral.) We apply a continuous function, $arctan$, on the "symbol" $infty$, this function has a limit. The substitution was dictating the use of an improper integral, one with an $infty$ as one limit.
          $endgroup$
          – dan_fulea
          Sep 12 '18 at 0:27










        • $begingroup$
          I get it , thank you for your answer .
          $endgroup$
          – Maths Survivor
          Sep 12 '18 at 0:32








        • 1




          $begingroup$
          @MathsSurvivor: Your professor is correct if you are working in real analysis with the usual real line, since there is no real number $∞$. In this case, you must define infinite limit and limit at infinity separately from the usual case, and then the "$infty$" in both of them are merely symbolic. However, we can 'add' $∞$ to the real line, to get the affinely extended real line, which is literally the closed interval $[-∞,∞]$, and the real line is literally the open interval $(-∞,∞)$.
          $endgroup$
          – user21820
          Sep 12 '18 at 5:09






        • 1




          $begingroup$
          $[-∞,∞]$ is not a field, but it is a compact topological space, and $sup(S),inf(S)$ exist for any subset $S$, and hence $limsup,liminf$ of any sequence always exists. If they are equal then the limit exists. These extend the usual ones, and may help to explain why the logical structure of the infinite limits and limits and infinity are so similar to the non-infinite case. You can check that $arctan$ on $(-∞,∞)$ can be continuously extended to $-∞$ and $∞$, and then it is literally correct to write $arctan(∞) = π/2$.
          $endgroup$
          – user21820
          Sep 12 '18 at 5:13


















        7












        $begingroup$

        It is always didactically good to give a solution for the given start. I will try it, although trigonometric substitutions from the beginning may save typing.



        The substitution $t=sqrt{(4-x)/x}$ is ok, but we have to use improper integrals. The solution would be as follows. For $x=0+$ the corresponding (limiting) value of $t$ is $t=sqrt{4/0_+}=+infty$, and for $x=1$ we get $t=sqrt{(4-1)/1}=color{red}{sqrt 3}$. (It is square three, maybe the one reason for writing this answer.)
        $$
        begin{aligned}
        J &=
        int_0^1 (1-x)sqrt{4x-x^2} ; dx
        \
        &=
        int_{infty}^{sqrt 3}
        -32frac{(t^2-3)t^2}{(1+t^2)^4};dt
        \
        &=
        +32int_{sqrt 3}^{infty}
        frac{(t^2+2t^2+1)-5(t^2+1)+4}{(1+t^2)^4};dt
        \
        &=
        +32int_{sqrt 3}^{infty}
        left[
        frac1{(1+t^2)^2}
        -5frac1{(1+t^2)^3}
        +4frac1{(1+t^2)^4}
        right];dt
        \
        &=32(K_2-5K_3+4K_4) ,
        end{aligned}
        $$
        where $K_n$ is the integral on the same interval of $(1+t^2)^{-n}$. We have the recursion
        $$
        begin{aligned}
        K_n
        &=int_{sqrt 3}^{infty}t'frac1{(1+t^2)^n};dt
        \
        &=frac t{(1+t^2)^n}Bigg|_{sqrt 3}^{infty}
        -
        int_{sqrt 3}^{infty}
        tcdot frac{-2nt}{(1+t^2)^{n+1}};dt
        \
        &=-frac{sqrt3}{4^n}
        +
        2nint_{sqrt 3}^{infty}frac{(t^2+1)-1}{(1+t^2)^{n+1}};dt
        \
        &=-frac{sqrt3}{4^n}
        +
        2n(K_n-K_{n+1}) ,text{ i.e.}
        \
        K_{n+1}
        &=
        frac 1{2n}left[ (2n-1)K_n-frac{sqrt3}{4^n} right] .
        \[2mm]
        &qquadtext{This gives:}
        \
        K_1 &=arctan infty-arctansqrt 3 =left(frac 12-frac 13right)pi
        =frac 16pi ,
        \
        K_2 &=frac 12left[K_1-frac{sqrt 3}4right]=frac 1{12}pi - frac{sqrt 3}8 ,
        \
        K_3 &=frac 14left[3K_2-frac{sqrt 3}{16}right]
        =frac 1{16}pi - frac{7sqrt 3}{64} ,
        \
        K_4 &=frac 16left[5K_3-frac{sqrt 3}{64}right]
        =frac 5{96}pi - frac{3sqrt 3}{32} ,
        %\
        %K_5 &=frac 18left[7K_4-frac{sqrt 3}{216}right]
        %=frac {35}{768}pi - frac{169sqrt 3}{2048} ,
        \
        &qquadtext{ so putting all together}
        \
        J&=32(K_2-5K_3+4K_4)
        \
        &=-frac23pi+frac {3sqrt 3}2 .
        end{aligned}
        $$
        As said, not the quick way, but all details are displayed. Computer check:



        sage: var('x,t');
        sage: integral( (1-x)*sqrt(4*x-x^2), x, 0, 1 ).simplify()
        -2/3*pi + 3/2*sqrt(3)
        sage: integral( 32*(t^2-3)*t^2/(1+t^2)^4, t, sqrt(3), oo ).simplify()
        -2/3*pi + 3/2*sqrt(3)





        share|cite|improve this answer









        $endgroup$













        • $begingroup$
          Are we allowed to use the infinity sign like this $arctan infty$? Because a professor of mine says that infinity sign should be used only when we have limits otherwise it's wrong to use it in other(direct) ways.
          $endgroup$
          – Maths Survivor
          Sep 12 '18 at 0:18










        • $begingroup$
          In this case we have the limit, explicitly $$K_1=int_{sqrt 3}^inftyfrac {dt}{1+t^2}=lim_{Mtoinfty}int_{sqrt 3}^Mfrac {dt}{1+t^2}=lim_{Mtoinfty}arctanBigg|_{sqrt 3}^M=lim_{Mtoinfty}arctan M -arctansqrt 3=frac 12pi-frac 13pi .$$ To avoid this complicated notation, it is simpler to write $arctan infty$ instead of the longer $lim_{Mtoinfty}arctan M$. (Same in the integral.) We apply a continuous function, $arctan$, on the "symbol" $infty$, this function has a limit. The substitution was dictating the use of an improper integral, one with an $infty$ as one limit.
          $endgroup$
          – dan_fulea
          Sep 12 '18 at 0:27










        • $begingroup$
          I get it , thank you for your answer .
          $endgroup$
          – Maths Survivor
          Sep 12 '18 at 0:32








        • 1




          $begingroup$
          @MathsSurvivor: Your professor is correct if you are working in real analysis with the usual real line, since there is no real number $∞$. In this case, you must define infinite limit and limit at infinity separately from the usual case, and then the "$infty$" in both of them are merely symbolic. However, we can 'add' $∞$ to the real line, to get the affinely extended real line, which is literally the closed interval $[-∞,∞]$, and the real line is literally the open interval $(-∞,∞)$.
          $endgroup$
          – user21820
          Sep 12 '18 at 5:09






        • 1




          $begingroup$
          $[-∞,∞]$ is not a field, but it is a compact topological space, and $sup(S),inf(S)$ exist for any subset $S$, and hence $limsup,liminf$ of any sequence always exists. If they are equal then the limit exists. These extend the usual ones, and may help to explain why the logical structure of the infinite limits and limits and infinity are so similar to the non-infinite case. You can check that $arctan$ on $(-∞,∞)$ can be continuously extended to $-∞$ and $∞$, and then it is literally correct to write $arctan(∞) = π/2$.
          $endgroup$
          – user21820
          Sep 12 '18 at 5:13
















        7












        7








        7





        $begingroup$

        It is always didactically good to give a solution for the given start. I will try it, although trigonometric substitutions from the beginning may save typing.



        The substitution $t=sqrt{(4-x)/x}$ is ok, but we have to use improper integrals. The solution would be as follows. For $x=0+$ the corresponding (limiting) value of $t$ is $t=sqrt{4/0_+}=+infty$, and for $x=1$ we get $t=sqrt{(4-1)/1}=color{red}{sqrt 3}$. (It is square three, maybe the one reason for writing this answer.)
        $$
        begin{aligned}
        J &=
        int_0^1 (1-x)sqrt{4x-x^2} ; dx
        \
        &=
        int_{infty}^{sqrt 3}
        -32frac{(t^2-3)t^2}{(1+t^2)^4};dt
        \
        &=
        +32int_{sqrt 3}^{infty}
        frac{(t^2+2t^2+1)-5(t^2+1)+4}{(1+t^2)^4};dt
        \
        &=
        +32int_{sqrt 3}^{infty}
        left[
        frac1{(1+t^2)^2}
        -5frac1{(1+t^2)^3}
        +4frac1{(1+t^2)^4}
        right];dt
        \
        &=32(K_2-5K_3+4K_4) ,
        end{aligned}
        $$
        where $K_n$ is the integral on the same interval of $(1+t^2)^{-n}$. We have the recursion
        $$
        begin{aligned}
        K_n
        &=int_{sqrt 3}^{infty}t'frac1{(1+t^2)^n};dt
        \
        &=frac t{(1+t^2)^n}Bigg|_{sqrt 3}^{infty}
        -
        int_{sqrt 3}^{infty}
        tcdot frac{-2nt}{(1+t^2)^{n+1}};dt
        \
        &=-frac{sqrt3}{4^n}
        +
        2nint_{sqrt 3}^{infty}frac{(t^2+1)-1}{(1+t^2)^{n+1}};dt
        \
        &=-frac{sqrt3}{4^n}
        +
        2n(K_n-K_{n+1}) ,text{ i.e.}
        \
        K_{n+1}
        &=
        frac 1{2n}left[ (2n-1)K_n-frac{sqrt3}{4^n} right] .
        \[2mm]
        &qquadtext{This gives:}
        \
        K_1 &=arctan infty-arctansqrt 3 =left(frac 12-frac 13right)pi
        =frac 16pi ,
        \
        K_2 &=frac 12left[K_1-frac{sqrt 3}4right]=frac 1{12}pi - frac{sqrt 3}8 ,
        \
        K_3 &=frac 14left[3K_2-frac{sqrt 3}{16}right]
        =frac 1{16}pi - frac{7sqrt 3}{64} ,
        \
        K_4 &=frac 16left[5K_3-frac{sqrt 3}{64}right]
        =frac 5{96}pi - frac{3sqrt 3}{32} ,
        %\
        %K_5 &=frac 18left[7K_4-frac{sqrt 3}{216}right]
        %=frac {35}{768}pi - frac{169sqrt 3}{2048} ,
        \
        &qquadtext{ so putting all together}
        \
        J&=32(K_2-5K_3+4K_4)
        \
        &=-frac23pi+frac {3sqrt 3}2 .
        end{aligned}
        $$
        As said, not the quick way, but all details are displayed. Computer check:



        sage: var('x,t');
        sage: integral( (1-x)*sqrt(4*x-x^2), x, 0, 1 ).simplify()
        -2/3*pi + 3/2*sqrt(3)
        sage: integral( 32*(t^2-3)*t^2/(1+t^2)^4, t, sqrt(3), oo ).simplify()
        -2/3*pi + 3/2*sqrt(3)





        share|cite|improve this answer









        $endgroup$



        It is always didactically good to give a solution for the given start. I will try it, although trigonometric substitutions from the beginning may save typing.



        The substitution $t=sqrt{(4-x)/x}$ is ok, but we have to use improper integrals. The solution would be as follows. For $x=0+$ the corresponding (limiting) value of $t$ is $t=sqrt{4/0_+}=+infty$, and for $x=1$ we get $t=sqrt{(4-1)/1}=color{red}{sqrt 3}$. (It is square three, maybe the one reason for writing this answer.)
        $$
        begin{aligned}
        J &=
        int_0^1 (1-x)sqrt{4x-x^2} ; dx
        \
        &=
        int_{infty}^{sqrt 3}
        -32frac{(t^2-3)t^2}{(1+t^2)^4};dt
        \
        &=
        +32int_{sqrt 3}^{infty}
        frac{(t^2+2t^2+1)-5(t^2+1)+4}{(1+t^2)^4};dt
        \
        &=
        +32int_{sqrt 3}^{infty}
        left[
        frac1{(1+t^2)^2}
        -5frac1{(1+t^2)^3}
        +4frac1{(1+t^2)^4}
        right];dt
        \
        &=32(K_2-5K_3+4K_4) ,
        end{aligned}
        $$
        where $K_n$ is the integral on the same interval of $(1+t^2)^{-n}$. We have the recursion
        $$
        begin{aligned}
        K_n
        &=int_{sqrt 3}^{infty}t'frac1{(1+t^2)^n};dt
        \
        &=frac t{(1+t^2)^n}Bigg|_{sqrt 3}^{infty}
        -
        int_{sqrt 3}^{infty}
        tcdot frac{-2nt}{(1+t^2)^{n+1}};dt
        \
        &=-frac{sqrt3}{4^n}
        +
        2nint_{sqrt 3}^{infty}frac{(t^2+1)-1}{(1+t^2)^{n+1}};dt
        \
        &=-frac{sqrt3}{4^n}
        +
        2n(K_n-K_{n+1}) ,text{ i.e.}
        \
        K_{n+1}
        &=
        frac 1{2n}left[ (2n-1)K_n-frac{sqrt3}{4^n} right] .
        \[2mm]
        &qquadtext{This gives:}
        \
        K_1 &=arctan infty-arctansqrt 3 =left(frac 12-frac 13right)pi
        =frac 16pi ,
        \
        K_2 &=frac 12left[K_1-frac{sqrt 3}4right]=frac 1{12}pi - frac{sqrt 3}8 ,
        \
        K_3 &=frac 14left[3K_2-frac{sqrt 3}{16}right]
        =frac 1{16}pi - frac{7sqrt 3}{64} ,
        \
        K_4 &=frac 16left[5K_3-frac{sqrt 3}{64}right]
        =frac 5{96}pi - frac{3sqrt 3}{32} ,
        %\
        %K_5 &=frac 18left[7K_4-frac{sqrt 3}{216}right]
        %=frac {35}{768}pi - frac{169sqrt 3}{2048} ,
        \
        &qquadtext{ so putting all together}
        \
        J&=32(K_2-5K_3+4K_4)
        \
        &=-frac23pi+frac {3sqrt 3}2 .
        end{aligned}
        $$
        As said, not the quick way, but all details are displayed. Computer check:



        sage: var('x,t');
        sage: integral( (1-x)*sqrt(4*x-x^2), x, 0, 1 ).simplify()
        -2/3*pi + 3/2*sqrt(3)
        sage: integral( 32*(t^2-3)*t^2/(1+t^2)^4, t, sqrt(3), oo ).simplify()
        -2/3*pi + 3/2*sqrt(3)






        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Sep 11 '18 at 23:34









        dan_fuleadan_fulea

        6,6281312




        6,6281312












        • $begingroup$
          Are we allowed to use the infinity sign like this $arctan infty$? Because a professor of mine says that infinity sign should be used only when we have limits otherwise it's wrong to use it in other(direct) ways.
          $endgroup$
          – Maths Survivor
          Sep 12 '18 at 0:18










        • $begingroup$
          In this case we have the limit, explicitly $$K_1=int_{sqrt 3}^inftyfrac {dt}{1+t^2}=lim_{Mtoinfty}int_{sqrt 3}^Mfrac {dt}{1+t^2}=lim_{Mtoinfty}arctanBigg|_{sqrt 3}^M=lim_{Mtoinfty}arctan M -arctansqrt 3=frac 12pi-frac 13pi .$$ To avoid this complicated notation, it is simpler to write $arctan infty$ instead of the longer $lim_{Mtoinfty}arctan M$. (Same in the integral.) We apply a continuous function, $arctan$, on the "symbol" $infty$, this function has a limit. The substitution was dictating the use of an improper integral, one with an $infty$ as one limit.
          $endgroup$
          – dan_fulea
          Sep 12 '18 at 0:27










        • $begingroup$
          I get it , thank you for your answer .
          $endgroup$
          – Maths Survivor
          Sep 12 '18 at 0:32








        • 1




          $begingroup$
          @MathsSurvivor: Your professor is correct if you are working in real analysis with the usual real line, since there is no real number $∞$. In this case, you must define infinite limit and limit at infinity separately from the usual case, and then the "$infty$" in both of them are merely symbolic. However, we can 'add' $∞$ to the real line, to get the affinely extended real line, which is literally the closed interval $[-∞,∞]$, and the real line is literally the open interval $(-∞,∞)$.
          $endgroup$
          – user21820
          Sep 12 '18 at 5:09






        • 1




          $begingroup$
          $[-∞,∞]$ is not a field, but it is a compact topological space, and $sup(S),inf(S)$ exist for any subset $S$, and hence $limsup,liminf$ of any sequence always exists. If they are equal then the limit exists. These extend the usual ones, and may help to explain why the logical structure of the infinite limits and limits and infinity are so similar to the non-infinite case. You can check that $arctan$ on $(-∞,∞)$ can be continuously extended to $-∞$ and $∞$, and then it is literally correct to write $arctan(∞) = π/2$.
          $endgroup$
          – user21820
          Sep 12 '18 at 5:13




















        • $begingroup$
          Are we allowed to use the infinity sign like this $arctan infty$? Because a professor of mine says that infinity sign should be used only when we have limits otherwise it's wrong to use it in other(direct) ways.
          $endgroup$
          – Maths Survivor
          Sep 12 '18 at 0:18










        • $begingroup$
          In this case we have the limit, explicitly $$K_1=int_{sqrt 3}^inftyfrac {dt}{1+t^2}=lim_{Mtoinfty}int_{sqrt 3}^Mfrac {dt}{1+t^2}=lim_{Mtoinfty}arctanBigg|_{sqrt 3}^M=lim_{Mtoinfty}arctan M -arctansqrt 3=frac 12pi-frac 13pi .$$ To avoid this complicated notation, it is simpler to write $arctan infty$ instead of the longer $lim_{Mtoinfty}arctan M$. (Same in the integral.) We apply a continuous function, $arctan$, on the "symbol" $infty$, this function has a limit. The substitution was dictating the use of an improper integral, one with an $infty$ as one limit.
          $endgroup$
          – dan_fulea
          Sep 12 '18 at 0:27










        • $begingroup$
          I get it , thank you for your answer .
          $endgroup$
          – Maths Survivor
          Sep 12 '18 at 0:32








        • 1




          $begingroup$
          @MathsSurvivor: Your professor is correct if you are working in real analysis with the usual real line, since there is no real number $∞$. In this case, you must define infinite limit and limit at infinity separately from the usual case, and then the "$infty$" in both of them are merely symbolic. However, we can 'add' $∞$ to the real line, to get the affinely extended real line, which is literally the closed interval $[-∞,∞]$, and the real line is literally the open interval $(-∞,∞)$.
          $endgroup$
          – user21820
          Sep 12 '18 at 5:09






        • 1




          $begingroup$
          $[-∞,∞]$ is not a field, but it is a compact topological space, and $sup(S),inf(S)$ exist for any subset $S$, and hence $limsup,liminf$ of any sequence always exists. If they are equal then the limit exists. These extend the usual ones, and may help to explain why the logical structure of the infinite limits and limits and infinity are so similar to the non-infinite case. You can check that $arctan$ on $(-∞,∞)$ can be continuously extended to $-∞$ and $∞$, and then it is literally correct to write $arctan(∞) = π/2$.
          $endgroup$
          – user21820
          Sep 12 '18 at 5:13


















        $begingroup$
        Are we allowed to use the infinity sign like this $arctan infty$? Because a professor of mine says that infinity sign should be used only when we have limits otherwise it's wrong to use it in other(direct) ways.
        $endgroup$
        – Maths Survivor
        Sep 12 '18 at 0:18




        $begingroup$
        Are we allowed to use the infinity sign like this $arctan infty$? Because a professor of mine says that infinity sign should be used only when we have limits otherwise it's wrong to use it in other(direct) ways.
        $endgroup$
        – Maths Survivor
        Sep 12 '18 at 0:18












        $begingroup$
        In this case we have the limit, explicitly $$K_1=int_{sqrt 3}^inftyfrac {dt}{1+t^2}=lim_{Mtoinfty}int_{sqrt 3}^Mfrac {dt}{1+t^2}=lim_{Mtoinfty}arctanBigg|_{sqrt 3}^M=lim_{Mtoinfty}arctan M -arctansqrt 3=frac 12pi-frac 13pi .$$ To avoid this complicated notation, it is simpler to write $arctan infty$ instead of the longer $lim_{Mtoinfty}arctan M$. (Same in the integral.) We apply a continuous function, $arctan$, on the "symbol" $infty$, this function has a limit. The substitution was dictating the use of an improper integral, one with an $infty$ as one limit.
        $endgroup$
        – dan_fulea
        Sep 12 '18 at 0:27




        $begingroup$
        In this case we have the limit, explicitly $$K_1=int_{sqrt 3}^inftyfrac {dt}{1+t^2}=lim_{Mtoinfty}int_{sqrt 3}^Mfrac {dt}{1+t^2}=lim_{Mtoinfty}arctanBigg|_{sqrt 3}^M=lim_{Mtoinfty}arctan M -arctansqrt 3=frac 12pi-frac 13pi .$$ To avoid this complicated notation, it is simpler to write $arctan infty$ instead of the longer $lim_{Mtoinfty}arctan M$. (Same in the integral.) We apply a continuous function, $arctan$, on the "symbol" $infty$, this function has a limit. The substitution was dictating the use of an improper integral, one with an $infty$ as one limit.
        $endgroup$
        – dan_fulea
        Sep 12 '18 at 0:27












        $begingroup$
        I get it , thank you for your answer .
        $endgroup$
        – Maths Survivor
        Sep 12 '18 at 0:32






        $begingroup$
        I get it , thank you for your answer .
        $endgroup$
        – Maths Survivor
        Sep 12 '18 at 0:32






        1




        1




        $begingroup$
        @MathsSurvivor: Your professor is correct if you are working in real analysis with the usual real line, since there is no real number $∞$. In this case, you must define infinite limit and limit at infinity separately from the usual case, and then the "$infty$" in both of them are merely symbolic. However, we can 'add' $∞$ to the real line, to get the affinely extended real line, which is literally the closed interval $[-∞,∞]$, and the real line is literally the open interval $(-∞,∞)$.
        $endgroup$
        – user21820
        Sep 12 '18 at 5:09




        $begingroup$
        @MathsSurvivor: Your professor is correct if you are working in real analysis with the usual real line, since there is no real number $∞$. In this case, you must define infinite limit and limit at infinity separately from the usual case, and then the "$infty$" in both of them are merely symbolic. However, we can 'add' $∞$ to the real line, to get the affinely extended real line, which is literally the closed interval $[-∞,∞]$, and the real line is literally the open interval $(-∞,∞)$.
        $endgroup$
        – user21820
        Sep 12 '18 at 5:09




        1




        1




        $begingroup$
        $[-∞,∞]$ is not a field, but it is a compact topological space, and $sup(S),inf(S)$ exist for any subset $S$, and hence $limsup,liminf$ of any sequence always exists. If they are equal then the limit exists. These extend the usual ones, and may help to explain why the logical structure of the infinite limits and limits and infinity are so similar to the non-infinite case. You can check that $arctan$ on $(-∞,∞)$ can be continuously extended to $-∞$ and $∞$, and then it is literally correct to write $arctan(∞) = π/2$.
        $endgroup$
        – user21820
        Sep 12 '18 at 5:13






        $begingroup$
        $[-∞,∞]$ is not a field, but it is a compact topological space, and $sup(S),inf(S)$ exist for any subset $S$, and hence $limsup,liminf$ of any sequence always exists. If they are equal then the limit exists. These extend the usual ones, and may help to explain why the logical structure of the infinite limits and limits and infinity are so similar to the non-infinite case. You can check that $arctan$ on $(-∞,∞)$ can be continuously extended to $-∞$ and $∞$, and then it is literally correct to write $arctan(∞) = π/2$.
        $endgroup$
        – user21820
        Sep 12 '18 at 5:13













        22












        $begingroup$

        The us try to get rid of the square root step-by-step:
        $$begin{eqnarray*} int_{0}^{1}(1-x)sqrt{x}sqrt{4-x},dx&stackrel{xmapsto z^2}{=}& 2int_{0}^{1}z^2(1-z^2)sqrt{4-z^2},dz\&stackrel{zmapsto 2u}{=}&32int_{0}^{1/2}u^2(1-4u^2)sqrt{1-u^2},du\&stackrel{umapstosintheta}{=}&32int_{0}^{pi/6}sin^2thetacos^2theta(1-4sin^2theta),dtheta\&=&4int_{0}^{pi/6}left[-1+cos(2theta)+cos(4theta)-cos(6theta)right],dtheta.end{eqnarray*}$$
        I guess you may take it from here.






        share|cite|improve this answer









        $endgroup$


















          22












          $begingroup$

          The us try to get rid of the square root step-by-step:
          $$begin{eqnarray*} int_{0}^{1}(1-x)sqrt{x}sqrt{4-x},dx&stackrel{xmapsto z^2}{=}& 2int_{0}^{1}z^2(1-z^2)sqrt{4-z^2},dz\&stackrel{zmapsto 2u}{=}&32int_{0}^{1/2}u^2(1-4u^2)sqrt{1-u^2},du\&stackrel{umapstosintheta}{=}&32int_{0}^{pi/6}sin^2thetacos^2theta(1-4sin^2theta),dtheta\&=&4int_{0}^{pi/6}left[-1+cos(2theta)+cos(4theta)-cos(6theta)right],dtheta.end{eqnarray*}$$
          I guess you may take it from here.






          share|cite|improve this answer









          $endgroup$
















            22












            22








            22





            $begingroup$

            The us try to get rid of the square root step-by-step:
            $$begin{eqnarray*} int_{0}^{1}(1-x)sqrt{x}sqrt{4-x},dx&stackrel{xmapsto z^2}{=}& 2int_{0}^{1}z^2(1-z^2)sqrt{4-z^2},dz\&stackrel{zmapsto 2u}{=}&32int_{0}^{1/2}u^2(1-4u^2)sqrt{1-u^2},du\&stackrel{umapstosintheta}{=}&32int_{0}^{pi/6}sin^2thetacos^2theta(1-4sin^2theta),dtheta\&=&4int_{0}^{pi/6}left[-1+cos(2theta)+cos(4theta)-cos(6theta)right],dtheta.end{eqnarray*}$$
            I guess you may take it from here.






            share|cite|improve this answer









            $endgroup$



            The us try to get rid of the square root step-by-step:
            $$begin{eqnarray*} int_{0}^{1}(1-x)sqrt{x}sqrt{4-x},dx&stackrel{xmapsto z^2}{=}& 2int_{0}^{1}z^2(1-z^2)sqrt{4-z^2},dz\&stackrel{zmapsto 2u}{=}&32int_{0}^{1/2}u^2(1-4u^2)sqrt{1-u^2},du\&stackrel{umapstosintheta}{=}&32int_{0}^{pi/6}sin^2thetacos^2theta(1-4sin^2theta),dtheta\&=&4int_{0}^{pi/6}left[-1+cos(2theta)+cos(4theta)-cos(6theta)right],dtheta.end{eqnarray*}$$
            I guess you may take it from here.







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered Sep 11 '18 at 20:48









            Jack D'AurizioJack D'Aurizio

            290k33282662




            290k33282662























                6












                $begingroup$

                One can use $,displaystyle{int_a^b f(x) dx=int_a^b f(a+b-x) dx},$ to get: $$I=int_0^1 x sqrt{4-(1+x)^2} dx= int_0^1 (x+1)sqrt{4 - (x+1)^2} dx-int_0^1 sqrt{4 - (x+1)^2} dx$$ For the first one just substitute $4-(x+1)^2 =t$ to get $displaystyle{frac12 int_0^3 sqrt t dt}., $ And the second one is a standard square root integral.






                share|cite|improve this answer











                $endgroup$













                • $begingroup$
                  How did you get $sqrt{4-(1+x^2)}$ shouldn't it be $sqrt{4(1-x)+(1-x)^2}$?
                  $endgroup$
                  – Maths Survivor
                  Sep 11 '18 at 21:06












                • $begingroup$
                  I used that $4x-x^2 = 4-(x-2)^2 $ to simplify faster.
                  $endgroup$
                  – Zacky
                  Sep 11 '18 at 21:08










                • $begingroup$
                  Also $$4(1-x)-(1-x)^2 =(1-x) (4-1+x)=(1-x) (3+x)$$$$2 ^2 - (x+1)^2 =(2-1-x) (2+1+x)=(1-x)(3+x)$$
                  $endgroup$
                  – Zacky
                  Sep 11 '18 at 21:21










                • $begingroup$
                  Yeah it's the same , you're right
                  $endgroup$
                  – Maths Survivor
                  Sep 11 '18 at 21:25






                • 1




                  $begingroup$
                  Yes, just substitute $a+b-x=trightarrow x=a+b-t$ to prove it. The new bound will be $int_b^a$, but as we have $-dx=dt$ we can get rid of that minus sign and swap those to obtain $int_a^b f(x) dx=int_a^b f(a+b-t) dt$
                  $endgroup$
                  – Zacky
                  Sep 11 '18 at 21:54


















                6












                $begingroup$

                One can use $,displaystyle{int_a^b f(x) dx=int_a^b f(a+b-x) dx},$ to get: $$I=int_0^1 x sqrt{4-(1+x)^2} dx= int_0^1 (x+1)sqrt{4 - (x+1)^2} dx-int_0^1 sqrt{4 - (x+1)^2} dx$$ For the first one just substitute $4-(x+1)^2 =t$ to get $displaystyle{frac12 int_0^3 sqrt t dt}., $ And the second one is a standard square root integral.






                share|cite|improve this answer











                $endgroup$













                • $begingroup$
                  How did you get $sqrt{4-(1+x^2)}$ shouldn't it be $sqrt{4(1-x)+(1-x)^2}$?
                  $endgroup$
                  – Maths Survivor
                  Sep 11 '18 at 21:06












                • $begingroup$
                  I used that $4x-x^2 = 4-(x-2)^2 $ to simplify faster.
                  $endgroup$
                  – Zacky
                  Sep 11 '18 at 21:08










                • $begingroup$
                  Also $$4(1-x)-(1-x)^2 =(1-x) (4-1+x)=(1-x) (3+x)$$$$2 ^2 - (x+1)^2 =(2-1-x) (2+1+x)=(1-x)(3+x)$$
                  $endgroup$
                  – Zacky
                  Sep 11 '18 at 21:21










                • $begingroup$
                  Yeah it's the same , you're right
                  $endgroup$
                  – Maths Survivor
                  Sep 11 '18 at 21:25






                • 1




                  $begingroup$
                  Yes, just substitute $a+b-x=trightarrow x=a+b-t$ to prove it. The new bound will be $int_b^a$, but as we have $-dx=dt$ we can get rid of that minus sign and swap those to obtain $int_a^b f(x) dx=int_a^b f(a+b-t) dt$
                  $endgroup$
                  – Zacky
                  Sep 11 '18 at 21:54
















                6












                6








                6





                $begingroup$

                One can use $,displaystyle{int_a^b f(x) dx=int_a^b f(a+b-x) dx},$ to get: $$I=int_0^1 x sqrt{4-(1+x)^2} dx= int_0^1 (x+1)sqrt{4 - (x+1)^2} dx-int_0^1 sqrt{4 - (x+1)^2} dx$$ For the first one just substitute $4-(x+1)^2 =t$ to get $displaystyle{frac12 int_0^3 sqrt t dt}., $ And the second one is a standard square root integral.






                share|cite|improve this answer











                $endgroup$



                One can use $,displaystyle{int_a^b f(x) dx=int_a^b f(a+b-x) dx},$ to get: $$I=int_0^1 x sqrt{4-(1+x)^2} dx= int_0^1 (x+1)sqrt{4 - (x+1)^2} dx-int_0^1 sqrt{4 - (x+1)^2} dx$$ For the first one just substitute $4-(x+1)^2 =t$ to get $displaystyle{frac12 int_0^3 sqrt t dt}., $ And the second one is a standard square root integral.







                share|cite|improve this answer














                share|cite|improve this answer



                share|cite|improve this answer








                edited Dec 23 '18 at 19:18

























                answered Sep 11 '18 at 21:00









                ZackyZacky

                6,6851958




                6,6851958












                • $begingroup$
                  How did you get $sqrt{4-(1+x^2)}$ shouldn't it be $sqrt{4(1-x)+(1-x)^2}$?
                  $endgroup$
                  – Maths Survivor
                  Sep 11 '18 at 21:06












                • $begingroup$
                  I used that $4x-x^2 = 4-(x-2)^2 $ to simplify faster.
                  $endgroup$
                  – Zacky
                  Sep 11 '18 at 21:08










                • $begingroup$
                  Also $$4(1-x)-(1-x)^2 =(1-x) (4-1+x)=(1-x) (3+x)$$$$2 ^2 - (x+1)^2 =(2-1-x) (2+1+x)=(1-x)(3+x)$$
                  $endgroup$
                  – Zacky
                  Sep 11 '18 at 21:21










                • $begingroup$
                  Yeah it's the same , you're right
                  $endgroup$
                  – Maths Survivor
                  Sep 11 '18 at 21:25






                • 1




                  $begingroup$
                  Yes, just substitute $a+b-x=trightarrow x=a+b-t$ to prove it. The new bound will be $int_b^a$, but as we have $-dx=dt$ we can get rid of that minus sign and swap those to obtain $int_a^b f(x) dx=int_a^b f(a+b-t) dt$
                  $endgroup$
                  – Zacky
                  Sep 11 '18 at 21:54




















                • $begingroup$
                  How did you get $sqrt{4-(1+x^2)}$ shouldn't it be $sqrt{4(1-x)+(1-x)^2}$?
                  $endgroup$
                  – Maths Survivor
                  Sep 11 '18 at 21:06












                • $begingroup$
                  I used that $4x-x^2 = 4-(x-2)^2 $ to simplify faster.
                  $endgroup$
                  – Zacky
                  Sep 11 '18 at 21:08










                • $begingroup$
                  Also $$4(1-x)-(1-x)^2 =(1-x) (4-1+x)=(1-x) (3+x)$$$$2 ^2 - (x+1)^2 =(2-1-x) (2+1+x)=(1-x)(3+x)$$
                  $endgroup$
                  – Zacky
                  Sep 11 '18 at 21:21










                • $begingroup$
                  Yeah it's the same , you're right
                  $endgroup$
                  – Maths Survivor
                  Sep 11 '18 at 21:25






                • 1




                  $begingroup$
                  Yes, just substitute $a+b-x=trightarrow x=a+b-t$ to prove it. The new bound will be $int_b^a$, but as we have $-dx=dt$ we can get rid of that minus sign and swap those to obtain $int_a^b f(x) dx=int_a^b f(a+b-t) dt$
                  $endgroup$
                  – Zacky
                  Sep 11 '18 at 21:54


















                $begingroup$
                How did you get $sqrt{4-(1+x^2)}$ shouldn't it be $sqrt{4(1-x)+(1-x)^2}$?
                $endgroup$
                – Maths Survivor
                Sep 11 '18 at 21:06






                $begingroup$
                How did you get $sqrt{4-(1+x^2)}$ shouldn't it be $sqrt{4(1-x)+(1-x)^2}$?
                $endgroup$
                – Maths Survivor
                Sep 11 '18 at 21:06














                $begingroup$
                I used that $4x-x^2 = 4-(x-2)^2 $ to simplify faster.
                $endgroup$
                – Zacky
                Sep 11 '18 at 21:08




                $begingroup$
                I used that $4x-x^2 = 4-(x-2)^2 $ to simplify faster.
                $endgroup$
                – Zacky
                Sep 11 '18 at 21:08












                $begingroup$
                Also $$4(1-x)-(1-x)^2 =(1-x) (4-1+x)=(1-x) (3+x)$$$$2 ^2 - (x+1)^2 =(2-1-x) (2+1+x)=(1-x)(3+x)$$
                $endgroup$
                – Zacky
                Sep 11 '18 at 21:21




                $begingroup$
                Also $$4(1-x)-(1-x)^2 =(1-x) (4-1+x)=(1-x) (3+x)$$$$2 ^2 - (x+1)^2 =(2-1-x) (2+1+x)=(1-x)(3+x)$$
                $endgroup$
                – Zacky
                Sep 11 '18 at 21:21












                $begingroup$
                Yeah it's the same , you're right
                $endgroup$
                – Maths Survivor
                Sep 11 '18 at 21:25




                $begingroup$
                Yeah it's the same , you're right
                $endgroup$
                – Maths Survivor
                Sep 11 '18 at 21:25




                1




                1




                $begingroup$
                Yes, just substitute $a+b-x=trightarrow x=a+b-t$ to prove it. The new bound will be $int_b^a$, but as we have $-dx=dt$ we can get rid of that minus sign and swap those to obtain $int_a^b f(x) dx=int_a^b f(a+b-t) dt$
                $endgroup$
                – Zacky
                Sep 11 '18 at 21:54






                $begingroup$
                Yes, just substitute $a+b-x=trightarrow x=a+b-t$ to prove it. The new bound will be $int_b^a$, but as we have $-dx=dt$ we can get rid of that minus sign and swap those to obtain $int_a^b f(x) dx=int_a^b f(a+b-t) dt$
                $endgroup$
                – Zacky
                Sep 11 '18 at 21:54













                3












                $begingroup$

                Hint:



                By completing the square,



                $$4x-x^2=4-(x-2)^2$$ and that hints to use the substitution



                $$x-2=2cos t.$$



                Then



                $$int (1-x)sqrt{4x-x^2}dx=4int(1+2cos t)sin^2t,dt.$$



                The term $sin^2t$ is integrated in the form $dfrac{1-cos 2t}2$, and the second term is immediate.




                $$I=2t-2sin tcos t+dfrac83sin^3t=\arccosdfrac{x-2}2-(x-2)sqrt{1-dfrac{(x-2)^2}4}+dfrac83left(1-dfrac{(x-2)^2}4right)^{3/2}$$







                share|cite|improve this answer











                $endgroup$


















                  3












                  $begingroup$

                  Hint:



                  By completing the square,



                  $$4x-x^2=4-(x-2)^2$$ and that hints to use the substitution



                  $$x-2=2cos t.$$



                  Then



                  $$int (1-x)sqrt{4x-x^2}dx=4int(1+2cos t)sin^2t,dt.$$



                  The term $sin^2t$ is integrated in the form $dfrac{1-cos 2t}2$, and the second term is immediate.




                  $$I=2t-2sin tcos t+dfrac83sin^3t=\arccosdfrac{x-2}2-(x-2)sqrt{1-dfrac{(x-2)^2}4}+dfrac83left(1-dfrac{(x-2)^2}4right)^{3/2}$$







                  share|cite|improve this answer











                  $endgroup$
















                    3












                    3








                    3





                    $begingroup$

                    Hint:



                    By completing the square,



                    $$4x-x^2=4-(x-2)^2$$ and that hints to use the substitution



                    $$x-2=2cos t.$$



                    Then



                    $$int (1-x)sqrt{4x-x^2}dx=4int(1+2cos t)sin^2t,dt.$$



                    The term $sin^2t$ is integrated in the form $dfrac{1-cos 2t}2$, and the second term is immediate.




                    $$I=2t-2sin tcos t+dfrac83sin^3t=\arccosdfrac{x-2}2-(x-2)sqrt{1-dfrac{(x-2)^2}4}+dfrac83left(1-dfrac{(x-2)^2}4right)^{3/2}$$







                    share|cite|improve this answer











                    $endgroup$



                    Hint:



                    By completing the square,



                    $$4x-x^2=4-(x-2)^2$$ and that hints to use the substitution



                    $$x-2=2cos t.$$



                    Then



                    $$int (1-x)sqrt{4x-x^2}dx=4int(1+2cos t)sin^2t,dt.$$



                    The term $sin^2t$ is integrated in the form $dfrac{1-cos 2t}2$, and the second term is immediate.




                    $$I=2t-2sin tcos t+dfrac83sin^3t=\arccosdfrac{x-2}2-(x-2)sqrt{1-dfrac{(x-2)^2}4}+dfrac83left(1-dfrac{(x-2)^2}4right)^{3/2}$$








                    share|cite|improve this answer














                    share|cite|improve this answer



                    share|cite|improve this answer








                    edited Sep 12 '18 at 13:12

























                    answered Sep 11 '18 at 21:18









                    Yves DaoustYves Daoust

                    128k675227




                    128k675227























                        3












                        $begingroup$

                        Your approach can be completed by noting that the domain of integrtion $xin(0,1)$ gets transformed to the unbounded domain of integration $tin(sqrt3,infty)$ with reversal of orientation (which negates the integral).





                        We can also set $u=1-x/2implies4!left(1-u^2right)=4x-x^2$. Therefore,
                        $$
                        int_0^1(1-x)sqrt{4x-x^2},mathrm{d}x=4int_{1/2}^1(2u-1)sqrt{1-u^2},mathrm{d}u
                        $$
                        Then, setting $u=sin(theta)$ gives
                        $$
                        begin{align}
                        4int_{1/2}^1(2u-1)sqrt{1-u^2},mathrm{d}u
                        &=4int_{pi/6}^{pi/2}(2sin(theta)-1)overbrace{cos^2(theta)}^{1-sin^2(theta)},mathrm{d}theta\
                        &=4int_{pi/6}^{pi/2}left(-2color{#C00}{sin^3(theta)}+color{#090}{sin^2(theta)}+2sin(theta)-1right)mathrm{d}theta\
                        &=4int_{pi/6}^{pi/2}left(-2color{#C00}{frac{3sin(theta)-sin(3theta)}4}+color{#090}{frac{1-cos(2theta)}2}+2sin(theta)-1right)mathrm{d}theta\
                        %&=-left[frac23cos(3theta)+sin(2theta)+2cos(theta)+2thetaright]_{pi/6}^{pi/2}\[3pt]
                        %&=frac32sqrt3-frac23pi
                        end{align}
                        $$






                        share|cite|improve this answer











                        $endgroup$













                        • $begingroup$
                          At the stage $(2s-1)c^2$, it is more direct to integrate $sc^2$ and $c^2$.
                          $endgroup$
                          – Yves Daoust
                          Sep 12 '18 at 12:58










                        • $begingroup$
                          The mechanics should include $sc^n$ and $cs^n$, as well as $s^{2m+1}c^n$ and $c^{2m+1}s^n$ where you expand the even powers. Polynomials are easy.
                          $endgroup$
                          – Yves Daoust
                          Sep 12 '18 at 14:56












                        • $begingroup$
                          You needn't tell me.
                          $endgroup$
                          – Yves Daoust
                          Sep 12 '18 at 15:20
















                        3












                        $begingroup$

                        Your approach can be completed by noting that the domain of integrtion $xin(0,1)$ gets transformed to the unbounded domain of integration $tin(sqrt3,infty)$ with reversal of orientation (which negates the integral).





                        We can also set $u=1-x/2implies4!left(1-u^2right)=4x-x^2$. Therefore,
                        $$
                        int_0^1(1-x)sqrt{4x-x^2},mathrm{d}x=4int_{1/2}^1(2u-1)sqrt{1-u^2},mathrm{d}u
                        $$
                        Then, setting $u=sin(theta)$ gives
                        $$
                        begin{align}
                        4int_{1/2}^1(2u-1)sqrt{1-u^2},mathrm{d}u
                        &=4int_{pi/6}^{pi/2}(2sin(theta)-1)overbrace{cos^2(theta)}^{1-sin^2(theta)},mathrm{d}theta\
                        &=4int_{pi/6}^{pi/2}left(-2color{#C00}{sin^3(theta)}+color{#090}{sin^2(theta)}+2sin(theta)-1right)mathrm{d}theta\
                        &=4int_{pi/6}^{pi/2}left(-2color{#C00}{frac{3sin(theta)-sin(3theta)}4}+color{#090}{frac{1-cos(2theta)}2}+2sin(theta)-1right)mathrm{d}theta\
                        %&=-left[frac23cos(3theta)+sin(2theta)+2cos(theta)+2thetaright]_{pi/6}^{pi/2}\[3pt]
                        %&=frac32sqrt3-frac23pi
                        end{align}
                        $$






                        share|cite|improve this answer











                        $endgroup$













                        • $begingroup$
                          At the stage $(2s-1)c^2$, it is more direct to integrate $sc^2$ and $c^2$.
                          $endgroup$
                          – Yves Daoust
                          Sep 12 '18 at 12:58










                        • $begingroup$
                          The mechanics should include $sc^n$ and $cs^n$, as well as $s^{2m+1}c^n$ and $c^{2m+1}s^n$ where you expand the even powers. Polynomials are easy.
                          $endgroup$
                          – Yves Daoust
                          Sep 12 '18 at 14:56












                        • $begingroup$
                          You needn't tell me.
                          $endgroup$
                          – Yves Daoust
                          Sep 12 '18 at 15:20














                        3












                        3








                        3





                        $begingroup$

                        Your approach can be completed by noting that the domain of integrtion $xin(0,1)$ gets transformed to the unbounded domain of integration $tin(sqrt3,infty)$ with reversal of orientation (which negates the integral).





                        We can also set $u=1-x/2implies4!left(1-u^2right)=4x-x^2$. Therefore,
                        $$
                        int_0^1(1-x)sqrt{4x-x^2},mathrm{d}x=4int_{1/2}^1(2u-1)sqrt{1-u^2},mathrm{d}u
                        $$
                        Then, setting $u=sin(theta)$ gives
                        $$
                        begin{align}
                        4int_{1/2}^1(2u-1)sqrt{1-u^2},mathrm{d}u
                        &=4int_{pi/6}^{pi/2}(2sin(theta)-1)overbrace{cos^2(theta)}^{1-sin^2(theta)},mathrm{d}theta\
                        &=4int_{pi/6}^{pi/2}left(-2color{#C00}{sin^3(theta)}+color{#090}{sin^2(theta)}+2sin(theta)-1right)mathrm{d}theta\
                        &=4int_{pi/6}^{pi/2}left(-2color{#C00}{frac{3sin(theta)-sin(3theta)}4}+color{#090}{frac{1-cos(2theta)}2}+2sin(theta)-1right)mathrm{d}theta\
                        %&=-left[frac23cos(3theta)+sin(2theta)+2cos(theta)+2thetaright]_{pi/6}^{pi/2}\[3pt]
                        %&=frac32sqrt3-frac23pi
                        end{align}
                        $$






                        share|cite|improve this answer











                        $endgroup$



                        Your approach can be completed by noting that the domain of integrtion $xin(0,1)$ gets transformed to the unbounded domain of integration $tin(sqrt3,infty)$ with reversal of orientation (which negates the integral).





                        We can also set $u=1-x/2implies4!left(1-u^2right)=4x-x^2$. Therefore,
                        $$
                        int_0^1(1-x)sqrt{4x-x^2},mathrm{d}x=4int_{1/2}^1(2u-1)sqrt{1-u^2},mathrm{d}u
                        $$
                        Then, setting $u=sin(theta)$ gives
                        $$
                        begin{align}
                        4int_{1/2}^1(2u-1)sqrt{1-u^2},mathrm{d}u
                        &=4int_{pi/6}^{pi/2}(2sin(theta)-1)overbrace{cos^2(theta)}^{1-sin^2(theta)},mathrm{d}theta\
                        &=4int_{pi/6}^{pi/2}left(-2color{#C00}{sin^3(theta)}+color{#090}{sin^2(theta)}+2sin(theta)-1right)mathrm{d}theta\
                        &=4int_{pi/6}^{pi/2}left(-2color{#C00}{frac{3sin(theta)-sin(3theta)}4}+color{#090}{frac{1-cos(2theta)}2}+2sin(theta)-1right)mathrm{d}theta\
                        %&=-left[frac23cos(3theta)+sin(2theta)+2cos(theta)+2thetaright]_{pi/6}^{pi/2}\[3pt]
                        %&=frac32sqrt3-frac23pi
                        end{align}
                        $$







                        share|cite|improve this answer














                        share|cite|improve this answer



                        share|cite|improve this answer








                        edited Sep 12 '18 at 15:15

























                        answered Sep 11 '18 at 22:17









                        robjohnrobjohn

                        268k27308633




                        268k27308633












                        • $begingroup$
                          At the stage $(2s-1)c^2$, it is more direct to integrate $sc^2$ and $c^2$.
                          $endgroup$
                          – Yves Daoust
                          Sep 12 '18 at 12:58










                        • $begingroup$
                          The mechanics should include $sc^n$ and $cs^n$, as well as $s^{2m+1}c^n$ and $c^{2m+1}s^n$ where you expand the even powers. Polynomials are easy.
                          $endgroup$
                          – Yves Daoust
                          Sep 12 '18 at 14:56












                        • $begingroup$
                          You needn't tell me.
                          $endgroup$
                          – Yves Daoust
                          Sep 12 '18 at 15:20


















                        • $begingroup$
                          At the stage $(2s-1)c^2$, it is more direct to integrate $sc^2$ and $c^2$.
                          $endgroup$
                          – Yves Daoust
                          Sep 12 '18 at 12:58










                        • $begingroup$
                          The mechanics should include $sc^n$ and $cs^n$, as well as $s^{2m+1}c^n$ and $c^{2m+1}s^n$ where you expand the even powers. Polynomials are easy.
                          $endgroup$
                          – Yves Daoust
                          Sep 12 '18 at 14:56












                        • $begingroup$
                          You needn't tell me.
                          $endgroup$
                          – Yves Daoust
                          Sep 12 '18 at 15:20
















                        $begingroup$
                        At the stage $(2s-1)c^2$, it is more direct to integrate $sc^2$ and $c^2$.
                        $endgroup$
                        – Yves Daoust
                        Sep 12 '18 at 12:58




                        $begingroup$
                        At the stage $(2s-1)c^2$, it is more direct to integrate $sc^2$ and $c^2$.
                        $endgroup$
                        – Yves Daoust
                        Sep 12 '18 at 12:58












                        $begingroup$
                        The mechanics should include $sc^n$ and $cs^n$, as well as $s^{2m+1}c^n$ and $c^{2m+1}s^n$ where you expand the even powers. Polynomials are easy.
                        $endgroup$
                        – Yves Daoust
                        Sep 12 '18 at 14:56






                        $begingroup$
                        The mechanics should include $sc^n$ and $cs^n$, as well as $s^{2m+1}c^n$ and $c^{2m+1}s^n$ where you expand the even powers. Polynomials are easy.
                        $endgroup$
                        – Yves Daoust
                        Sep 12 '18 at 14:56














                        $begingroup$
                        You needn't tell me.
                        $endgroup$
                        – Yves Daoust
                        Sep 12 '18 at 15:20




                        $begingroup$
                        You needn't tell me.
                        $endgroup$
                        – Yves Daoust
                        Sep 12 '18 at 15:20











                        2












                        $begingroup$

                        Hint: $(1-x)sqrt{4x-x^2} {dx}=-sqrt{4x-x^2}{dx} +(2-x)sqrt{4x-x^2}{dx}=-sqrt{4x-x^2}{dx} +0.5sqrt{4x-x^2}{d(4x-x^2)}$






                        share|cite|improve this answer









                        $endgroup$


















                          2












                          $begingroup$

                          Hint: $(1-x)sqrt{4x-x^2} {dx}=-sqrt{4x-x^2}{dx} +(2-x)sqrt{4x-x^2}{dx}=-sqrt{4x-x^2}{dx} +0.5sqrt{4x-x^2}{d(4x-x^2)}$






                          share|cite|improve this answer









                          $endgroup$
















                            2












                            2








                            2





                            $begingroup$

                            Hint: $(1-x)sqrt{4x-x^2} {dx}=-sqrt{4x-x^2}{dx} +(2-x)sqrt{4x-x^2}{dx}=-sqrt{4x-x^2}{dx} +0.5sqrt{4x-x^2}{d(4x-x^2)}$






                            share|cite|improve this answer









                            $endgroup$



                            Hint: $(1-x)sqrt{4x-x^2} {dx}=-sqrt{4x-x^2}{dx} +(2-x)sqrt{4x-x^2}{dx}=-sqrt{4x-x^2}{dx} +0.5sqrt{4x-x^2}{d(4x-x^2)}$







                            share|cite|improve this answer












                            share|cite|improve this answer



                            share|cite|improve this answer










                            answered Sep 11 '18 at 20:55









                            VasyaVasya

                            3,3771516




                            3,3771516






























                                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%2f2913608%2fwhich-method-to-use-to-integrate-this-function%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

                                Mont Emei

                                Province de Neuquén

                                Journaliste