Метод механических теорем ( греч . : Περὶ μηχανικῶν θεωρημάτων πρὸς Ἐρατοσθένη ἔφοδος ), также называемый «Методом» , считается одной из основных сохранившихся работ древнегреческого эрудита Архимеда . Метод принимает форму письма от Архимеда до Эратосфена , [1] главный библиотекарь в библиотеке Александрии , и содержит первое заверенного явного использования неделимых (иногда называют инфинитезималями ). [1] [2]Первоначально эта работа считалась утерянной, но в 1906 году была вновь обнаружена в знаменитом Архимедовом палимпсесте . Палимпсест включает в себя описание Архимеда «механического метода», названного так потому, что он опирается на закон рычага , который впервые был продемонстрирован Архимедом, и центра масс (или центроида ), который он нашел для многих специальных формы.
Архимед не признавал метод неделимых как часть строгой математики и поэтому не публиковал свой метод в официальных трактатах, содержащих результаты. В этих трактатах он доказывает те же теоремы методом исчерпания , находя строгие верхние и нижние оценки, которые обе сходятся к требуемому ответу. Тем не менее именно механический метод был тем, что он использовал для открытия соотношений, которым он позже дал строгие доказательства.
Площадь параболы
Чтобы объяснить метод Архимеда сегодня, удобно использовать немного декартовой геометрии, хотя в то время это, конечно, было недоступно. Его идея состоит в том, чтобы использовать закон рычага для определения площадей фигур по известному центру масс других фигур. Самый простой пример на современном языке - это область параболы. Архимед использует более элегантный метод, но на картезианском языке его метод вычисляет интеграл
что в настоящее время легко проверить с помощью элементарного интегрального исчисления .
Идея состоит в том, чтобы механически сбалансировать параболу (изогнутая область, интегрированная выше) с определенным треугольником, сделанным из того же материала. Парабола - это область в самолет между -ось и кривая в виде изменяется от 0 до 1. Треугольник - это область в одной плоскости между -ось и линия , также как варьируется от 0 до 1.
Разрежьте параболу и треугольник на вертикальные срезы, по одному для каждого значения . Представьте себе, что-ось - рычаг, с точкой опоры на . Закон рычага гласит , что два объекта на противоположных сторонах опоры будет балансировать , если каждый из них имеет один и тот же крутящий момент , когда крутящий момент объекта равен его раз веса ее расстояние до точки опоры. Для каждого значения, срез треугольника в позиции имеет массу, равную его высоте , и находится на расстоянии от точки опоры; таким образом, он уравновесил бы соответствующий кусок параболы высотой, если последние были перемещены в , на расстоянии 1 по другую сторону от точки опоры.
Поскольку каждая пара срезов уравновешивается, перемещение всей параболы к уравновесит весь треугольник. Это означает, что если исходная неразрезанная парабола висит на крючке за острие (чтобы вся масса параболы была прикреплена к этой точке), она уравновесит треугольник, расположенный между а также .
Центр масс треугольника можно легко найти с помощью следующего метода, тоже принадлежащего Архимеду. Если срединная линия проведена от одной из вершин треугольника к противоположному краю, треугольник будет балансировать на медиане, рассматриваемой как точка опоры. Причина в том, что если треугольник разделен на бесконечно малые отрезки, параллельные, каждый сегмент имеет одинаковую длину по разные стороны от медианы, поэтому баланс следует симметрии. Этот аргумент можно легко сделать строгим, исчерпав его, используя маленькие прямоугольники вместо бесконечно малых линий, и именно это делает Архимед в « О равновесии плоскостей» .
Таким образом, центр масс треугольника должен находиться в точке пересечения медиан. Для рассматриваемого треугольника одна медиана - это линия, а вторая медиана - это линия . Решая эти уравнения, мы видим, что пересечение этих двух медиан находится выше точки, так что общий эффект треугольника на рычаг такой, как если бы вся масса треугольника давила на эту точку (или свисала с нее). Суммарный крутящий момент, создаваемый треугольником, равен его площади 1/2, умноженной на расстояние 2/3 его центра масс от точки опоры.. Этот крутящий момент 1/3 уравновешивает параболу, которая находится на расстоянии 1 от точки опоры. Следовательно, площадь параболы должна быть 1/3, чтобы дать ей противоположный крутящий момент.
Этот тип метода может использоваться, чтобы найти площадь произвольного участка параболы, и аналогичные аргументы могут использоваться, чтобы найти интеграл любой степени , хотя без алгебры высшие степени усложняются. Архимед дошел только до интеграла, который он использовал, чтобы найти центр масс полушария, а в другой работе - центр масс параболы.
Первое предложение в палимпсесте
Рассмотрим параболу на рисунке справа. Выберите две точки на параболе и называть их А и Б .
Предположим, что отрезок AC параллелен оси симметрии параболы. Далее предположим , что отрезок BC лежит на линии, касательной к параболе в B . Первое предложение гласит:
- Площадь треугольника ABC ровно в три раза больше площади, ограниченной параболой и секущей AB .
- Доказательство :
Пусть D - середина AC . Построить отрезок линии JB через D , где расстояние от J до D равно расстоянию от B до D . Мы будем думать о сегменте JB как о «рычаге» с точкой опоры D. Как ранее показал Архимед, центр масс треугольника находится в точке I на «рычаге», где DI : DB = 1: 3. Следовательно, достаточно показать, что если весь вес внутренней части треугольника опирается на I , а весь вес секции параболы на J , рычаг находится в равновесии.
Рассмотрим бесконечно малое поперечное сечение треугольника, заданного отрезком HE , где точка H лежит на BC , точка E лежит на AB , а HE параллельна оси симметрии параболы. Вызвать пересечение HE и параболу F и пересечение HE и рычаг G . Если весь вес треугольника опирается на I , он оказывает на рычаг JB такой же крутящий момент, как и на HE . Таким образом, мы хотим показать, что если вес поперечного сечения HE опирается на G, а вес поперечного сечения EF сечения параболы лежит на J , то рычаг находится в равновесии. Другими словами, достаточно показать, что EF : GD = EH : JD . Но это обычное следствие уравнения параболы. QED
Объем шара
Опять же, чтобы осветить механический метод, удобно использовать немного координатной геометрии. Если поместить сферу радиуса 1 с центром в точке x = 1, радиус вертикального поперечного сеченияпри любом x от 0 до 2 определяется по следующей формуле:
Масса этого поперечного сечения для балансировки на рычаге пропорциональна площади:
Затем Архимед рассмотрел возможность поворота треугольной области между y = 0 и y = x и x = 2 на плоскости x - y вокруг оси x , чтобы сформировать конус. Поперечное сечение этого конуса представляет собой окружность радиуса
а площадь этого поперечного сечения равна
Так что, если кусочки конуса и сферы , как должны быть взвешены вместе, суммарная площадь поперечного сечения:
Если два среза разместить вместе на расстоянии 1 от точки опоры, их общий вес будет точно уравновешен кругом площади на расстоянии x от точки опоры с другой стороны. Это означает, что конус и сфера вместе, если бы весь их материал был перемещен в положение x = 1 , уравновесили бы цилиндр с радиусом основания 1 и длиной 2 с другой стороны.
Поскольку x находится в диапазоне от 0 до 2, центр тяжести цилиндра будет находиться на расстоянии 1 от точки опоры, поэтому можно считать, что весь вес цилиндра находится в положении 1. Условие баланса гарантирует, что объем конуса плюс объем шара равен объему цилиндра.
Объем цилиндра - это площадь поперечного сечения, умножить на высоту, которая равна 2, или . Архимед мог также найти объем конуса, используя механический метод, поскольку, говоря современным языком, задействованный интеграл точно такой же, как и интеграл для площади параболы. Объем конуса равен 1/3 площади основания, умноженной на высоту. Основание конуса представляет собой круг радиуса 2 с площадью, а высота равна 2, поэтому площадь . Вычитание объема конуса из объема цилиндра дает объем сферы:
Зависимость объема сферы от радиуса очевидна из масштабирования, хотя в то время это было нетривиально сделать строго. Затем метод дает знакомую формулу для объема сферы . Масштабируя размеры линейно, Архимед легко расширил объем до сфероидов .
Аргумент Архимеда почти идентичен приведенному выше аргументу, но его цилиндр имел больший радиус, так что конус и цилиндр висели на большем расстоянии от точки опоры. Он считал этот аргумент своим величайшим достижением, прося, чтобы на его надгробной плите была выгравирована соответствующая фигура сбалансированной сферы, конуса и цилиндра.
Площадь поверхности шара
Чтобы найти площадь поверхности сферы, Архимед утверждал, что точно так же, как площадь круга можно представить себе как бесконечное множество бесконечно малых прямоугольных треугольников, идущих по окружности (см. Измерение круга ), можно представить себе объем сферы. как разделенный на множество конусов с высотой, равной радиусу и основанием на поверхности. Все конусы имеют одинаковую высоту, поэтому их объем равен 1/3 площади основания, умноженной на высоту.
Архимед утверждает, что общий объем сферы равен объему конуса, основание которого имеет ту же площадь поверхности, что и сфера, а высота - радиус. Нет никаких подробностей для аргументации, но очевидная причина состоит в том, что конус можно разделить на бесконечно малые конусы, разделив базовую площадь наверх, и каждый конус вносит свой вклад в соответствии со своей базовой площадью, точно так же, как и в сфере. .
Пусть поверхность сферы будет S . Объем конуса с площадью основания S и высотой r равен, который должен равняться объему сферы: . Следовательно, площадь поверхности шара должна быть, или «четырехкратный наибольший круг». Архимед строго доказывает это в своей книге « На сфере и цилиндре» .
Криволинейные формы с рациональными объемами
Одна из замечательных особенностей этого метода заключается в том, что Архимед находит две формы, определяемые секциями цилиндров, объем которых не включает, несмотря на то, что формы имеют криволинейные границы. Это центральный момент исследования - некоторые криволинейные формы можно исправить с помощью линейки и циркуля, так что существуют нетривиальные рациональные отношения между объемами, определяемыми пересечениями геометрических тел.
Архимед подчеркивает это в начале трактата и предлагает читателю попытаться воспроизвести результаты каким-либо другим методом. В отличие от других примеров, объем этих форм не вычисляется строго ни в одной из его других работ. Из фрагментов палимпсеста следует, что Архимед действительно вписывал и описывал формы, чтобы доказать строгие границы объема, хотя детали не сохранились.
Две формы, которые он рассматривает, являются пересечением двух цилиндров под прямым углом ( бицилиндр ), который является областью ( x , y , z ), подчиняющейся:
Для пересечения двух цилиндров разрез теряется в рукописи, но его можно очевидным образом восстановить параллельно с остальной частью документа: если плоскость xz является направлением среза, уравнения для цилиндра дают, что пока , который определяет область, которая представляет собой квадрат в плоскости x - z со стороной, чтобы общий объем был:
Другие предложения в палимпсесте
Ряд предложений геометрии доказывается в палимпсесте аналогичными аргументами. Одна из теорем гласит, что центр масс полусферы находится на 5/8 пути от полюса до центра сферы. Эта проблема примечательна тем, что вычисляется кубический интеграл.
Смотрите также
Рекомендации
- ^ a b Архимед (1912), Метод Архимеда, недавно открытый Хейбергом; Приложение к Работам Архимеда , переведенное Томасом Литтл Хитом , Cambridge University Press
- ^ Нетц, Ревиль ; Сайто, Кен; Чернецкая, Натали (2001), «Новое прочтение предложения метода 14: предварительное свидетельство из палимпсеста Архимеда, I», Sciamvs , 2 : 9–29, MR 1837052
- ^ Hogendijk, Ян (2002), "Площадь поверхности бицилиндр и Архимед метода ", Хистория Mathematica , 29 (2): 199-203, DOI : 10,1006 / hmat.2002.2349 , МР 1896975