Given an integer n>1, we aim to find the smallest positive number m satisfying the following conditions: for any set {a,b}⊂{1,2,…,2n−1}, there exist non-negative integers x and y (not both zero) such that 2n∣ax+by and x+y≤m.
To determine the smallest m, we analyze the conditions:
1. Consider a=1 and b=2. If 2n∣ax+by, then:
2n≤x+2y≤2(x+y)≤2m.
This implies m≥n.
2. We now show that m≤n.
- Case 1: If gcd(a,2n)>1 or gcd(b,2n)>1. Without loss of generality, assume gcd(a,2n)>1. Choose x=gcd(a,2n)2n and y=0. Then:
x+y=gcd(a,2n)2n≤22n=n.
- Case 2: If gcd(a,2n)=1 and gcd(b,2n)=1. Let c∈[0,2n−1] such that c≡ba−1(mod2n). The equation ax+by≡0(mod2n) is equivalent to x+cy≡0(mod2n). Choose y=⌊c2n⌋ and x=2n−c⌊c2n⌋.
- Subcase 2.1: If 2<c<n, then:
x+y≤c−1+⌊c2n⌋<c−1+c2n=c(c−2)(c−n)+n+1<n+1.
Hence, x+y≤n.
- Subcase 2.2: If c≥n+1, then:
x+y=2n−(c−1)⌊c2n⌋=2n−(c−1)≤2n−(n+1−1)=n.
Hence, x+y≤n.
In conclusion, the smallest positive number m that satisfies the given conditions is n. The answer is n.