Solution:
Observe that
gcd(m+j,n+j)=gcd(m+j,∣m−n∣)
for j=0,1,2. Hence we can find positive integers a,b,c such that
gcd(m,n)=a∣m−n∣,gcd(m+1,n+1)=b∣m−n∣,gcd(m+2,n+2)=c∣m−n∣
It follows that ∣m−n∣ divides ma,(m+1)b and (m+2)c. Hence we can see that ∣m−n∣ divides ab and bc. We get ∣m−n∣≤ab and ∣m−n∣≤bc. This leads to
b≥a∣m−n∣,b≥c∣m−n∣
Thus
gcd(m,n)+gcd(m+1,n+1)+gcd(m+2,n+2)=a∣m−n∣+b∣m−n∣+c∣m−n∣≤2b+b∣m−n∣
We have to prove that
2b+b∣m−n∣≤2∣m−n∣+1
Taking ∣m−n∣=K, we have to show that 2b2+K≤b(2K+1). This reduces to (b−K)(2b−1)≤0. However
K=∣m−n∣≥b≥1>21
Equality holds only when (m,n)=(k,k+1) or (2k,2k+2) or permutations of these for some k.