Prove That The Sequence Defined By X N + 1 = X N + C X_{n+1}=\sqrt{x_n +c} X N + 1 ​ = X N ​ + C ​ Converges Monotonically

by ADMIN 123 views

Introduction

In this article, we will prove that the sequence defined by xn+1=xn+cx_{n+1}=\sqrt{x_n +c} converges monotonically. This sequence is defined recursively, where each term is the square root of the previous term plus a constant cc. We will show that this sequence is monotonically increasing and bounded above, which implies that it converges.

The Sequence and Its Properties

The sequence {xn}\{x_n\} is defined recursively as follows:

  • x1>0x_1 > 0 is fixed
  • For n1n \geq 1, xn+1=xn+cx_{n+1} = \sqrt{x_n + c}

We are given that c>0c > 0. We need to show that this sequence converges monotonically.

Monotonicity of the Sequence

To show that the sequence is monotonically increasing, we need to show that xn+1xnx_{n+1} \geq x_n for all n1n \geq 1.

Let's assume that xnxn1x_n \geq x_{n-1} for some n2n \geq 2. We need to show that xn+1xnx_{n+1} \geq x_n.

Using the recursive definition of the sequence, we have:

xn+1=xn+cx_{n+1} = \sqrt{x_n + c}

xn=xn1+cx_n = \sqrt{x_{n-1} + c}

Since xnxn1x_n \geq x_{n-1}, we have:

xn+cxn1+cx_n + c \geq x_{n-1} + c

Subtracting cc from both sides, we get:

xnxn1x_n \geq x_{n-1}

Now, we need to show that xn+1xnx_{n+1} \geq x_n.

Using the recursive definition of the sequence, we have:

xn+1=xn+cx_{n+1} = \sqrt{x_n + c}

xn=xn1+cx_n = \sqrt{x_{n-1} + c}

Since xnxn1x_n \geq x_{n-1}, we have:

xn+cxn1+cx_n + c \geq x_{n-1} + c

Substituting xn=xn1+cx_n = \sqrt{x_{n-1} + c}, we get:

xn1+c+cxn1+c\sqrt{x_{n-1} + c} + c \geq x_{n-1} + c

Subtracting cc from both sides, we get:

xn1+cxn1\sqrt{x_{n-1} + c} \geq x_{n-1}

Squaring both sides, we get:

xn1+cxn12x_{n-1} + c \geq x_{n-1}^2

Subtracting xn1x_{n-1} from both sides, we get:

cxn12xn1c \geq x_{n-1}^2 - x_{n-1}

Factoring the right-hand side, we get:

cxn1(xn11)c \geq x_{n-1}(x_{n-1} - 1)

Since c>0c > 0, we have:

xn1(xn11)0x_{n-1}(x_{n-1} - 1) \leq 0

This implies that xn11x_{n-1} \leq 1.

Now, we need to show that xn+1xnx_{n+1} \geq x_n.

Using the recursive definition of the sequence we have:

xn+1=xn+cx_{n+1} = \sqrt{x_n + c}

xn=xn1+cx_n = \sqrt{x_{n-1} + c}

Since xnxn1x_n \geq x_{n-1}, we have:

xn+cxn1+cx_n + c \geq x_{n-1} + c

Subtracting cc from both sides, we get:

xnxn1x_n \geq x_{n-1}

Now, we need to show that xn+1xnx_{n+1} \geq x_n.

Using the recursive definition of the sequence, we have:

xn+1=xn+cx_{n+1} = \sqrt{x_n + c}

xn=xn1+cx_n = \sqrt{x_{n-1} + c}

Since xnxn1x_n \geq x_{n-1}, we have:

xn+cxn1+cx_n + c \geq x_{n-1} + c

Substituting xn=xn1+cx_n = \sqrt{x_{n-1} + c}, we get:

xn1+c+cxn1+c\sqrt{x_{n-1} + c} + c \geq x_{n-1} + c

Subtracting cc from both sides, we get:

xn1+cxn1\sqrt{x_{n-1} + c} \geq x_{n-1}

Squaring both sides, we get:

xn1+cxn12x_{n-1} + c \geq x_{n-1}^2

Subtracting xn1x_{n-1} from both sides, we get:

cxn12xn1c \geq x_{n-1}^2 - x_{n-1}

Factoring the right-hand side, we get:

cxn1(xn11)c \geq x_{n-1}(x_{n-1} - 1)

Since c>0c > 0, we have:

xn1(xn11)0x_{n-1}(x_{n-1} - 1) \leq 0

This implies that xn11x_{n-1} \leq 1.

Since xn11x_{n-1} \leq 1, we have:

xn=xn1+c1+cx_n = \sqrt{x_{n-1} + c} \geq \sqrt{1 + c}

Since xn1+cx_n \geq \sqrt{1 + c}, we have:

xn+1=xn+c1+c+cx_{n+1} = \sqrt{x_n + c} \geq \sqrt{\sqrt{1 + c} + c}

Since 1+c1\sqrt{1 + c} \geq 1, we have:

1+c+c1+c\sqrt{\sqrt{1 + c} + c} \geq \sqrt{1 + c}

Since xn+11+cx_{n+1} \geq \sqrt{1 + c}, we have:

xn+1xnx_{n+1} \geq x_n

This shows that the sequence is monotonically increasing.

Boundedness of the Sequence

To show that the sequence is bounded above, we need to show that there exists a real number MM such that xnMx_n \leq M for all n1n \geq 1.

Let's assume that xnxn1x_n \geq x_{n-1} for some n2n \geq 2. We need to show that xnMx_n \leq M for some real number MM.

Using the recursive definition of the sequence, we have:

xn+1=xn+cx_{n+1} = \sqrt{x_n + c}

xn=xn1+cx_n = \sqrt{x_{n-1} + c}

Since xnxn1x_n \geq x_{n-1}, we have:

$x_n + c \geq x_{n-1} + cSubtracting cc from both sides, we get:

xnxn1x_n \geq x_{n-1}

Now, we need to show that xnMx_n \leq M for some real number MM.

Using the recursive definition of the sequence, we have:

xn+1=xn+cx_{n+1} = \sqrt{x_n + c}

xn=xn1+cx_n = \sqrt{x_{n-1} + c}

Since xnxn1x_n \geq x_{n-1}, we have:

xn+cxn1+cx_n + c \geq x_{n-1} + c

Substituting xn=xn1+cx_n = \sqrt{x_{n-1} + c}, we get:

xn1+c+cxn1+c\sqrt{x_{n-1} + c} + c \geq x_{n-1} + c

Subtracting cc from both sides, we get:

xn1+cxn1\sqrt{x_{n-1} + c} \geq x_{n-1}

Squaring both sides, we get:

xn1+cxn12x_{n-1} + c \geq x_{n-1}^2

Subtracting xn1x_{n-1} from both sides, we get:

cxn12xn1c \geq x_{n-1}^2 - x_{n-1}

Factoring the right-hand side, we get:

cxn1(xn11)c \geq x_{n-1}(x_{n-1} - 1)

Since c>0c > 0, we have:

xn1(xn11)0x_{n-1}(x_{n-1} - 1) \leq 0

This implies that xn11x_{n-1} \leq 1.

Now, we need to show that xnMx_n \leq M for some real number MM.

Using the recursive definition of the sequence, we have:

xn+1=xn+cx_{n+1} = \sqrt{x_n + c}

xn=xn1+cx_n = \sqrt{x_{n-1} + c}

Since xnxn1x_n \geq x_{n-1}, we have:

xn+cxn1+cx_n + c \geq x_{n-1} + c

Subtracting cc from both sides, we get:

xnxn1x_n \geq x_{n-1}

Now, we need to show that xnMx_n \leq M for some real number MM.

Using the recursive definition of the sequence, we have:

xn+1=xn+cx_{n+1} = \sqrt{x_n + c}

xn=xn1+cx_n = \sqrt{x_{n-1} + c}

Q: What is the sequence defined by xn+1=xn+cx_{n+1}=\sqrt{x_n +c}?

A: The sequence {xn}\{x_n\} is defined recursively as follows:

  • x1>0x_1 > 0 is fixed
  • For n1n \geq 1, xn+1=xn+cx_{n+1} = \sqrt{x_n + c}

Q: What is the condition on cc?

A: We are given that c>0c > 0.

Q: How do we show that the sequence is monotonically increasing?

A: To show that the sequence is monotonically increasing, we need to show that xn+1xnx_{n+1} \geq x_n for all n1n \geq 1.

Let's assume that xnxn1x_n \geq x_{n-1} for some n2n \geq 2. We need to show that xn+1xnx_{n+1} \geq x_n.

Using the recursive definition of the sequence, we have:

xn+1=xn+cx_{n+1} = \sqrt{x_n + c}

xn=xn1+cx_n = \sqrt{x_{n-1} + c}

Since xnxn1x_n \geq x_{n-1}, we have:

xn+cxn1+cx_n + c \geq x_{n-1} + c

Subtracting cc from both sides, we get:

xnxn1x_n \geq x_{n-1}

Now, we need to show that xn+1xnx_{n+1} \geq x_n.

Using the recursive definition of the sequence, we have:

xn+1=xn+cx_{n+1} = \sqrt{x_n + c}

xn=xn1+cx_n = \sqrt{x_{n-1} + c}

Since xnxn1x_n \geq x_{n-1}, we have:

xn+cxn1+cx_n + c \geq x_{n-1} + c

Substituting xn=xn1+cx_n = \sqrt{x_{n-1} + c}, we get:

xn1+c+cxn1+c\sqrt{x_{n-1} + c} + c \geq x_{n-1} + c

Subtracting cc from both sides, we get:

xn1+cxn1\sqrt{x_{n-1} + c} \geq x_{n-1}

Squaring both sides, we get:

xn1+cxn12x_{n-1} + c \geq x_{n-1}^2

Subtracting xn1x_{n-1} from both sides, we get:

cxn12xn1c \geq x_{n-1}^2 - x_{n-1}

Factoring the right-hand side, we get:

cxn1(xn11)c \geq x_{n-1}(x_{n-1} - 1)

Since c>0c > 0, we have:

xn1(xn11)0x_{n-1}(x_{n-1} - 1) \leq 0

This implies that xn11x_{n-1} \leq 1.

Now, we need to show that xn+1xnx_{n+1} \geq x_n.

Using the recursive definition of the sequence, we have:

xn+1=xn+cx_{n+1} = \sqrt{x_n + c}

xn=xn1+cx_n = \sqrt{x_{n-1} + c}

Since xnxn1x_n \geq x_{n-1}, we havexn+cxn1+cx_n + c \geq x_{n-1} + c

Subtracting cc from both sides, we get:

xnxn1x_n \geq x_{n-1}

Now, we need to show that xn+1xnx_{n+1} \geq x_n.

Using the recursive definition of the sequence, we have:

xn+1=xn+cx_{n+1} = \sqrt{x_n + c}

xn=xn1+cx_n = \sqrt{x_{n-1} + c}

Since xnxn1x_n \geq x_{n-1}, we have:

xn+cxn1+cx_n + c \geq x_{n-1} + c

Substituting xn=xn1+cx_n = \sqrt{x_{n-1} + c}, we get:

xn1+c+cxn1+c\sqrt{x_{n-1} + c} + c \geq x_{n-1} + c

Subtracting cc from both sides, we get:

xn1+cxn1\sqrt{x_{n-1} + c} \geq x_{n-1}

Squaring both sides, we get:

xn1+cxn12x_{n-1} + c \geq x_{n-1}^2

Subtracting xn1x_{n-1} from both sides, we get:

cxn12xn1c \geq x_{n-1}^2 - x_{n-1}

Factoring the right-hand side, we get:

cxn1(xn11)c \geq x_{n-1}(x_{n-1} - 1)

Since c>0c > 0, we have:

xn1(xn11)0x_{n-1}(x_{n-1} - 1) \leq 0

This implies that xn11x_{n-1} \leq 1.

Since xn11x_{n-1} \leq 1, we have:

xn=xn1+c1+cx_n = \sqrt{x_{n-1} + c} \geq \sqrt{1 + c}

Since xn1+cx_n \geq \sqrt{1 + c}, we have:

xn+1=xn+c1+c+cx_{n+1} = \sqrt{x_n + c} \geq \sqrt{\sqrt{1 + c} + c}

Since 1+c1\sqrt{1 + c} \geq 1, we have:

1+c+c1+c\sqrt{\sqrt{1 + c} + c} \geq \sqrt{1 + c}

Since xn+11+cx_{n+1} \geq \sqrt{1 + c}, we have:

xn+1xnx_{n+1} \geq x_n

This shows that the sequence is monotonically increasing.

Q: How do we show that the sequence is bounded above?

A: To show that the sequence is bounded above, we need to show that there exists a real number MM such that xnMx_n \leq M for all n1n \geq 1.

Let's assume that xnxn1x_n \geq x_{n-1} for some n2n \geq 2. We need to show that xnMx_n \leq M for some real number MM.

Using the recursive definition of the sequence, we have:

xn+1=xn+cx_{n+1} = \sqrt{x_n + c}

xn=xn1+cx_n = \sqrt{x_{n-1} + c}

Since xnxn1x_n \geq x_{n-1}, we have:

xn+cxn1+cx_n + c \geq x_{n-1} + c

Subtracting cc from both sides, we get:

xnxn1x_n \geq x_{n-1}

Now, we need to show that xnMx_n \le M for some real number MM.

Using the recursive definition of the sequence, we have:

xn+1=xn+cx_{n+1} = \sqrt{x_n + c}

xn=xn1+cx_n = \sqrt{x_{n-1} + c}

Since xnxn1x_n \geq x_{n-1}, we have:

xn+cxn1+cx_n + c \geq x_{n-1} + c

Substituting xn=xn1+cx_n = \sqrt{x_{n-1} + c}, we get:

xn1+c+cxn1+c\sqrt{x_{n-1} + c} + c \geq x_{n-1} + c

Subtracting cc from both sides, we get:

xn1+cxn1\sqrt{x_{n-1} + c} \geq x_{n-1}

Squaring both sides, we get:

xn1+cxn12x_{n-1} + c \geq x_{n-1}^2

Subtracting xn1x_{n-1} from both sides, we get:

cxn12xn1c \geq x_{n-1}^2 - x_{n-1}

Factoring the right-hand side, we get:

cxn1(xn11)c \geq x_{n-1}(x_{n-1} - 1)

Since c>0c > 0, we have:

xn1(xn11)0x_{n-1}(x_{n-1} - 1) \leq 0

This implies that xn11x_{n-1} \leq 1.

Now, we need to show that xnMx_n \leq M for some real number MM.

Using the recursive definition of the sequence, we have:

xn+1=xn+cx_{n+1} = \sqrt{x_n + c}

xn=xn1+cx_n = \sqrt{x_{n-1} + c}

Since xnxn1x_n \geq x_{n-1}, we have:

xn+cxn1+cx_n + c \geq x_{n-1} + c

Subtracting cc from both sides, we get:

xnxn1x_n \geq x_{n-1}

Now, we need to show that xnMx_n \leq M for some real number MM.

Using the recursive definition of the sequence, we have:

xn+1=xn+cx_{n+1} = \sqrt{x_n + c}

xn=xn1+cx_n = \sqrt{x_{n-1} + c}

Since xnxn1x_n \geq x_{n-1}, we have:

xn+cxn1+cx_n + c \geq x_{n-1} + c

Substituting $x_n = \