Prove Limit of Sequence: a_n ≥ 1 for n ≥ N

  • Thread starter Thread starter HLUM
  • Start date Start date
  • Tags Tags
    Limit Sequence
Click For Summary

Homework Help Overview

The discussion revolves around a sequence defined recursively, where participants are tasked with proving that the sequence eventually remains greater than or equal to 1. The subject area includes concepts from sequences and limits in mathematical analysis.

Discussion Character

  • Exploratory, Assumption checking, Problem interpretation

Approaches and Questions Raised

  • Participants explore the implications of the sequence's recursive definition and question the behavior of the terms under certain conditions, such as when terms are less than 1. There are attempts to establish whether the sequence is increasing and to consider proof by contradiction.

Discussion Status

The discussion is ongoing, with participants offering hints and exploring various lines of reasoning. Some have suggested that showing the sequence is increasing could be a useful approach, while others are questioning the assumptions made about the initial terms of the sequence.

Contextual Notes

There is a focus on proving properties of the sequence without assuming specific values for the initial terms, which may affect the validity of certain approaches. Participants are also considering the implications of the sequence's behavior when terms are constrained to be less than 1.

HLUM
Messages
3
Reaction score
0
1. Let a0 and a1 be positive real numbers, and set an+2 = sqrt(an+1) + sqrt(an) for n [tex]\geq[/tex] 0.
(a) Show that there is N such that for all n [tex]\geq[/tex] N, an [tex]\geq[/tex] 1.
(b) Let en = |an −4|. Show that en+2 [tex]\leq[/tex](en+1 +en)/3 for n[tex]\geq[/tex] N.
(c) Prove that this sequence converges.




Can someone please give me some hints to start with a)? Thank you in advanced.
 
Physics news on Phys.org
If [itex]0<x<1[/itex], is [itex]\sqrt{x}[/itex] bigger or smaller than [itex]x[/itex]?
 
if 0 < an < 1 then an x an < an ==>
an < sqrt(an)

So you mean i should prove part a by contradiction...
 
Perhaps. I don't know. But you can definitely show now that [itex]a_{n+2} > a_{n+1}+a_n[/itex] if [itex]a_n, a_{n+1} < 1[/itex], which may be useful.
 
So
a) Assume that for all n [tex]\geq[/tex] 0, 0 < an < 1
then sqrt(an) > an

ie, an+2 > an+1 + an
an is increasing sequence

I don't know how to show the contradiction here, but there is no assumption of increasing sequence if you choose a0 to start with

---> there is N st aN [tex]\geq[/tex] 1
Assume for all n [tex]\geq[/tex] N, an+1 = an + an - 1 > 1

therefore, by induction it is true for all n [tex]\geq[/tex] N, an [tex]\geq[/tex] 1
 
Edit: My previous post was so incomprehensible that I don't think that it would have been much help. I'll post again later if I can get my thoughts together, but anyway, good luck!
 
Last edited:

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
1K
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K