Cho 2002 số a1, a2, a3, ..., a2001, a2002, trong đó các số chỉ nhận một trong hai giá trị bằng +1 hoặc -1.
a, Chứng mình rằng ta luôn có thể chọn ra được m số (0 < m < 2002) mà tổng của chúng bằng tổng của các số còn lại.
b, Gọi S là tổng của các tích của hai số:
S = a1 . a2 + a2 . a3 + a3 . a4 + ... + a2000 . a2001
Chứng minh rằng \(S\ne0\)