В символьном обозначении обычно записывают факт делимости числа a на b, как a⋮b , или b|a.
Свойства делимости:
10. Любое целое число a делится на само себя, на -a и на 1.
20. Нуль делится на любое целое число b.
30. Если a⋮b и |a|˂|b|, то a=0 .
40. Если a≠0 и a⋮b, то |a| ≥|b|.
50. Делителями единицы являются только целые числа 1 и −1.
60. Чтобы целое число a⋮b необходимо и достаточно, чтобы |a|⋮|b|.
70. Если a⋮m и m⋮b, то a⋮b.
80. Если a⋮b и b⋮a, то a=b или a=-b .
90. Для любого целого и отличного от нуля числа b найдется такое целое число a, где a≠b, и при этом a⋮b.
100. Если каждое из двух целых слагаемых a и b делится на целое число c, то сумма (a+b)⋮c.
110. Если известно, что в равенстве вида k+1+...+n=p+q+...+s все члены кроме какого-то одного делятся на некоторое целое число b, то и этот один член делится на b.
120. Если целое число a делится на целое число b, то произведение (a·k)⋮b, где k – произвольное целое число.
130. Если целые числа a и b делятся на c, то (a·u+b·v)⋮c, где u и v – произвольные целые числа.