Чтобы доказать, что число \( 3^{121} - 3 \) делится на 726, начнем с разложения числа 726 на простые множители.
- Разложим 726 на множители: \[ 726 = 2 \times 3 \times 121 = 2 \times 3 \times 11^2 \]
Теперь нам нужно показать, что \( 3^{121} - 3 \) делится на \( 2 \), \( 3 \) и \( 11^2 \).
Проверим делимость на \( 3 \): \[ 3^{121} - 3 = 3(3^{120} - 1) \] Очевидно, что \( 3^{121} - 3 \) делится на \( 3 \).
Проверим делимость на \( 2 \): Поскольку \( 3 \) — нечетное число, мы знаем, что \( 3^{121} \) также нечетное. Следовательно, \( 3^{121} - 3 \) тоже нечетное, и по данной информации нельзя сразу сказать, что оно делится на \( 2 \). Однако, использовав теорему о четности и нечетности, мы можем проверить другое:
Используем формулу \( a^n - a \) для \( n = 121 \): \[ a^n - a = a(a^{n-1} - 1) \] Для \( a = 3 \): \[ 3^{121} - 3 = 3(3^{120} - 1) \] Проверим, делится ли \( 3^{120} - 1 \) на \( 2 \). Мы знаем, что \( 3^n \equiv 1 \mod 2 \) для любого \( n \), следовательно: \[ 3^{120} - 1 \equiv 0 \mod 2 \] Это указывает на то, что \( 3^{120} - 1 \) четное, а значит, \( 3^{121} - 3 \) делится на \( 2 \).
Проверим делимость на \( 11^2 = 121 \): По теореме Ферма: \[ a^{p-1} \equiv 1 \mod p \] где \( p \) — простое число (в нашем случае \( 11 \)). Здесь: \[ 3^{10} \equiv 1 \mod 11 \] Для \( 120 \): \[ 120 = 10 \times 12 \implies 3^{120} \equiv 1^{12} \equiv 1 \mod 11 \] Это означает: \[ 3^{120} \equiv 1 \mod 11 \implies 3^{120} - 1 \equiv 0 \mod 11 \] По аналогии, с учетом, что \( 3^{10} \equiv 1 \mod 121 \): \[ 120 \mod 10 = 0 \implies 3^{120} - 1 \equiv 0 \mod 121 \]
Таким образом, все условия выполнены, и мы можем заключить, что \( 3^{121} - 3 \) делится на \( 726 \).
