Jerry likes to play with numbers. One day, he wrote all the integers from to on the whiteboard. Then he repeatedly chose four numbers on the whiteboard, erased them, and replaced them by either their sum or their product. (For example, Jerry's first step might have been to erase , , , and , and then write either , their sum, or , their product, on the whiteboard.) After repeatedly performing this operation, Jerry noticed that all the remaining numbers on the whiteboard were odd. What is the maximum possible number of integers on the whiteboard at that time?
- A)
- B)
- C)
- D)
- E)
Answer
A
Key insight
Each move removes three numbers, so the count stays 2 mod 3, and odd numbers never exceed the initial 1012; both limits leave 1010.
Solution
Two observations bound the answer.
Count mod 3. Every operation erases four numbers and writes one, a net loss of three. Starting from , the count is always . Among the choices only and qualify.
Odd numbers never increase. An operation produces at most one odd number, and to produce an odd result it must consume at least one odd input (a sum is odd only if an odd number of its terms are odd; a product is odd only if all four are). So the number of odd numbers on the board never goes up. It starts at , so the final count is at most , ruling out .
Construction for . Repeatedly replace three evens and one odd by their sum, which is odd; this keeps the odd count at and removes three evens each time. After such moves, evens are gone and one even remains. Absorb it with the sum of that even and three odds, which is odd. The board now holds numbers, all odd.
The answer is .
Why this works
Process problems that ask for a maximum are solved by finding invariants or monovariants that cap the answer, then exhibiting a sequence that hits the cap. Here two independent facts (the count mod , and the non-increasing number of odds) squeeze the answer to a single value. Always write out the parity table for sum and product before reasoning.
The trap
Assuming the 1012 odd numbers can all survive; one operation is needed to absorb the last even number, and it must consume at least one odd, which drops the count to 1010 by the mod-3 constraint.
Common mistakes
- Assuming the 1012 odd numbers can all survive; one operation is needed to absorb the last even number, and it must consume at least one odd, which drops the count to 1010 by the mod-3 constraint.
- Trying to eliminate evens four at a time by multiplying ( is still even) and concluding the last even can never be removed.
Techniques
Use the answer choices (mod checks, size, form) to eliminate or select · Use an invariant, parity, or coloring argument