Maths Olympiad Prep

Library / HMMT November /591 of 672

HMMT November, 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 k≥1k \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,…,2k−1k+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, ai≥2ai+1a_{i} \geq 2 a_{i+1} for all ii. Thus, beginning with a1≤100a_{1} \leq 100, we deduce that
- a2≤⌊a12⌋=50a_{2} \leq \left\lfloor \frac{a_{1}}{2} \right\rfloor = 50,
- a3≤⌊a22⌋=25a_{3} \leq \left\lfloor \frac{a_{2}}{2} \right\rfloor = 25,
- a4≤⌊a32⌋=12a_{4} \leq \left\lfloor \frac{a_{3}}{2} \right\rfloor = 12,
- a5≤⌊a42⌋=6a_{5} \leq \left\lfloor \frac{a_{4}}{2} \right\rfloor = 6,
- a6≤⌊a52⌋=3a_{6} \leq \left\lfloor \frac{a_{5}}{2} \right\rfloor = 3,
- a7≤⌊a62⌋=1a_{7} \leq \left\lfloor \frac{a_{6}}{2} \right\rfloor = 1,
and hence k≤7k \leq 7. Thus, a1+⋯+ak≤100+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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.