Alors voilà mon raisonnement complet:
On suppose
avec

des réels tels que

L'objectif est de montrer:
Je découpe donc la somme en j car grâce à l'ordre des

on peut éliminer les valeurs absolue, de plus on peut se restreindre a s'arrêter a i-1 et reprendre a i , car

quand i=j donne 0.
On a donc:
+\Bigsum_{j=i+1}^{n}(x_j-x_i)))
C'est a dire après développement:
)
Les x_i ne dépendant pas de j, on a:
x_i-\Bigsum_{j=1}^{i-1}x_j+\Bigsum_{j=i+1}^{n}x_j))
Or On a

Soit:

On peut donc ainsi remplacer et on se retrouve avec:
x_i+\Bigsum_{j=i}^{n}x_j+\Bigsum_{j=i+1}^{n}x_j))
Donc c'est ici que la certitude s'arrête.
Après j'ai eu l'idée de développé :
x_i+\Bigsum_{i=1}^{n}\Bigsum_{j=i}^{n}x_j+ \Bigsum_{i=1}^{n} \quad \Bigsum_{j=i+1}^{n}x_j)
Et là le néant ... Quelqu'un aurait-il une idée?
Ou deuxième chose que j'envisage, réduire a l'intérieur avant de développé:
Mais je ne sais pas si j'ai le droit de changer mon j=i en j=i+1 (parce qu'au développement il ressortira comme nul...) de manière a avoir:
x_i+2\Bigsum_{j=i+1}^{n}x_j))
Des idées pour m'aider a conclure ? Car c'est vraiment la fin là...
Merci beaucoup !!