Généralisation:
Soit n, N des entiers non nuls, existe-il une suite finie e_1,...,e_n de {-1,1} telle que e_1=1 et e_1+2e_2+...+ne_n=N ?
Supposons une telle suite existe. Soit A={k /e_k=-1} et B={k /e_k=1}
Soit x=(somme k€A)ke_k et y=(somme k€B)ke_k
==> x=-(somme k€A)k et y=(somme k€A)k
Donc x+y=N et -x+y=n(n+1)/2
==> 2y=N+n(n+1)/2 et 2x=N-n(n+1)/2
Si N est pair , n(n+1) doit être multiple de 4
Si N est impair, n(n+1)/2 impair
_________________
وقل ربي زد ني علما