Площадь круга

Площадь круга с радиусом r равна $\pi r^{2}$ . Здесь $\pi$ (греческая буква «пи») обозначает отношение длины окружности к её диаметру: π $\approx 3{,}14159265.$

Связанные понятия

Сектор круга (закрашен зелёным)
Сегмент круга (закрашен жёлтым)

Площадь сектора круга равна $S={\frac {\theta r^{2}}{2}}$ , где $\theta$ — угловая величина дуги сектора в радианах[1].

Площадь сегмента круга равна $S={\frac {1}{2}}r^{2}(\theta -\sin \theta )$ , где $\textstyle \theta$ — угол в радианах[1]

История

Современные математики могут получить площадь круга с помощью методов интегрирования или вещественного анализа. Однако площадь круга изучалась ещё в Древней Греции. Гиппократ Хиосский (в своих попытках квадрирования гиппократовых луночек) первым сформулировал утверждение: площадь круга пропорциональна квадрату его диаметра. Евдокс Книдский в IV веке до н. э. строго доказал это утверждение[2][3]. Однако они не установили значения коэффициента пропорциональности.

Античные математики также безуспешно пытались решить задачу «квадратуры круга», то есть построения с помощью циркуля и линейки квадрата, равновеликого по площади заданному кругу. Проблемой занимались крупнейшие античные учёные — Анаксагор, Антифон, Брисон Гераклейский, Архимед и другие; неразрешимость этой задачи следует из неалгебраичности (трансцендентности) числа $\pi$ , которая была доказана в 1882 году Линдеманом[4].

Архимед в III веке до н. э. использовал методы евклидовой геометрии, чтобы показать в своей книге «Измерение круга», что площадь круга равна площади прямоугольного треугольника, основание которого равно длине окружности, а высота равна радиусу окружности. В современных обозначениях, длина окружности равна $2\pi r$ , а площадь треугольника равна половине произведения основания на высоту, что даёт $\pi r^{2}.$ Архимед уточнил значение числа $\pi$ :

3{\frac {10}{71}}<\pi <3{\frac {1}{7}}

Для доказательства Архимед построил для круга вписанный и описанный 96-угольники и вычислил длины их сторон (см. ниже).

Круг, развёрнутый в треугольник

Средневековые европейские математики использовали для обоснования формулы площади круга метод неделимых. Представим себе разворачивание концентричных кругов бесконечно малой толщины в отрезки, получим прямоугольный треугольник с высотой r и основанием $2\pi r$ (основание получается из внешней окружности круга). Вычисление площади треугольника даст площадь круга:

Площадь =

{1 \over 2}\cdot

основание

\cdot

высота =

{1 \over 2}\cdot 2\pi r\cdot r<=\pi r^{2}

.

Доказательства

Предельный переход

Площадь правильного многоугольника равна половине периметра, умноженного на апофему (высоту). При увеличении числа сторон многоугольник стремится к кругу, а апофема стремится к радиусу. Это даёт основание считать, что площадь круга равна произведению половины длины окружности на радиус[5], то есть $\pi \cdot r\cdot r=\pi r^{2}$ .

Доказательство Архимеда

Следуя Архимеду, сравним площадь круга с площадью прямоугольного треугольника, основание которого равно длине окружности, а высота равна радиусу. Если площадь круга не равна площади треугольника, она должна быть меньше или больше. Исключим оба варианта, что оставит только одну возможность — площади равны. Для доказательства будем использовать правильные многоугольники.

Не больше

Круг с вписанными квадратом и восьмиугольником. Показан зазор

Предположим, что площадь круга C больше площади треугольника T = ¹⁄₂cr. Пусть E означает превышение площади. Впишем квадрат в окружность, чтобы все его четыре угла лежали на окружности. Между квадратом и окружностью четыре сегмента. Если общая их площадь G₄ больше E, делим каждую дугу пополам, что превращает вписанный квадрат в восьмиугольник и образует восемь сегментов с меньшим общим зазором, G₈. Продолжаем деление, пока общий зазор G_n не станет меньше E. Теперь площадь вписанного многоугольника P_n = C − G_n должна быть больше площади треугольника.

{\begin{aligned}E&{}=C-T\\&{}>G_{n}\\P_{n}&{}=C-G_{n}\\&{}>C-E\\P_{n}&{}>T\end{aligned}}

Но это ведёт к противоречию. Для доказательства проведём высоту из центра окружности на середину стороны многоугольника, её длина h меньше радиуса окружности. Пусть каждая сторона многоугольника имеет длину s, сумма всех сторон составит ns, и эта величина меньше длины окружности. Площадь многоугольника состоит из n равных треугольников высоты h с основанием s, что даёт ¹⁄₂nhs. Но h < r и ns < c, так что площадь многоугольника должна быть меньше площади треугольника ¹⁄₂cr, получили противоречие.

Не меньше

Окружность с описанным квадратом и восьмиугольником. Показан зазор

Предположим, что площадь круга меньше площади треугольника. Пусть D означает разницу площадей. Описываем квадрат вокруг окружности, так что середины сторон лежат на ней. Если суммарный зазор между квадратом и окружностью G₄ больше D, срезаем углы касательными, превращая квадрат в восьмиугольник и продолжаем такие отсечения пока площадь зазора не станет меньше D. Площадь многоугольника P_n должна быть меньше T.

{\begin{aligned}D&{}=T-C\\&{}>G_{n}\\P_{n}&{}=C+G_{n}\\&{}<C+D\\P_{n}&{}<T\end{aligned}}

Это тоже приводит к противоречию. Каждый перпендикуляр, проведённый от центра круга к середине стороны, является радиусом, т.е. имеет длину r. А поскольку сумма сторон больше длины окружности, многоугольник из n одинаковых треугольников даст площадь, большую T. Снова получили противоречие.

Таким образом, площадь круга в точности равна площади треугольника.

Доказательство перегруппировкой

Площадь круга после перегруппировки

Анимация перегруппировки

Следуя Сато Мошуну [6] и Леонардо да Винчи [7], мы можем использовать вписанные правильные многоугольники другим способом. Положим, мы вписали шестиугольник. Разрежем шестиугольник на шесть треугольников, делая сечения через центр. Два противоположных треугольника содержат общие диаметры. Сдвинем теперь треугольники, чтобы радиальные стороны стали смежными. Теперь пара треугольников образует параллелограмм, в котором стороны шестиугольника образуют две противоположные стороны длиной s. Две радиальные стороны становятся боковыми сторонами, а высота параллелограмма равна h (как в доказательстве Архимеда). Фактически, мы можем собрать все треугольники в один большой параллелограмм, располагая в ряд полученные параллелограммы (из двух треугольников). То же самое будет верно, если мы будем увеличивать число сторон. Для многоугольника с 2n сторонами параллелограмм будет иметь основание ns и высоту h. С ростом числа сторон длина основания параллелограмма увеличивается, стремясь к половине окружности, а высота стремится к радиусу. В пределе параллелограмм становится прямоугольником с шириной πr и высотой r.

**Приближения площади круга единичного радиуса перегруппировкой треугольников.**
многоугольник
n	сторона	основание	высота	площадь
4	1,4142136	2,8284271	0,7071068	2,0000000
6	1,0000000	3,0000000	0,8660254	2,5980762
8	0,7653669	3,0614675	0,9238795	2,8284271
10	0,6180340	3,0901699	0,9510565	2,9389263
12	0,5176381	3,1058285	0,9659258	3,0000000
14	0,4450419	3,1152931	0,9749279	3,0371862
16	0,3901806	3,1214452	0,9807853	3,0614675
96	0,0654382	3,1410320	0,9994646	3,1393502
∞	1/∞	π	1	π

Интегрирование

Площадь круга путём интегрирования

Используя интегралы, мы можем просуммировать площадь круга, разделив его на концентрические окружности подобно луковице. Площадь бесконечно тонкого «слоя» радиуса t будет равна 2πt dt, то есть произведению длины окружности на толщину слоя. В результате получим элементарный интеграл для круга радиуса r.

{\begin{aligned}\mathrm {Area} (r)&{}=\int _{0}^{r}2\pi t\,dt\\&{}=\left[(2\pi ){\frac {t^{2}}{2}}\right]_{t=0}^{r}\\&{}=\pi r^{2}.\end{aligned}}

Можно разбивать круг не на кольца, а на треугольники с бесконечно малым основанием. Площадь каждого такого треугольника равна 1/2 * r * dt. Суммируя (интегрируя) все площади этих треугольников, получим формулу круга:

{\begin{aligned}\mathrm {Area} (r)&{}=\int _{0}^{2\pi r}{\frac {1}{2}}r\,dt\\&{}=\left[{\frac {1}{2}}rt\right]_{t=0}^{2\pi r}\\&{}=\pi r^{2}.\end{aligned}}

Быстрая аппроксимация

Для применения формулы площади круга необходимо знать с нужной точностью значение числа $\pi$ . Вычисления, проведённые Архимедом, были трудоёмкими, и он остановился на многоугольнике с 96 сторонами. Более быстрый метод использует идеи Снелла (1621), позднее развитые Гюйгенсом (1654) [8].

Метод удвоения Архимеда

Если задан круг, пусть u_n будет периметром вписанного правильного n-угольника, а U_n — периметром описанного правильного n-угольника. Тогда u_n и U_n являются нижней и верхней границей длины окружности, которые становятся точнее с ростом n, а их среднее значение (u_n + U_n)/2 становится особенно хорошей аппроксимацией длины окружности. Чтобы вычислить u_n и U_n для больших n, Архимед вывел следующие формулы:

u_{2n}={\sqrt {U_{2n}u_{n}}}

(среднее геометрическое)

U_{2n}={\frac {2U_{n}u_{n}}{U_{n}+u_{n}}}

(среднее гармоническое).

Начав с шестиугольника, Архимед удваивал n четыре раза, дойдя до 96-угольника, который дал ему хорошую аппроксимацию длины окружности круга.

В современных обозначениях можно воспроизвести эти вычисления (и пойти дальше). Для единичной окружности вписанный шестиугольник имеет периметр u₆ = 6, а описанный шестиугольник имеет периметр U₆ = 4√3. Удваиваем семь раз, получаем

**Удвоения Архимеда семь раз; n = 6×2^k.**
k	n	u_n	U_n	(u_n + U_n)/4
0	6	6,0000000	6,9282032	3,2320508
1	12	6,2116571	6,4307806	3,1606094
2	24	6,2652572	6,3193199	3,1461443
3	48	6,2787004	6,2921724	3,1427182
4	96	6,2820639	6,2854292	3,1418733
5	192	6,2829049	6,2837461	3,1416628
6	384	6,2831152	6,2833255	3,1416102
7	768	6,2831678	6,2832204	3,1415970

(здесь (u_n + U_n)/2 аппроксимирует длину единичной окружности, которая равна 2π, так что (u_n + U_n)/4 аппроксимирует π)

Последняя строка таблицы содержит число, близкое к ³⁵⁵⁄₁₁₃ — отличному рациональному приближению числа π; лучшие приближения имеют знаменатели на несколько порядков больше[9].

Улучшение Снелла-Гюйгенса

Снелл предложил (а Гюйгенс доказал) более тесные границы, чем у Архимеда:

n{\frac {3\sin {\frac {\pi }{n}}}{2+\cos {\frac {\pi }{n}}}}<\pi <n[2\sin {\frac {\pi }{3n}}+\tan {\frac {\pi }{3n}}].

Для n = 48 формула даёт приближение лучше (около 3,14159292), чем метод Архимеда для n = 768.

Развитие формулы удваивания Архимеда

Круг с подобными треугольниками, описанным, вписанным и дополнительным

Пусть одна сторона вписанного правильного n-угольника имеет длину s_n и пусть точки A и B — её концы. Пусть A′ — противоположная A точка на окружности, так что A′A является диаметром, а A′AB является вписанным треугольником, опирающимся на этот диаметр. По теореме Фалеса этот треугольник является прямоугольным (угол B прямой). Пусть длина A′B равна c_n и эту длину будем называть дополнением s_n. Тогда c_n²+s_n² = (2r)². Пусть точка C делит дугу AB пополам, и пусть C′ является противоположной C точкой окружности. Тогда длина CA равна s_2n, длина C′A равна c_2n, а C′CA снова является прямоугольным треугольником, опирающимся на диаметр C′C. Поскольку C делит дугу AB пополам, диаметр C′C перпендикулярен хорде AB, которую он пересекает, скажем, в точке P. Треугольник C′AP тогда прямоуголен и подобен C′CA, поскольку у них общий угол C′. Получаем, что все три соответствующие стороны находятся в одной и той же пропорции. В частности, мы имеем C′A : C′C = C′P : C′A и AP : C′A = CA : C′C. Центр окружности O делит A′A пополам, так что треугольник OAP подобен A′AB и длина OP равна половине длины A′B. В результате получаем

{\begin{aligned}c_{2n}^{2}&{}=\left(r+{\frac {1}{2}}c_{n}\right)2r\\c_{2n}&{}={\frac {s_{n}}{s_{2n}}}.\end{aligned}}

В первом равенстве отрезок C′P равен сумме C′O+OP, что равно r+¹⁄₂c_n, а отрезок C′C является диаметром и его длина равна 2r. Для единичного круга получаем знаменитую формулу удвоения Людольфа Ван Цейлена

c_{2n}={\sqrt {2+c_{n}}}.

Если мы теперь построим правильный описанный n-угольник со стороной ″B″, параллельной AB, то OAB и OA″B″ являются подобными с отношением подобия A″B″ : AB = OC : OP. Обозначим описанную сторону S_n, тогда отношение превращается в S_n : s_n = 1 : ¹⁄₂c_n. (Мы снова используем факт, что OP равен половине A′B.) Получаем

c_{n}=2{\frac {s_{n}}{S_{n}}}.

Обозначим периметр вписанного многоугольника через u_n = ns_n, а описанного через U_n = nS_n. Комбинируя равенства, получим

c_{2n}={\frac {s_{n}}{s_{2n}}}=2{\frac {s_{2n}}{S_{2n}}},

так что

u_{2n}^{2}=u_{n}U_{2n}.

Получили среднее геометрическое.

Можно также вывести

2{\frac {s_{2n}}{S_{2n}}}{\frac {s_{n}}{s_{2n}}}=2+2{\frac {s_{n}}{S_{n}}},

или

{\frac {2}{U_{2n}}}={\frac {1}{u_{n}}}+{\frac {1}{U_{n}}}.

Получили среднее гармоническое.

Аппроксимация случайными бросаниями

Площадь единичного круга методами Монте-Карло. После 900 бросаний получаем 4×⁷⁰⁹⁄₉₀₀ = 3,15111…

Если более эффективные методы недоступны, можно прибегнуть к «бросанию дротиков». Этот метод Монте-Карло использует факт, что при случайных бросаниях точки равномерно распространяются по площади квадрата, в котором расположен круг, число попаданий в круг приближается к отношению площади круга на площадь квадрата. Следует принимать этот метод как последнюю возможность вычисления площади круга (или фигуры любой формы), поскольку для получения приемлемой точности требует огромного числа испытаний. Для получения точности 10⁻ⁿ необходимо около 100ⁿ случайных испытаний [10].

Конечная перегруппировка

Как мы видели, разбив диск на бесконечное число кусков мы можем из них затем собрать прямоугольник. Интересный факт был открыт относительно недавно Лацковичем [11], что мы можем разбить круг на большое, однако конечное число кусков, а затем перегруппировать их в квадрат той же площади. Сам вопрос о таком конечном разбиении носит название «Квадратура круга Тарского».

Обобщения

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

Пусть единичный эллипс описан квадратом со стороной 2. Преобразование переводит круг в эллипс путём сжатия или растяжения горизонтального и вертикального диаметров до малой и большой оси эллипса. Квадрат становится прямоугольником, описанным вокруг эллипса. Отношение площади круга к площади квадрата равно π/4, и отношение площади эллипса к площади прямоугольника будет тоже π/4. Если a и b — длины малой и большой осей эллипса. Площадь прямоугольника будет равна ab, а тогда площадь эллипса — πab/4.

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

Примечания

Справочник по элементарной математике, 2006, с. 342.
Ван дер Варден. Пробуждающаяся наука. Математика древнего Египта, Вавилона и Греции. — М.: Наука, 1959. — С. 204. — 456 с.
История математики. С древнейших времен до начала Нового времени // История математики / Под редакцией А. П. Юшкевича, в трёх томах. — М.: Наука, 1970. — Т. I. — С. 102.
Белозеров С. Е. Пять знаменитых задач древности. История и современная теория. — Ростов: изд-во Ростовского университета, 1975. — С. 144—168. — 320 с.
Hill, George. Лекции по геометрии для начинающих, страница 124 (1894).
Smith, Mikami, 1914.
Beckmann, 1976.
Gerretsen, Verdenduin, 1983.
Не все лучшие рациональные приближения сводятся к непрерывным дробям!
Thijsse, 2006.
Laczkovich, 1990.

Литература

Выгодский М. Я. Справочник по элементарной математике. — М.: АСТ, 2006. — 509 с. — ISBN 5-17-009554-6.
Archimedes в переводе Томаса Хита. The Works of Archimedes. — Dover, c. 260 BCE, год публикации 2002. — С. 91–93. — ISBN 978-0-486-42084-4.
Petr Beckmann. A History of Pi. — St. Martin's Griffin, 1976. — ISBN 978-0-312-38185-1.
J. Gerretsen, P. Verdenduin. Fundamentals of Mathematics, Volume II: Geometry. — MIT Press, 1983. — С. 243–250. — ISBN 978-0-262-52094-2.
Serge Lang. Math! : Encounters with High School Students. — Springer-Verlag, 1985. — ISBN 978-0-387-96129-3.
Miklós Laczkovich. Equidecomposability and discrepancy: A solution to Tarski's circle squaring problem // Journal für die reine und angewandte Mathematik. — 1990. — Т. 404. — С. 77–117.
David Eugene Smith, Yoshio Mikami. A history of Japanese mathematics. — Chicago: Open Court Publishing, 1914. — С. 130–132. — ISBN 978-0-87548-170-8.
J. M.Thijsse. Computational Physics. — Cambridge University Press, 2006. — С. 273. — ISBN 978-0-521-57588-1.

Ссылки

Area of a Circle Calculator
Area enclosed by a circle (with interactive animation)
Science News on Tarski problem

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[VYG-1] Справочник по элементарной математике, 2006, с. 342.

[2] Ван дер Варден. Пробуждающаяся наука. Математика древнего Египта, Вавилона и Греции. — М.: Наука, 1959. — С. 204. — 456 с.

[3] История математики. С древнейших времен до начала Нового времени // История математики / Под редакцией А. П. Юшкевича, в трёх томах. — М.: Наука, 1970. — Т. I. — С. 102.

[4] Белозеров С. Е. Пять знаменитых задач древности. История и современная теория. — Ростов: изд-во Ростовского университета, 1975. — С. 144—168. — 320 с.

[5] Hill, George. Лекции по геометрии для начинающих, страница 124 (1894).

[_84476fb46deb21ad-6] Smith, Mikami, 1914.

[_844037f9845c48b9-7] Beckmann, 1976.

[_d101be672d92d153-8] Gerretsen, Verdenduin, 1983.

[9] Не все лучшие рациональные приближения сводятся к непрерывным дробям!

[_6f90fd2133bf14af-10] Thijsse, 2006.

[_9b4da67bdb1f782e-11] Laczkovich, 1990.