Problem:
Let be a nonnegative integer and let be an odd number. Show that there is some such that
Solution
Solution:
We can write as . For any , the number of times divides is just the number of times divides , so this product must have an equal number of factors of in the numerator and denominator, and therefore must be odd. Thus, as there are values of and possible values of , the problem is equivalent to showing that is injective for .
Let . Taking the ratio of the corresponding coefficients gives . Let be maximal so that there is a multiple of in the range , and let this multiple be where is odd.
Now take the ratio . For , , which is not equivalent to one, whereas for , is equivalent to one. Therefore, the total product is not one , so it is not one , as desired.
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.