Maths Olympiad Prep

Library / /43 of 156

Algebra Difficulty 4.2 AIME Find the answer China

Function f(x)f(x) with domain R\mathbb{R} satisfies: when x[0,1)x \in [0, 1), f(x)=2xxf(x) = 2^x - x, and for any real number xx, there is f(x)+f(x+1)=1f(x) + f(x+1) = 1. Denote a=log23a = \log_2 3, and then the value of expression f(a)+f(2a)+f(3a)f(a) + f(2a) + f(3a) is ______.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

By the conditions, we know that f(x+n)=1f(x)f(x+n) = 1 - f(x) when nn is odd and f(x+n)=f(x)f(x+n) = f(x) when nn is even.
Note that a=log23[1,2)a = \log_2 3 \in [1, 2), 2a=log29[3,4)2a = \log_2 9 \in [3, 4), 3a=log227[4,5)3a = \log_2 27 \in [4, 5). Therefore,
f(a) + f(2a) + f(3a) = 1 - f(a - 1) + 1 - f(2a - 3) + f(3a - 4) = 2 - f ( 2 3 2 ) - f ( 2 9 8 ) + f ( 2 27 16 ) = 2 - ( 3 2 - 2 3 2 ) - ( 9 8 - 2 9 8 ) + ( 27 16 - 2 27 16 ) = 17 16 + ( 2 3 2 + 2 9 8 - 2 27 16 ) = 17 16 .\text{f(a) + f(2a) + f(3a) = 1 - f(a - 1) + 1 - f(2a - 3) + f(3a - 4) = 2 - f ( 2 3 2 ) - f ( 2 9 8 ) + f ( 2 27 16 ) = 2 - ( 3 2 - 2 3 2 ) - ( 9 8 - 2 9 8 ) + ( 27 16 - 2 27 16 ) = 17 16 + ( 2 3 2 + 2 9 8 - 2 27 16 ) = 17 16 .}

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 reproduced verbatim; metadata (topic, difficulty) added by this project.