Which method to use to integrate this function?
$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!
real-analysis integration definite-integrals
$endgroup$
add a comment |
$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!
real-analysis integration definite-integrals
$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
add a comment |
$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!
real-analysis integration definite-integrals
$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
real-analysis integration definite-integrals
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
add a comment |
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
add a comment |
6 Answers
6
active
oldest
votes
$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)
$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
|
show 6 more comments
$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.
$endgroup$
add a comment |
$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.
$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
|
show 1 more comment
$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}$$
$endgroup$
add a comment |
$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}
$$
$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
add a comment |
$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)}$
$endgroup$
add a comment |
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$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)
$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
|
show 6 more comments
$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)
$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
|
show 6 more comments
$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)
$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)
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
|
show 6 more comments
$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
|
show 6 more comments
$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.
$endgroup$
add a comment |
$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.
$endgroup$
add a comment |
$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.
$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.
answered Sep 11 '18 at 20:48
Jack D'AurizioJack D'Aurizio
290k33282662
290k33282662
add a comment |
add a comment |
$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.
$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
|
show 1 more comment
$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.
$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
|
show 1 more comment
$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.
$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.
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
|
show 1 more comment
$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
|
show 1 more comment
$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}$$
$endgroup$
add a comment |
$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}$$
$endgroup$
add a comment |
$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}$$
$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}$$
edited Sep 12 '18 at 13:12
answered Sep 11 '18 at 21:18
Yves DaoustYves Daoust
128k675227
128k675227
add a comment |
add a comment |
$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}
$$
$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
add a comment |
$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}
$$
$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
add a comment |
$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}
$$
$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}
$$
edited Sep 12 '18 at 15:15
answered Sep 11 '18 at 22:17
robjohn♦robjohn
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
add a comment |
$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
add a comment |
$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)}$
$endgroup$
add a comment |
$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)}$
$endgroup$
add a comment |
$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)}$
$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)}$
answered Sep 11 '18 at 20:55
VasyaVasya
3,3771516
3,3771516
add a comment |
add a comment |
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
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