Принцип Кавальери - Cavalieri's principle

Две стопки британских монет одинакового объема, иллюстрирующие принцип Кавальери в трех измерениях

В геометрии , принцип Кавальери , современная реализация метода неделимых , названный в честь Бонавентура Кавальери , выглядит следующим образом :

  • Двумерный случай : предположим, что две области на плоскости включены между двумя параллельными линиями в этой плоскости. Если каждая линия, параллельная этим двум линиям, пересекает обе области линейными сегментами одинаковой длины, то две области имеют равные площади.
  • Трехмерный случай : предположим, что две области в трехмерном пространстве (твердые тела) включены между двумя параллельными плоскостями. Если каждая плоскость, параллельная этим двум плоскостям, пересекает обе области в поперечных сечениях равной площади, то две области имеют равные объемы.

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

История

Бонавентура Кавальери , математик, в честь которого назван принцип.

Первоначально принцип Кавальери назывался методом неделимых, под этим именем он был известен в Европе эпохи Возрождения . Кавальери разработал полную теорию неделимых, разработанную в его Geometria indivisibilibus continorum nova quadam ratione promota ( Геометрия, продвинутая на новый путь неделимыми континуумами , 1635) и его Exercitationes geometryae sex ( Шесть геометрических упражнений , 1647). Хотя работа Кавальери установила этот принцип, в своих публикациях он отрицал, что континуум состоит из неделимых элементов, чтобы избежать связанных с этим парадоксов и религиозных противоречий, и не использовал его для поиска ранее неизвестных результатов.

В III веке до нашей эры Архимед , используя метод, напоминающий принцип Кавальери, смог найти объем сферы по объемам конуса и цилиндра в своей работе «Метод механических теорем» . В V веке нашей эры Цзу Чунчжи и его сын Цзу Гэнчжи разработали аналогичный метод определения объема сферы. Переход от неделимой Кавальери к Торричелли «s и Джон Уоллис » s инфинитезималею был важным шагом вперед в истории исчисления . Неделимые были объектами коразмерности 1, так что плоская фигура считалась созданной из бесконечного числа одномерных линий. Между тем бесконечно малые были объектами того же измерения, что и фигура, которую они составляют; таким образом, плоская фигура будет состоять из «параллелограммов» бесконечно малой ширины. Применяя формулу суммы арифметической прогрессии, Уоллис вычислил площадь треугольника, разделив его на бесконечно малые параллелограммы шириной 1 / ∞.

Примеры

Сферы

Поперечное сечение сферы в форме диска имеет ту же площадь, что и поперечное сечение в форме кольца той части цилиндра, которая находится вне конуса.

Если кто-то знает, что объем конуса равен , то можно использовать принцип Кавальери, чтобы вывести тот факт, что объем сферы равен , где - радиус.

Это делается следующим образом: Рассмотрим сферу радиуса и цилиндр радиуса и высоты . Внутри цилиндра находится конус, вершина которого находится в центре одного основания цилиндра, а основание - другое основание цилиндра. Согласно теореме Пифагора , плоскость, расположенная на единицы выше «экватора», пересекает сферу по кругу радиуса и площади . Площадь пересечения плоскости с той частью цилиндра, которая находится вне конуса, также равна . Как мы видим, площадь круга, определяемого пересечением со сферой горизонтальной плоскости, расположенной на любой высоте, равна площади пересечения этой плоскости с частью цилиндра, находящейся «вне» конуса; таким образом, применяя принцип Кавальери, мы могли бы сказать, что объем полусферы равен объему той части цилиндра, которая находится «вне» конуса. Вышеупомянутый объем конуса равен объему цилиндра, таким образом, объем вне конуса является объемом цилиндра. Следовательно, объем верхней половины сферы равен объему цилиндра. Объем цилиндра

(«База» в единицах площади ; «высота» в единицах расстояния . Площадь × расстояние = объем .)

Следовательно, объем верхней полусферы и всей сферы равен .

Конусы и пирамиды

Тот факт, что объем любой пирамиды , независимо от формы основания, будь то круглый, как в случае конуса, или квадрат, как в случае египетских пирамид, или любой другой формы, составляет (1/3) × база × высота, может быть установлена ​​по принципу Кавальери, если знать только то, что это верно в одном случае. Первоначально это можно установить в единственном случае, разделив внутренность треугольной призмы на три пирамидальных компонента равных объемов. Равенство этих трех томов можно показать с помощью принципа Кавальери.

Фактически, принцип Кавальери или аналогичный аргумент бесконечно малых необходим для вычисления объема конусов и даже пирамид, что, по сути, составляет содержание третьей проблемы Гильберта - многогранные пирамиды и конусы не могут быть разрезаны и преобразованы в стандартную форму, а вместо этого должны сравниваться бесконечными (бесконечно малыми) средствами. Древние греки использовали различные методы-предшественники, такие как механические аргументы Архимеда или метод исчерпания, для вычисления этих объемов.

Проблема с кольцом для салфеток

Если отверстие высотой h просверлить прямо через центр сферы, объем оставшейся полосы не будет зависеть от размера сферы. Для большей сферы полоса будет тоньше, но длиннее.

В том, что называется проблемой кольца для салфеток , по принципу Кавальери показано, что когда отверстие просверливается прямо через центр сферы, где оставшаяся полоса имеет высоту h , объем оставшегося материала неожиданно не зависит от размера сфера. Поперечное сечение оставшегося кольца представляет собой плоское кольцо, площадь которого равна разности площадей двух окружностей. По теореме Пифагора площадь одной из двух окружностей равна π, умноженному на r  2  -  y  2 , где r - радиус сферы, y - расстояние от плоскости экватора до плоскости отсечения, а площадь другой окружности равна π умножить на r  2  - ( h / 2) 2 . Когда они вычитаются, r  2 отменяется; отсюда отсутствие зависимости итогового ответа от  r .

Циклоиды

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

Н. Рид показал, как найти область, ограниченную циклоидой , используя принцип Кавальери. Круг радиуса r может катиться по часовой стрелке по линии под ним или против часовой стрелки по линии над ним. Таким образом, точка на окружности очерчивает две циклоиды. Когда круг покатился на определенное расстояние, угол, на который он повернулся бы по часовой стрелке, и угол, на который он повернулся бы против часовой стрелки, одинаковы. Таким образом, две точки, обозначающие циклоиды, находятся на одинаковой высоте. Линия, проходящая через них, поэтому горизонтальна (т. Е. Параллельна двум линиям, по которым катится круг). Следовательно, каждое горизонтальное поперечное сечение круга имеет ту же длину, что и соответствующее горизонтальное поперечное сечение области, ограниченной двумя дугами цилоидов. По принципу Кавальери, круг имеет такую ​​же площадь, что и эта область.

Рассмотрим прямоугольник, ограничивающий одну циклоидную арку. По определению циклоиды, она имеет ширину r и высоту 2 r , поэтому ее площадь в четыре раза больше площади круга. Вычислите площадь внутри этого прямоугольника, который лежит над циклоидной аркой, разделив прямоугольник пополам в средней точке, где арка пересекает прямоугольник, поверните один кусок на 180 ° и наложите на него другую половину прямоугольника. Новый прямоугольник, площадь которого вдвое больше, чем у круга, состоит из области «линзы» между двумя циклоидами, площадь которой, как было вычислено выше, совпадает с площадью круга, и двух областей, образующих область над циклоидной аркой. в исходном прямоугольнике. Таким образом, площадь, ограниченная прямоугольником над единственной полной аркой циклоиды, имеет площадь, равную площади круга, и поэтому площадь, ограниченная аркой, в три раза больше площади круга.

Смотрите также

использованная литература

внешние ссылки