>>900
j^k + (n-j)^k ≡ j^k - j^k ≡ 0 (mod n)
j^k + (n+1-j)^k ≡ 0 (mod n+1)
とかを使うと

n が偶数のとき
Σ[j=1,n] j^k ≡ (n/2)^k (mod n)
Σ[j=1,n] j^k ≡ 0 (mod n+1)

n が奇数のとき
Σ[j=1,n] j^k ≡ 0 (mod n)
Σ[j=1,n] j^k ≡ {(n+1)/2}^k (mod n+1)

以上から
Σ[j=1,n] j^k ≡ 0 (mod n(n+1)/2)