Каким свойством обладает площадь

Пло́щадь — в узком смысле, площадь фигуры — численная характеристика, вводимая для определённого класса плоских геометрических фигур (исторически, для многоугольников, затем понятие было расширено на квадрируемые фигуры) и обладающая свойствами площади[1]. Интуитивно, из этих свойств следует, что бо́льшая площадь фигуры соответствует её «большему размеру» (например, вырезанным из бумаги квадратом большей площади можно полностью закрыть меньший квадрат), a оценить площадь фигуры можно с помощью наложения на её рисунок сетки из линий, образующих одинаковые квадратики (единицы площади) и подсчитав число квадратиков и их долей, попавших внутрь фигуры[2] (на рисунке справа). В широком смысле понятие площади обобщается[1] на k-мерные поверхности в n-мерном пространстве (евклидовом или римановом), в частности, на двумерную поверхность в трёхмерном пространстве.

Исторически вычисление площади называлось квадратурой. Конкретное значение площади для простых фигур однозначно вытекает из предъявляемых к этому понятию практически важных требований (см. ниже). Фигуры с одинаковой площадью называются равновеликими.

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

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

Определение понятия площади[править | править код]

Свойства[править | править код]

Площадь — функция, которая обладает следующими свойствами[3][1]:

• Положительность, то есть площадь неотрицательная (скалярная) величина;
• Аддитивность, то есть площадь фигуры равна сумме площадей составляющих её фигур без общих внутренних точек;
• Инвариантность, то есть площади конгруэнтных фигур равны;
• Нормированность, то есть площадь единичного квадрата равна 1.

Из данного определения площади следует её монотонность, то есть площадь части фигуры меньше площади всей фигуры[3].

Квадрируемые фигуры[править | править код]

Первоначально определение площади было сформулировано для многоугольников, затем оно было расширено на квадрируемые фигуры. Квадрируемой называется такая фигура, которую можно вписать в многоугольник и в которую можно вписать многоугольник, причём площади обоих многоугольников отличаются на произвольно малую величину. Такие фигуры называются также измеримыми по Жордану[1]. Для фигур на плоскости, не состоящих из целого количества единичных квадратов, площадь определяется с помощью предельного перехода; при этом требуется, чтобы как фигура, так и её граница были кусочно-гладкими[4]. Существуют неквадрируемые плоские фигуры[1]. Предложенное выше аксиоматическое определение площади в случае плоских фигур обычно дополняют конструктивным, при котором с помощью палетки осуществляется собственно вычисление площади. При этом для более точных вычислений на последующих шагах используют палетки, у которых длина стороны квадрата в десять раз меньше длины у предыдущей палетки[5].

Площадь квадрируемой плоской фигуры существует и единственна. Понятие площади, распространённое на более общие множества, привело к определению множеств, измеримых по Лебегу, которыми занимается теория меры. В дальнейшем возникают более общие классы, для которых свойства площади не гарантируют её единственность[1].

Общий метод определения площади[править | править код]

Площадь плоской фигуры[править | править код]

На практике чаще всего требуется определить площадь ограниченной фигуры с кусочно-гладкой границей. Математический анализ предлагает универсальный метод решения подобных задач.

Декартовы координаты[править | править код]

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

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

Полярные координаты[править | править код]

В полярных координатах: площадь, ограниченная графиком функции и лучами вычисляется по формуле:

.

Площадь поверхности[править | править код]

Для определения площади кусочно гладкой поверхности в трёхмерном пространстве используют ортогональные проекции к касательным плоскостям в каждой точке, после чего выполняют предельный переход. В результате, площадь искривлённой поверхности A, заданной вектор-функцией , даётся двойным интегралом[1]:

То же в координатах:

Здесь .

Теория площадей[править | править код]

Теория площадей занимается изучением обобщений, связанных с распространением определения k-мерной площади с кусочно-гладкого погружения на более общие пространства. Для кусочно-гладкого погружения f площадь определяют способом, аналогичным указанному выше, при этом у площади сохраняются такие свойства как положительность, аддитивность, нормированность, а также ряд новых.

Единицы измерения площади[править | править код]

Метрические единицы[править | править код]

• Квадратный метр, производная единица Международной системы единиц (СИ); 1 м² = 1 са (сантиар);
• Квадратный километр, 1 км² = 1 000 000 м²;
• Гектар, 1 га = 10 000 м²;
• Ар (сотка), 1 а = 100 м²:
• Квадратный дециметр, 100 дм² = 1 м²;
• Квадратный сантиметр, 10 000 см² = 1 м²;
• Квадратный миллиметр, 1 000 000 мм² = 1 м²;
• Барн, 1 б = 10−28 м².

Русские устаревшие[править | править код]

• Квадратная верста = 1,13806 км²
• Десятина = 10925,4 м²
• Копна = 0,1 десятины — сенные покосы мерили копнами
• Квадратная сажень = 4,55224 м²

Мерами земли при налоговых расчётах были выть, соха, обжа, размеры которых зависели от качества земли и социального положения владельца. Существовали и различные местные меры земли: коробья, верёвка, жеребья и др.

Античные[править | править код]

• Актус
• Арура
• Центурия
• Югер

Другие[править | править код]

• Акр
• Рай = 1600 м² (40 м × 40 м).
• Квадратный парсек
• Планковская площадь () ≈ 2,612099 · 10−70 м2

Формулы вычисления площадей простейших фигур[править | править код]

Многоугольники[править | править код]

Площади круга, его частей, описанных и вписанных в круг фигур[править | править код]

Площади поверхностей тел в пространстве[править | править код]

Исторический очерк[править | править код]

Площадь плоских фигур[править | править код]

Многие годы площадь считалась первичным понятием, не требующим определения. Основной задачей математиков являлось вычисление площади, при этом были известны основные свойства площади[3]. В Древнем Египте использовались точные правила вычисления площади прямоугольников, прямоугольных треугольников и трапеций, площадь произвольного четырёхугольника определялась приближённо как произведение полусумм пар противоположных сторон. Применение такой приближённой формулы связано с тем, что участки, площадь которых надо было померить, были в основном близки к прямоугольным и погрешность в таком случае оставалась небольшой. Историк математики А. П. Юшкевич предполагает, что египтяне могли и не знать, что пользуются приближённой формулой. В задаче 50 папируса Ринда содержится формула вычисления площади круга, которая считалась равной площади квадрата со стороной 8/9 диаметра круга[7]. Такими же формулами пользовались и в Вавилоне, однако для площади круга приближение было менее точным. Кроме того, вавилоняне могли приближённо посчитать площади правильных пяти-, шести- и семиугольника со стороной равной единице. В шестидесятиричной системе им соответствовали 1,40, 2,37,20 и 3,41, соответственно[8].

Основным приёмом вычисления площади при этом являлось построение квадрата, площадь которого равна площади заданной многоугольной фигуры, в частности в книге I «Начал» Евклида, которая посвящена планиметрии прямолинейных фигур, доказывается, что треугольник равновелик половине прямоугольника, имеющего с ним равные основания и высоту[9]. Метод разложения, основанный на том, что две равносоставленные фигуры равновелики, позволял также вычислить площади параллелограммов и любых многоугольников[5].

Следующим шагом было вычисление площадей круга, кругового сектора, лунок и других фигур. Основу вычислений при этом составлял метод исчерпывания многоугольниками[1][5], с которого берёт начало теория пределов. Метод заключается в построении последовательности площадей, которые при постепенном нарастании «исчерпывают» требуемую площадь. Метод исчерпывания, получивший своё название только в XVII веке, основан на аксиоме непрерывности Евдокса — Архимеда и приписывается Евдоксу Книдскому, который с его помощью показал, что площади кругов относятся друг к другу как квадраты их диаметров. Метод описан в «Началах» Евклида: аксиома Евдокса сформулирована в книге V, а сам метод исчерпывания и основанные на нём отношения — в книге XII[9]. Особого совершенства в применении метода достиг Архимед, который с его помощью посчитал площадь сегмента параболы и другие[10][11]. Труд Архимеда «О спиралях» включает много утверждений, касающихся площадей различных витков спирали и их отношений[12]. Архимеду принадлежит идея использования площадей или объёмов как вписанных, так и описанных фигур для определения требуемой площади или объёма[13].

Индийцы поначалу пользовались той же формулой для вычисления четырёхугольников, что египтяне и греки. Брахмагупта пользовался формулой для площади четырёхугольников, выраженной через его полупериметр., которая верна для вписанного в окружность четырёхугольника. Формулы вычисления площади обычно не доказывались, но демонстрировались с наглядными рисунками[14]. Формула Брахмагупты представляет собой аналог формулы Герона для площади треугольника, которую тот привёл в своей «Метрике»[15].

Развитие и обобщение метода исчерпывания произошло только в XVII веке. В 1604 году в работе «Три книги о центре тяжести тел» Валерио широко использует теорему, по которой разность между площадями вписанной и описанной фигур, составленных из параллелограммов можно сделать меньше любой данной площади[16]. Настоящий прорыв был сделан Кеплером, которому для астрономических расчётов нужно было уметь вычислять площадь эллипса. Кеплер рассматривал площадь как «сумму линий» и, разлиновывая эллипс с шагом в один градус, показал[17], что . Кавальери, обосновывая подобный метод, названный «методом неделимых», сравнивал площади плоских фигур, используя сечение фигур параллельными прямыми[18]. Применение первообразной для нахождения площади плоской фигуры является наиболее универсальным методом. С помощью первообразной доказывается принцип Кавальери, по которому две плоские фигуры имеют равную площадь, если при пересечении каждой из них прямой, параллельной фиксированной, получаются отрезки одинаковой длины. Принцип был известен задолго до формирования интегрального исчисления[1][5].

Площадь поверхности[править | править код]

Вычислением площадей кривых поверхностей занимался Архимед, определив, в частности, площадь поверхности шара[13]. В общем случае для определения площади поверхности нельзя пользоваться ни развёрткой (не подходит для сферы), ни приближением многогранными поверхностями, то есть аналогом метода исчерпывания. Последнее показал Шварц, построив для боковой последовательности цилиндра последовательности, которые приводят к разным результатам (так называемый сапог Шварца)[1][19].

Общий приём вычисления площади поверхности на рубеже XIX—XX веков предложил Минковский, который для каждой поверхности строил «окутывающий слой» малой постоянной толщины, тогда площадь поверхности будет приближённо равна объёму этого слоя, делённому на его толщину. Предельный переход при толщине, стремящейся к нулю даёт точное значение площади. Однако, для площади по Минковскому не всегда выполняется свойство аддитивности. Обобщение данного определения приводит к понятию линии по Минковскому и другим[20].

Примечания[править | править код]

Литература[править | править код]

• Энциклопедия элементарной математики. Книга пятая. Геометрия / под редакцией П. С. Александрова, А. И. Маркушевича и А. Я. Хинчина. — М.: Наука, 1966. — 624 с.
• Рашевский П. К. Риманова геометрия и тензорный анализ. Изд. 3-е, М.: Наука, 1967.
• Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления. — М.: ФИЗМАТЛИТ, 1960. — Т. 2. — 680 с. — ISBN 5-9221-0155-2.
• История математики: в 3 т / под редакцией А. П. Юшкевича. — М.: Наука, 1970. — Т. I: С древнейших времён до начала Нового времени.
• История математики: в 3 т / под редакцией А. П. Юшкевича. — М.: Наука, 1970. — Т. II: Математика XVII столетия.
• Boyer C. B., Merzbach U. C. A History of Mathematics. — John Wiley & Sons, 2010. — 640 p. (англ.)