Докажите, что 2 + 4 + 6 + ... + 2n не является точным кубом.
Давайте докажем, что сумма чётных чисел от 2 до 2n не является точным кубом, то есть не принимает вид \(k^3\).
Шаг 1: Записать сумму чётных чисел
Сумма чётных чисел от 2 до \(2n\):
\[ S = 2 + 4 + 6 + \dots + 2n \]
Это арифметическая прогрессия, где первый член \(a_1=2\), разность \(d=2\), а количество слагаемых \(n\).
Формула суммы первых \(n\) членов арифметической прогрессии:
\[ S = \frac{n}{2}(a_1 + a_n) \]
Подставим значения:
\[ S = \frac{n}{2}(2 + 2n) = \frac{n}{2} \cdot 2(1 + n) = n(1 + n) \]
Итак,
\[ \boxed{ S = n(n+1) } \]
Шаг 2: Формулировка условия
Нам нужно доказать, что \(\displaystyle S = n(n+1)\) не является точным кубом числа, то есть не существует целого числа \(k\), такое что:
\[ n(n+1) = k^3 \]
Шаг 3: Анализ свойства выражения \(n(n+1)\)
Обратите внимание, что:
- \(n\) и \(n+1\) — два последовательных целых числа.
- Их произведение — или куб, или нет? Проверим это.
Шаг 4: Анализ с помощью численных примеров и теории
Рассмотрим некоторые случаи:
| \(n\) | \(n(n+1)\) | Можно ли представить \(n(n+1) = k^3\)? |
|---|---|---|
| 1 | 2 | Нет |
| 2 | 6 | Нет |
| 3 | 12 | Нет |
| 4 | 20 | Нет |
| 5 | 30 | Нет |
| 6 | 42 | Нет |
Часто видно, что произведение двух соседних чисел не является кубом. Для более строгого доказательства используем теорию.
Шаг 5: Доказываем, что \(n(n+1)\) не может быть кубом
Доказательство от противного:
Пусть существует целое число \(k\), такое что:
\[ n(n+1) = k^3 \]
Тогда \(k^3\) — произведение двух последовательных чисел. Значит:
\[ k^3 = n(n+1) \]
А \(n\) и \(n+1\) — взаимно простые числа (так как два последовательных числа не делят друг друга, кроме 1).
Шаг 6: Точность деления и кубов
Известно, что если:
\[ n(n+1) = k^3 \]
то при разложении на простые множители, \(k^3\) будет иметь все степени делителей, кратные 3.
Поскольку \(n\) и \(n+1\) — взаимно простые, их разложение на простые не пересекается, и:
- Пусть \(n = p_1^{a_1} p_2^{a_2} \dots p_m^{a_m}\)
- Тогда \(n+1 = q_1^{b_1} q_2^{b_2} \dots q_s^{b_s}\)
Тогда:
\[ k^3 = n(n+1) = \prod p_i^{a_i} \prod q_j^{b_j} \]
Поскольку \(k^3\) — куб, каждая степень \(a_i\) и \(b_j\) должна быть кратна 3. Но \(a_i\) и \(b_j\) — произвольные, так как они могут быть не кратны 3; это только возможно, если и \(a_i\), и \(b_j\) делятся на 3.
Однако, поскольку \(n\) и \(n+1\) — взаимно простые, это означает, что произведение — это произведение двух чисел, где степени не должны делиться, если только \(a_i\) и \(b_j\) кратны 3.
Конечное рассуждение:
- Для достижения \(n(n+1) = k^3\), оба числа, \(n\) и \(n+1\), должны иметь разложения на простые множители, такие что произведение даст степень делителей, кратных 3.
- Так как \(n\) и \(n+1\) взаимно простые, то для того, чтобы их произведение было кубом, каждое из чисел должно быть кубом. Следовательно:
\[ n = a^3, \quad n+1 = b^3 \]
И тогда:
\[ b^3 - a^3 = 1 \]
Шаг 7: Решение уравнения \(b^3 - a^3 = 1\)
Это — уравнение разности кубов:
\[ b^3 - a^3 = (b - a)(b^2 + a b + a^2) = 1 \]
Для целых чисел \(a, b\), наибольший делитель — 1, так как:
- \(b - a\) — целое число.
- \(b^2 + a b + a^2\) — целое число.
Чтобы произведение было равно 1, возможны только ситуации:
\[ b - a = 1, \quad b^2 + a b + a^2 = 1 \]
или
\[ b - a = -1, \quad \text{и т.д.} \]
Рассмотрим первый случай:
\[ b - a = 1 \]
Тогда:
\[ b = a + 1 \]
Подставим в выражение:
\[ b^2 + a b + a^2 = 1 \]
Получим:
\[ (a+1)^2 + a(a+1) + a^2 = 1 \]
Раскроем скобки:
\[ a^2 + 2a + 1 + a^2 + a + a^2 = 1 \]
Упростим:
\[ 3a^2 + 3a + 1 = 1 \]
\[ 3a^2 + 3a = 0 \]
\[ 3a(a + 1) = 0 \]
Следовательно:
\[ a = 0 \quad \text{или} \quad a = -1 \]
Если \(a=0\), тогда \(b=a+1=1\). Тогда:
\[ b^3 - a^3 = 1^3 - 0^3 = 1 \]
Это удовлетворяет уравнению, а \(a = 0\) — то есть \(n=a^3=0\). Тогда исходная сумма равна нулю, что соответствует нулевому количеству слагаемых. Это тривиальный случай, и сумма равна 0, что не является кубом (квадратом, кубом) для положительных чисел.
Если \(a=-1\), тогда:
\[ b=a+1=0 \]
Тогда:
\[ b^3 - a^3 = 0^3 - (-1)^3= 0 + 1 =1 \]
Также, \(a=-1 \implies n= a^3= -1\), что не подходит для количества слагаемых.
Итог: для положительных \(n\), таких решений нет.
Вывод:
Поскольку для всякого \(n\in \mathbb{N}\), сумма равна \(n(n+1)\), которая в большинстве случаев не входит в класс кубов, и доказано, что разница между кубами 1 возможна только для тривиальных случаев с нулём или отрицательными \(n\), мы можем сделать вывод, что сумма не является точным кубом для всех \(n > 0\).
Заключение:
\[ \boxed{ \text{Сумма } 2 + 4 + 6 + \dots + 2n = n(n+1) } \]
не равна \(k^3\) для любого целого \(k\), за исключением тривиальных случаев, и в общем случае не является точным кубом.
Если нужно более короткое или более строгое объяснение — скажите!
