IMO 1989 SL 16
The set {a0, a1, . . . , an} of real numbers satisfies the following
IMO 1989 SL 16
Origin: ISR
Problem
The set {a0, a1, . . . , an} of real numbers satisfies the following conditions: (i) a0 = an = 0; (ii) for 1 \leqk \leqn −1, ak = c + n−1 i=k ai−k(ai + ai+1). Prove that c \leq 4n.
Solution
Define Sk = k i=0 ai (k = 0, 1, . . . , n) and S−1 = 0. We note that Sn−1 = Sn. Hence Sn = n−1 k=0 ak = nc + n−1 k=0 n−1 i=k ai−k(ai + ai+1) = nc + n−1 i=0 i k=0 ai−k(ai + ai+1) = nc + n−1 i=0 (ai + ai+1) i k=0 ai−k = nc + n−1 i=0 (Si+1 −Si−1)Si = nc + S2 n, i.e., S2 n −Sn + nc = 0. Since Sn is real, the discriminant of the quadratic equation must be positive, and hence c \leq 4n.