Делимость произведения
Зачем угадывать, если можно доказать
Раньше, чтобы узнать, делится ли число на 3, мы делили его «в столбик». А теперь представь задачу: делится ли произведение $6851 \cdot 999$ на 3? Перемножать такие большие числа совсем не хочется. И не придётся! Оказывается, 999 сам делится на 3: $999 = 3 \cdot 333$. Тогда
Этот приём — не везение, а общее правило, которое работает для любых чисел. Проверь его на других числах в блоке «Свойство 1» справа.
Свойство 1: делимости произведения
Докажем это «по всем правилам» — не на конкретных числах, а буквами, чтобы правило работало всегда. В свойстве участвуют три «персонажа»: два числа-сомножителя $a$ и $b$, и третье число $c$, на которое проверяем делимость. Пусть, для определённости, на $c$ делится число $b$.
Свойство 2: цепочка делимости
Обозначим числа буквами $a$, $b$ и $c$. По условию $a$ делится на $b$, то есть $a = b\cdot n$ для некоторого числа $n$. Но в этом произведении множитель $b$ сам делится на $c$ — а мы только что доказали Свойство 1: если один из множителей делится на $c$, то и всё произведение делится на $c$. Значит, на $c$ делится и число $a$ — что и требовалось доказать.
Проследи всю цепочку рассуждения шаг за шагом в блоке «Свойство 2» справа.
Как этим пользоваться
Оба свойства позволяют проверять делимость произведения без вычисления самого произведения — достаточно проверить делимость только одного множителя. Например, чтобы узнать, делится ли $45\cdot 26\cdot 36$ на 15, не нужно ничего перемножать: можно заметить, что $45 = 15 \cdot 3$, значит, 45 уже делится на 15 — а тогда, по свойству 1, делится и всё произведение.
А цепочка делимости пригождается, когда нужно проверить делимость сразу «в несколько шагов»: например, 72 делится на 12, а 12 делится на 3 — значит, 72 сразу делится и на 3, без прямой проверки.
- Свойство 1: если $b$ делится на $c$, то $ab$ тоже делится на $c$ — для любого множителя $a$.
- Доказательство: $b=ck \Rightarrow ab = a(ck) = c(ak)$ — частное равно $ak$.
- Свойство 2 (цепочка): $a$ делится на $b$, $b$ делится на $c$ $\Rightarrow$ $a$ делится на $c$.
- Оба свойства позволяют не вычислять произведение, а работать только с делимостью одного множителя.
- Обратное к свойству 1 неверно: произведение может делиться на число, даже если ни один множитель на него не делится.