1. Проверим для n=1: 1^2 = (-1)^0*1(1+1)/2 = 1*2/2 = 1. Верно.
2. Предположим, верно для k: 1^2-2^2+...+(-1)^(k-1)k^2 = (-1)^(k-1)k(k+1)/2.
3. Проверим для k+1: 1^2-2^2+...+(-1)^(k-1)k^2 + (-1)^k(k+1)^2 = (-1)^(k-1)k(k+1)/2 + (-1)^k(k+1)^2 = (-1)^k(k+1)[-(k)/2 + (k+1)] = (-1)^k(k+1)[(-k+2k+2)/2] = (-1)^k(k+1)(k+2)/2. Доказано.