Введение

Последовательность чисел

Арифметическая прогрессия или арифметическая последовательность — это последовательность чисел, в которой разность между любым последующим и предыдущим членом остаётся постоянной на протяжении всей последовательности. Эта постоянная разность называется разностью арифметической прогрессии. Например, последовательность 5, 7, 9, 11, 13, 15, … является арифметической прогрессией с разностью, равной 2. Если первый член арифметической прогрессии равен , а разность последовательных членов равна , то -й член последовательности вычисляется по формуле:

Конечная часть арифметической прогрессии называется конечной арифметической прогрессией и иногда просто арифметической прогрессией. Сумма членов конечной арифметической прогрессии называется арифметической серией.

История

Согласно анекдотическим сведениям сомнительной достоверности, юный Карл Фридрих Гаусс, будучи в начальной школе, самостоятельно вывел формулу для суммирования целых чисел от 1 до *n*, для случая *n* = 100, сгруппировав числа с обоих концов последовательности в пары, дающие в сумме 101, и умножив результат на количество пар. Однако, вне зависимости от правдивости этой истории, Гаусс не был первым, кто открыл эту формулу, и некоторые полагают, что её истоки уходят к пифагорейцам в V веке до нашей эры. Схожие правила были известны в античности Архимеду, Гипсиклу и Диофанту; в Китае – Чжан Цюцзяню; в Индии – Арьябхате, Брахмагупте и Бхаскаре II; а в средневековой Европе – Алкуину, Дикуилу, Фибоначчи, Сакробоско и анонимным толкователям Талмуда, известным как Тосафисты.

Пересечения

Пересечение любых двух бесконечно удлиненных арифметических прогрессий либо пусто, либо является другой арифметической прогрессией, которую можно найти с помощью китайской теоремы об остатках. Если каждая пара прогрессий в семействе бесконечно удлиненных арифметических прогрессий имеет непустое пересечение, то существует число, общее для всех них; то есть бесконечно удлиненные арифметические прогрессии образуют семейство Хелли. Однако пересечение бесконечного числа бесконечных арифметических прогрессий может состоять из единственного числа, а не являться бесконечной прогрессией.