Why the sequence $frac2+a_nsqrt2+a_n^2$ is bounded
Clash Royale CLAN TAG#URR8PPP
up vote
1
down vote
favorite
Given $left a_n:::n=1,:2,:3,:cdotsright $ is an infinite
sequence in $mathbbR$, and every term is positive. How to prove
that the set
beginequation
left frac2+a_nsqrt2+a_n^2:::n=1,:2,:3,:cdotsright
endequation
has a limit point?
Bolzano-Weierstrass theorem says that every bounded
infinite subset of $mathbbR$ has a limit point. But how to prove
it is bounded? I tried this
beginequation
left|frac2+a_nsqrt2+a_n^2right|leqleft|frac2+a_nsqrta_n^2right|=left|frac2+a_na_nright|
endequation
but does not seem work.
Or these is another way to show it has a limit point, without using Bolzano-Weierstrass theorem
sequences-and-series limits
add a comment |Â
up vote
1
down vote
favorite
Given $left a_n:::n=1,:2,:3,:cdotsright $ is an infinite
sequence in $mathbbR$, and every term is positive. How to prove
that the set
beginequation
left frac2+a_nsqrt2+a_n^2:::n=1,:2,:3,:cdotsright
endequation
has a limit point?
Bolzano-Weierstrass theorem says that every bounded
infinite subset of $mathbbR$ has a limit point. But how to prove
it is bounded? I tried this
beginequation
left|frac2+a_nsqrt2+a_n^2right|leqleft|frac2+a_nsqrta_n^2right|=left|frac2+a_na_nright|
endequation
but does not seem work.
Or these is another way to show it has a limit point, without using Bolzano-Weierstrass theorem
sequences-and-series limits
1
Try to show that $$2+a_nleqslant2sqrt2+a_n^2$$
â Did
Aug 18 at 6:42
$$lim_xto pm inftyfrac2+xsqrt2+x^2=pm 1$$ and $frac2+xsqrt2+x^2$ is a continuous function on $mathbbR$, hence it is necessarily bounded.
â Jack D'Aurizioâ¦
Aug 18 at 15:25
Why is that? I know if E is a compact set, then f(E) is bounded.
â Lithium
Aug 18 at 15:35
@Lithium: such limits imply that for some $M$, $left|f(x)right|leq frac32$ for any $|x|>M$. So you may apply your lemma to the interval $[-M,M]$.
â Jack D'Aurizioâ¦
Aug 18 at 16:54
ah yes, very smart approach. thank you very much
â Lithium
Aug 18 at 18:47
add a comment |Â
up vote
1
down vote
favorite
up vote
1
down vote
favorite
Given $left a_n:::n=1,:2,:3,:cdotsright $ is an infinite
sequence in $mathbbR$, and every term is positive. How to prove
that the set
beginequation
left frac2+a_nsqrt2+a_n^2:::n=1,:2,:3,:cdotsright
endequation
has a limit point?
Bolzano-Weierstrass theorem says that every bounded
infinite subset of $mathbbR$ has a limit point. But how to prove
it is bounded? I tried this
beginequation
left|frac2+a_nsqrt2+a_n^2right|leqleft|frac2+a_nsqrta_n^2right|=left|frac2+a_na_nright|
endequation
but does not seem work.
Or these is another way to show it has a limit point, without using Bolzano-Weierstrass theorem
sequences-and-series limits
Given $left a_n:::n=1,:2,:3,:cdotsright $ is an infinite
sequence in $mathbbR$, and every term is positive. How to prove
that the set
beginequation
left frac2+a_nsqrt2+a_n^2:::n=1,:2,:3,:cdotsright
endequation
has a limit point?
Bolzano-Weierstrass theorem says that every bounded
infinite subset of $mathbbR$ has a limit point. But how to prove
it is bounded? I tried this
beginequation
left|frac2+a_nsqrt2+a_n^2right|leqleft|frac2+a_nsqrta_n^2right|=left|frac2+a_na_nright|
endequation
but does not seem work.
Or these is another way to show it has a limit point, without using Bolzano-Weierstrass theorem
sequences-and-series limits
edited Aug 18 at 6:44
Did
242k23208443
242k23208443
asked Aug 18 at 4:46
Lithium
886
886
1
Try to show that $$2+a_nleqslant2sqrt2+a_n^2$$
â Did
Aug 18 at 6:42
$$lim_xto pm inftyfrac2+xsqrt2+x^2=pm 1$$ and $frac2+xsqrt2+x^2$ is a continuous function on $mathbbR$, hence it is necessarily bounded.
â Jack D'Aurizioâ¦
Aug 18 at 15:25
Why is that? I know if E is a compact set, then f(E) is bounded.
â Lithium
Aug 18 at 15:35
@Lithium: such limits imply that for some $M$, $left|f(x)right|leq frac32$ for any $|x|>M$. So you may apply your lemma to the interval $[-M,M]$.
â Jack D'Aurizioâ¦
Aug 18 at 16:54
ah yes, very smart approach. thank you very much
â Lithium
Aug 18 at 18:47
add a comment |Â
1
Try to show that $$2+a_nleqslant2sqrt2+a_n^2$$
â Did
Aug 18 at 6:42
$$lim_xto pm inftyfrac2+xsqrt2+x^2=pm 1$$ and $frac2+xsqrt2+x^2$ is a continuous function on $mathbbR$, hence it is necessarily bounded.
â Jack D'Aurizioâ¦
Aug 18 at 15:25
Why is that? I know if E is a compact set, then f(E) is bounded.
â Lithium
Aug 18 at 15:35
@Lithium: such limits imply that for some $M$, $left|f(x)right|leq frac32$ for any $|x|>M$. So you may apply your lemma to the interval $[-M,M]$.
â Jack D'Aurizioâ¦
Aug 18 at 16:54
ah yes, very smart approach. thank you very much
â Lithium
Aug 18 at 18:47
1
1
Try to show that $$2+a_nleqslant2sqrt2+a_n^2$$
â Did
Aug 18 at 6:42
Try to show that $$2+a_nleqslant2sqrt2+a_n^2$$
â Did
Aug 18 at 6:42
$$lim_xto pm inftyfrac2+xsqrt2+x^2=pm 1$$ and $frac2+xsqrt2+x^2$ is a continuous function on $mathbbR$, hence it is necessarily bounded.
â Jack D'Aurizioâ¦
Aug 18 at 15:25
$$lim_xto pm inftyfrac2+xsqrt2+x^2=pm 1$$ and $frac2+xsqrt2+x^2$ is a continuous function on $mathbbR$, hence it is necessarily bounded.
â Jack D'Aurizioâ¦
Aug 18 at 15:25
Why is that? I know if E is a compact set, then f(E) is bounded.
â Lithium
Aug 18 at 15:35
Why is that? I know if E is a compact set, then f(E) is bounded.
â Lithium
Aug 18 at 15:35
@Lithium: such limits imply that for some $M$, $left|f(x)right|leq frac32$ for any $|x|>M$. So you may apply your lemma to the interval $[-M,M]$.
â Jack D'Aurizioâ¦
Aug 18 at 16:54
@Lithium: such limits imply that for some $M$, $left|f(x)right|leq frac32$ for any $|x|>M$. So you may apply your lemma to the interval $[-M,M]$.
â Jack D'Aurizioâ¦
Aug 18 at 16:54
ah yes, very smart approach. thank you very much
â Lithium
Aug 18 at 18:47
ah yes, very smart approach. thank you very much
â Lithium
Aug 18 at 18:47
add a comment |Â
2 Answers
2
active
oldest
votes
up vote
2
down vote
Hint: You can let intuition guide you: When $a_n$ is very small, it is negligible compared to $2$, so the fraction is close to $sqrt2$. Similarly, when $a_n$ is very large, the fraction is very close to $a_n/sqrta_n^2=1$. In between these extremes, it is continuous, hence bounded. You could build that into a formal proof, but that is clearly overkill! But this quick reasoning gives you the answer very easily, it is for sure bounded.
Instead, note that you need to prove the existence of some $M$ so that $$ 2+a_n le Msqrt2+a_n^2 .$$
Now square that inequality (note that both sides are positive), rearrange it a bit, say by collecting equal powers of $a_n$, and try find some value of $M$ that lets you prove it.
add a comment |Â
up vote
1
down vote
Alt. hint: Â let $a = sqrt2 tan t$, then:
$$
frac2+asqrt2+a^2 = fracsqrt2sqrt2cdot fracsqrt2 + tan tsqrt1+tan^2 t = (sqrt2+tan t) cdot |cos t| ;le; sqrt2|cos t| + |sin t|
$$
add a comment |Â
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
Hint: You can let intuition guide you: When $a_n$ is very small, it is negligible compared to $2$, so the fraction is close to $sqrt2$. Similarly, when $a_n$ is very large, the fraction is very close to $a_n/sqrta_n^2=1$. In between these extremes, it is continuous, hence bounded. You could build that into a formal proof, but that is clearly overkill! But this quick reasoning gives you the answer very easily, it is for sure bounded.
Instead, note that you need to prove the existence of some $M$ so that $$ 2+a_n le Msqrt2+a_n^2 .$$
Now square that inequality (note that both sides are positive), rearrange it a bit, say by collecting equal powers of $a_n$, and try find some value of $M$ that lets you prove it.
add a comment |Â
up vote
2
down vote
Hint: You can let intuition guide you: When $a_n$ is very small, it is negligible compared to $2$, so the fraction is close to $sqrt2$. Similarly, when $a_n$ is very large, the fraction is very close to $a_n/sqrta_n^2=1$. In between these extremes, it is continuous, hence bounded. You could build that into a formal proof, but that is clearly overkill! But this quick reasoning gives you the answer very easily, it is for sure bounded.
Instead, note that you need to prove the existence of some $M$ so that $$ 2+a_n le Msqrt2+a_n^2 .$$
Now square that inequality (note that both sides are positive), rearrange it a bit, say by collecting equal powers of $a_n$, and try find some value of $M$ that lets you prove it.
add a comment |Â
up vote
2
down vote
up vote
2
down vote
Hint: You can let intuition guide you: When $a_n$ is very small, it is negligible compared to $2$, so the fraction is close to $sqrt2$. Similarly, when $a_n$ is very large, the fraction is very close to $a_n/sqrta_n^2=1$. In between these extremes, it is continuous, hence bounded. You could build that into a formal proof, but that is clearly overkill! But this quick reasoning gives you the answer very easily, it is for sure bounded.
Instead, note that you need to prove the existence of some $M$ so that $$ 2+a_n le Msqrt2+a_n^2 .$$
Now square that inequality (note that both sides are positive), rearrange it a bit, say by collecting equal powers of $a_n$, and try find some value of $M$ that lets you prove it.
Hint: You can let intuition guide you: When $a_n$ is very small, it is negligible compared to $2$, so the fraction is close to $sqrt2$. Similarly, when $a_n$ is very large, the fraction is very close to $a_n/sqrta_n^2=1$. In between these extremes, it is continuous, hence bounded. You could build that into a formal proof, but that is clearly overkill! But this quick reasoning gives you the answer very easily, it is for sure bounded.
Instead, note that you need to prove the existence of some $M$ so that $$ 2+a_n le Msqrt2+a_n^2 .$$
Now square that inequality (note that both sides are positive), rearrange it a bit, say by collecting equal powers of $a_n$, and try find some value of $M$ that lets you prove it.
answered Aug 18 at 6:54
Harald Hanche-Olsen
27.3k23959
27.3k23959
add a comment |Â
add a comment |Â
up vote
1
down vote
Alt. hint: Â let $a = sqrt2 tan t$, then:
$$
frac2+asqrt2+a^2 = fracsqrt2sqrt2cdot fracsqrt2 + tan tsqrt1+tan^2 t = (sqrt2+tan t) cdot |cos t| ;le; sqrt2|cos t| + |sin t|
$$
add a comment |Â
up vote
1
down vote
Alt. hint: Â let $a = sqrt2 tan t$, then:
$$
frac2+asqrt2+a^2 = fracsqrt2sqrt2cdot fracsqrt2 + tan tsqrt1+tan^2 t = (sqrt2+tan t) cdot |cos t| ;le; sqrt2|cos t| + |sin t|
$$
add a comment |Â
up vote
1
down vote
up vote
1
down vote
Alt. hint: Â let $a = sqrt2 tan t$, then:
$$
frac2+asqrt2+a^2 = fracsqrt2sqrt2cdot fracsqrt2 + tan tsqrt1+tan^2 t = (sqrt2+tan t) cdot |cos t| ;le; sqrt2|cos t| + |sin t|
$$
Alt. hint: Â let $a = sqrt2 tan t$, then:
$$
frac2+asqrt2+a^2 = fracsqrt2sqrt2cdot fracsqrt2 + tan tsqrt1+tan^2 t = (sqrt2+tan t) cdot |cos t| ;le; sqrt2|cos t| + |sin t|
$$
answered Aug 19 at 1:06
dxiv
55.2k64798
55.2k64798
add a comment |Â
add a comment |Â
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
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2886423%2fwhy-the-sequence-frac2a-n-sqrt2a-n2-is-bounded%23new-answer', 'question_page');
);
Post as a guest
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
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
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
1
Try to show that $$2+a_nleqslant2sqrt2+a_n^2$$
â Did
Aug 18 at 6:42
$$lim_xto pm inftyfrac2+xsqrt2+x^2=pm 1$$ and $frac2+xsqrt2+x^2$ is a continuous function on $mathbbR$, hence it is necessarily bounded.
â Jack D'Aurizioâ¦
Aug 18 at 15:25
Why is that? I know if E is a compact set, then f(E) is bounded.
â Lithium
Aug 18 at 15:35
@Lithium: such limits imply that for some $M$, $left|f(x)right|leq frac32$ for any $|x|>M$. So you may apply your lemma to the interval $[-M,M]$.
â Jack D'Aurizioâ¦
Aug 18 at 16:54
ah yes, very smart approach. thank you very much
â Lithium
Aug 18 at 18:47