27. For integer points on the plane, if , then it is called "reduced". Prove: For any , there exists an integer point on the plane such that its distance to any reduced integer point is greater than .
Solution
27. Let , then represents different primes. By the Chinese Remainder Theorem, there exist that satisfy the congruence systems
, then is an integer point that satisfies the conditions. Because if the distance between and is , then
which implies
. This leads to
Assume without loss of generality that , i.e., . By the choice of , it follows that are multiples of , hence is not a primitive integer point.
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.