1
$\begingroup$

Given $\lim \limits_{n\to \infty}a_n=L$ and $\lim \limits_{n\to \infty}\frac{a_n}{b_n}=1$ then $\lim \limits_{n\to \infty}b_n=L$

I think that this claim is true:

$$\lim \limits_{n\to \infty}a_n=L$$

$$\lim \limits_{n\to \infty}\frac{a_n}{b_n}=1$$

using limits arithmetics I can say:

$$\lim \limits_{n\to \infty}\frac{a_n}{b_n}=\frac{\lim \limits_{n\to \infty}a_n}{\lim \limits_{n\to \infty}b_n}=1$$

$$\frac{\lim \limits_{n\to \infty}a_n}{\lim \limits_{n\to \infty}b_n}=1$$

$$\lim \limits_{n\to \infty}b_n\cdot 1=\lim \limits_{n\to \infty}a_n$$

$$\lim \limits_{n\to \infty}b_n=L.$$

is my proof correct?

2 Answers 2

1

I'm not sure it's correct. In the first line after "I can say", it seems that you are assuming $\lim\limits_{n\rightarrow\infty}b_n=L$, which is what you are trying to prove.

However, you can use the following fact: Suppose $\lim\limits_{n\rightarrow\infty}a_n= a$ and that $\lim\limits_{n\rightarrow\infty}c_n= c$. Then if $c\ne0$, the limit of the quotient ${a_n\over c_n}$ as $n$ tends to infinity exists and $\lim\limits_{n\rightarrow\infty}{a_n\over c_n}={a\over c }$.

Apply this with $c_n={a_n\over b_n}$.

  • 0
    hmm, I show just in the last line that $\lim\limits_{n\rightarrow\infty}b_n=L$, I just use multiplication throught the proof to show it.2012-04-01
  • 1
    @Anonymous but you can't say that $\lim \limits_{n\to \infty}\frac{a_n}{b_n}=\frac{\lim \limits_{n\to \infty}a_n}{\lim \limits_{n\to \infty}b_n}$ unless you know that both $\lim\limits_{n\rightarrow\infty} a_n$ and $\lim\limits_{n\rightarrow\infty} b_n$ exist with $\lim\limits_{n\rightarrow\infty} b_n\ne0$. At the start, you do not even know that $\lim\limits_{n\rightarrow\infty} b_n$ exists.2012-04-01
  • 0
    Great so here is the proof: $\lim \limits_{n\to \infty}\frac{a_n}{c_n}=\lim \limits_{n\to \infty}\frac{a_n * b_n}{a_n}=\lim \limits_{n\to \infty}b_n$ and on the other hand we know $\lim \limits_{n\to \infty}\frac{a_n}{c_n}=\frac{\lim \limits_{n\to \infty}a_n}{\lim \limits_{n\to \infty}c_n}=L$ and therefore $\lim \limits_{n\to \infty}b_n=L$. am I correct?2012-04-01
  • 0
    @Anonymous Yes, that looks good. But I would write (I think it would be a bit more clear) the "other hand" first and then state "but ${a_n\over c_n}=b_n$ when $b_n\ne0$, so $\lim\limits_{n\rightarrow\infty} b_n=\lim\limits_{n\rightarrow\infty}{a_n\over c_n}=L$".2012-04-01
  • 0
    Awesome sauce, thanks a lot :)2012-04-01
1

Given $\lim \limits_{n\to \infty}a_n=L$ and $\lim \limits_{n\to \infty}\frac{a_n}{b_n}=1$ then $\lim \limits_{n\to \infty}b_n=L$

Try $\lim \limits_{n\to \infty}\frac{a_n}{b_n}\frac1{a_n}=\frac1L$

  • 0
    what's the difference between the two proofs?2012-04-01
  • 0
    They're not different, I posted mine before the other guy. It's all the same.2012-04-02