Let be positive integers. Find the minimum positive integer which satisfies the following condition. If there exists a set of integers that contains a complete residue system module such that , then there exists a nonempty set so that .
Solution
Let and be positive integers. We aim to find the minimum positive integer which satisfies the following condition: If there exists a set of integers that contains a complete residue system modulo such that , then there exists a nonempty set so that .
First, let , and write and . The answer depends on the relationship between and .
The minimum positive integer is given by:
The answer is: \boxed{\begin{cases}
1 & \text{if } bd \leq \frac{ad(d+1)}{2}, \\
bd - \frac{ad(d-1)}{2} & \text{otherwise}.
\end{cases}}.
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.