For how many positive integers does there exist at least one positive integer n such that ?
- A)
- B)
- C)
- D)
- E)
Answer
E
Key insight
The question needs just one n for each m. Try n = 1: the rule becomes m is at most m + 1, which is true for every m.
Solution
Read the question carefully: for each , we only need one positive integer that works. So try the easiest possible .
- Try an example. Take and . Then and . Since , the rule holds, so counts.
2. Try it for any . With , the left side is and the right side is . A number is always less than that number plus one, so
is true for every positive integer .
- So every positive integer has a partner, namely . There are infinitely many positive integers.
The answer is .
Why this works
"There exists at least one " means a single example is enough. Before doing algebra with two unknowns, test the simplest values like ; if one of them works for every case, you are done. The small numbers in the answer choices are there to tempt students who count all working pairs instead.
Alternative approach
Move everything to one side: . Adding to both sides lets the left side factor:
When the left side is , which is at most for every . So again every works. (Other values of work only for a few small , for example .)
The trap
Hunting for all pairs that work, finding only a few, and picking a small number. For each m you only need one example of n.
Concise solution
The question only asks whether some positive integer works for a given , so try the simplest candidate, . The inequality becomes
which holds for every positive integer .
Thus every one of the infinitely many positive integers has a partner .
The answer is .
Review in the AoPS books
- Introduction to Number Theory, Chapter 7: Algebra With Integers
- Introduction to Algebra, Chapter 11: Special Factorizations (§11.2, §11.3, §11.5)
- Introduction to Algebra, Chapter 22: Special Manipulations
Techniques
Test small/specific values or special cases to find or verify the answer