Maths Olympiad Prep

Library / /619 of 860

Algebra Difficulty 5.3 AIME, harder Find the answer

Let N\mathbb{N} be the set of positive integers, and let f:NNf: \mathbb{N} \rightarrow \mathbb{N} be a function satisfying f(1)=1f(1)=1 and for nN,f(2n)=2f(n)n \in \mathbb{N}, f(2 n)=2 f(n) and f(2n+1)=2f(n)1f(2 n+1)=2 f(n)-1. Determine the sum of all positive integer solutions to f(x)=19f(x)=19 that do not exceed 2019.

A number or a short expression. Spacing and $ signs are ignored.

Solution

For n=2a0+2a1++2akn=2^{a_{0}}+2^{a_{1}}+\cdots+2^{a_{k}} where a0>a1>>aka_{0}>a_{1}>\cdots>a_{k}, we can show that f(n)=2a02a12ak=2a0+1nf(n)=2^{a_{0}}-2^{a_{1}}-\cdots-2^{a_{k}}=2^{a_{0}+1}-n by induction: the base case f(1)=1f(1)=1 clearly holds; for the inductive step, when nn is even we note that f(n)=2f(n2)=2(2a0n2)=2a0+1nf(n)=2 f\left(\frac{n}{2}\right)=2\left(2^{a_{0}}-\frac{n}{2}\right)=2^{a_{0}+1}-n as desired, and when nn is odd we also have f(n)=2f(n12)1=2(2a0n12)1=2a0+1nf(n)=2 f\left(\frac{n-1}{2}\right)-1=2\left(2^{a_{0}}-\frac{n-1}{2}\right)-1=2^{a_{0}+1}-n, again as desired. Since 19=f(n)2a0n19=f(n) \leq 2^{a_{0}} \leq n, we have a05a_{0} \geq 5 and n=2a0+1192019n=2^{a_{0}+1}-19 \leq 2019 gives a09a_{0} \leq 9. So the answer is a=59(2a+119)=(21126)195=1889\sum_{a=5}^{9}\left(2^{a+1}-19\right)=\left(2^{11}-2^{6}\right)-19 \cdot 5=1889.

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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.