Длина дуги
Длина дуги — это расстояние между двумя точками на участке кривой .
Определение длины сегмента неправильной дуги путем аппроксимации сегмента дуги как связанных (прямых) отрезков линии также называется выпрямлением кривой . Для спрямляемой кривой эти приближения не становятся сколь угодно большими (поэтому кривая имеет конечную длину).
Если кривую можно параметризовать как инъективную и непрерывно дифференцируемую функцию (т. е. производная является непрерывной функцией) , то кривая спрямляема (т. е. имеет конечную длину).
Появление исчисления бесконечно малых привело к появлению общей формулы, которая в некоторых случаях дает решения в замкнутой форме .
Общий подход
[ редактировать ]Кривую конечное на плоскости можно аппроксимировать, соединив число точек кривой с помощью (прямых) отрезков линий для создания многоугольного пути . несложно Поскольку вычислить длину каждого линейного сегмента (например, используя теорему Пифагора в евклидовом пространстве), общую длину приближения можно найти путем суммирования длин каждого линейного сегмента; это приближение известно как (кумулятивное) хордальное расстояние . [1]
Если кривая еще не является многоугольной траекторией, то использование постепенно большего числа сегментов линии меньшей длины приведет к лучшим аппроксимациям длины кривой. Такое определение длины кривой путем аппроксимации кривой соединенными (прямыми) отрезками называется выпрямлением кривой. Длины последовательных приближений не будут уменьшаться и могут бесконечно увеличиваться, но для гладких кривых они будут стремиться к конечному пределу, поскольку длины отрезков становятся сколь угодно малыми .
Для некоторых кривых существует наименьшее число это верхняя граница длины всех полигональных аппроксимаций (ректификации). Эти кривые называются спрямляемыми , а длина дуги определяется как число .
Длина дуги со знаком может быть определена, чтобы передать ощущение ориентации или «направления» относительно опорной точки, принятой в качестве начала кривой (см. Также: ориентация кривой и расстояние со знаком ). [2]
Формула плавной кривой
[ редактировать ]Позволять быть инъективной и непрерывно дифференцируемой (т. е. производная является непрерывной функцией) функцией. Длина кривой определяется формулой можно определить как предел суммы длин линейных отрезков регулярного разбиения поскольку число сегментов приближается к бесконечности. Это означает
где с для Это определение эквивалентно стандартному определению длины дуги как целого числа:
Последнее равенство доказывается следующими шагами:
- Вторая фундаментальная теорема исчисления показывает где над карты в и . На следующем шаге используется следующее эквивалентное выражение.
- Функция является непрерывной функцией из отрезка множеству действительных чисел, таким образом, оно равномерно непрерывно согласно теореме Гейне – Кантора , поэтому существует положительная действительная и монотонно неубывающая функция положительных действительных чисел такой, что подразумевает где и . Давайте рассмотрим предел следующей формулы,
С учетом приведенного выше результата шага становится
Термины переставляются так, что становится
где в крайнем левом углу используется. К для так что , это становится
с , , и . В пределе так таким образом, левая сторона подходы . Другими словами, в этом пределе, и правая часть этого равенства представляет собой не что иное, как интеграл Римана от на Это определение длины дуги показывает, что длина кривой, представленной непрерывно дифференцируемой функцией на всегда конечно, т. е. спрямляемо .
Определение длины дуги гладкой кривой как интеграла от нормы производной эквивалентно определению
где верхняя грань берется по всем возможным разбиениям из [3] Это определение как верхняя граница всех возможных сумм разбиения также справедливо, если является просто непрерывным, а не дифференцируемым.
Кривую можно параметризовать бесконечным множеством способов. Позволять быть любой непрерывно дифференцируемой биекцией . Затем - это еще одна непрерывно дифференцируемая параметризация кривой, первоначально заданная формулой Длина дуги кривой одинакова независимо от параметризации, используемой для определения кривой:
Нахождение длин дуг путем интегрирования
[ редактировать ]Если плоская кривая в определяется уравнением где , непрерывно дифференцируемо то это просто частный случай параметрического уравнения, где и Евклидово расстояние каждого бесконечно малого сегмента дуги можно определить по формуле:
Тогда длина дуги определяется как:
Кривые с решениями в замкнутой форме для длины дуги включают цепную линию , окружность , циклоиду , логарифмическую спираль , параболу , полукубическую параболу и прямую линию . Отсутствие решения в замкнутой форме для длины дуги эллиптической и гиперболической дуги привело к разработке эллиптических интегралов .
Численное интегрирование
[ редактировать ]В большинстве случаев, включая даже простые кривые, не существует решений для длины дуги в замкнутой форме, и численное интегрирование необходимо . Численное интегрирование интеграла длины дуги обычно очень эффективно. Например, рассмотрим задачу нахождения длины четверти единичного круга путем численного интегрирования интеграла длины дуги. Верхняя половина единичного круга может быть параметризована как Интервал соответствует четверти круга. С и длина четверти единичного круга равна
Оценка 15-точечного правила Гаусса–Кронрода для этого интеграла 1,570 796 326 808 177 отличается от истинной длины
на 1,3 × 10 −11 из 16 точек, Гаусса а оценка квадратурного правила равная 1,570 796 326 794 727, отличается от истинной длины всего на 1,7 × 10 −13 . Это означает, что этот интеграл можно вычислить почти с машинной точностью, выполнив всего 16 вычислений.
Кривая на поверхности
[ редактировать ]Позволять — отображение поверхности и пусть быть кривой на этой поверхности. Подынтегральная функция интеграла длины дуги равна Для вычисления производной требуется правило цепочки для векторных полей:
Квадрат нормы этого вектора равен
(где — первый коэффициент фундаментальной формы ), поэтому подынтегральное выражение интеграла длины дуги можно записать как (где и ).
Другие системы координат
[ редактировать ]Позволять быть кривой, выраженной в полярных координатах. Отображение, которое преобразует полярные координаты в прямоугольные координаты, имеет вид
Подынтегральная функция интеграла длины дуги равна Цепное правило для векторных полей показывает, что Таким образом, квадрат подынтегральной функции интеграла длины дуги равен
Итак, для кривой, выраженной в полярных координатах, длина дуги равна:
Второе выражение относится к полярному графику. параметризованный .
Теперь позвольте быть кривой, выраженной в сферических координатах, где - полярный угол, измеренный от положительного -ось и - азимутальный угол. Отображение, которое преобразует сферические координаты в прямоугольные координаты, имеет вид
Повторное использование правила цепочки показывает, что Все скалярные произведения где и различия равны нулю, поэтому квадрат нормы этого вектора равен
Таким образом, для кривой, выраженной в сферических координатах, длина дуги равна
Очень похожий расчет показывает, что длина дуги кривой, выраженная в цилиндрических координатах, равна
Простые случаи
[ редактировать ]Дуги кругов
[ редактировать ]Длины дуг обозначаются буквой s , поскольку длина (или размер) на латыни — spatium .
В следующих строках представляет радиус круга , собой это его диаметр , это его окружность , - длина дуги окружности, а - угол, под которым дуга образует центр круга. Расстояния и выражаются в одних и тех же единицах.
- что то же самое, что Это уравнение является определением
- Если дуга представляет собой полукруг , то
- Для произвольной дуги окружности:
- Если это в радианах тогда Это определение радиана.
- Если в градусах , тогда что то же самое, что
- Если в градах (100 град, или град, или граданы — это один прямой угол ), то что то же самое, что
- Если по очереди (один оборот — это полный оборот, или 360°, или 400 град, или радиан), тогда .
Большие круги на Земле
[ редактировать ]Две единицы длины, морская миля и метр (или километр), были первоначально определены таким образом, чтобы длины дуг больших кругов на поверхности Земли были просто численно связаны с углами, которые они образуют в ее центре. Простое уравнение применяется в следующих случаях:
- если находится в морских милях, и находится в угловых минутах ( 1/60 , градуса ) или
- если находится в километрах, а находится в граданах .
Длины единиц расстояний были выбраны так, чтобы окружность Земли была равна 40 000 километров, или 21 600 морских миль. Это количество соответствующих угловых единиц за один полный оборот.
Эти определения метра и морской мили были заменены более точными, но первоначальные определения по-прежнему достаточно точны для концептуальных целей и некоторых расчетов. Например, они подразумевают, что один километр равен ровно 0,54 морской мили. Согласно официальным современным определениям, одна морская миля равна ровно 1,852 километра. [4] из чего следует, что 1 километр равен примерно 0,539 956 80 морских миль. [5] Это современное соотношение отличается от рассчитанного на основе первоначальных определений менее чем на одну десятитысячную часть.
Другие простые случаи
[ редактировать ]- Архимедова спираль § Длина дуги
- Циклоида § Длина дуги
- Эллипс § Длина дуги
- Спираль § Длина дуги
- Парабола § Длина дуги
- Синус и косинус § Длина дуги
- Треугольная волна § Длина дуги
Исторические методы
[ редактировать ]Античность
[ редактировать ]На протяжении большей части истории математики даже величайшие мыслители считали невозможным вычислить длину неправильной дуги. Хотя Архимед » первым нашел способ определения площади под кривой с помощью своего « метода истощения , мало кто верил, что кривые вообще могут иметь определенную длину, как и прямые линии. Первые основы в этой области были заложены, как это часто бывает в исчислении , путем аппроксимации . Люди начали вписывать в кривые многоугольники и вычислять длины сторон для более точного измерения длины. Используя больше сегментов и уменьшая длину каждого сегмента, они смогли получить все более и более точное приближение. В частности, вписав в круг многоугольник со многими сторонами, они смогли найти приблизительные значения π . [6] [7]
17 век
[ редактировать ]В 17 веке метод истощения привел к исправлению геометрическими методами нескольких трансцендентных кривых : логарифмической спирали Евангелисты Торричелли в 1645 году (некоторые источники говорят, что Джон Уоллис в 1650-х годах), циклоиды Кристофера Рена в 1658 году и контактная сеть Готфрида Лейбница в 1691 году.
В 1659 году Уоллис приписал Уильяму Нилу открытие первого ректификации нетривиальной алгебраической кривой , полукубической параболы . [8] Сопровождающие рисунки приведены на странице 145. На странице 91 Уильям Нейл упоминается как Гулиэльмус Нелиус .
Интегральная форма
[ редактировать ]До полного формального развития исчисления основа современной интегральной формы длины дуги была независимо открыта Хендриком ван Эраэтом и Пьером де Ферма .
В 1659 г. ван Хёрэ опубликовал конструкцию, показывающую, что задачу определения длины дуги можно преобразовать в задачу определения площади под кривой (т. е. интеграла). В качестве примера своего метода он определил длину дуги полукубической параболы, для чего потребовалось найти площадь под параболой . [9] В 1660 году Ферма опубликовал более общую теорию, содержащую тот же результат, в своей геометрической диссертации о кривых линиях по сравнению с прямыми. [10]
Основываясь на своей предыдущей работе с касательными, Ферма использовал кривую
которой касательная в x = a имела наклон точке
поэтому касательная линия будет иметь уравнение
Затем он увеличил a немного до a + ε , сделав отрезок AC относительно хорошим приближением длины кривой A до D. от Чтобы найти длину отрезка AC , он использовал теорему Пифагора :
что при решении дает
Чтобы приблизительно определить длину, Ферма суммировал последовательность коротких отрезков.
Кривые бесконечной длины
[ редактировать ]Как упоминалось выше, некоторые кривые являются неспрямляемыми. То есть не существует верхней границы длины полигональных аппроксимаций; длину можно сделать сколь угодно большой . Неформально говорят, что такие кривые имеют бесконечную длину. Существуют непрерывные кривые, на которых каждая дуга (кроме одноточечной дуги) имеет бесконечную длину. Примером такой кривой является кривая Коха . Другим примером кривой бесконечной длины является график функции, определяемой формулой f ( x ) = x sin(1/ x ) для любого открытого множества с 0 в качестве одного из его разделителей и f (0) = 0. Иногда функция Хаусдорфа размерность и мера Хаусдорфа используются для количественной оценки размера таких кривых.
Обобщение на (псевдо)римановы многообразия.
[ редактировать ]Позволять многообразие — (псевдо)риманово , (псевдо-) метрический тензор , кривая в определяется параметрические уравнения
и
Длина , определяется как
- ,
или, выбрав локальные координаты ,
- ,
где
- касательный вектор в Знак квадратного корня выбирается один раз для данной кривой, чтобы гарантировать, что квадратный корень является действительным числом. Положительный знак выбирается для пространственноподобных кривых; в псевдоримановом многообразии отрицательный знак может быть выбран для времяподобных кривых. Таким образом, длина кривой является неотрицательным действительным числом. Обычно не рассматриваются кривые, частично пространственноподобные и частично времяподобные.
В теории относительности длина дуги времяподобных кривых ( мировых линий ) — это собственное время, прошедшее вдоль мировой линии, а длина дуги пространственноподобной кривой — это собственное расстояние вдоль этой кривой.
См. также
[ редактировать ]- Дуга (геометрия)
- Окружность
- Формула Крофтона
- Эллиптический интеграл
- Геодезика
- Внутреннее уравнение
- Интегральные приближения
- Линейный интеграл
- Меридианная дуга
- Многомерное исчисление
- Извилистость
Ссылки
[ редактировать ]- ^ Альберг; Нильсон (1967). Теория сплайнов и их приложения . Академическая пресса. п. 51 . ISBN 9780080955452 .
- ^ Несторидис, Василий; Пападопулос, Атанас (2017). «Длина дуги как глобальный конформный параметр аналитических кривых» . Журнал математического анализа и приложений . 445 (2). Эльзевир Б.В.: 1505–1515. дои : 10.1016/j.jmaa.2016.02.031 . ISSN 0022-247X .
- ^ Рудин, Уолтер (1976). Принципы математического анализа . McGraw-Hill, Inc., стр. 137 . ISBN 978-0-07-054235-8 .
- ^ Сапли, Курт (2 июля 2009 г.). «Специальное издание 811» . nist.gov .
- ^ Справочник CRC по химии и физике , стр. Ф-254
- ^ Ричесон, Дэвид (май 2015 г.). «Круговое рассуждение: кто первым доказал, что C, разделенное на d, является константой?». Математический журнал колледжа . 46 (3): 162–171. дои : 10.4169/college.math.j.46.3.162 . ISSN 0746-8342 . S2CID 123757069 .
- ^ Кулидж, Дж. Л. (февраль 1953 г.). «Длины кривых». Американский математический ежемесячник . 60 (2): 89–93. дои : 10.2307/2308256 . JSTOR 2308256 .
- ^ Уоллис, Джон (1659). Трактат второй Прайор, О циклоиде и о телах, порожденных оттуда... . Оксфорд: Университетское издательство. стр. 91–96.
- ^ ван Хёрэт, Хендрик (1659). «Письмо о превращении кривых линий в прямые». Ренато Де-Карт Геометрия (2-е изд.). Амстердам: Луи и Даниэль Эльзевир. стр. 517–520.
- ^ МПЭАС (псевдоним Ферма) (1660 г.). О сравнении кривых линий с прямыми Геометрическая диссертация . Тулуза: Арно Коломер.
Источники
[ редактировать ]- Фаруки, Рида Т. (1999). «Кривые из движения, движение из кривых». Ин Лоран, П.-Ж.; Саблоньер, П.; Шумейкер, LL (ред.). Проектирование кривых и поверхностей: Сен-Мало, 1999 . Университет Вандербильта. Нажимать. стр. 63–90. ISBN 978-0-8265-1356-4 .
Внешние ссылки
[ редактировать ]- «Спрямляемая кривая» , Математическая энциклопедия , EMS Press , 2001 [1994]
- История кривизны
- Вайсштейн, Эрик В. «Длина дуги» . Математический мир .
- Длина дуги Эда Пегга-младшего , Демонстрационный проект Вольфрама , 2007.
- Учебное пособие по математическому анализу – Длина дуги (выпрямление)
- Указатель знаменитых кривых Архив истории математики MacTutor
- Приближение длины дуги , Чад Пирсон, Джош Фриц и Анджела Шарп, Демонстрационный проект Wolfram .
- Эксперимент с длиной кривой Иллюстрирует численное решение определения длины кривой.