Maths Olympiad Prep

Library / /656 of 740

, 2024

Combinatorics Difficulty 5.5 AIME, harder Prove it United States

Problem:

Alf, the alien from the 1980s TV show, has a big appetite for the mineral apatite. However, he's currently on a diet, so for each integer k1k \geq 1, he can eat exactly kk pieces of apatite on day kk. Additionally, if he eats apatite on day kk, he cannot eat on any of days k+1,k+2,,2k1k+1, k+2, \ldots, 2k-1. Compute the maximum total number of pieces of apatite Alf could eat over days 1,2,,99,1001,2, \ldots, 99,100.

Solutions — 2

Solution 1

Solution:

If Alf doesn't eat on day 100100, he could have changed his diet so that he eats on all the same days except the last day is changed to 100100. This attains strictly more apatite, and therefore an optimal diet must have Alf eating on day 100100.

Knowing this, Alf must not have eaten anything on days 51,,9951, \ldots, 99. Now, by the same logic, Alf must have eaten on day 5050. Continuing the logic recursively gives that Alf must have eaten on days
100,50,25,12,6,3,1 100, 50, 25, 12, 6, 3, 1
The sum of these numbers is 197197.

Solution 2

Solution:

The answer is 197197, achieved by Alf eating on days 1,3,6,12,25,50,1001, 3, 6, 12, 25, 50, 100. We show that we could not do better.

Let a1>a2>>aka_{1} > a_{2} > \cdots > a_{k} be the days that Alf ate apatite. By the problem's condition, ai2ai+1a_{i} \geq 2 a_{i+1} for all ii. Thus, beginning with a1100a_{1} \leq 100, we deduce that
- a2a12=50a_{2} \leq \left\lfloor \frac{a_{1}}{2} \right\rfloor = 50,
- a3a22=25a_{3} \leq \left\lfloor \frac{a_{2}}{2} \right\rfloor = 25,
- a4a32=12a_{4} \leq \left\lfloor \frac{a_{3}}{2} \right\rfloor = 12,
- a5a42=6a_{5} \leq \left\lfloor \frac{a_{4}}{2} \right\rfloor = 6,
- a6a52=3a_{6} \leq \left\lfloor \frac{a_{5}}{2} \right\rfloor = 3,
- a7a62=1a_{7} \leq \left\lfloor \frac{a_{6}}{2} \right\rfloor = 1,
and hence k7k \leq 7. Thus, a1++ak100+50+25+12+6+3+1=197a_{1} + \cdots + a_{k} \leq 100 + 50 + 25 + 12 + 6 + 3 + 1 = 197.

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.