Tính chất thứ nhất:
Phát biểu: nếu 1 tổng có tất cả các số hạng đều chia hết cho cùng một số thì tổng của chúng chia hết cho số đó.
Dạng tổng quát: a chia hết cho m, b chia hết cho m và c chia hết cho m thì tổng (a+b+c) chia hết cho m.
Tính chất thứ 2:
Phát biểu: nếu 1 tổng có ít nhất 1 số hạng ko chia hết cho 1 số, mà các số hạng còn lại chia hết cho số đó thì tổng của chúng ko chia hết cho số đó.
Dạng tổng quát: a ko chia hết cho m; b chia hết cho m; c chia hết cho m thì tổng (a+b+c) ko chia hết cho m.
+) Nếu các số hạng của tổng cùng chia hết cho một số thì tổng cũng chia hết cho số đó
Tổng quát : a \(⋮\)m ; b \(⋮\)m ; c \(⋮\)m => ( a + b + c )\(⋮\)m
+) Nếu một trong các số hạng của tổng không chia hết cho một số thì cả tổng đó cũng không chia hết cho số đó
Tổng quát : a \(⋮\)m ; b \(⋮\)m ; c \(⋮̸\) m => ( a + b + c ) \(⋮̸\) m
Trong hai số a và b nếu a chia hết cho c và b chia hết cho c thì (a + b) chia hết cho c.
Trong hai số a và b có một số không chia hết cho c thì (a + b) không chia hết cho c
Nếu tất cả các số hạng của một tổng đều chia hết cho cùng một số thì tổng chia hết cho số đó.
a ⁝ m, b ⁝ m và c ⁝ m => ( a + b + c) ⁝ m
Nếu chỉ có một số hạng của tổng không chia hết cho một số, còn các số hạng khác đều chia hết cho số đó thì tổng không chia hết cho số đó.
a \(⋮̸\)m, b \(⋮̸\) m và c \(⋮\) m => ( a + b + c) \(⋮̸\)m