Consider two coprime integers $p{}$ and $q{}$ which are greater than $1{}$ and differ from each other by more than $1{}$. Prove that there exists a positive integer $n{}$ such that \[\text{lcm}(p+n, q+n)<\text{lcm}(p,q).\]
Problem
Source: 44th International Tournament of Towns, Senior A-Level P2, Fall 2022
Tags: number theory, Tournament of Towns
16.02.2023 18:55
Let $q-p\ge 2$. Let $k$ be the smallest positive integer for which $kq-(k+1)p>0$. Note that $(k-1)q-kp\le -1$ (as $q-p>1$) and thus $kq-(k+1)p\le q-p-1$. So, we get $k(q-p)\le q-1$. Now, taking $n=kq-(k+1)p$, we find that \[ [p+n,q+n] = \frac{(p+n)(q+n)}{{\rm gcd}(p+n,q+n)} = k(k+1)(q-p). \]Now using $(k-1)q-kp\le -1$, we find that $kp\ge (k-1)q+1 \ge (k-1)(p+2)+1 \implies p\ge 2k-1$. So, if $k\ge 2$, we are done immediately. Finally, if $k=1$ then we have $k(k+1)(q-p) = 2q-2p<2q\le pq$ as $p\ge 2$. This completes the proof.
16.02.2023 19:07
16.02.2023 20:29
Let WLOG $q>p$. We want $\frac {(p+n)(q+n)} {\gcd(p+n, q-p)} <pq$. Choose $n$ so that $k=q-p \mid p+n$ (and $n<k$ since we choose $n$ modulo $k$), so we want $kpq>pq+p+q+n$. Indeed, this is true as $kpq \geq (n+1)pq>pq+p+q+n \iff npq>p+q+n \iff n(pq-1)>p+q$, which is obvious.
23.02.2023 18:07