Since ∣2m−5n∣ is an odd number, and when m=7,n=3, ∣2m−5n∣=3, if we can prove that when n>1, ∣2m−5n∣=1, then the minimum value sought is 3.
If there exist positive integers m,n, such that n>1, and ∣2m−5n∣=1, then
2m−5n=1 or 2m−5n=−1.
If 2m−5n=1, then m⩾3. Taking both sides modulo 8, we require
5n≡7(mod8)
But for any positive integer n, 5n≡1 or 5(mod8), which is a contradiction. Therefore, 2m−5n=1 does not hold.
If 2m−5n=−1, then by n>1, we know m⩾3. Taking both sides modulo 8, we get
5n≡1(mod8)
This implies that n is even. Let n=2x, where x is a positive integer, then
2m=(5x−1)(5x+1)
Since 5x−1 and 5x+1 are two consecutive even numbers, this requires
5x−1=2,5x+1=4
which is impossible.
Therefore, the minimum value of ∣2m−5n∣ is 3.