Maths Olympiad Prep

Library / /88 of 100

Algebra Difficulty 6.0 National olympiad Prove it China

Suppose that f(x)f(x) is defined on R\mathbb{R}, satisfying f(0)=2008f(0) = 2008, and for any xRx \in \mathbb{R}
f(x+2)f(x)3×2x,f(x+6)f(x)63×2x. \begin{aligned} f(x+2) - f(x) &\le 3 \times 2^x, \\ f(x+6) - f(x) &\ge 63 \times 2^x. \end{aligned}

Then f(2008)=f(2008) = \underline{\hspace{2cm}}.

Solution

Solution I We have
f(x+2)f(x)=(f(x+4)f(x+2))(f(x+6)f(x+4))+(f(x+6)f(x))3×2x+23×2x+4+63×2x=3×2x. \begin{aligned} f(x+2) - f(x) &= -(f(x+4) - f(x+2)) - (f(x+6) - f(x+4)) + (f(x+6) - f(x)) \\ &\geq -3 \times 2^{x+2} - 3 \times 2^{x+4} + 63 \times 2^x = 3 \times 2^x. \end{aligned}
This means that f(x+2)f(x)=3×2xf(x+2) - f(x) = 3 \times 2^x. So we have
f(2008)=f(2008)f(2006)+f(2006)f(2004)++f(2)f(0)+f(0)=3×(22006+22004++22+1)+f(0)=3×41003+141+2008=22008+2007. \begin{aligned} f(2008) &= f(2008) - f(2006) + f(2006) - f(2004) + \dots \\ &\quad + f(2) - f(0) + f(0) \\ &= 3 \times (2^{2006} + 2^{2004} + \dots + 2^2 + 1) + f(0) \\ &= 3 \times \frac{4^{1003} + 1}{4 - 1} + 2008 \\ &= 2^{2008} + 2007. \end{aligned}

Solution II We define g(x)=f(x)2xg(x) = f(x) - 2^x. Then we have
g(x+2)g(x)=f(x+2)f(x)2x+2+2x3×2x3×2x=0,g(x+6)g(x)=f(x+6)f(x)2x+6+2x63×2x63×2x=0. \begin{aligned} g(x+2) - g(x) &= f(x+2) - f(x) - 2^{x+2} + 2^x \\ &\leq 3 \times 2^x - 3 \times 2^x = 0, \\ g(x+6) - g(x) &= f(x+6) - f(x) - 2^{x+6} + 2^x \\ &\geq 63 \times 2^x - 63 \times 2^x = 0. \end{aligned}
This means that g(x)g(x+6)g(x+4)g(x+2)g(x)g(x) \leq g(x+6) \leq g(x+4) \leq g(x+2) \leq g(x), and it implies that g(x)g(x) is a periodic function with 2 as a period. So
f(2008)=g(2008)+22008=g(0)+22008=2007+22008. \begin{aligned} f(2008) &= g(2008) + 2^{2008} = g(0) + 2^{2008} \\ &= 2007 + 2^{2008}. \end{aligned}

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.