Porisma

Worked solution

From a recurrence to an explicit term

A sequence is generated by the recurrence relation un+1=2un+1u_{n+1}=2u_n+1 and the initial term u1=1u_1=1. Find the first five terms of this sequence and express unu_n in terms of nn.

CJC · Discussion · Question 1

Answer

1,3,7,15,311,3,7,15,31; un=2n−1u_n=2^n-1.

Generate the first five terms

u1=1u_1=1, u2=2(1)+1=3u_2=2(1)+1=3, u3=2(3)+1=7u_3=2(3)+1=7, u4=2(7)+1=15u_4=2(7)+1=15, u5=2(15)+1=31u_5=2(15)+1=31.

How did this part go?

Expand into a geometric sum

u2=21+20u_2=2^1+2^0, u3=22+21+20u_3=2^2+2^1+2^0, u4=23+22+21+20u_4=2^3+2^2+2^1+2^0, u5=24+23+22+21+20u_5=2^4+2^3+2^2+2^1+2^0. Thus

un=20+21+⋯+2n−1=1(2n−1)2−1=2n−1.\begin{aligned}&u_n\\ & =2^0+2^1+\cdots+2^{n-1}\\ & =\frac{1(2^n-1)}{2-1}\\ & =2^n-1.\end{aligned}

How did this part go?

Source calculator alternative

In sequence mode set the initial index to 1, initial value u1=1u_1=1, and enter the recurrence as u(n)=2u(n−1)+1u(n)=2u(n-1)+1. The table gives 1,3,7,15,31; observing 1=21−11=2^1-1, 3=22−13=2^2-1 and so on suggests un=2n−1u_n=2^n-1. The expanded geometric sum above establishes the formula; a finite calculator table alone is evidence of a pattern, not a proof.

The calculator screenshot continues the table through n=11:

nuₙ
11
23
37
415
531
663
7127
8255
9511
101023
112047

The expanded first five terms above answer the requested part; the remaining rows retain the source calculator display.

How did this part go?

Common mistakes

The final power is n−1, so the sum contains n terms.

Solution notes

Both the printed geometric-sum method and calculator-pattern alternative are retained. Calculator screenshots are represented by their setup and numerical table.

Read the hint