Let , and be positive integers. Prove that is divisible by if and only if , and are even.
Solution
First, let , and be even: , , . Then the number
is divisible by .
Now, let us prove the converse. Assume that is divisible by . If exactly one of the numbers , and were odd or if all three were odd, then the sum would be odd. This is not the case.
Finally, assume that exactly two of the numbers , and are odd. We may assume that and are odd and is even. Let , and for some positive integers , and . In this case the number
is not divisible by . This contradicts the assumption. The only remaining possibility is that all three numbers are even.
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.