Why the sequence $frac2+a_nsqrt2+a_n^2$ is bounded

The name of the pictureThe name of the pictureThe name of the pictureClash 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







share|cite|improve this question


















  • 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














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







share|cite|improve this question


















  • 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












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







share|cite|improve this question














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









share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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












  • 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










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.






share|cite|improve this answer



























    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|
    $$






    share|cite|improve this answer




















      Your Answer




      StackExchange.ifUsing("editor", function ()
      return StackExchange.using("mathjaxEditing", function ()
      StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
      StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
      );
      );
      , "mathjax-editing");

      StackExchange.ready(function()
      var channelOptions =
      tags: "".split(" "),
      id: "69"
      ;
      initTagRenderer("".split(" "), "".split(" "), channelOptions);

      StackExchange.using("externalEditor", function()
      // Have to fire editor after snippets, if snippets enabled
      if (StackExchange.settings.snippets.snippetsEnabled)
      StackExchange.using("snippets", function()
      createEditor();
      );

      else
      createEditor();

      );

      function createEditor()
      StackExchange.prepareEditor(
      heartbeatType: 'answer',
      convertImagesToLinks: true,
      noModals: false,
      showLowRepImageUploadWarning: true,
      reputationToPostImages: 10,
      bindNavPrevention: true,
      postfix: "",
      noCode: true, onDemand: true,
      discardSelector: ".discard-answer"
      ,immediatelyShowMarkdownHelp:true
      );



      );








       

      draft saved


      draft discarded


















      StackExchange.ready(
      function ()
      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2886423%2fwhy-the-sequence-frac2a-n-sqrt2a-n2-is-bounded%23new-answer', 'question_page');

      );

      Post as a guest






























      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.






      share|cite|improve this answer
























        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.






        share|cite|improve this answer






















          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.






          share|cite|improve this answer












          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.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Aug 18 at 6:54









          Harald Hanche-Olsen

          27.3k23959




          27.3k23959




















              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|
              $$






              share|cite|improve this answer
























                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|
                $$






                share|cite|improve this answer






















                  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|
                  $$






                  share|cite|improve this answer












                  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|
                  $$







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Aug 19 at 1:06









                  dxiv

                  55.2k64798




                  55.2k64798






















                       

                      draft saved


                      draft discarded


























                       


                      draft saved


                      draft discarded














                      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













































































                      這個網誌中的熱門文章

                      How to combine Bézier curves to a surface?

                      Mutual Information Always Non-negative

                      Why am i infinitely getting the same tweet with the Twitter Search API?