Hallo,
ich denke ich habe jetzt einen schlüssigen Beweis zusammen:
Ausgangssituation ist eine Folge von \(n\) Elementen \(a_i\), für die gilt \(S = 0\). Es versteht sich von selbst, dass einige der Elemente \(a_i\) den Wert \(-1\) haben. Jetzt betrachtet man, wie sich die Summe \(S\) verändert, wenn man nach einander jedes Element \(a_i=-1\) in eine \(+1\) umwandelt.
Nach der Vorgabe für \(S\) wird sich die Änderung eines der Elemente \(a_i\) von \(-1\) nach \(+1\) auf 4 Produkte - bzw. Summanden von \(S\) - auswirken. Jeder Summand, der selbst nur den Wert \(\pm1\) haben kann, wird daraufhin sein Vorzeichen ändern.
Die Summe der vier Summanden kann nur die Werte \(-4,\,-2,\,0,\,2\) oder \(4\) haben. Wenn sich nun das Vorzeichen jedes einzelnen dieser 4 Summanden ändert, ändet sich genauso auch nur das Vorzeichen der Summe. D.h. der Betrag der Differenz zum vorhergehenden Wert der Summe kann nur \(8,\,4\) oder \(0\) betragen.
Und damit ändert sich der Wert von \(S\) auch nur um \(8,\,4\) oder \(0\). Berechnet man nun jedesmal dem Modulo von \(S\) zu \(4\) so bleibt dieser Wert konstant! Sind alle \(-1\)'en in \(+1\) verwandelt worden, so wird \(S=n\) sein. Und da \(S\) am Anfang der Veränderung \(=0\) war - und somit auch der Modulo zu \(4\) gleich \(0\) war, muss das auch für \(n\) gelten.
Daraus folgt \(n \equiv 0 \mod 4\) bzw. \(4\mid n\).
Gruß Werner