MathDB

3

Part of 1991 Swedish Mathematical Competition

Problems(1)

x_0 = 0, x_{k+1} = [(n - \sum_0^k x_i)/2

Source: 1991 Swedish Mathematical Competition p3

4/2/2021
The sequence x0,x1,x2,...x_0, x_1, x_2, ... is defined by x0=0x_0 = 0, xk+1=[(n−∑0kxi)/2]x_{k+1} = [(n - \sum_0^k x_i)/2]. Show that xk=0x_k = 0 for all sufficiently large kk and that the sum of the non-zero terms xkx_k is n−1n-1.
Sequencealgebra