Математика · 9 класс · Физтех 2026/27 · первая попытка

Задача 8. Суммы последовательных чисел

Условие

Сколько среди чисел 1,2,…,501, 2, \dots, 50 таких, которые можно представить в виде суммы двух или более последовательных натуральных чисел?

Дано: Рассматриваются числа 1,2,…,501, 2, \dots, 50. Число считается представимым, если оно равно сумме k≥2k \geq 2 подряд идущих натуральных чисел a,a+1,…,a+k−1a, a+1, \dots, a+k-1 при некотором a≥1a \geq 1 (натуральные числа начинаются с 11). Требуется найти количество представимых чисел.

О задаче · 9 класс
Олимпиада
Физтех
Предмет / класс
Математика · 9 класс
Сезон / этап
2026/27 · первый тур, первая попытка

Исследуй задачу

Модель с пояснениями к решениюОткрыть модель

Есть пояснения и построения из решения. Открой, когда захочешь воспользоваться этой помощью.

Исследование после решения

Сколько чисел до N представимы?

Двигайте границу NN. При каких NN количество представимых чисел не увеличивается, хотя NN выросло на 11?

Модель загружается…

Число степеней двойки от 11 до NN (включая 1=201 = 2^0) равно ⌊log⁡2N⌋+1\lfloor \log_2 N \rfloor + 1. Интерактив опирается на уже доказанный критерий (непредставимы ровно степени двойки) и ничего не доказывает сам. Диапазон NN ограничен значениями от 11 до 10001000, чтобы сцена оставалась читаемой.

Попробуйте самостоятельно. Выпишите несколько первых чисел, которые получаются как сумма двух или более подряд идущих натуральных чисел: 3=1+23 = 1+2, 5=2+35 = 2+3, 6=1+2+36 = 1+2+3, 7=3+47 = 3+4, 9=4+5=2+3+49 = 4+5 = 2+3+4, 10=1+2+3+410 = 1+2+3+4. Какие числа до 2020 так и не получаются? Сформулируйте гипотезу, проверьте её ещё на нескольких числах до 5050 и попробуйте доказать в обе стороны.

Записать идею

Личный черновик для заметок и расчётов. Он никуда не отправляется и не проверяется.

Подсказка 1

Запишите сумму k≥2k \geq 2 последовательных чисел, начиная с a≥1a \geq 1, одной формулой через aa и kk. Дробь в формуле мешает; удвойте сумму и посмотрите на получившееся произведение. Затем сверьте то, что видно из формулы, с теми числами до 2020, которые у вас не получились при переборе: что у них общего?

Подсказка 2

Сумма kk чисел от aa до a+k−1a+k-1 после удвоения превращается в произведение:

2n=k (2a+k−1).2n = k\,(2a+k-1).

Сравните чётность множителей kk и 2a+k−12a+k-1: их разность равна 2a−12a-1. Что это говорит о нечётных делителях числа nn? Какие числа от 11 до 5050 не имеют нечётных делителей, кроме 11? Не забудьте доказать и обратное утверждение: по нечётному делителю постройте представление.

Разобрать решение по шагам
1

Шаг 1. Сумма как произведение

Пусть nn есть сумма k≥2k \geq 2 последовательных натуральных чисел, начиная с a≥1a \geq 1:

n=a+(a+1)+⋯+(a+k−1).n = a + (a+1) + \dots + (a+k-1).

Это арифметическая прогрессия из kk членов с крайними членами aa и a+k−1a+k-1, поэтому по формуле суммы

n=k (2a+k−1)2.n = \dfrac{k\,(2a+k-1)}{2}.

Зачем удваивать: дробь неудобна для разговора о делимости, а после удвоения получается произведение двух целых множителей:

2n=k (2a+k−1).2n = k\,(2a+k-1).

Геометрически это «две копии лесенки складываются в прямоугольник k×(2a+k−1)k \times (2a+k-1)»; на рисунке 1 ниже это показано для 14=2+3+4+514 = 2+3+4+5.

14 = 2 + 3 + 4 + 52345k = 4строки2a + k − 1 = 7 столбцов2n = 4 · 7 = 28 = 2 · 14
Рисунок 1. Лесенка 14=2+3+4+514 = 2+3+4+5 (синие кружки, a=2a = 2, k=4k = 4) и её перевёрнутая копия (белые кружки) вместе дают прямоугольник 4×74 \times 7, то есть 2n=k (2a+k−1)2n = k\,(2a+k-1).
2

Шаг 2. Степени двойки не представимы

Разность множителей (2a+k−1)−k=2a−1(2a+k-1) - k = 2a-1 нечётна, поэтому один из множителей чётный, а другой нечётный. Оценим нечётный множитель: если нечётен kk, то k≥3k \geq 3 (так как k≥2k \geq 2); если нечётен 2a+k−12a+k-1, то он не меньше k+1≥3k+1 \geq 3. В любом случае у числа 2n2n есть нечётный делитель d≥3d \geq 3; он взаимно прост с 22, поэтому делит и само nn.

У степени двойки 2m2^m (включая 1=201 = 2^0) единственный нечётный делитель равен 11. Значит, ни одно из чисел 1,2,4,8,16,321, 2, 4, 8, 16, 32 не является суммой двух или более последовательных натуральных чисел.

3

Шаг 3. Все остальные числа представимы

Пусть nn не степень двойки. Тогда у nn есть нечётный делитель d≥3d \geq 3; запишем n=d⋅mn = d \cdot m, откуда 2n=d⋅2m2n = d \cdot 2m. Обозначим через kk меньший из множителей dd и 2m2m, а через MM — больший. Почему длиной суммы берём именно меньший: в равенстве 2n=k (2a+k−1)2n = k\,(2a+k-1) второй множитель больше первого, так как 2a+k−1≥k+12a+k-1 \geq k+1 при a≥1a \geq 1. Поскольку dd нечётно, а 2m2m чётно, эти множители различны, поэтому M−kM - k нечётна и положительна.

Положим a=M−k+12a = \dfrac{M-k+1}{2}; это целое число, не меньшее 11. Тогда 2a+k−1=M2a + k - 1 = M и

k (2a+k−1)=k⋅M=2n,k\,(2a+k-1) = k \cdot M = 2n,

то есть nn есть сумма kk последовательных чисел от aa. Осталось проверить k≥2k \geq 2: оба множителя не меньше 22, так как d≥3d \geq 3 и 2m≥22m \geq 2.

Примеры из нашего диапазона:

  • n=20=5⋅4n = 20 = 5 \cdot 4: множители 55 и 88, значит k=5k = 5, a=2a = 2, и 2+3+4+5+6=202+3+4+5+6 = 20;
  • n=6=3⋅2n = 6 = 3 \cdot 2: множители 33 и 44, значит k=3k = 3, a=1a = 1, и 1+2+3=61+2+3 = 6;
  • n=48=3⋅16n = 48 = 3 \cdot 16: множители 33 и 3232, значит k=3k = 3, a=15a = 15, и 15+16+17=4815+16+17 = 48.
4

Шаг 4. Подсчёт для чисел от 1 до 50

Итак, число представимо тогда и только тогда, когда оно не является степенью двойки. Среди чисел 1,2,…,501, 2, \dots, 50 степеней двойки шесть:

1, 2, 4, 8, 16, 32.1,\ 2,\ 4,\ 8,\ 16,\ 32.

Важно не забыть 1=201 = 2^0: сумма двух или более натуральных чисел не меньше 1+2=31 + 2 = 3, так что 11 и 22 действительно не представимы. Следующая степень двойки, 6464, уже больше 5050.

Ответ: 50−6=4450 - 6 = 44 числа (рисунок 2).

Числа 1…50: степени двойки выделены123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495050 − 6 = 44 представимых
Рисунок 2. Числа от 11 до 5050; синим выделены шесть степеней двойки 1,2,4,8,16,321, 2, 4, 8, 16, 32 — единственные непредставимые числа. Остальные 4444 числа представимы.

Проверка

Проверка на малом случае вручную: среди чисел от 11 до 1010 представимы 3=1+23 = 1+2, 5=2+35 = 2+3, 6=1+2+36 = 1+2+3, 7=3+47 = 3+4, 9=4+59 = 4+5, 10=1+2+3+410 = 1+2+3+4 — ровно шесть чисел, а 1,2,4,81, 2, 4, 8 не получаются ни при каком переборе (для 88: k=2k=2 даёт нечётную сумму, k=3k=3 даёт кратную 33, k=4k=4 даёт 4a+6≥104a+6 \geq 10). Критерий даёт 10−4=610 - 4 = 6 — совпало. Ещё одна проверка внутри диапазона: для n=12=3⋅4n = 12 = 3 \cdot 4 конструкция шага 3 даёт k=3k = 3, a=3a = 3, и действительно 3+4+5=123+4+5 = 12; для n=32n = 32 нечётных делителей, кроме 11, нет, и 3232 не представимо. Полный перебор всех k≥2k \geq 2, a≥1a \geq 1 на компьютере даёт для чисел до 5050 ровно 4444 представимых.

Ответ

44

Главная идея

Удвоенная сумма kk последовательных чисел равна произведению k(2a+k−1)k(2a+k-1) двух множителей разной чётности, причём нечётный множитель не меньше 33. Поэтому представимы в точности числа, имеющие нечётный делитель больше 11, то есть все числа, кроме степеней двойки; обратно, по нечётному делителю d≥3d \geq 3 разложение 2n=d⋅2m2n = d \cdot 2m однозначно восстанавливает kk и aa. Среди 1,…,501, \dots, 50 степеней двойки шесть, откуда ответ 4444.

Если в задаче речь о сумме подряд идущих чисел, сразу пишите 2n=k(2a+k−1)2n = k(2a+k-1) и смотрите на чётность множителей: разность 2a−12a-1 нечётна, поэтому ровно один множитель нечётный. Вопрос «какие числа получаются» превращается в вопрос «у каких чисел есть нечётный делитель больше 11». Ответ «все, кроме степеней двойки» — сигнал, что доказывать нужно обе стороны: невозможность для 2m2^m и явную конструкцию для остальных. Одной стороны мало: например, замечание «каждое нечётное n≥3n \geq 3 равно n−12+n+12\dfrac{n-1}{2} + \dfrac{n+1}{2}» ничего не говорит о чётных числах вроде 6=1+2+36 = 1+2+3 или 20=2+3+4+5+620 = 2+3+4+5+6.

Где легко ошибиться

Забыть, что 1=201 = 2^0 тоже степень двойки и её тоже надо вычесть: тогда среди 1,…,501, \dots, 50 исключают только 2,4,8,16,322, 4, 8, 16, 32 и получают неверный ответ 4545. Между тем сумма двух или более натуральных чисел не меньше 1+2=31 + 2 = 3, так что 11 (как и 22) заведомо не представима; в критерии «нет нечётного делителя больше 11» число 11 ничем не отличается от остальных степеней двойки.

Источник и авторство

Физтех · математика · 9 класс · 2026/27 · первый тур, первая попытка. Официальная задача 8.1 (ID 6097).

Официальные условия ↗ · Материалы организатора ↗

Подсказки, объяснение и исследовательские модели — Popov Academy. Решение проверено; результат сопоставлен с официальными материалами.

Увеличенный рисунок