Maths Olympiad Prep

Library / /15 of 29

Algebra Difficulty 6.0 National olympiad Prove it Silk Road Mathematics Competition

Let a1,a2,,a2003a_1, a_2, \dots, a_{2003} be a sequence of real numbers. A term aka_k, 1k20031 \le k \le 2003, is said to be a leading term, if at least one of the expressions ak,ak+ak+1,,ak+ak+1++a2003a_k, a_k+a_{k+1}, \dots, a_k+a_{k+1}+\dots+a_{2003} is positive. Prove that the sum of all leading terms is positive provided that the sequence has at least one leading term.

Solution

We solve this problem for any sequence having nn terms applying induction with respect to nn.

The case n=1n = 1 is clear.

Suppose that the statement is true for all sequences of length less than nn.

Now consider a sequence a1,a2,,ana_1, a_2, \dots, a_n.

*Case 1. a1a_1 is not a leading term.*

Then the set of all leading terms of the sequence a1,a2,,ana_1, a_2, \dots, a_n coincides with the set of all leading terms of the sequence a2,a3,,ana_2, a_3, \dots, a_n. And by inductive hypothesis we are done.

*Case 2. a1a_1 is a leading term.*

Consider the smallest nonnegative integer mm, with positive a1+a2++ama_1 + a_2 + \dots + a_m. Then the terms a2,a3,,ama_2, a_3, \dots, a_m are also leading terms and their sum is positive. The sum of all remaining leading terms also is nonnegative by induction hypothesis.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.