+) Nếu x,y,z khác số dư khi chia cho 3
- Nếu có 2 số chia hết cho 3 . Số còn lại không chia hết cho 3 . Giả sử x,y đều chia hết cho 3, z không chia hết cho 3 =>x+y+z không chia hết cho 3. Do x,y đều chia hết cho 3 nên (x−y)⋮3 => (x−y)(y−z)(z−x) ⋮3 (Vô lý do (x−y)(y−z)(z−x)=x+y+z(x−y)(y−z)(z−x)=x+y+z)
- Nếu có 1 số chia hết cho 3, 2 số còn lại khác số chia khi chia cho 3, không chia hết cho 3.Tương tự dẫn đến vô lý.
Vậy cả 3 số có cùng số dư khi chia cho 3 => (x−y)⋮3 , (y−z)⋮3 , (z−x)⋮3 => (x−y)(y−z)(z−x)⋮27 => (x+y+z)⋮27