Let How many of the values , , , and are integers?
- A)
- B)
- C)
- D)
- E)
Answer
E
Key insight
Over denominator 8, P(m) is an integer iff 8 divides 4m+2m^2+m^4+m^8; even m is trivial, odd m gives 4(m+1).
Solution
Put everything over :
so is an integer exactly when . Only the parity of matters.
even. Write : , , , . Every term is a multiple of , so is an integer. This covers and .
odd. The square of any odd number is (since and is even). Hence , and
Since is even, is a multiple of , so is an integer. This covers and .
All four values are integers.
The answer is .
Why this works
A sum of fractions with denominators should be tested as a single fraction over ; the question becomes a congruence mod , where the fact "odd squares are " makes high powers trivial. The specific years are a distraction: is an integer for every integer .
Alternative approach
Track fractional parts for odd : contributes , contributes (odd squares are ), and , each contribute . The fractional parts total , an integer.
The trap
Testing only whether each fraction is an integer separately; for odd m none of them is, yet the fractional parts 1/2 + 1/4 + 1/8 + 1/8 add up to exactly 1.
Common mistakes
- Testing only whether each fraction is an integer separately; for odd m none of them is, yet the fractional parts 1/2 + 1/4 + 1/8 + 1/8 add up to exactly 1.
- Reducing and computing by hand instead of using , which invites arithmetic errors.
Techniques
Apply an identity: SFFT, sum of squares, difference of cubes, Vieta · Split into exhaustive cases and handle each