Recursive Sequence

The first term of a particular sequence U 0 = 0 { { U }_{ 0 } }=0 , while the subsequent term U n U_n for n > 0 n > 0 is defined as:

U n = 2 U n 1 + 1 \large { { U }_{ n } }=2{ { U }_{ n-1 } }+1

Find the real value of x x that satisfies x 2017 1 U 2017 = 1 \dfrac { x^{ 2017 }-1 }{ { { U }_{ 2017 } } } =1 .


The answer is 2.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Chew-Seong Cheong
Oct 18, 2017

Note that U 0 = 0 U_0=0 , U 1 = 1 U_1=1 , U 2 = 3 U_2 = 3 , U 3 = 7 U_3=7 ... It appears that

U n U n 1 = 2 n 1 k = 1 n U k k = 1 n U k 1 = k = 1 n 2 k 1 k = 0 n U k k = 0 n 1 U k = k = 0 n 1 2 k U n = 2 n 1 \begin{aligned} U_n - U_{n-1} & = 2^{n-1} \\ \sum_{\color{#3D99F6}k=1}^{\color{#3D99F6}n} U_k - \sum_{\color{#3D99F6}k=1}^{\color{#3D99F6}n} U_{\color{#3D99F6}k-1} & = \sum_{\color{#3D99F6}k=1} ^{\color{#3D99F6}n} 2^{\color{#3D99F6}k-1} \\ \sum_{\color{#D61F06}k=0}^{\color{#3D99F6}n} U_k - \sum_{\color{#D61F06}k=0}^{\color{#D61F06}n-1} U_{\color{#D61F06}k} & = \sum_{\color{#D61F06}k=0} ^{\color{#D61F06}n-1} 2^{\color{#D61F06}k} \\ \implies U_n & = 2^n - 1 \end{aligned}

Let us prove by induction that the claim U n = 2 n 1 U_n = 2^n - 1 is true for all n 0 n \le 0 .

Proof:

  • For n = 0 n=0 , U 0 = 2 0 1 = 0 U_0 = 2^0 - 1 = 0 as given. Therefore, the claim is true for n = 0 n=0 .
  • Assuming that the claim is true for n n , then U n + 1 = 2 U n + 1 = 2 ( 2 n 1 ) + 1 = 2 n + 1 1 U_{\color{#D61F06}n+1} = 2U_n + 1 = 2\left(2^n-1\right) + 1 = 2^{\color{#D61F06}n+1} - 1 . The claim is true for n + 1 n+1 and therefore true for all n 0 n \ge 0 .

Therefore, we have x 2017 1 U 2017 = x 2017 1 2 2017 1 = 1 \dfrac {x^{2017}-1}{U_{2017}} = \dfrac {x^{2017}-1}{2^{2017}-1} = 1 . x = 2 \implies x = \boxed{2} .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...