-
означает, что a делится на b - b | a или b \ a означает, что b делит a, или, что то же самое: b — делитель a.
Свойства
Замечание: во всех формулах этого раздела предполагается, что
— целые числа.
- Любое целое число является делителем нуля, и частное равно нулю:
![](https://konspekta.net/studopediainfo/baza2/609391301786.files/image137.png)
- Любое целое число делится на единицу:
![](https://konspekta.net/studopediainfo/baza2/609391301786.files/image138.png)
- На ноль делится только ноль:
,
причём частное в этом случае не определено.
- Единица делится только на единицу:
![](https://konspekta.net/studopediainfo/baza2/609391301786.files/image140.png)
- Для любого целого числа
найдётся такое целое число
для которого
- Если
и
то
Отсюда же следует, что если
и
то
- Для того чтобы
необходимо и достаточно, чтобы
- Если
то
- Свойство делимости является отношением нестрогого порядка и, в частности, оно:
- рефлексивно, т.е. любое целое число делится на себя же:
- транзитивно, т.е. если
и
то
- антисимметрично, т.е. если
и
то либо
либо