Maths Olympiad Prep

Library / /77 of 121

Number theory Difficulty 6.3 National Olympiad Prove it India

Problem:
Let m,nm, n be distinct positive integers. Prove that
gcd(m,n)+gcd(m+1,n+1)+gcd(m+2,n+2)2mn+1 \operatorname{gcd}(m, n)+\operatorname{gcd}(m+1, n+1)+\operatorname{gcd}(m+2, n+2) \leq 2|m-n|+1
Further, determine when equality holds.

Solution

Solution:
Observe that
gcd(m+j,n+j)=gcd(m+j,mn) \operatorname{gcd}(m+j, n+j)=\operatorname{gcd}(m+j,|m-n|)
for j=0,1,2j=0,1,2. Hence we can find positive integers a,b,ca, b, c such that
gcd(m,n)=mna,gcd(m+1,n+1)=mnb,gcd(m+2,n+2)=mnc \operatorname{gcd}(m, n)=\frac{|m-n|}{a}, \quad \operatorname{gcd}(m+1, n+1)=\frac{|m-n|}{b}, \quad \operatorname{gcd}(m+2, n+2)=\frac{|m-n|}{c}
It follows that mn|m-n| divides ma,(m+1)bm a,(m+1) b and (m+2)c(m+2) c. Hence we can see that mn|m-n| divides aba b and bcb c. We get mnab|m-n| \leq a b and mnbc|m-n| \leq b c. This leads to
bmna,bmnc b \geq \frac{|m-n|}{a}, \quad b \geq \frac{|m-n|}{c}
Thus
gcd(m,n)+gcd(m+1,n+1)+gcd(m+2,n+2)=mna+mnb+mnc2b+mnb \begin{aligned} \operatorname{gcd}(m, n)+\operatorname{gcd}(m+1, n+1)+\operatorname{gcd}(m+2, & n+2) \\ & =\frac{|m-n|}{a}+\frac{|m-n|}{b}+\frac{|m-n|}{c} \leq 2 b+\frac{|m-n|}{b} \end{aligned}
We have to prove that
2b+mnb2mn+1 2 b+\frac{|m-n|}{b} \leq 2|m-n|+1
Taking mn=K|m-n|=K, we have to show that 2b2+Kb(2K+1)2 b^{2}+K \leq b(2 K+1). This reduces to (bK)(2b1)0(b-K)(2 b-1) \leq 0. However
K=mnb1>12 K=|m-n| \geq b \geq 1>\frac{1}{2}
Equality holds only when (m,n)=(k,k+1)(m, n)=(k, k+1) or (2k,2k+2)(2 k, 2 k+2) or permutations of these for some kk.

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.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.