Suppose that is an integer. Which of the following statements must be true about ?
- A)
- B)
- C)
- D)
- E)
Answer
B
Key insight
Over a common bottom of 6 the expression becomes x over 2. So x must be even, and x = 2 shows it need not be a multiple of 3.
Solution
1. The expression has two fractions, so combine them first. Use the common bottom :
2. So the whole condition is just " is a whole number". That happens exactly when is an even whole number.
3. Now test the choices with a small example. Take : then , a whole number, so is allowed.
4. But is positive, not a multiple of , not a multiple of , and not a multiple of . That rules out (A), (C), (D) and (E).
5. The one thing that is always true is that is even, and shows it need not be a multiple of .
The answer is
Why this works
Simplify before you reason. The and the in the bottoms look important, but they disappear once the fractions are combined. For a "must be true" question, one small example that satisfies the condition can knock out several choices at once.
The trap
Assuming the 3 and the 6 in the bottoms force x to be a multiple of 3 or 6, without simplifying the expression first.
Concise solution
Put the two fractions over the common denominator :
So the condition is simply that is an integer, which means is an even integer.
Is forced to be a multiple of ? No: gives , an integer, and is not a multiple of . Negative values are not forced either ( again). So the only guaranteed property is evenness.
The answer is
Review in the AoPS books
- Introduction to Number Theory, Chapter 1: Integers: The Basics (§1.4, §1.5)
- Introduction to Number Theory, Chapter 5: Divisor Problems (§5.2, §5.3)
- Introduction to Algebra, Chapter 20: Special Functions (§20.3)
- Introduction to Number Theory, Chapter 13: Divisibility Rules (§13.2)
Techniques
Set up the equation/formula and compute; no special trick needed · Test small/specific values or special cases to find or verify the answer