Maths Olympiad Prep

Library / /307 of 860

Number theory Difficulty 5.1 AIME, harder Find the answer

Compute the number of even positive integers n2024n \leq 2024 such that 1,2,,n1,2, \ldots, n can be split into n2\frac{n}{2} pairs, and the sum of the numbers in each pair is a multiple of 3.

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

Solution

There have to be an even number of multiples of 3 at most nn, so this means that n0,2(mod6)n \equiv 0,2 \pmod{6}. We claim that all these work. We know there are an even number of multiples of 3, so we can pair them; then we can pair 3k+13k+1 and 3k+23k+2 for all kk. This means the answer is 20223+1=675\frac{2022}{3}+1=675.

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.