Давайте рассмотрим задачу о доказательстве того, что сумма кубов двух последовательных нечетных натуральных чисел делится на 4.
Шаг 1: Определение нечетных чисел
Обозначим два последовательных нечетных натуральных числа. Пусть первое число — это \( n \) (нечетное), тогда следующим, вторым, нечетным числом будет \( n + 2 \).
Шаг 2: Запись кубов
Теперь вычислим кубы этих двух чисел:
- Куб первого числа: \( n^3 \)
- Куб второго числа: \( (n + 2)^3 \)
Шаг 3: Найдем сумму кубов
Теперь найдем сумму кубов: \[ S = n^3 + (n + 2)^3 \]
Шаг 4: Раскрытие скобок
Раскроем куб второго числа с использованием формулы: \[ (n + 2)^3 = n^3 + 3n^2 \cdot 2 + 3n \cdot 2^2 + 2^3 = n^3 + 6n^2 + 12 + 8 \] Таким образом, \[ (n + 2)^3 = n^3 + 6n^2 + 12 \]
Шаг 5: Подставим в сумму
Теперь подставим это выражение в сумму: \[ S = n^3 + (n^3 + 6n^2 + 12) = 2n^3 + 6n^2 + 12 \]
Шаг 6: Группируем
Теперь упростим выражение: \[ S = 2n^3 + 6n^2 + 12 = 2(n^3 + 3n^2 + 6) \]
Шаг 7: Делимость на 4
Теперь покажем, что \( S \) делится на 4. Обратите внимание, что:
- \( 2(n^3 + 3n^2 + 6) \) — очевидно делится на 2.
- Чтобы доказать делимость на 4, нам нужно убедиться, что \( n^3 + 3n^2 + 6 \) — четное число.
Шаг 8: Рассмотрим n
Поскольку \( n \) — нечетное число, он может быть представлен в виде \( n = 2k + 1 \), где \( k \) — натуральное число (0, 1, 2, ...). Подставим это в наше выражение:
- \( n^2 = (2k + 1)^2 = 4k^2 + 4k + 1 \) — это нечетное число.
- \( n^3 = (2k + 1)^3 = 8k^3 + 12k^2 + 6k + 1 \) — это также нечетное число.
Теперь составим \( n^3 + 3n^2 + 6 \):
- \( 3n^2 = 3(4k^2 + 4k + 1) = 12k^2 + 12k + 3 \) — четное + нечетное = нечетное.
- \( 6 \) — четное.
Теперь мы можем сказать: \[ n^3 + 3n^2 + 6 \] состоит из нечетного (из \( n^3 + 3n^2 \)) и четного (6). Сумма нечётного и четного чисел — нечетное число.
Таким образом, \( S = 2(n^3 + 3n^2 + 6) \) делится на 4, поскольку изначально \( S = 2 \times \text{чётное число} \), что означает, что \( S \) обязательно делится на 4.
Заключение
Мы доказали, что сумма кубов двух последовательных нечетных натуральных чисел: \[ n^3 + (n + 2)^3 \] делится на 4.