Converging Sequences and Limits: Help with Induction Proof?

  • Context: Graduate 
  • Thread starter Thread starter Swamifez
  • Start date Start date
  • Tags Tags
    Induction Proof
Click For Summary
SUMMARY

The discussion focuses on proving the convergence of two sequences defined by the recursive relations a[n+1] = √(a[n]b[n]) and b[n+1] = (a[n] + b[n]) / 2. The goal is to demonstrate that a[n] < a[n+1] < b[n+1] < b[n] and that both sequences converge to the same limit. The proof employs mathematical induction, starting with the base case for n=1 and assuming the hypothesis holds for n=m-1 to establish the inequalities for n=m.

PREREQUISITES
  • Understanding of mathematical induction
  • Familiarity with sequences and limits in calculus
  • Knowledge of the arithmetic and geometric means
  • Basic algebraic manipulation skills
NEXT STEPS
  • Study the principles of mathematical induction in depth
  • Explore the properties of convergent sequences
  • Learn about the relationship between arithmetic and geometric means
  • Investigate advanced topics in real analysis related to limits
USEFUL FOR

Mathematics students, educators, and anyone interested in understanding convergence in sequences and the application of induction proofs.

Swamifez
Messages
8
Reaction score
0
I've been working on this for the past hour, but haven't gone anywhere with it. If anyone can help to complete it, it would be highly appreciated. Thanks

Let 0< a1< b1 and define

an+1= √anbn

bn+1=(an+bn)/2a) Use induction to show that
an<an+1<bn+1<bn

Thus prove that an and bn converge.
b) Prove that they have the same limit.
 
Last edited:
Physics news on Phys.org
1° show it's true for n=1 first.

2° assume it's true for n=m-1, i.e. assume [itex]a_{m-1}<a_{m}<b_{m}<b_{m-1}[/itex]

3° Use the part of the induction hypothesis that say [itex]a_{m}<b_{m}[/itex] to prove [itex]a_{m+1}<a_m[/itex] and [itex]b_{m+1}>b_m[/itex]. For the part [itex]a_{m+1}<b_{m+1}[/itex], notice that since the a_i and b_i are positive, it is equivalent to showing that [itex](a_{m+1})^2<(b_{m+1})^2[/itex], i.e. that [tex]a_nb_n<\frac{a_n^2+b_n^2}{4}+\frac{a_nb_n}{2}[/tex], etc. (think perfect square). That's enough hints. Go think for another hour. :smile:
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K