Функция y=f(x) называется четной, если она удовлетворяет следующим двум условиям:
1. Область определения данной функции должна быть симметрична относительно точки О. То есть если некоторая точка a принадлежит области определения функции, то соответствующая точка -a тоже должна принадлежать области определения заданной функции.
2. Значение функции в точке х, принадлежащей области определения функции должно равняться значению функции в точке -х. То есть для любой точки х, из области определения функции должно выполняться следующее равенство f(x) = f(-x).
Покажем, что при любом нечетном k можно так переставить числа в А и В, что получится требуемый S. Очевидно, что достаточно это сделать в случае когда n=m=0, т.е. A=B=(1,...,k) т.к. вычитание (или прибавление) к каждому элементу набора фиксированного числа n или m сохраняет "подряд идущесть" как в самих А и В, так и в S. В этом случае s=(k+1)/2.
Переставим элементы набора А следующим образом:
А'=(1,s+1, 2, s+2, 3, s+3, ... ,s-1,2s-1,s), т.е. на нечетных местах стоят числа 1,2,...,s, а на четных местах s+1, s+2,...,2s-1. Т.е. всего 2s-1=k штук.
Переставим элементы набора B следующим образом:
B'=(s,1, s+1, 2, s+2, 3, ... ,2s-2,s-1,2s-1), т.е. на нечетных местах стоят числа s,s+1,...,2s-1, а на четных местах 1, 2,...,s-1. Т.е. тоже всего 2s-1=k штук.
Cкладывая элементы на одинаковых местах в наборах А' и B', получим набор S=(s+1, s+2, s+3, s+4, ..., 3s-3, 3s-2, 3s-1), т.е. набор из последовательных чисел.
Например, для k=9, s=(9+1)/2=5,
A'=(1, 6, 2, 7, 3, 8, 4, 9, 5),
B'=(5, 1, 6, 2, 7, 3, 8, 4, 9),
S =(6, 7, 8, 9,10,11,12,13,14).
Таким образом, нужные k - все нечетные числа не превосходящие 2013, коих 2014/2=1007 штук.