Let n≥3 be any given integer. Determine the smallest positive integer k, for which there exists a set A of k real numbers and n real numbers x1,x2,…,xn, which are distinct from each other such that x1+x2,x2+x3,…,xn−1+xn,xn+x1 are all in the set A.
Solution
Let m1=x1+x2, m2=x2+x3, …, mn−1=xn−1+xn, mn=xn+x1. First, note that m1=m2, otherwise x1=x3, which contradicts the fact that xi are distinct. Similarly, mi=mi+1, for i=1,2,…,n, where mn+1=m1, as usual. It follows that k≥2.
For k=2, let A={a,b}, where a=b. It follows that (1)⎩⎨⎧x1+x2=a,x2+x3=b,⋮xn−1+xn=a,xn+x1=b,(if n is even) or (2)⎩⎨⎧x1+x2=a,x2+x3=b,⋮xn−1+xn=b,xn+x1=a.(if n is odd) For (2), we have xn=x2, which is possible. For (1), it follows that 2na=(x1+x2)+(x3+x4)+⋯+(xn−1+xn)=(x2+x3)+(x4+x5)+⋯+(xn+x1)=2nb, and hence a=b, which is impossible again. It follows that k≥3.
For k=3, one can construct a valid example as follows: Define x2k−1=k (k≥1) and x2k=n+1−k (k≥1). When n is even, xi+xi+1=⎩⎨⎧n+1,n+2,2n+2,if i is odd,if i is even and i<n,if i=n, where xn+1=xn. When n is odd, xi+xi+1=⎩⎨⎧n+1,n+2,2n−1+2,if i is odd and i<n,if i is even,if i=n, where xn+1=xn. Therefore, the smallest positive integer k is 3.
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 and solution reproduced as published; topic and difficulty added by this site.