Let be an integer greater than and let be the set of -element subsets of the set . Determine
where denotes the least common multiple of the integers and .
Romania — NMO Selection Tests for the Balkan and International Mathematical Olympiads
Solution
The required value is , unless in which case it is . Let be a member of . We first show that
unless . To this end, for each in , choose a positive integer such that and consider the set .
If , then for some distinct elements and in , so .
If , then . The first even number in is , and the number is also in if or . Consequently, holds for or , and it clearly holds for .
If , then
which is the required value by the preceding.
Finally, we show that, if , then . Suppose, if possible, that . Since , it follows that , so . Hence , where is an integer greater than . If , then must be an even number less than which is impossible. If , then which is again impossible. This ends the proof.
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.