Hallo,
ich denke ich habe jetzt einen schlüssigen Beweis zusammen:
Ausgangssituation ist eine Folge von n Elementen ai, für die gilt S=0. Es versteht sich von selbst, dass einige der Elemente ai den Wert −1 haben. Jetzt betrachtet man, wie sich die Summe S verändert, wenn man nach einander jedes Element ai=−1 in eine +1 umwandelt.
Nach der Vorgabe für S wird sich die Änderung eines der Elemente ai von −1 nach +1 auf 4 Produkte - bzw. Summanden von S - auswirken. Jeder Summand, der selbst nur den Wert ±1 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≡0mod4 bzw. 4∣n.
Gruß Werner