Maths Olympiad Prep

Library / HMMT Spring Guts Round /18 of 18

HMMT Spring Guts Round, 2021

Number theory Difficulty 5.8 AIME, harder Prove it United States

Problem:
Let nn be a positive integer. Claudio has nn cards, each labeled with a different number from 11 to nn. He takes a subset of these cards, and multiplies together the numbers on the cards. He remarks that, given any positive integer mm, it is possible to select some subset of the cards so that the difference between their product and mm is divisible by 100100. Compute the smallest possible value of nn.

Solution

Solution:
We require that n≥15n \geq 15 so that the product can be divisible by 2525 without being even. In addition, for any n>15n > 15, if we can acquire all residues relatively prime to 100100, we may multiply them by some product of {1,2,4,5,15}\{1,2,4,5,15\} to achieve all residues modulo 100100, so it suffices to acquire only those residues. For n=15n = 15, we have the numbers {3,7,9,11,13}\{3,7,9,11,13\} to work with (as 11 is superfluous); these give only 25=322^{5} = 32 distinct products, so they cannot be sufficient. So, we must have n≥17n \geq 17, whence we have the numbers {3,7,9,11,13,17}\{3,7,9,11,13,17\}. These generators are in fact sufficient. The following calculations are motivated by knowledge of factorizations of some small numbers, as well as careful consideration of which sets of numbers we have and haven't used. It is also possible to simply write out a table of which residues relatively prime to 100100 are included once each number is added, which likely involves fewer calculations.

First, consider the set {3,11,13,17}\{3,11,13,17\}. This set generates, among other numbers, those in {1,11,21,31,51,61}\{1,11,21,31,51,61\}. Since {7,9}\{7,9\} generates {1,7,9,63}\{1,7,9,63\}, which spans every residue class mod 1010 relatively prime to 1010, we need only worry about
{41,71,81,91}×{1,7,9,63} \{41,71,81,91\} \times \{1,7,9,63\}
Since 4141 can be generated as 3⋅7⋅13⋅173 \cdot 7 \cdot 13 \cdot 17 and 9191 can be generated as 7⋅137 \cdot 13, we need not worry about these times 11 and 99, and we may verify
41⋅7≡87≡11⋅17,91⋅63≡33≡3⋅11 41 \cdot 7 \equiv 87 \equiv 11 \cdot 17, \quad 91 \cdot 63 \equiv 33 \equiv 3 \cdot 11
and
91⋅7≡37≡3⋅9⋅11⋅13⋅17 91 \cdot 7 \equiv 37 \equiv 3 \cdot 9 \cdot 11 \cdot 13 \cdot 17
using the method we used to generate 4949 earlier. So, we only need to worry about
{71,81}×{1,7,9,63} \{71,81\} \times \{1,7,9,63\}
We calculate
71≡7⋅9⋅17,71⋅9≡39≡3⋅13,71⋅63≡73≡3⋅7⋅13 71 \equiv 7 \cdot 9 \cdot 17, \quad 71 \cdot 9 \equiv 39 \equiv 3 \cdot 13, \quad 71 \cdot 63 \equiv 73 \equiv 3 \cdot 7 \cdot 13
each of which doesn't use 1111, allowing us to get all of
{71,81}×{1,9,63} \{71,81\} \times \{1,9,63\}
so we are only missing 71⋅7≡9771 \cdot 7 \equiv 97 and 81⋅7≡6781 \cdot 7 \equiv 67. We find
97≡3⋅9⋅11 97 \equiv 3 \cdot 9 \cdot 11
and
67≡3⋅9⋅13⋅17 67 \equiv 3 \cdot 9 \cdot 13 \cdot 17
so all numbers are achievable and we are done.

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.