MathDB
sequence and a_n=0

Source:

November 11, 2005
inductionnumber theory unsolvednumber theory

Problem Statement

The sequence a1,a2,a3,...a_1, a_2, a_3, ... is defined by a1=0a_1 = 0, an=a[n/2]+(1)n(n+1)/2a_n = a_{[n/2]} + (-1)^{n(n+1)/2}. Show that for any positive integer kk we can find nn in the range 2kn<2k+12^k \leq n < 2^{k+1} such that an=0a_n = 0.