Olympiad Maths Prep

Track / Stage 7 / 54 of 300 #1454 of 2000

Problem 1454

National olympiad second round; IMO P1/P4
Combinatorics Difficulty 7.1 Prove it

For all k=1,2,,2008k=1,2,\ldots,2008,ak>0a_k>0.Prove that iff k=12008ak>1\sum_{k=1}^{2008}a_k>1,there exists a function f:NRf:N\rightarrow R satisfying
(1)0=f(0)<f(1)<f(2)<0=f(0)<f(1)<f(2)<\ldots;
(2)f(n)f(n) has a finite limit when nn approaches infinity;
(3)f(n)f(n1)=k=12008akf(n+k)k=02007ak+1f(n+k)f(n)-f({n-1})=\sum_{k=1}^{2008}a_kf({n+k})-\sum_{k=0}^{2007}a_{k+1}f({n+k}),for all n=1,2,3,n=1,2,3,\ldots.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

1. **Assume that ff satisfies (i), (ii), (iii). We will show that k=12008ak>1\sum_{k=1}^{2008} a_k > 1.**

From condition (iii), we have:
f(n)f(n1)=k=12008akf(n+k)k=02007ak+1f(n+k) f(n) - f(n-1) = \sum_{k=1}^{2008} a_k f(n+k) - \sum_{k=0}^{2007} a_{k+1} f(n+k)
This can be restated as:
f(n)f(n1)=k=12008ak(f(n+k)f(n+k1)) f(n) - f(n-1) = \sum_{k=1}^{2008} a_k (f(n+k) - f(n+k-1))

2. **Express f(n)f(n) in terms of differences:**

Since f(0)=0f(0) = 0, we can write:
f(n)=(f(n)f(n1))+(f(n1)f(n2))++(f(1)f(0)) f(n) = (f(n) - f(n-1)) + (f(n-1) - f(n-2)) + \dots + (f(1) - f(0))
Substituting the expression from step 1, we get:
f(n)=a1(f(n+1)f(1))+a2(f(n+2)f(2))++a2008(f(n+2008)f(2008)) f(n) = a_1 (f(n+1) - f(1)) + a_2 (f(n+2) - f(2)) + \dots + a_{2008} (f(n+2008) - f(2008))

3. **Consider the limit as nn \to \infty:**

Let A=limnf(n)A = \lim_{n \to \infty} f(n). If we let nn approach infinity, the equation becomes:
A=Ak=12008akk=12008akf(k) A = A \cdot \sum_{k=1}^{2008} a_k - \sum_{k=1}^{2008} a_k f(k)
Since A>0A > 0, we have:
A=Ak=12008ak A = A \cdot \sum_{k=1}^{2008} a_k
This implies:
k=12008ak>1 \sum_{k=1}^{2008} a_k > 1

4. **Now assume that k=12008ak>1\sum_{k=1}^{2008} a_k > 1. We will show there exists a function ff that satisfies (i), (ii), (iii).**

Let the polynomial g(x)=1+k=12008akxkg(x) = -1 + \sum_{k=1}^{2008} a_k x^k.

5. Apply the Intermediate Value Theorem:

Note that g(0)=1<0g(0) = -1 < 0 and g(1)=k=12008ak1>0g(1) = \sum_{k=1}^{2008} a_k - 1 > 0. By the Intermediate Value Theorem, there exists t(0,1)t \in (0, 1) such that g(t)=0g(t) = 0.

6. **Define the function f(n)f(n):**

Let f(n)=k=1ntkf(n) = \sum_{k=1}^n t^k for all nNn \in \mathbb{N}. This already satisfies (i).

7. **Check the limit of f(n)f(n) as nn \to \infty:**

f(n)=ttn+11t f(n) = \frac{t - t^{n+1}}{1 - t}
limnf(n)=limnttn+11t=t1t \lim_{n \to \infty} f(n) = \lim_{n \to \infty} \frac{t - t^{n+1}}{1 - t} = \frac{t}{1 - t}
This is a finite value since t(0,1)t \in (0, 1). So ff satisfies (ii).

8. Verify condition (iii):

f(n)f(n1)=tn f(n) - f(n-1) = t^n
tn=(g(t)+1)tn=(k=12008aktk)tn=k=12008aktn+k t^n = (g(t) + 1) t^n = \left( \sum_{k=1}^{2008} a_k t^k \right) t^n = \sum_{k=1}^{2008} a_k t^{n+k}
=k=12008ak(f(n+k)f(n+k1)) = \sum_{k=1}^{2008} a_k (f(n+k) - f(n+k-1))
So ff satisfies (iii).

Since ff satisfies all (i), (ii), and (iii), we are done. \blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.