Ta luôn có |x - y| và x - y luôn cùng tính chẵn lẻ (x, y nguyên)
Do đó S cùng tính chẵn lẻ với (a - b) + (b - c) + (c - d) + (d - a) (Bỏ GTTĐ)
Ta có:
(a - b) + (b - c) + (c - d) + (d - a)
= a - b + b - c + c - d + d - a
= 0
Vì 0 chẵn => S chẵn (ĐPCM)
S chẵn là điều đương nhiên ko cần chứng minh nhé