Рассмотрим произвольную параболу.
Две её произвольные точки соединим отрезком.
Часть плоскости, ограниченную этим отрезком и дугой параболы, называем сегментом параболы.
Через концы рассматриваемого отрезка проведём касательные к параболе. Архимед доказал, что площадь сегмента равна удвоенной площади части плоскости, образованной этими касательными и дугой параболы.
Доказательство основано на удивительно простом свойстве взаимного расположения параболы и треугольника, образованного касательными и хордой.
А именно, проведём среднюю линию этого треугольника, параллельную хорде параболы.
Она касается параболы! Это несложно доказать при помощи метода координат. Уравнения касательных к параболе, заданной уравнением
Угловой коэффициент
А можно было обойтись без вычислений: выбрав в качестве направления оси ординат направление оси симметрии параболы, ось сбсцисс направив параллельно прямой BC и выбрав начало координат так, чтобы оно совпало (в новой системе координат) с вершиной параболы, мы сводим дело к известному утверждению: касательная к параболе в любой её точке делит пополам отрезок между началом координат и проекцией на ось абсцисс точки, в которой проведена касательная.
Из обоих способов доказательства следует, что точка касания делит среднюю линию треугольника пополам.
Средние линии любого треугольника делят его на четыре конгруэнтные части. Поэтому площадь любой из этих частей равна одной четвёртой части площади всего треугольника.
Повторим построение: проведём среднюю линию ещё одного треугольника, образованного хордой параболы и двумя касательными к ней. Площадь заштрихованного треугольника равна одной четвёртой части площади треугольника, среднюю линию которого мы только что провели.
Площадь дважды заштрихованного треугольника равна одной восьмой части площади заштрихованного треугольника.
Поэтому его площадь равна одной тридцать второй части площади исходного треугольника.
А в сумме со своим аналогом он составляет одну шестнадцатую часть площади исходного треугольника.
Такие построения можно продолжить: в каждом из четырёх треугольников, образованных касательными к параболе и её хордами, можно провести среднюю линию.
От исходного треугольника будут отрезаны
Таким образом, осталось вычислить сумму геометрической прогрессии с первым
Обозначив сумму этой прогрессии буквой x и умножив все члены прогрессии
Решая уравнение, получаем ответ:
Площадь криволинейного треугольника, образованного касательными и дугой параболы, равна 1/3 площади треугольника.
Таким образом, площадь сегмента равна 2/3 площади треугольника.