Докажите, что 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\), **за исключением тривиальных случаев**, и в общем случае **не является точным кубом**. --- Если нужно более короткое или более строгое объяснение — скажите!