Determine if there exists a positive integer pair , such that
(i) the greatest common divisor of and is , and ,
(ii) for any , .
(Here stands for the greatest integer less than or equal to .)
Determine if there exists a positive integer pair , such that
(i) the greatest common divisor of and is , and ,
(ii) for any , .
(Here stands for the greatest integer less than or equal to .)
Yes, it exists.
There are finitely many fractions of lowest term such that , and . Let be the largest such fraction. If for some , then is an integer satisfying since and . It follows that , which contradicts the choice of . Therefore, we must have for .