В математике эллипс — это плоская кривая, окружающая две фокусные точки , так что для всех точек на кривой сумма двух расстояний до фокусных точек является константой. Он обобщает окружность , которая является особым типом эллипса, в котором две фокусные точки одинаковы. Удлинение эллипса измеряется его эксцентриситетом , числом в диапазоне от ( предельный случай окружности) до (предельный случай бесконечного удлинения, уже не эллипс, а парабола ).
Аналитически уравнение стандартного эллипса с центром в начале координат, шириной и высотой имеет вид:
Предполагая , что фокусы равны для . Стандартное параметрическое уравнение имеет вид:
Эллипсы — это замкнутый тип конического сечения : плоская кривая, прочерчивающая пересечение конуса с плоскостью ( см. рисунок). Эллипсы имеют много общего с двумя другими формами конических сечений, параболами и гиперболами , обе из которых открыты и неограниченны . Угловое поперечное сечение прямого кругового цилиндра также является эллипсом.
Эллипс также может быть определен в терминах одной фокусной точки и линии вне эллипса, называемой директрисой: для всех точек эллипса отношение расстояния до фокуса к расстоянию до директрисы является константой. Это постоянное отношение и есть вышеупомянутый эксцентриситет:
Эллипсы распространены в физике , астрономии и технике . Например, орбита каждой планеты в Солнечной системе представляет собой приблизительно эллипс с Солнцем в одной точке фокуса (точнее, фокус является барицентром пары Солнце–планета). То же самое верно для лун, вращающихся вокруг планет, и всех других систем из двух астрономических тел. Формы планет и звезд часто хорошо описываются эллипсоидами . Круг, рассматриваемый под боковым углом, выглядит как эллипс: то есть эллипс является изображением круга при параллельной или перспективной проекции . Эллипс также является простейшей фигурой Лиссажу, образованной, когда горизонтальные и вертикальные движения являются синусоидами с одинаковой частотой: аналогичный эффект приводит к эллиптической поляризации света в оптике .
Название ἔλλειψις ( élleipsis , «упущение») было дано Аполлонием Пергским в его «Кониках» .
Определение как геометрическое место точек
Эллипс можно геометрически определить как множество или геометрическое место точек на евклидовой плоскости:
Если заданы две фиксированные точки, называемые фокусами, и расстояние , которое больше расстояния между фокусами, то эллипс — это множество точек , сумма расстояний между которыми равна :
Середина отрезка, соединяющего фокусы, называется центром эллипса . Прямая, проходящая через фокусы, называется большой осью , а перпендикулярная ей прямая, проходящая через центр, — малой осью .Большая ось пересекает эллипс в двух вершинах , которые имеют расстояние до центра. Расстояние фокусов до центра называется фокусным расстоянием или линейным эксцентриситетом. Частное — это эксцентриситет .
В этом случае получается круг, который рассматривается как особый тип эллипса.
Уравнение можно рассматривать по-другому (см. рисунок):
Если — окружность с центром и радиусом , то расстояние от точки до окружности равно расстоянию до фокуса :
называется круговой директрисой (связанной с фокусом ) эллипса. [1] [2] Это свойство не следует путать с определением эллипса с использованием линии директрисы ниже.
Используя сферы Данделина , можно доказать, что любое сечение конуса плоскостью является эллипсом, предполагая, что плоскость не содержит вершины и имеет наклон меньше, чем наклон линий на конусе.
В декартовых координатах
Стандартное уравнение
Стандартная форма эллипса в декартовых координатах предполагает, что начало координат является центром эллипса, ось x является большой осью и:
фокусы - это точки ,
вершины — .
Для произвольной точки расстояние до фокуса равно , а до другого фокуса . Следовательно, точка находится на эллипсе всякий раз, когда:
Удаление радикалов с помощью подходящих возведений в квадрат и использование (см. диаграмму) приводит к стандартному уравнению эллипса: [3]
или, решенному относительно y :
Параметры ширины и высоты называются большой и малой полуосью . Верхняя и нижняя точки являются ковершинами . Расстояния от точки на эллипсе до левого и правого фокусов равны и .
Из уравнения следует, что эллипс симметричен относительно осей координат и, следовательно, относительно начала координат.
В принципе, каноническое уравнение эллипса может иметь (и, следовательно, эллипс будет больше в высоту, чем в ширину). Эту форму можно преобразовать в стандартную, переставив имена переменных и и имена параметров и
Линейный эксцентриситет
Это расстояние от центра до фокуса: .
Эксцентриситет
Эксцентриситет можно выразить как:
Предположим, что эллипс с равными осями ( ) имеет нулевой эксцентриситет и является окружностью.
Полуширокая прямая кишка
Длина хорды, проходящей через один фокус, перпендикулярно большой оси, называется latus rectum . Одна ее половина — это semi-latus rectum . Расчет показывает: [4]
Полуширина прямой кишки равна радиусу кривизны в вершинах (см. раздел Кривизна).
Тангенс
Произвольная линия пересекает эллипс в 0, 1 или 2 точках, которые называются соответственно внешней линией , касательной и секущей . Через любую точку эллипса проходит единственная касательная. Касательная в точке эллипса имеет координатное уравнение:
Доказательство:
Пусть будет точкой на эллипсе и будет уравнением любой прямой, содержащей . Подставляя уравнение прямой в уравнение эллипса и учитывая, получаем:
Тогда возможны случаи:
Тогда прямая и эллипс имеют только общую точку, и является касательной. Направление касательной имеет перпендикулярный вектор , поэтому касательная прямая имеет уравнение для некоторого . Поскольку находится на касательной и эллипсе, получаем .
Тогда прямая имеет вторую общую точку с эллипсом и является секущей.
Используя (1), находим, что — касательный вектор в точке , что доказывает векторное уравнение.
Если и — две точки эллипса, такие, что , то точки лежат на двух сопряженных диаметрах (см. ниже). (Если , то эллипс является окружностью, а «сопряжённый» означает «ортогональный».)
Смещенный эллипс
Если стандартный эллипс смещен так, чтобы его центр был равен , то его уравнение будет иметь вид
Тогда эллипс является невырожденным действительным эллипсом тогда и только тогда, когда C∆ < 0. Если C∆ > 0, то мы имеем мнимый эллипс, а если ∆ = 0, то мы имеем точечный эллипс. [7] : 63
Коэффициенты общего уравнения можно получить из известных большой полуоси , малой полуоси , координат центра и угла поворота (угол между положительной горизонтальной осью и большой осью эллипса) с помощью формул:
Эти выражения можно вывести из канонического уравнения
путем евклидова преобразования координат :
Наоборот, параметры канонической формы могут быть получены из коэффициентов общей формы с помощью уравнений: [3]
Используя тригонометрические функции , параметрическое представление стандартного эллипса выглядит следующим образом:
Параметр t (называемый в астрономии эксцентрической аномалией ) не является углом с осью x , но имеет геометрическое значение, определенное Филиппом де Ла Гиром (см. § Рисование эллипсов ниже). [8]
Рациональное представление
С помощью подстановки и тригонометрических формул получаем
и рациональное параметрическое уравнение эллипса
которая покрывает любую точку эллипса, кроме левой вершины .
Для этой формулы представляет собой правую верхнюю четверть эллипса, движущегося против часовой стрелки с увеличением Левая вершина является пределом
С другой стороны, если параметр рассматривается как точка на действительной проективной прямой , то соответствующая рациональная параметризация имеет вид
Здесь - наклон касательной в соответствующей точке эллипса, - верхняя и нижняя половины эллипса. Вершины , имеющие вертикальные касательные, не охватываются представлением.
Уравнение касательной в точке имеет вид . Пока неизвестное можно определить, подставив координаты соответствующей точки эллипса :
Это описание касательных эллипса является существенным инструментом для определения ортоптики эллипса . Ортоптическая статья содержит другое доказательство, без дифференциального исчисления и тригонометрических формул.
Любой эллипс является аффинным образом единичной окружности с уравнением .
Параметрическое представление
Аффинное преобразование евклидовой плоскости имеет вид , где — регулярная матрица (с ненулевым определителем ), а — произвольный вектор. Если — векторы-столбцы матрицы , то единичная окружность , , отображается на эллипс:
Здесь находится центр и — направления двух сопряженных диаметров , в общем случае не перпендикулярные.
Вершины
Четыре вершины эллипса равны , для параметра, определяемого как:
(Если , то .) Это выводится следующим образом. Касательный вектор в точке равен:
При параметре вершины касательная перпендикулярна большой/малой осям, поэтому:
Разложение и применение тождеств дает уравнение для
Область
Из теоремы Аполлония (см. ниже) получаем: Площадь эллипса равна
Полуоси
С сокращениями утверждения теоремы Аполлония можно записать так:
Решение этой нелинейной системы относительно дает полуоси:
Неявное представление
Решая параметрическое представление для по правилу Крамера и используя , получаем неявное представление
эллипса с центром в начале координат, то два вектора
указывают на две сопряженные точки и применимы разработанные выше инструменты.
Пример : Для эллипса с уравнением векторы равны
Повернутый стандартный эллипс
Для получаем параметрическое представление стандартного эллипса, повернутого на угол :
Эллипс в пространстве
Определение эллипса в этом разделе дает параметрическое представление произвольного эллипса, даже в пространстве, если допустить, что это векторы в пространстве.
Полярные формы
Полярная форма относительно центра
В полярных координатах , с началом в центре эллипса и с угловой координатой, отсчитываемой от большой оси, уравнение эллипса имеет вид [7] : 75
, где — эксцентриситет, а не число Эйлера.
Полярная форма относительно фокуса
Если вместо этого мы используем полярные координаты с началом в одном фокусе, при этом угловая координата по-прежнему измеряется от большой оси, то уравнение эллипса будет иметь вид
где знак в знаменателе отрицательный, если направление отсчета указывает к центру (как показано справа), и положительный, если это направление указывает от центра.
Каждая из двух линий, параллельных малой оси и находящихся на расстоянии от нее, называется директрисой эллипса (см. рисунок).
Для произвольной точки эллипса частное от деления расстояния до одного фокуса и до соответствующей ему директрисы (см. рисунок) равно эксцентриситету:
Доказательство для пары следует из того факта, что и удовлетворяют уравнению
Второй случай доказывается аналогично.
Обратное утверждение также верно и может быть использовано для определения эллипса (аналогично определению параболы):
Для любой точки (фокуса), любой прямой (директрисы), не проходящей через , и любого действительного числа с эллипсом, является геометрическим местом точек, для которых частное от деления расстояний до точки и до прямой равно :
Расширение до , которое является эксцентриситетом окружности, не допускается в этом контексте в евклидовой плоскости. Однако можно считать директрису окружности прямой на бесконечности в проективной плоскости .
(Выбор дает параболу, а если , то гиперболу.)
Доказательство
Пусть , и предположим, что это точка на кривой. Директриса имеет уравнение . При , отношение производит уравнения
и
Замена дает
Это уравнение эллипса ( ) , или параболы ( ), или гиперболы ( ). Все эти невырожденные коники имеют, как общее, начало координат в качестве вершины (см. диаграмму).
Если ввести новые параметры так, чтобы , и тогда уравнение выше становится
которое представляет собой уравнение эллипса с центром , осью x в качестве большой оси и большой/малой полуосью .
Построение директрисы
Из-за точки директрисы (см. диаграмму) и фокуса инверсны по отношению к инверсии окружности в окружности (на диаграмме зелёный). Следовательно, можно построить так, как показано на диаграмме. Директриса — это перпендикуляр к главной оси в точке .
Общий эллипс
Если фокус и директриса , то получаем уравнение
(В правой части уравнения для расчета расстояния используется нормальная форма Гессе для линии .)
Свойство отражения от фокуса к фокусу
Эллипс обладает следующим свойством:
Нормаль в точке делит угол между прямыми пополам .
Доказательство
Поскольку касательная перпендикулярна нормали, эквивалентным утверждением является то, что касательная является биссектрисой внешнего угла линий к фокусам (см. диаграмму). Пусть будет точкой на линии с расстоянием до фокуса , где - большая полуось эллипса. Пусть линия будет биссектрисой внешнего угла линий и Возьмем любую другую точку на По неравенству треугольника и теореме о биссектрисе угла , поэтому должна быть вне эллипса. Поскольку это верно для каждого выбора пересекает эллипс только в одной точке , то должна быть касательная.
Приложение
Лучи из одного фокуса отражаются эллипсом во второй фокус. Это свойство имеет оптические и акустические приложения, аналогичные отражательному свойству параболы (см. галерею шепота ).
Кроме того, из-за свойства отражения от фокуса к фокусу, свойственного эллипсам, если позволить лучам продолжать распространяться, отраженные лучи в конечном итоге выровняются близко к главной оси.
Сопряженные диаметры
Определение сопряженных диаметров
Круг обладает следующим свойством:
Середины параллельных хорд лежат на диаметре.
Аффинное преобразование сохраняет параллельность и середины отрезков, поэтому это свойство справедливо для любого эллипса. (Обратите внимание, что параллельные хорды и диаметр больше не ортогональны.)
Определение
Два диаметра эллипса сопряжены , если середины хорд, параллельных им, лежат на одной прямой.
Из диаграммы видно:
Два диаметра эллипса сопряжены, если касательные в точках и параллельны .
Сопряженные диаметры в эллипсе обобщают ортогональные диаметры в круге.
В параметрическом уравнении для общего эллипса, приведенном выше,
любая пара точек принадлежит диаметру, а эта пара принадлежит ее сопряженному диаметру.
Для общего параметрического представления эллипса с уравнением получаем: Точки
(знаки: (+,+) или (−,−) )
(знаки: (−,+) или (+,−) )
сопряжены и
В случае окружности последнее уравнение сворачивается до
Теорема Аполлония о сопряженных диаметрах
Для эллипса с полуосями справедливо следующее: [9] [10]
Пусть и — половины двух сопряженных диаметров (см. рисунок), тогда
.
Треугольник со сторонами (см. диаграмму) имеет постоянную площадь , которую также можно выразить как . - высота точки и угол между половинными диаметрами. Следовательно, площадь эллипса (см. раздел метрические свойства) можно записать как .
Параллелограмм касательных, примыкающих к данным сопряженным диаметрам, имеет вид
Доказательство
Пусть эллипс имеет каноническую форму с параметрическим уравнением
Две точки находятся на сопряженных диаметрах (см. предыдущий раздел). Из тригонометрических формул получаем и
Площадь треугольника, образованного
и из рисунка видно, что площадь параллелограмма в 8 раз больше площади . Следовательно
Ортогональные касательные
Для эллипса точки пересечения ортогональных касательных лежат на окружности .
Эта окружность называется ортоптической или направляющей окружностью эллипса (не путать с круговой направляющей, определенной выше).
Рисование эллипсов
Эллипсы появляются в начертательной геометрии как изображения (параллельные или центральные проекции) окружностей. Существуют различные инструменты для рисования эллипса. Компьютеры обеспечивают самый быстрый и точный метод рисования эллипса. Однако существуют технические инструменты ( эллипсографы ) для рисования эллипса без компьютера. Принцип был известен математику 5-го века Проклу , а инструмент, который сейчас известен как эллиптический траммель, был изобретен Леонардо да Винчи . [11]
Если эллипсографа нет, можно нарисовать эллипс, используя приближение четырех соприкасающихся окружностей в вершинах.
Для любого метода, описанного ниже, необходимо знание осей и полуосей (или, что эквивалентно: фокусов и большой полуоси). Если это предположение не выполняется, необходимо знать по крайней мере два сопряженных диаметра. С помощью построения Ритца можно восстановить оси и полуоси.
Точечная конструкция де Ла Гира
Следующая конструкция отдельных точек эллипса принадлежит де Ла Гиру . [12] Она основана на стандартном параметрическом представлении эллипса:
Нарисуйте две окружности с центрами в центре эллипса с радиусами и осями эллипса.
Проведите линию через центр , которая пересечет две окружности в точках и соответственно.
Проведите линию , параллельную малой оси, и линию , параллельную большой оси. Эти линии пересекаются в точке эллипса (см. диаграмму).
Повторите шаги (2) и (3) с другими линиями, проходящими через центр.
Метод де Ла Гира
Анимация метода
Метод «булавки и веревки»
Характеристика эллипса как геометрического места точек, так что сумма расстояний до фокусов постоянна, приводит к методу рисования эллипса с использованием двух кнопок , отрезка веревки и карандаша. В этом методе булавки втыкаются в бумагу в двух точках, которые становятся фокусами эллипса. Веревка привязана к каждому концу к двум булавкам; ее длина после привязывания составляет . Затем кончик карандаша чертит эллипс, если его двигать, удерживая веревку натянутой. Используя два колышка и веревку, садоводы используют эту процедуру, чтобы очертить эллиптическую клумбу — поэтому ее называют эллипсом садовника . Византийский архитектор Антемий из Траллеса ( ок. 600 г. ) описал, как этот метод можно использовать для построения эллиптического отражателя, [13] и он был подробно описан в ныне утерянном трактате IX века Аль-Хасана ибн Мусы . [14]
Два следующих метода основаны на параметрическом представлении (см. § Стандартное параметрическое представление выше):
Это представление может быть технически смоделировано двумя простыми методами. В обоих случаях центр, оси и полуоси должны быть известны.
Метод 1
Первый метод начинается с
полоска бумаги длиной .
Точка, в которой сходятся полуоси, обозначена . Если полоска скользит обоими концами по осям искомого эллипса, то точка описывает эллипс. Для доказательства показывают, что точка имеет параметрическое представление , где параметр — угол наклона бумажной полоски.
Техническая реализация движения бумажной полоски может быть достигнута парой Туси (см. анимацию). Устройство способно нарисовать любой эллипс с фиксированной суммой , которая является радиусом большого круга. Это ограничение может быть недостатком в реальной жизни. Более гибким является второй метод бумажной полоски.
Построение эллипса: метод полоски бумаги 1
Эллипсы с парой Туси. Два примера: красный и голубой.
Вариация метода бумажной полоски 1 использует наблюдение, что середина бумажной полоски движется по окружности с центром (эллипса) и радиусом . Таким образом, бумажную полоску можно разрезать в точке на половинки, снова соединить их шарниром в и зафиксировать скользящий конец в центре (см. схему). После этой операции движение неизмененной половины бумажной полоски остается неизменным. [15] Эта вариация требует только одного скользящего башмака.
Вариант метода бумажной полоски 1
Анимация варианта метода бумажной полоски 1
Метод 2
Второй метод начинается с
полоска бумаги длиной .
Отмечается точка, которая делит полоску на две подполоски длиной и . Полоса располагается на осях, как описано на схеме. Затем свободный конец полоски описывает эллипс, в то время как полоска перемещается. Для доказательства следует признать, что точка трассировки может быть параметрически описана как , где параметр — это угол наклона бумажной полоски.
Этот метод является основой для нескольких эллипсографов (см. раздел ниже).
Подобно варианту метода бумажной полоски 1, можно создать вариант метода бумажной полоски 2 (см. схему), разрезав часть между осями пополам.
Даны два пучка прямых в двух точках (все прямые содержат и соответственно) и проективное, но не перспективное отображение на , то точки пересечения соответствующих прямых образуют невырожденное проективное коническое сечение.
Для генерации точек эллипса используются пучки в вершинах . Пусть будет верхней совершиной эллипса и .
является центром прямоугольника . Сторона прямоугольника разделена на n равноотстоящих отрезков прямой, и это деление проецируется параллельно диагонали как направлению на отрезок прямой и назначается деление, как показано на схеме. Параллельная проекция вместе с обратной ориентацией является частью проективного отображения между карандашами в и необходимо. Точки пересечения любых двух связанных прямых и являются точками однозначно определенного эллипса. С помощью точек можно определить точки второй четверти эллипса. Аналогично получаются точки нижней половины эллипса.
Генерацию Штейнера можно также определить для гипербол и парабол. Иногда ее называют методом параллелограмма , поскольку можно использовать другие точки вместо вершин, которые начинаются с параллелограмма вместо прямоугольника.
Как гипотрохоидный
Эллипс является частным случаем гипотрохоиды , когда , как показано на соседнем изображении. Частный случай движущейся окружности с радиусом внутри окружности с радиусом называется парой Туси .
Вписанные углы и трехточечная форма
Круги
Окружность с уравнением однозначно определяется тремя точками, не лежащими на одной прямой. Простой способ определения параметров использует теорему о вписанном угле для окружностей:
Для четырех точек (см. диаграмму) справедливо следующее утверждение:
Четыре точки лежат на окружности тогда и только тогда, когда углы при и равны.
Обычно вписанные углы измеряют в градусах или радианах θ , но здесь более удобна следующая единица измерения:
Чтобы измерить угол между двумя линиями с помощью уравнений, используют частное:
Теорема о вписанном угле для окружностей
Для четырех точек, три из которых не лежат на одной прямой, имеем следующее (см. диаграмму):
Четыре точки лежат на окружности, если и только если углы при и равны. В терминах измерения угла выше это означает:
Сначала измерение доступно только для хорд, не параллельных оси Y, но окончательная формула работает для любых хорд.
Трехточечная форма уравнения окружности
В результате получается уравнение окружности, определяемой тремя неколлинеарными точками :
Радиус — это расстояние между любой из трех точек и центром.
Эллипсы
В этом разделе рассматривается семейство эллипсов, определяемых уравнениями с фиксированным эксцентриситетом . Удобно использовать параметр:
и записать уравнение эллипса как:
где q фиксировано и изменяется в пределах действительных чисел. (Такие эллипсы имеют оси, параллельные осям координат: если , большая ось параллельна оси x ; если , она параллельна оси y .)
Подобно окружности, такой эллипс определяется тремя точками, не лежащими на одной прямой.
Для этого семейства эллипсов вводится следующая q-аналоговая мера угла, которая не является функцией обычной меры угла θ : [16] [17]
Чтобы измерить угол между двумя линиями с помощью уравнений, используют частное:
Теорема о вписанном угле для эллипсов
Даны четыре точки , никакие три из которых не лежат на одной прямой (см. рисунок).
Четыре точки находятся на эллипсе с уравнением тогда и только тогда, когда углы при и равны в смысле измерения выше, то есть, если
Сначала мера доступна только для хорд, которые не параллельны оси y. Но окончательная формула работает для любой хорды. Доказательство следует из простого вычисления. Для направления доказательства, учитывая, что точки находятся на эллипсе, можно предположить, что центр эллипса является началом координат.
Трехточечная форма уравнения эллипса
В результате получаем уравнение эллипса, определяемого тремя неколлинеарными точками :
Например, для и получается трехточечная форма
и после преобразования
Аналогично случаю окружности уравнение можно записать более наглядно, используя векторы:
Любой эллипс можно описать в подходящей системе координат уравнением . Уравнение касательной в точке эллипса имеет вид Если допустить, что точка является произвольной точкой, отличной от начала координат, то
точка отображается на линию , а не проходит через центр эллипса.
Это отношение между точками и линиями является биекцией .
Такое отношение между точками и прямыми, образованное коникой, называется полюсно-полярным отношением или полярностью . Полюсом является точка, полярой — прямая.
Расчетным путем можно подтвердить следующие свойства полюсно-полярной связи эллипса:
Для точки (полюса) эллипса поляра — это касательная в этой точке (см. рисунок: ).
Для полюса, находящегося вне эллипса, точки пересечения его поляры с эллипсом являются точками касания двух проходящих касательных (см. рисунок: ).
Для точки внутри эллипса поляра не имеет общих точек с эллипсом (см. диаграмму: ).
Точка пересечения двух полюсов является полюсом линии, проходящей через их полюса.
Фокус и , соответственно, и директрисы и , соответственно, принадлежат парам полюса и поляры. Поскольку они являются четными полярными парами относительно окружности , директрисы могут быть построены с помощью циркуля и линейки (см. Инверсная геометрия ).
Полюсно-полярные соотношения существуют также для гипербол и парабол.
Метрические свойства
Все метрические свойства, приведенные ниже, относятся к эллипсу с уравнением
за исключением участка области, ограниченной наклонным эллипсом, где будет дана обобщенная форма уравнения ( 1 ).
Область
Площадь , ограниченная эллипсом, равна:
где и — длины большой и малой полуосей соответственно. Формула площади интуитивно понятна: начните с круга радиусом (так что его площадь равна ) и растяните его на коэффициент, чтобы получился эллипс. Это масштабирует площадь на тот же коэффициент: [18] Однако использование того же подхода для окружности было бы ошибочным — сравните интегралы и . Также легко строго доказать формулу площади, используя интегрирование следующим образом. Уравнение ( 1 ) можно переписать как Для этой кривой — верхняя половина эллипса. Таким образом, удвоенный интеграл от по интервалу будет площадью эллипса:
Второй интеграл — это площадь круга радиуса , то есть, Итак
Эллипс, определяемый неявно, имеет площадь
Площадь также можно выразить через эксцентриситет и длину большой полуоси как (полученную путем решения уравнения для сплющивания с последующим вычислением малой полуоси).
До сих пор мы имели дело с прямыми эллипсами, большая и малая оси которых параллельны осям и . Однако для некоторых приложений требуются наклонные эллипсы. Например, в оптике пучков заряженных частиц замкнутая область прямого или наклонного эллипса является важным свойством пучка, его излучательной способностью . В этом случае по-прежнему применима простая формула, а именно
где , являются отсекателями и , являются максимальными значениями. Это следует непосредственно из теоремы Аполлония.
Длина окружности эллипса может быть оценена с помощью арифметико -геометрического среднего Гаусса ; [19] это квадратично сходящийся итерационный метод ( подробнее см. здесь ).
Точный бесконечный ряд имеет вид:
где — двойной факториал (распространяемый на отрицательные нечетные целые числа обычным способом, что дает и ).
Этот ряд сходится, но, расширяя его в терминах Джеймса Айвори [20] , Бессель [21] и Куммер [22] вывели выражение, которое сходится гораздо быстрее. Наиболее кратко оно записывается в терминах биномиального коэффициента с :
Коэффициенты немного меньше (в множитель ), но также численно намного меньше, чем за исключением при и . Для эксцентриситетов менее 0,5 ( ) ошибка находится на пределе двойной точности с плавающей точкой после члена. [23]
Шриниваса Рамануджан дал два близких приближения для окружности в §16 "Modular Equations and Approximations to "; [24] они есть
и
где принимает то же значение, что и выше. Ошибки в этих приближениях, которые были получены эмпирическим путем, имеют порядок и соответственно.
Длина дуги
В более общем смысле длина дуги части окружности, как функция противолежащего угла (или координат x любых двух точек на верхней половине эллипса), задается неполным эллиптическим интегралом . Верхняя половина эллипса параметризуется как
Тогда длина дуги от до равна:
Это эквивалентно
где — неполный эллиптический интеграл второго рода с параметром
Некоторые нижние и верхние границы окружности канонического эллипса с равны [25]
и радиус кривизны , ρ = 1/κ, в точке : Радиус кривизны эллипса, как функция угла θ от центра, равен: где e — эксцентриситет.
Радиус кривизны в двух вершинах и центрах кривизны:
Радиус кривизны в двух совершинах и центры кривизны: Геометрическое место всех центров кривизны называется эволютой . В случае эллипса эволюта — это астроида .
В геометрии треугольника
Эллипсы появляются в геометрии треугольников как
Эллипс Штейнера : эллипс, проходящий через вершины треугольника с центром в центроиде,
Если поверхность воды возмущена в одном фокусе эллиптического водного резервуара, то круговые волны этого возмущения, отражаясь от стенок, сходятся одновременно в одной точке: втором фокусе . Это является следствием того, что общая длина пути одинакова вдоль любого пути отскока от стенок между двумя фокусами.
Аналогично, если источник света поместить в один фокус эллиптического зеркала , все световые лучи на плоскости эллипса отражаются во второй фокус. Поскольку никакая другая гладкая кривая не обладает таким свойством, его можно использовать в качестве альтернативного определения эллипса. (В частном случае круга с источником в центре весь свет будет отражаться обратно в центр.) Если эллипс вращается вокруг своей большой оси, чтобы получить эллипсоидальное зеркало (в частности, вытянутый сфероид ), это свойство сохраняется для всех лучей из источника. В качестве альтернативы можно использовать цилиндрическое зеркало с эллиптическим поперечным сечением для фокусировки света от линейной флуоресцентной лампы вдоль линии бумаги; такие зеркала используются в некоторых сканерах документов .
В более общем смысле, в гравитационной задаче двух тел , если два тела связаны друг с другом (то есть полная энергия отрицательна), их орбиты представляют собой подобные эллипсы с общим барицентром, являющимся одним из фокусов каждого эллипса. Другой фокус любого эллипса не имеет известного физического значения. Орбита любого тела в системе отсчета другого тела также является эллипсом, при этом другое тело находится в том же фокусе.
Кеплеровские эллиптические орбиты являются результатом любой радиально направленной силы притяжения, величина которой обратно пропорциональна квадрату расстояния. Таким образом, в принципе, движение двух противоположно заряженных частиц в пустом пространстве также было бы эллипсом. (Однако этот вывод игнорирует потери из-за электромагнитного излучения и квантовых эффектов , которые становятся значительными, когда частицы движутся с большой скоростью.)
Для эллиптических орбит полезными соотношениями, включающими эксцентриситет, являются:
где
- радиус в апоцентре , т.е. наибольшее расстояние орбиты до барицентра системы, который является фокусом эллипса
Общее решение для гармонического осциллятора в двух или более измерениях также является эллипсом. Так обстоит дело, например, с длинным маятником, который может свободно перемещаться в двух измерениях; с массой, прикрепленной к фиксированной точке идеально упругой пружиной ; или с любым объектом, который движется под воздействием силы притяжения, которая прямо пропорциональна его расстоянию от фиксированного аттрактора. Однако, в отличие от кеплеровских орбит, эти «гармонические орбиты» имеют центр притяжения в геометрическом центре эллипса и имеют довольно простые уравнения движения.
Фазовая визуализация
В электронике относительную фазу двух синусоидальных сигналов можно сравнить, подав их на вертикальный и горизонтальный входы осциллографа . Если отображение фигуры Лиссажу представляет собой эллипс, а не прямую линию, два сигнала не совпадают по фазе.
Эллиптические шестерни
Две некруглые шестерни с одинаковым эллиптическим контуром, каждая из которых вращается вокруг одного фокуса и расположена под правильным углом, плавно вращаются, сохраняя контакт все время. В качестве альтернативы они могут быть соединены звеньевой цепью или ремнем ГРМ , или в случае велосипеда главная передняя звезда может быть эллиптической или овоидной , похожей на эллипс по форме. Такие эллиптические шестерни могут использоваться в механическом оборудовании для создания переменной угловой скорости или крутящего момента от постоянного вращения ведущей оси, или в случае велосипеда для обеспечения переменной скорости вращения кривошипа с обратно изменяющимся механическим преимуществом .
Эллиптические велосипедные передачи облегчают соскальзывание цепи с зубчатого колеса при переключении передач. [26]
Примером применения зубчатой передачи может служить устройство, наматывающее нить на коническую бобину прядильной машины . Бобина должна наматываться быстрее, когда нить находится вблизи вершины, чем когда она находится вблизи основания. [27]
В источниках EUV -света, создаваемых лазерной плазмой и используемых в литографии микрочипов , EUV-свет генерируется плазмой, расположенной в первичном фокусе эллипсоидного зеркала, и собирается во вторичном фокусе на входе литографической машины. [29]
Статистика и финансы
В статистике двумерный случайный вектор совместно эллиптически распределен , если его изоплотностные контуры — геометрические места равных значений функции плотности — являются эллипсами. Эта концепция распространяется на произвольное число элементов случайного вектора, в этом случае изоплотностные контуры в общем случае являются эллипсоидами. Особым случаем является многомерное нормальное распределение . Эллиптические распределения важны в финансах , потому что если ставки доходности активов совместно эллиптически распределены, то все портфели можно полностью охарактеризовать их средним значением и дисперсией — то есть любые два портфеля с идентичным средним значением и дисперсией доходности портфеля имеют идентичные распределения доходности портфеля. [30] [31]
Компьютерная графика
Рисование эллипса как графического примитива распространено в стандартных библиотеках отображения, таких как MacIntosh QuickDraw API и Direct2D в Windows. Джек Брезенхэм из IBM наиболее известен изобретением примитивов 2D-рисования, включая рисование линий и окружностей, с использованием только быстрых целочисленных операций, таких как сложение и ветвление по биту переноса. MLV Pitteway расширил алгоритм Брезенхэма для линий до конических сечений в 1967 году. [32] Другое эффективное обобщение для рисования эллипсов было изобретено в 1984 году Джерри Ван Эйкеном. [33]
В 1970 году Дэнни Коэн представил на конференции "Computer Graphics 1970" в Англии линейный алгоритм для рисования эллипсов и окружностей. В 1971 году Л. Б. Смит опубликовал аналогичные алгоритмы для всех конических сечений и доказал, что они обладают хорошими свойствами. [34] Эти алгоритмы требуют всего лишь нескольких умножений и сложений для вычисления каждого вектора.
Параметрическую формулировку выгодно использовать в компьютерной графике, поскольку плотность точек наибольшая там, где больше всего кривизны. Таким образом, изменение наклона между каждой последующей точкой невелико, что уменьшает кажущуюся «зубчатость» аппроксимации.
Рисование с помощью контуров Безье
Составные кривые Безье также могут быть использованы для рисования эллипса с достаточной точностью, поскольку любой эллипс может быть истолкован как аффинное преобразование окружности. Сплайновые методы, используемые для рисования окружности, могут быть использованы для рисования эллипса, поскольку составляющие их кривые Безье ведут себя соответствующим образом при таких преобразованиях.
Теория оптимизации
Иногда бывает полезно найти минимальный ограничивающий эллипс на множестве точек. Метод эллипсоида весьма полезен для решения этой задачи.
^ Апостол, Том М.; Мнацаканян, Мамикон А. (2012), Новые горизонты геометрии , Математические экспозиции Дольчиани № 47, Математическая ассоциация Америки, стр. 251, ISBN 978-0-88385-354-2
^ Немецкое название этого круга — Leitkreis , что можно перевести как «круг директоров», но в английской литературе этот термин имеет другое значение (см. Круг директоров ).
^ ab "Эллипс - из Wolfram MathWorld". Mathworld.wolfram.com. 2020-09-10 . Получено 2020-09-10 .
^ Проттер и Морри (1970, стр. 304, APP-28)
^ Ларсон, Рон; Хостетлер, Роберт П.; Фальво, Дэвид К. (2006). "Глава 10". Предварительное исчисление с ограничениями. Cengage Learning. стр. 767. ISBN978-0-618-66089-6.
^ ab Лоуренс, Дж. Деннис, Каталог специальных плоских кривых , Dover Publ., 1972.
^ К. Штрубекер: Vorlesungen über Darstellende Geometry , GÖTTINGEN, VANDENHOECK & RUPRECHT, 1967, стр. 26
^ Бронштейн и Семенджаев: Taschenbuch der Mathematik , Verlag Harri Deutsch, 1979, ISBN 3871444928 , стр. 274.
↑ Энциклопедия математики , Springer, URL: http://encyclopediaofmath.org/index.php?title=Apollonius_theorem&oldid=17516.
^ Блейк, Э. М. (1900). «Эллипсограф Прокла». Американский журнал математики . 22 (2): 146–153. doi :10.2307/2369752. JSTOR 2369752 .
^ К. Штрубекер: Vorlesungen über Darstellende Geometrie. Ванденхук и Рупрехт, Геттинген, 1967, стр. 26.
↑ Из Περί παραδόξων μηχανημάτων [ О чудесных машинах ]: «Итак, если мы натянем нить, охватывающую точки A, B, плотно вокруг первой точки, от которой должны отражаться лучи, то будет нарисована линия, являющаяся частью так называемого эллипса, по отношению к которому должна располагаться поверхность зеркала». Хаксли, Г. Л. (1959). Антемий из Тралл: исследование поздней греческой геометрии . Кембридж, Массачусетс. С. 8–9. LCCN 59-14700.{{cite book}}: CS1 maint: location missing publisher (link)
↑ Труд аль-Хасана назывался «Китаб аль-шакл аль-мудаввар аль-мустатил» [ «Книга вытянутой круглой фигуры »]. Рашед, Рошди (2014). Классическая математика от Аль-Хорезми до Декарта . Перевод Шэнка, Майкла Х. Нью-Йорк: Routledge. стр. 559. ISBN 978-13176-2-239-0.
^ Дж. ван Маннен: Инструменты семнадцатого века для черчения конических сечений. В: The Mathematical Gazette. Т. 76, 1992, стр. 222–230.
^ Э. Хартманн: Заметка к лекции «Плоская круговая геометрия», введение в плоскости Мёбиуса, Лагерра и Минковского, стр. 55
^ В. Бенц, Vorlesungen über Geomerie der Algebren , Springer (1973)
^ Архимед. (1897). Труды Архимеда. Хит, Томас Литтл, сэр, 1861-1940. Минеола, Нью-Йорк: Dover Publications. стр. 115. ISBN0-486-42084-1. OCLC 48876646.
^ Айвори, Дж. (1798). «Новая серия для исправления многоточия». Труды Королевского общества Эдинбурга . 4 (2): 177–190. doi :10.1017/s0080456800030817. S2CID 251572677.
^ Бессель, Ф. В. (2010). «Вычисление долготы и широты по геодезическим измерениям (1825)». Astron. Nachr. 331 (8): 852–861. arXiv : 0908.1824 . Bibcode :2010AN....331..852K. doi :10.1002/asna.201011352. S2CID 118760590. Английский перевод Бесселя, FW (1825 г.). «Über die Berechnung der geographischen Längen und Breiten aus geodätischen Vermesssungen». Астрон. Нахр. (на немецком языке). 4 (16): 241–254. arXiv : 0908.1823 . Бибкод : 1825AN......4..241B. дои : 10.1002/asna.18260041601. S2CID 118630614.
^ Линдерхольм, Карл Э.; Сигал, Артур К. (июнь 1995 г.). «Незамеченный ряд для эллиптического периметра». Mathematics Magazine . 68 (3): 216–220. doi :10.1080/0025570X.1995.11996318.который цитирует Куммера, Эрнста Эдуарда (1836). «Uber die Hypergeometrische Reihe» [О гипергеометрическом ряду]. Journal für die Reine und Angewandte Mathematik (на немецком языке). 15 (1, 2): 39–83, 127–172. дои : 10.1515/crll.1836.15.39.
^ Кук, Джон Д. (28 мая 2023 г.). «Сравнение приближений для периметра эллипса». Блог John D. Cook Consulting . Получено 16 сентября 2024 г.
^ Джеймсон, GJO (2014). «Неравенства для периметра эллипса». Mathematical Gazette . 98 (542): 227–234. doi :10.1017/S002555720000125X. S2CID 125063457.
^ Дэвид Дрю. «Эллиптические шестерни». [1]
^ Грант, Джордж Б. (1906). Трактат о зубчатых колесах. Philadelphia Gear Works. стр. 72.
^ Энциклопедия лазерной физики и техники - лазеры с ламповой накачкой, дуговые лампы, импульсные лампы, высокомощные, лазер Nd:YAG
^ "Cymer - EUV Plasma Chamber Detail Category Home Page". Архивировано из оригинала 2013-05-17 . Получено 2013-06-20 .
^ Чемберлен, Г. (февраль 1983 г.). «Характеристика распределений, подразумевающих среднее значение — дисперсионные функции полезности». Журнал экономической теории . 29 (1): 185–201. doi :10.1016/0022-0531(83)90129-1.
^ Оуэн, Дж.; Рабинович, Р. (июнь 1983 г.). «О классе эллиптических распределений и их применении в теории выбора портфеля». Журнал финансов . 38 (3): 745–752. doi :10.1111/j.1540-6261.1983.tb02499.x. JSTOR 2328079.
^ Питтевей, MLV (1967). «Алгоритм для рисования эллипсов или гипербол с помощью цифрового плоттера». The Computer Journal . 10 (3): 282–9. doi : 10.1093/comjnl/10.3.282 .
^ Ван Эйкен, Дж. Р. (сентябрь 1984 г.). «Эффективный алгоритм рисования эллипса». IEEE Computer Graphics and Applications . 4 (9): 24–35. doi :10.1109/MCG.1984.275994. S2CID 18995215.
^ Смит, Л. Б. (1971). «Рисование эллипсов, гипербол или парабол с фиксированным числом точек». The Computer Journal . 14 (1): 81–86. doi : 10.1093/comjnl/14.1.81 .
Ссылки
Besant, WH (1907). "Глава III. Эллипс". Конические сечения . Лондон: George Bell and Sons. стр. 50.
Коксетер, Х. С. М. (1969). Введение в геометрию (2-е изд.). Нью-Йорк: Wiley. С. 115–9.
Месерв, Брюс Э. (1983) [1959], Основные понятия геометрии , Dover Publications, ISBN 978-0-486-63415-9
Миллер, Чарльз Д.; Лиал, Маргарет Л.; Шнайдер, Дэвид И. (1990). Основы университетской алгебры (3-е изд.). Скотт Форесман/Литтл. стр. 381. ISBN 978-0-673-38638-0.
Проттер, Мюррей Х.; Моррей, Чарльз Б. младший (1970), College Calculus with Analytic Geometry (2-е изд.), Reading: Addison-Wesley , LCCN 76087042