Арифметическая и геометрическая прогрессии.

Если каждому натуральному числу n поставить в соответствие действительное число a n , то говорят, что задано числовую последовательность :

a 1 , a 2 , a 3 , . . . , a n , . . . .

Итак, числовая последовательность — функция натурального аргумента.

Число a 1 называют первым членом последовательности , число a 2 — вторым членом последовательности , число a 3 — третьим и так далее. Число a n называют n-м членом последовательности , а натуральное число n — его номером .

Из двух соседних членов a n и a n +1 последовательности член a n +1 называют последующим (по отношению к a n ), а a n — предыдущим (по отношению к a n +1 ).

Чтобы задать последовательность, нужно указать способ, позволяющий найти член последовательности с любым номером.

Часто последовательность задают с помощью формулы n-го члена , то есть формулы, которая позволяет определить член последовательности по его номеру.

Например,

последовательность положительных нечётных чисел можно задать формулой

a n = 2n - 1,

а последовательность чередующихся 1 и -1 — формулой

b n = (-1) n +1 . ◄

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

Например,

если a 1 = 1 , а a n +1 = a n + 5

a 1 = 1,

a 2 = a 1 + 5 = 1 + 5 = 6,

a 3 = a 2 + 5 = 6 + 5 = 11,

a 4 = a 3 + 5 = 11 + 5 = 16,

a 5 = a 4 + 5 = 16 + 5 = 21.

Если а 1 = 1, а 2 = 1, a n +2 = a n + a n +1 , то первые семь членов числовой последовательности устанавливаем следующим образом:

a 1 = 1,

a 2 = 1,

a 3 = a 1 + a 2 = 1 + 1 = 2,

a 4 = a 2 + a 3 = 1 + 2 = 3,

a 5 = a 3 + a 4 = 2 + 3 = 5,

a 6 = a 4 + a 5 = 3 + 5 = 8,

a 7 = a 5 + a 6 = 5 + 8 = 13. ◄

Последовательности могут быть конечными и бесконечными .

Последовательность называется конечной , если она имеет конечное число членов. Последовательность называется бесконечной , если она имеет бесконечно много членов.

Например,

последовательность двузначных натуральных чисел:

10, 11, 12, 13, . . . , 98, 99

конечная.

Последовательность простых чисел:

2, 3, 5, 7, 11, 13, . . .

бесконечная. ◄

Последовательность называют возрастающей , если каждый её член, начиная со второго, больше чем предыдущий.

Последовательность называют убывающей , если каждый её член, начиная со второго, меньше чем предыдущий.

Например,

2, 4, 6, 8, . . . , 2n , . . . — возрастающая последовательность;

1, 1 / 2 , 1 / 3 , 1 / 4 , . . . , 1 / n , . . . — убывающая последовательность. ◄

Последовательность, элементы которой с увеличением номера не убывают, или, наоборот, не возрастают, называется монотонной последовательностью .

Монотонными последовательностями, в частности, являются возрастающие последовательности и убывающие последовательности.

Арифметическая прогрессия

Арифметической прогрессией называется последовательность, каждый член которой, начиная со второго, равен предыдущему, к которому прибавляется одно и то же число.

a 1 , a 2 , a 3 , . . . , a n , . . .

является арифметической прогрессией, если для любого натурального числа n выполняется условие:

a n +1 = a n + d ,

где d — некоторое число.

Таким образом, разность между последующим и предыдущим членами данной арифметической прогрессии всегда постоянна:

а 2 - a 1 = а 3 - a 2 = . . . = a n +1 - a n = d .

Число d называют разностью арифметической прогрессии .

Чтобы задать арифметическую прогрессию, достаточно указать её первый член и разность.

Например,

если a 1 = 3, d = 4 , то первые пять членов последовательности находим следующим образом:

a 1 =3,

a 2 = a 1 + d = 3 + 4 = 7,

a 3 = a 2 + d = 7 + 4 = 11,

a 4 = a 3 + d = 11 + 4 = 15,

a 5 = a 4 + d = 15 + 4 = 19. ◄

Для арифметической прогрессии с первым членом a 1 и разностью d её n

a n = a 1 + (n - 1)d.

Например,

найдём тридцатый член арифметической прогрессии

1, 4, 7, 10, . . .

a 1 =1, d = 3,

a 30 = a 1 + (30 - 1)d = 1 + 29· 3 = 88. ◄

a n-1 = a 1 + (n - 2)d,

a n = a 1 + (n - 1)d,

a n +1 = a 1 + nd ,

то, очевидно,

каждый член арифметической прогрессии, начиная со второго, равен среднему арифметическому предшествующего и последующего членов.

числа a, b и c являются последовательными членами некоторой арифметической прогрессии тогда и только тогда, когда одно из них равно среднему арифметическому двух других.

Например,

a n = 2n - 7 , является арифметической прогрессией.

Воспользуемся приведённым выше утверждением. Имеем:

a n = 2n - 7,

a n-1 = 2(n - 1) - 7 = 2n - 9,

a n+1 = 2(n + 1) - 7 = 2n - 5.

Следовательно,

◄

Отметим, что n -й член арифметической прогрессии можно найти не толь через a 1 , но и любой предыдущий a k

a n = a k + (n - k )d .

Например,

для a 5 можно записать

a 5 = a 1 + 4d ,

a 5 = a 2 + 3d ,

a 5 = a 3 + 2d ,

a 5 = a 4 + d . ◄

a n = a n-k + kd ,

a n = a n+k - kd ,

то, очевидно,

любой член арифметической прогрессии, начиная со второго равен полусумме равноотстоящих от него членов этой арифметической прогрессии.

Кроме того, для любой арифметической прогрессии справедливо равенство:

a m + a n = a k + a l ,

m + n = k + l.

Например,

в арифметической прогрессии

1) a 10 = 28 = (25 + 31)/2 = (a 9 + a 11 )/2;

2) 28 = a 10 = a 3 + 7d = 7 + 7·3 = 7 + 21 = 28;

3) a 10 = 28 = (19 + 37)/2 = (a 7 + a 13 )/2;

4) a 2 + a 12 = a 5 + a 9 , так как

a 2 + a 12 = 4 + 34 = 38,

a 5 + a 9 = 13 + 25 = 38. ◄

S n = a 1 + a 2 + a 3 + . . . + a n ,

первых n членов арифметической прогрессии равна произведению полусуммы крайних слагаемых на число слагаемых:

Отсюда, в частности, следует, что если нужно просуммировать члены

a k , a k +1 , . . . , a n ,

то предыдущая формула сохраняет свою структуру:

Например,

в арифметической прогрессии 1, 4, 7, 10, 13, 16, 19, 22, 25, 28, 31, 34, 37, . . .

S 10 = 1 + 4 + . . . + 28 = (1 + 28) · 10/2 = 145;

10 + 13 + 16 + 19 + 22 + 25 + 28 = S 10 - S 3 = (10 + 28 ) · (10 - 4 + 1)/2 = 133. ◄

Если дана арифметическая прогрессия, то величины a 1 , a n , d , n и S n связаны двумя формулами:

Поэтому, если значения трёх из этих величин даны, то соответствующие им значения двух остальных величин определяются из этих формул, объединённых в систему двух уравнений с двумя неизвестными.

Арифметическая прогрессия является монотонной последовательностью. При этом:

• если d > 0 , то она является возрастающей;
• если d < 0 , то она является убывающей;
• если d = 0 , то последовательность будет стационарной.

Геометрическая прогрессия

Геометрической прогрессией называется последовательность, каждый член которой, начиная со второго, равен предыдущему, умноженному на одно и то же число.

b 1 , b 2 , b 3 , . . . , b n , . . .

является геометрической прогрессией, если для любого натурального числа n выполняется условие:

b n +1 = b n · q ,

где q ≠ 0 — некоторое число.

Таким образом, отношение последующего члена данной геометрической прогрессии к предыдущему есть число постоянное:

b 2 / b 1 = b 3 / b 2 = . . . = b n +1 / b n = q .

Число q называют знаменателем геометрической прогрессии .

Чтобы задать геометрическую прогрессию, достаточно указать её первый член и знаменатель.

Например,

если b 1 = 1, q = -3 , то первые пять членов последовательности находим следующим образом:

b 1 = 1,

b 2 = b 1 · q = 1 · (-3) = -3,

b 3 = b 2 · q = -3 · (-3) = 9,

b 4 = b 3 · q = 9 · (-3) = -27,

b 5 = b 4 · q = -27 · (-3) = 81. ◄

b 1 и знаменателем q её n -й член может быть найден по формуле:

b n = b 1 · q n -1 .

Например,

найдём седьмой член геометрической прогрессии 1, 2, 4, . . .

b 1 = 1, q = 2,

b 7 = b 1 · q 6 = 1 · 2 6 = 64 . ◄

b n-1 = b 1 · q n -2 ,

b n = b 1 · q n -1 ,

b n +1 = b 1 · q n ,

то, очевидно,

b n 2 = b n -1 · b n +1 ,

каждый член геометрической прогрессии, начиная со второго, равен среднему геометрическому (пропорциональному) предшествующего и последующего членов.

Так как верно и обратное утверждение, то имеет место следующее утверждение:

числа a, b и c являются последовательными членами некоторой геометрической прогрессии тогда и только тогда, когда квадрат одного из них равен произведению двух других, то есть одно из чисел является средним геометрическим двух других.

Например,

докажем, что последовательность, которая задаётся формулой b n = -3 · 2 n , является геометрической прогрессией. Воспользуемся приведённым выше утверждением. Имеем:

b n = -3 · 2 n ,

b n -1 = -3 · 2 n -1 ,

b n +1 = -3 · 2 n +1 .

Следовательно,

b n 2 = (-3 · 2 n ) 2 = (-3 · 2 n -1 ) · (-3 · 2 n +1 ) = b n -1 · b n +1 ,

что и доказывает нужное утверждение. ◄

Отметим, что n -й член геометрической прогрессии можно найти не только через b 1 , но и любой предыдущий член b k , для чего достаточно воспользоваться формулой

b n = b k · q n - k .

Например,

для b 5 можно записать

b 5 = b 1 · q 4 ,

b 5 = b 2 · q 3 ,

b 5 = b 3 · q 2 ,

b 5 = b 4 · q . ◄

b n = b k · q n - k ,

b n = b n - k · q k ,

то, очевидно,

b n 2 = b n - k · b n + k

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

Кроме того, для любой геометрической прогрессии справедливо равенство:

b m · b n = b k · b l ,

m + n = k + l .

Например,

в геометрической прогрессии

1) b 6 2 = 32 2 = 1024 = 16 · 64 = b 5 · b 7 ;

2) 1024 = b 11 = b 6 · q 5 = 32 · 2 5 = 1024;

3) b 6 2 = 32 2 = 1024 = 8 · 128 = b 4 · b 8 ;

4) b 2 · b 7 = b 4 · b 5 , так как

b 2 · b 7 = 2 · 64 = 128,

b 4 · b 5 = 8 · 16 = 128. ◄

S n = b 1 + b 2 + b 3 + . . . + b n

первых n членов геометрической прогрессии со знаменателем q ≠ 0 вычисляется по формуле:

А при q = 1 — по формуле

S n = nb 1

Заметим, что если нужно просуммировать члены

b k , b k +1 , . . . , b n ,

то используется формула:

Например,

в геометрической прогрессии 1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, . . .

S 10 = 1 + 2 + . . . + 512 = 1 · (1 - 2 10) / (1 - 2) = 1023;

64 + 128 + 256 + 512 = S 10 - S 6 = 64 · (1 - 2 10-7+1) / (1 - 2) = 960. ◄

Если дана геометрическая прогрессия, то величины b 1 , b n , q , n и S n связаны двумя формулами:

Поэтому, если значения каких-либо трёх из этих величин даны, то соответствующие им значения двух остальных величин определяются из этих формул, объединённых в систему двух уравнений с двумя неизвестными.

Для геометрической прогрессии с первым членом b 1 и знаменателем q имеют место следующие свойства монотонности :

• прогрессия является возрастающей, если выполнено одно из следующих условий:

b 1 > 0 и q > 1;

b 1 < 0 и 0 < q < 1;

• прогрессия является убывающей, если выполнено одно из следующих условий:

b 1 > 0 и 0 < q < 1;

b 1 < 0 и q > 1.

Если q < 0 , то геометрическая прогрессия является знакопеременной: её члены с нечётными номерами имеют тот же знак, что и её первый член, а члены с чётными номерами — противоположный ему знак. Ясно, что знакопеременная геометрическая прогрессия не является монотонной.

Произведение первых n членов геометрической прогрессии можно рассчитать по формуле:

P n = b 1 · b 2 · b 3 · . . . · b n = (b 1 · b n ) n / 2 .

Например,

1 · 2 · 4 · 8 · 16 · 32 · 64 · 128 = (1 · 128) 8/2 = 128 4 = 268 435 456;

3 · 6 · 12 · 24 · 48 = (3 · 48) 5/2 = (144 1/2) 5 = 12 5 = 248 832.◄

Бесконечно убывающая геометрическая прогрессия

Бесконечно убывающей геометрической прогрессией называют бесконечную геометрическую прогрессию, модуль знаменателя которой меньше 1 , то есть

|q | < 1 .

Заметим, что бесконечно убывающая геометрическая прогрессия может не быть убывающей последовательностью. Это соответствует случаю

1 < q < 0 .

При таком знаменателе последовательность знакопеременная. Например,

1, - 1 / 2 , 1 / 4 , - 1 / 8 , . . . .

Суммой бесконечно убывающей геометрической прогрессии называют число, к которому неограниченно приближается сумма первых n членов прогрессии при неограниченном возрастании числа n . Это число всегда конечно и выражается формулой

Например,

10 + 1 + 0,1 + 0,01 + . . . = 10 / (1 - 0,1) = 11 1 / 9 ,

10 - 1 + 0,1 - 0,01 + . . . = 10 / (1 + 0,1) = 9 1 / 11 . ◄

Связь арифметической и геометрической прогрессий

Арифметическая и геометрическая прогрессии тесно связаны между собой. Рассмотрим лишь два примера.

a 1 , a 2 , a 3 , . . . d , то

b a 1 , b a 2 , b a 3 , . . . b d .

Например,

1, 3, 5, . . . — арифметическая прогрессия с разностью 2 и

7 1 , 7 3 , 7 5 , . . . — геометрическая прогрессия с знаменателем 7 2 . ◄

b 1 , b 2 , b 3 , . . . — геометрическая прогрессия с знаменателем q , то

log a b 1 , log a b 2 , log a b 3 , . . . — арифметическая прогрессия с разностью log a q .

Например,

2, 12, 72, . . . — геометрическая прогрессия с знаменателем 6 и

lg 2, lg 12, lg 72, . . . — арифметическая прогрессия с разностью lg 6 . ◄

Геометрической прогрессией называют последовательность (b n), у которой каждый член, начиная со второго, равен предыдущему, умноженному на постоянное (для данной прогрессии) число q ≠ 0. Число q называют знаменателем прогрессии. Другими словами, геометрическая прогрессия - это последовательность, заданная по правилу: b 1 и q даны, b n+1 = q b n при n ≥ 1. Случай, когда b 1 = 0, малоинтересен: получается последовательность из одних нулей. Поэтому в определение геометрической прогрессии часто включают условие b 1 ≠ 0.

Каждый член геометрической прогрессии с положительными членами, начиная со второго, равен среднему геометрическому последующего и предыдущего членов: b n = √(b n-1 b n+1). Этот факт отражается в названии рассматриваемой последовательности: геометрическая прогрессия. Верно и более общее свойство: b n = √(b n-1 b n+1) при n > k.

Справедливы следующие формулы (через S n обозначена сумма первых n членов геометрической прогрессии):

b n = b 1 q n-1 , (1)

S n = b 1 (1-q n)/(1-q) = (b 1 -b n q)/(1-q) при q ≠ 1. (2)

При q = 1 геометрическая прогрессия одновременно является и арифметической прогрессией, при этом S n = nb x .

При |q| < 1 существует предел суммы первых n членов геометрической прогрессии при n→∞, называемый суммой бесконечно убывающей прогрессии. Из формулы (2) нетрудно усмотреть, что этот предел равен

В своих сочинениях древнегреческий ученый Архимед неоднократно возвращался к вопросу о вычислении сумм прогрессий. Например, в трактате «О квадратуре параболы» он рассматривает задачу, эквивалентную задаче о нахождении суммы бесконечно убывающей прогрессии a, b, c, d, e, ..., знаменатель которой равен 1/4. Архимед решает эту задачу так: из определения прогрессии имеем a=4b, b=4c, c=4d, ..., поэтому b + c + d + e... + 1/3 (b + c + d + e + ...) = 4/3 (b + c + d + e + ...) = 1/3 (4b + 4с + 4d + 4e + ...) = 1/3 (a + b + c + d+ ...), откуда b + c + d + e + ... = 1/3 a и a + b + c + a + e + ... = 4/3 a.

Если q > 1, то члены геометрической прогрессии быстро растут. В результате при сравнительно небольших номерах п получаются числа-гиганты. С древнейших времен известны задачи и легенды, связанные с неправдоподобной на первый взгляд скоростью роста членов геометрической прогрессии 1, 2, 4, 8, 16, ... . Одна из наиболее известных легенд - легенда об изобретателе шахмат.

Индийский царь Шерам призвал к себе изобретателя шахмат (которого звали Сета) и предложил, чтобы он сам выбрал себе награду за создание интересной и мудрой игры. Царя изумила скромность просьбы, услышанной им от изобретателя: тот попросил выдать ему за первую клетку шахматной доски одно пшеничное зерно, за вторую - два, за третью еще в два раза больше, т. е. четыре, за четвертую - еще в два раза больше и т.д. Эта задача привлекла внимание Л. Н. Толстого. Приведем часть его расчета (шахматная доска здесь названа шашечницей): «Клеток в шашечнице 8 с одной стороны и 8 с другой; 8 рядов по 8 = 64

на 33-ю 4294967 296

на 34-ю 8 589934 592

на 35-ю 17 179 869 184

на 36-ю 34 359 738 368

на 62-ю 2 305 843 009213 693 952

на 63-ю 4 611 686 018 427 387 904

на 64-ю 9 223 372036 854 775 808

Если 40 000 зерен в одном пуде, то на одной последней клетке вышло 230 584 300 921 369 пудов». Общее число зерен составит число 18 446 744 073 709 551 615.

Формулы (1), (2), (3) остаются справедливыми и для геометрических прогрессий с комплексными числами. Например, с помощью формулы (3) для прогрессии, у которой

q = b 1 = cos φ + i sin φ, и формулы Муавра

(cos φ + i sin φ) n = cos nφ + i sin nφ легко получить формулы

cos φ + cos 2φ + cos Зφ + ... + cos nφ = ((sin (2n+1)φ)/2 - sin φ/2)/(2sin φ/2),

sin φ + sin 2φ + sin Зφ + ... + sin nφ = (cos φ/2 - cos ((2n+1)φ/2)).

Уже в Древнем Египте знали не только арифметическую, но и геометрическую прогрессию. Вот, например, задача из папируса Райнда: «У семи лиц по семи кошек; каждая кошка съедает по семи мышей, каждая мышь съедает по семи колосьев, из каждого колоса может вырасти по семь мер ячменя. Как велики числа этого ряда и их сумма?»

Рис. 1. Древнеегипетская задача о геометрической прогресии

Эта задача много раз с разными вариациями повторялась и у других народов в другие времена. Например, в написанной в XIII в. «Книге об абаке» Леонардо Пизанского (Фибоначчи) есть задача, в которой фигурируют 7 старух, направляющихся в Рим (очевидно, паломниц), у каждой из которых 7 мулов, на каждом из которых по 7 мешков, в каждом из которых по 7 хлебов, в каждом из которых по 7 ножей, каждый из которых в 7 ножнах. В задаче спрашивается, сколько всего предметов.

Сумма первых n членов геометрической прогрессии S n = b 1 (q n – 1) / (q – 1) . Эту формулу можно доказать, например, так: S n = b 1 + b 1 q + b 1 q 2 + b 1 q 3 + ... + b 1 q n – 1 .

Добавим к S n число b 1 q n и получим:

Отсюда S n (q – 1) = b 1 (q n – 1) , и мы получаем необходимую формулу.

Уже на одной из глиняных табличек Древнего Вавилона, относящейся к VI в. до н. э., содержится сумма 1 + 2 + 2 2 + 2 3 + ... + 2 9 = 2 10 – 1. Правда, как и в ряде других случаев мы не знаем, откуда этот факт был известен вавилонянам.

Быстрое возрастание геометрической прогрессии в ряде культур, – в частности, в индийской, – неоднократно используется как наглядный символ необозримости мироздания. В известной легенде о появлении шахмат властелин предоставляет их изобретателю возможность самому выбрать награду, и тот просит такое количество пшеничных зерен, которое получится, если одно положить на первую клетку шахматной доски, два – на вторую, четыре – на третью, восемь – на четвертую и т. д., всякий раз число увеличивается вдвое. Владыка думал, что речь идет, самое большое, о нескольких мешках, но он просчитался. Нетрудно видеть, что за все 64 клетки шахматной доски изобретатель должен был бы получить (2 64 – 1) зерно, что выражается 20-значным числом; даже если засевать всю поверхность Земли, потребовалось бы не менее 8 лет, чтобы собрать необходимое количество зерен. Эту легенду иногда интерпретируют как указание на практически неограниченные возможности, скрытые в шахматной игре.

То, что это число действительно 20-значное, увидеть нетрудно:

2 64 = 2 4 ∙ (2 10) 6 = 16 ∙ 1024 6 ≈ 16 ∙ 1000 6 = 1,6∙10 19 (более точный расчет дает 1,84∙10 19). А вот интересно, сможете ли вы узнать, какой цифрой оканчивается данное число?

Геометрическая прогрессия бывает возрастающей, если знаменатель по модулю больше 1, или убывающей, если он меньше единицы. В последнем случае число q n при достаточно больших n может стать сколь угодно малым. В то время как возрастающая геометрическая прогрессия возрастает неожиданно быстро, убывающая столь же быстро убывает.

Чем больше n , тем слабее число q n отличается от нуля, и тем ближе сумма n членов геометрической прогрессии S n = b 1 (1 – q n ) / (1 – q ) к числу S = b 1 / (1 – q ) . (Так рассуждал, например, Ф. Виет). Число S называется суммой бесконечно убывающей геометрической прогрессии. Тем не менее, долгие века вопрос о том, какой смысл имеет суммирование ВСЕЙ геометрической прогрессии, с ее бесконечным числом членов, не был достаточно ясен математикам.

Убывающую геометрическую прогрессию можно видеть, например, в апориях Зенона «Деление пополам» и «Ахиллес и черепаха». В первом случае наглядно показывается, что вся дорога (предположим, длины 1) является суммой бесконечного числа отрезков 1/2, 1/4, 1/8 и т. д. Так оно, конечно, и есть с точки зрения представлений о конечной сумме бесконечной геометрической прогрессии. И все же – как такое может быть?

В апории про Ахиллеса ситуация чуть более сложная, т. к. здесь знаменатель прогрессии равен не 1/2, а какому-то другому числу. Пусть, например, Ахиллес бежит со скоростью v , черепаха движется со скоростью u , а первоначальное расстояние между ними равно l . Это расстояние Ахиллес пробежит за время l /v , черепаха за это время сдвинется на расстояние lu /v . Когда Ахиллес пробежит и этот отрезок, дистанция между ним и черепахой станет равной l (u /v ) 2 , и т. д. Получается, что догнать черепаху – значит найти сумму бесконечно убывающей геометрической прогрессии с первым членом l и знаменателем u /v . Эта сумма – отрезок, который в итоге пробежит Ахиллес до места встречи с черепахой – равен l / (1 – u /v ) = lv / (v – u ) . Но, опять-таки, как надо интерпретировать этот результат и почему он вообще имеет какой-то смысл, долгое время было не очень ясно.

Сумму геометрической прогрессии использовал Архимед при определении площади сегмента параболы. Пусть данный сегмент параболы отграничен хордой AB и пусть в точке D параболы касательная параллельна AB . Пусть C – середина AB , E – середина AC , F – середина CB . Проведем прямые, параллельные DC , через точки A , E , F , B ; пусть касательную, проведенную в точке D , эти прямые пересекают в точках K , L , M , N . Проведем также отрезки AD и DB . Пусть прямая EL пересекает прямую AD в точке G , а параболу в точке H ; прямая FM пересекает прямую DB в точке Q , а параболу в точке R . Согласно общей теории конических сечений, DC – диаметр параболы (то есть отрезок, параллельный ее оси); он и касательная в точке D могут служить осями координат x и y , в которых уравнение параболы записывается как y 2 = 2px (x – расстояние от D до какой-либо точки данного диаметра, y – длина параллельного данной касательной отрезка от этой точки диаметра до некоторой точки на самой параболе).

В силу уравнения параболы, DL 2 = 2 ∙ p ∙ LH , DK 2 = 2 ∙ p ∙ KA , а поскольку DK = 2DL , то KA = 4LH . Т. к. KA = 2LG , LH = HG . Площадь сегмента ADB параболы равна площади треугольника ΔADB и площадям сегментов AHD и DRB , вместе взятых. В свою очередь, площадь сегмента AHD аналогичным образом равна площади треугольника AHD и оставшихся сегментов AH и HD , с каждым из которых можно провести ту же операцию – разбить на треугольник (Δ) и два оставшихся сегмента (), и т. д.:

Площадь треугольника ΔAHD равна половине площади треугольника ΔALD (у них общее основание AD , а высоты отличаются в 2 раза), которая, в свою очередь, равна половине площади треугольника ΔAKD , а значит, и половине площади треугольника ΔACD . Таким образом, площадь треугольника ΔAHD равна четверти площади треугольника ΔACD . Аналогично, площадь треугольника ΔDRB равна четверти площади треугольника ΔDFB . Итак, площади треугольников ΔAHD и ΔDRB , вместе взятые, равны четверти площади треугольника ΔADB . Повторение этой операции в применении к сегментам AH , HD , DR и RB выделит и из них треугольники, площадь которых, вместе взятых, будет в 4 раза меньше, чем площадь треугольников ΔAHD и ΔDRB , вместе взятых, а значит, в 16 раз меньше, чем площади треугольника ΔADB . И так далее:

Таким образом, Архимед доказал, что «всякий сегмент, заключенный между прямой и параболой, составляет четыре трети треугольника, имеющего с ним одно и то же основание и равную высоту».