Докажите, что если разность и произведение двух чисел делятся на простое число p, то каждое из этих чисел делится на p
Давайте рассмотрим проблему более подробно. Пусть у нас есть два целых числа \( a \) и \( b \). Условие задачи говорит, что разность \( a - b \) и произведение \( a \cdot b \) делятся на простое число \( p \). Нам нужно доказать, что каждое из этих чисел \( a \) и \( b \) также делится на \( p \).
Первым шагом запишем данное условие формально:
- \( a - b \equiv 0 \mod p \) (то есть \( a - b = kp \) для некоторого целого \( k \)),
- \( a \cdot b \equiv 0 \mod p \) (то есть \( a \cdot b = mp \) для некоторого целого \( m \)).
Из первого условия \( a - b \equiv 0 \mod p \) следует, что: \[ a \equiv b \mod p \] Это означает, что \( a \) и \( b \) имеют одинаковое остаток при делении на \( p \). Обозначим этот остаток как \( r \): \[ a = b + kp \quad (1) \]
Теперь подставим значение \( a \) из (1) в произведение \( a \cdot b \): \[ (b + kp) \cdot b \equiv 0 \mod p \]
Раскроем скобки: \[ b^2 + b(kp) \equiv 0 \mod p \]
Поскольку \( b(kp) \) делится на \( p \), оставляем только первый член: \[ b^2 \equiv 0 \mod p \] Это значит, что \( b^2 \) делится на \( p \), а следовательно, так как \( p \) — простое число, это означает, что \( b \equiv 0 \mod p \). Таким образом, \( b \) делится на \( p \) (то есть \( b = lp\) для некоторого целого \( l \)).
Теперь, подставляя обратно значение \( b \) в выражение для \( a \) из (1): \[ a = lp + kp = (l + k)p \] Это показывает, что \( a \equiv 0 \mod p\). Следовательно, \( a \) также делится на \( p \).
Таким образом, мы доказали, что если разность и произведение двух чисел делятся на простое число \( p \), то оба числа \( a \) и \( b \) также делятся на \( p \).
