stringtranslate.com

Эллипс

Эллипс (красный), полученный пересечением конуса с наклонной плоскостью.
Эллипс: обозначения
Эллипсы: примеры с увеличивающимся эксцентриситетом

В математике эллипс — это плоская кривая, окружающая две фокусные точки , так что для всех точек на кривой сумма двух расстояний до фокусных точек является константой. Он обобщает окружность , которая является особым типом эллипса, в котором две фокусные точки одинаковы. Удлинение эллипса измеряется его эксцентриситетом , числом в диапазоне от ( предельный случай окружности) до (предельный случай бесконечного удлинения, уже не эллипс, а парабола ).

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

Аналитически уравнение стандартного эллипса с центром в начале координат, шириной и высотой имеет вид:

Предполагая , что фокусы для . Стандартное параметрическое уравнение имеет вид:

Эллипсы — это замкнутый тип конического сечения : плоская кривая, прочерчивающая пересечение конуса с плоскостью ( см. рисунок). Эллипсы имеют много общего с двумя другими формами конических сечений, параболами и гиперболами , обе из которых открыты и неограниченны . Угловое поперечное сечение прямого кругового цилиндра также является эллипсом.

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

Эллипсы распространены в физике , астрономии и технике . Например, орбита каждой планеты в Солнечной системе представляет собой приблизительно эллипс с Солнцем в одной точке фокуса (точнее, фокус является барицентром пары Солнце–планета). То же самое верно для лун, вращающихся вокруг планет, и всех других систем из двух астрономических тел. Формы планет и звезд часто хорошо описываются эллипсоидами . Круг, рассматриваемый под боковым углом, выглядит как эллипс: то есть эллипс является изображением круга при параллельной или перспективной проекции . Эллипс также является простейшей фигурой Лиссажу, образованной, когда горизонтальные и вертикальные движения являются синусоидами с одинаковой частотой: аналогичный эффект приводит к эллиптической поляризации света в оптике .

Название ἔλλειψις ( élleipsis , «упущение») было дано Аполлонием Пергским в его «Кониках» .

Определение как геометрическое место точек

Эллипс: определение по сумме расстояний до фокусов
Эллипс: определение по фокусу и круговой директрисе

Эллипс можно геометрически определить как множество или геометрическое место точек на евклидовой плоскости:

Если заданы две фиксированные точки, называемые фокусами, и расстояние , которое больше расстояния между фокусами, то эллипс — это множество точек , сумма расстояний между которыми равна :

Середина отрезка, соединяющего фокусы, называется центром эллипса . Прямая, проходящая через фокусы, называется большой осью , а перпендикулярная ей прямая, проходящая через центр, — малой осью .Большая ось пересекает эллипс в двух вершинах , которые имеют расстояние до центра. Расстояние фокусов до центра называется фокусным расстоянием или линейным эксцентриситетом. Частное — это эксцентриситет .

В этом случае получается круг, который рассматривается как особый тип эллипса.

Уравнение можно рассматривать по-другому (см. рисунок):

Если — окружность с центром и радиусом , то расстояние от точки до окружности равно расстоянию до фокуса :

называется круговой директрисой (связанной с фокусом ) эллипса. [1] [2] Это свойство не следует путать с определением эллипса с использованием линии директрисы ниже.

Используя сферы Данделина , можно доказать, что любое сечение конуса плоскостью является эллипсом, предполагая, что плоскость не содержит вершины и имеет наклон меньше, чем наклон линий на конусе.

В декартовых координатах

Параметры формы:
  • а : большая полуось,
  • б : малая полуось,
  • c : линейный эксцентриситет,
  • p : полурасширенная прямая кишка (обычно ).

Стандартное уравнение

Стандартная форма эллипса в декартовых координатах предполагает, что начало координат является центром эллипса, ось x является большой осью и:

Для произвольной точки расстояние до фокуса равно , а до другого фокуса . Следовательно, точка находится на эллипсе всякий раз, когда:

Удаление радикалов с помощью подходящих возведений в квадрат и использование (см. диаграмму) приводит к стандартному уравнению эллипса: [3] или, решенному относительно y :

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

Из уравнения следует, что эллипс симметричен относительно осей координат и, следовательно, относительно начала координат.

Параметры

Главные оси

В этой статье большая и малая полуоси обозначены и , соответственно, т.е.

В принципе, каноническое уравнение эллипса может иметь (и, следовательно, эллипс будет больше в высоту, чем в ширину). Эту форму можно преобразовать в стандартную, переставив имена переменных и и имена параметров и

Линейный эксцентриситет

Это расстояние от центра до фокуса: .

Эксцентриситет

Эксцентриситет можно выразить как:

Предположим, что эллипс с равными осями ( ) имеет нулевой эксцентриситет и является окружностью.

Полуширокая прямая кишка

Длина хорды, проходящей через один фокус, перпендикулярно большой оси, называется latus rectum . Одна ее половина — это semi-latus rectum . Расчет показывает: [4]

Полуширина прямой кишки равна радиусу кривизны в вершинах (см. раздел Кривизна).

Тангенс

Произвольная линия пересекает эллипс в 0, 1 или 2 точках, которые называются соответственно внешней линией , касательной и секущей . Через любую точку эллипса проходит единственная касательная. Касательная в точке эллипса имеет координатное уравнение:

Параметрическое векторное уравнение касательной имеет вид:

Доказательство: Пусть будет точкой на эллипсе и будет уравнением любой прямой, содержащей . Подставляя уравнение прямой в уравнение эллипса и учитывая, получаем: Тогда возможны случаи:

  1. Тогда прямая и эллипс имеют только общую точку, и является касательной. Направление касательной имеет перпендикулярный вектор , поэтому касательная прямая имеет уравнение для некоторого . Поскольку находится на касательной и эллипсе, получаем .
  2. Тогда прямая имеет вторую общую точку с эллипсом и является секущей.

Используя (1), находим, что — касательный вектор в точке , что доказывает векторное уравнение.

Если и — две точки эллипса, такие, что , то точки лежат на двух сопряженных диаметрах (см. ниже). (Если , то эллипс является окружностью, а «сопряжённый» означает «ортогональный».)

Смещенный эллипс

Если стандартный эллипс смещен так, чтобы его центр был равен , то его уравнение будет иметь вид

Оси по-прежнему параллельны осям x и y .

Общий эллипс

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

В аналитической геометрии эллипс определяется как квадрика : множество точек декартовой плоскости , которые в невырожденных случаях удовлетворяют неявному уравнению [5] [6] при условии

Чтобы отличить вырожденные случаи от невырожденных, пусть будет определителем

Тогда эллипс является невырожденным действительным эллипсом тогда и только тогда, когда C∆ < 0. Если C∆ > 0, то мы имеем мнимый эллипс, а если = 0, то мы имеем точечный эллипс. [7] : 63 

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

Эти выражения можно вывести из канонического уравнения путем евклидова преобразования координат :

Наоборот, параметры канонической формы могут быть получены из коэффициентов общей формы с помощью уравнений: [3]

где atan2 — функция арктангенса с двумя аргументами.

Параметрическое представление

Построение точек на основе параметрического уравнения и интерпретации параметра t , принадлежащее де ла Иру
Точки эллипса вычисляются с помощью рационального представления с равноотстоящими параметрами ( ).

Стандартное параметрическое представление

Используя тригонометрические функции , параметрическое представление стандартного эллипса выглядит следующим образом:

Параметр t (называемый в астрономии эксцентрической аномалией ) не является углом с осью x , но имеет геометрическое значение, определенное Филиппом де Ла Гиром (см. § Рисование эллипсов ниже). [8]

Рациональное представление

С помощью подстановки и тригонометрических формул получаем

и рациональное параметрическое уравнение эллипса

которая покрывает любую точку эллипса, кроме левой вершины .

Для этой формулы представляет собой правую верхнюю четверть эллипса, движущегося против часовой стрелки с увеличением Левая вершина является пределом

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

Затем

Рациональные представления конических сечений обычно используются в компьютерном проектировании (см. Кривая Безье ).

Наклон касательной как параметр

Параметрическое представление, использующее наклон касательной в точке эллипса, можно получить из производной стандартного представления :

С помощью тригонометрических формул получаем:

Замена и стандартного представления дает:

Здесь - наклон касательной в соответствующей точке эллипса, - верхняя и нижняя половины эллипса. Вершины , имеющие вертикальные касательные, не охватываются представлением.

Уравнение касательной в точке имеет вид . Пока неизвестное можно определить, подставив координаты соответствующей точки эллипса :

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

Общий эллипс

Эллипс как аффинное изображение единичной окружности

Другое определение эллипса использует аффинные преобразования :

Любой эллипс является аффинным образом единичной окружности с уравнением .
Параметрическое представление

Аффинное преобразование евклидовой плоскости имеет вид , где — регулярная матрица (с ненулевым определителем ), а — произвольный вектор. Если — векторы-столбцы матрицы , то единичная окружность , , отображается на эллипс:

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

Вершины

Четыре вершины эллипса равны , для параметра, определяемого как:

(Если , то .) Это выводится следующим образом. Касательный вектор в точке равен:

При параметре вершины касательная перпендикулярна большой/малой осям, поэтому:

Разложение и применение тождеств дает уравнение для

Область

Из теоремы Аполлония (см. ниже) получаем:
Площадь эллипса равна

Полуоси

С сокращениями утверждения теоремы Аполлония можно записать так: Решение этой нелинейной системы относительно дает полуоси:

Неявное представление

Решая параметрическое представление для по правилу Крамера и используя , получаем неявное представление

Наоборот: если уравнение

с

эллипса с центром в начале координат, то два вектора указывают на две сопряженные точки и применимы разработанные выше инструменты.

Пример : Для эллипса с уравнением векторы равны

Вихри: вложенные, масштабированные и повернутые эллипсы. Спираль не нарисована: мы видим ее как место точек, где эллипсы особенно близки друг к другу.
Повернутый стандартный эллипс

Для получаем параметрическое представление стандартного эллипса, повернутого на угол :

Эллипс в пространстве

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

Полярные формы

Полярная форма относительно центра

Полярные координаты с центром в центре.

В полярных координатах , с началом в центре эллипса и с угловой координатой, отсчитываемой от большой оси, уравнение эллипса имеет вид [7] : 75  , где — эксцентриситет, а не число Эйлера.

Полярная форма относительно фокуса

Полярные координаты с центром в фокусе.

Если вместо этого мы используем полярные координаты с началом в одном фокусе, при этом угловая координата по-прежнему измеряется от большой оси, то уравнение эллипса будет иметь вид

где знак в знаменателе отрицательный, если направление отсчета указывает к центру (как показано справа), и положительный, если это направление указывает от центра.

Угол называется истинной аномалией точки. Числитель — полуширокая прямая кишка .

Эксцентриситет и свойство директрисы

Эллипс: свойство директрисы

Каждая из двух линий, параллельных малой оси и находящихся на расстоянии от нее, называется директрисой эллипса (см. рисунок).

Для произвольной точки эллипса частное от деления расстояния до одного фокуса и до соответствующей ему директрисы (см. рисунок) равно эксцентриситету:

Доказательство для пары следует из того факта, что и удовлетворяют уравнению

Второй случай доказывается аналогично.

Обратное утверждение также верно и может быть использовано для определения эллипса (аналогично определению параболы):

Для любой точки (фокуса), любой прямой (директрисы), не проходящей через , и любого действительного числа с эллипсом есть геометрическое место точек, для которых частное расстояний до точки и до прямой равно :

Расширение до , которое является эксцентриситетом окружности, не допускается в этом контексте в евклидовой плоскости. Однако можно считать директрису окружности прямой на бесконечности в проективной плоскости .

(Выбор дает параболу, а если , то гиперболу.)

Пучок коник с общей вершиной и общей прямой полушириной
Доказательство

Пусть , и предположим, что это точка на кривой. Директриса имеет уравнение . При , отношение производит уравнения

и

Замена дает

Это уравнение эллипса ( ) , или параболы ( ), или гиперболы ( ). Все эти невырожденные коники имеют, как общее, начало координат в качестве вершины (см. диаграмму).

Если ввести новые параметры так, чтобы , и тогда уравнение выше становится

которое представляет собой уравнение эллипса с центром , осью x в качестве большой оси и большой/малой полуосью .

Построение директрисы
Построение директрисы

Из-за точки директрисы (см. диаграмму) и фокуса инверсны по отношению к инверсии окружности в окружности (на диаграмме зелёный). Следовательно, можно построить так, как показано на диаграмме. Директриса — это перпендикуляр к главной оси в точке .

Общий эллипс

Если фокус и директриса , то получаем уравнение

(В правой части уравнения для расчета расстояния используется нормальная форма Гессе для линии .)

Свойство отражения от фокуса к фокусу

Эллипс: касательная делит пополам дополнительный угол к углу между прямыми и фокусами.
Лучи из одного фокуса отражаются от эллипса и проходят через другой фокус.

Эллипс обладает следующим свойством:

Нормаль в точке делит угол между прямыми пополам .
Доказательство

Поскольку касательная перпендикулярна нормали, эквивалентным утверждением является то, что касательная является биссектрисой внешнего угла линий к фокусам (см. диаграмму). Пусть будет точкой на линии с расстоянием до фокуса , где - большая полуось эллипса. Пусть линия будет биссектрисой внешнего угла линий и Возьмем любую другую точку на По неравенству треугольника и теореме о биссектрисе угла , поэтому должна быть вне эллипса. Поскольку это верно для каждого выбора пересекает эллипс только в одной точке, то должна быть и касательная.

Приложение

Лучи из одного фокуса отражаются эллипсом во второй фокус. Это свойство имеет оптические и акустические приложения, аналогичные отражательному свойству параболы (см. галерею шепота ).

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

Сопряженные диаметры

Определение сопряженных диаметров

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

Круг обладает следующим свойством:

Середины параллельных хорд лежат на диаметре.

Аффинное преобразование сохраняет параллельность и середины отрезков, поэтому это свойство справедливо для любого эллипса. (Обратите внимание, что параллельные хорды и диаметр больше не являются ортогональными.)

Определение

Два диаметра эллипса сопряжены , если середины хорд, параллельных ему, лежат на одной прямой.

Из диаграммы видно:

Два диаметра эллипса сопряжены, если касательные в точках и параллельны .

Сопряженные диаметры в эллипсе обобщают ортогональные диаметры в круге.

В параметрическом уравнении для общего эллипса, приведенном выше,

любая пара точек принадлежит диаметру, а пара принадлежит его сопряженному диаметру.

Для общего параметрического представления эллипса с уравнением получаем: Точки

(знаки: (+,+) или (−,−) )
(знаки: (−,+) или (+,−) )
сопряжены и

В случае окружности последнее уравнение сворачивается до

Теорема Аполлония о сопряженных диаметрах

Теорема Аполлония
Для альтернативной формулы площади

Для эллипса с полуосями справедливо следующее: [9] [10]

Пусть и — половины двух сопряженных диаметров (см. рисунок), тогда
  1. .
  2. Треугольник со сторонами (см. диаграмму) имеет постоянную площадь , которую также можно выразить как . - высота точки и угол между половинными диаметрами. Следовательно, площадь эллипса (см. раздел метрические свойства) можно записать как .
  3. Параллелограмм касательных, примыкающих к данным сопряженным диаметрам, имеет вид
Доказательство

Пусть эллипс имеет каноническую форму с параметрическим уравнением

Две точки находятся на сопряженных диаметрах (см. предыдущий раздел). Из тригонометрических формул получаем и

Площадь треугольника, образованного

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

Ортогональные касательные

Эллипс с его ортооптическим

Для эллипса точки пересечения ортогональных касательных лежат на окружности .

Эта окружность называется ортоптической или направляющей окружностью эллипса (не путать с круговой направляющей, определенной выше).

Рисование эллипсов

Центральная проекция кругов (ворота)

Эллипсы появляются в начертательной геометрии как изображения (параллельные или центральные проекции) окружностей. Существуют различные инструменты для рисования эллипса. Компьютеры обеспечивают самый быстрый и точный метод рисования эллипса. Однако существуют технические инструменты ( эллипсографы ) для рисования эллипса без компьютера. Принцип был известен математику 5-го века Проклу , а инструмент, который сейчас известен как эллиптический траммель, был изобретен Леонардо да Винчи . [11]

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

Для любого метода, описанного ниже, необходимо знание осей и полуосей (или, что эквивалентно: фокусов и большой полуоси). Если это предположение не выполняется, необходимо знать по крайней мере два сопряженных диаметра. С помощью построения Ритца можно восстановить оси и полуоси.

Точечная конструкция де Ла Гира

Следующая конструкция отдельных точек эллипса принадлежит де Ла Гиру . [12] Она основана на стандартном параметрическом представлении эллипса:

  1. Нарисуйте две окружности с центрами в центре эллипса с радиусами и осями эллипса.
  2. Проведите линию через центр , которая пересечет две окружности в точках и соответственно.
  3. Проведите линию , параллельную малой оси, и линию , параллельную большой оси. Эти линии пересекаются в точке эллипса (см. диаграмму).
  4. Повторите шаги (2) и (3) с другими линиями, проходящими через центр.
Эллипс: метод садовода

Метод «булавки и веревки»

Характеристика эллипса как геометрического места точек, так что сумма расстояний до фокусов постоянна, приводит к методу его рисования с использованием двух кнопок , отрезка веревки и карандаша. В этом методе булавки втыкаются в бумагу в двух точках, которые становятся фокусами эллипса. Веревка привязана к каждому концу к двум булавкам; ее длина после привязывания составляет . Затем кончик карандаша чертит эллипс, если его двигать, удерживая веревку натянутой. Используя два колышка и веревку, садоводы используют эту процедуру, чтобы очертить эллиптическую клумбу — поэтому ее называют эллипсом садовника . Византийский архитектор Антемий из Траллеса ( ок.  600 г. ) описал, как этот метод можно использовать для построения эллиптического отражателя, [13] и он был подробно описан в ныне утерянном трактате IX века Аль-Хасана ибн Мусы . [14]

Похожий метод рисования софокусных эллипсов с помощью замкнутой струны принадлежит ирландскому епископу Чарльзу Грейвсу .

Методы использования бумажных полосок

Два следующих метода основаны на параметрическом представлении (см. § Стандартное параметрическое представление выше):

Это представление может быть технически смоделировано двумя простыми методами. В обоих случаях центр, оси и полуоси должны быть известны.

Метод 1

Первый метод начинается с

полоска бумаги длиной .

Точка, в которой сходятся полуоси, обозначена . Если полоска скользит обоими концами по осям искомого эллипса, то точка описывает эллипс. Для доказательства показывают, что точка имеет параметрическое представление , где параметр — угол наклона бумажной полоски.

Техническая реализация движения бумажной полоски может быть достигнута парой Туси (см. анимацию). Устройство способно нарисовать любой эллипс с фиксированной суммой , которая является радиусом большого круга. Это ограничение может быть недостатком в реальной жизни. Более гибким является второй метод бумажной полоски.

Вариация метода бумажной полоски 1 использует наблюдение, что середина бумажной полоски движется по окружности с центром (эллипса) и радиусом . Таким образом, бумажную полоску можно разрезать в точке на половинки, снова соединить их шарниром в и зафиксировать скользящий конец в центре (см. схему). После этой операции движение неизмененной половины бумажной полоски остается неизменным. [15] Эта вариация требует только одного скользящего башмака.

Построение эллипса: метод полоски бумаги 2
Метод 2

Второй метод начинается с

полоска бумаги длиной .

Отмечается точка, которая делит полоску на две подполоски длиной и . Полоса располагается на осях, как описано на схеме. Затем свободный конец полоски описывает эллипс, в то время как полоска перемещается. Для доказательства следует признать, что точка трассировки может быть параметрически описана как , где параметр — это угол наклона бумажной полоски.

Этот метод является основой для нескольких эллипсографов (см. раздел ниже).

Подобно варианту метода бумажной полоски 1, можно создать вариант метода бумажной полоски 2 (см. схему), разрезав часть между осями пополам.

Большинство чертежных инструментов эллипсографа основаны на втором методе бумажной ленты.

Аппроксимация эллипса соприкасающимися окружностями

Аппроксимация соприкасающимися окружностями

Из приведенных ниже свойств метрики получаем:

На диаграмме показан простой способ нахождения центров кривизны в вершине и совершителе соответственно:

  1. отметьте вспомогательную точку и начертите отрезок прямой
  2. проведите линию через , которая перпендикулярна линии
  3. Точки пересечения этой линии с осями являются центрами соприкасающихся окружностей.

(доказательство: простой расчет.)

Центры остальных вершин находятся симметрией.

С помощью лекала рисуют кривую, имеющую плавный контакт с соприкасающимися окружностями .

поколение Штайнера

Эллипс: генерация Штайнера
Эллипс: генерация Штайнера

Следующий метод построения отдельных точек эллипса основан на построении Штейнера конического сечения :

Даны два пучка прямых в двух точках (все прямые содержат и соответственно) и проективное, но не перспективное отображение на , то точки пересечения соответствующих прямых образуют невырожденное проективное коническое сечение.

Для генерации точек эллипса используются пучки в вершинах . Пусть будет верхней совершиной эллипса и .

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

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

Как гипотрохоидный

Эллипс (красный) как частный случай гипотрохоиды с  R  = 2r

Эллипс является частным случаем гипотрохоиды , когда , как показано на соседнем изображении. Частный случай движущейся окружности с радиусом внутри окружности с радиусом называется парой Туси .

Вписанные углы и трехточечная форма

Круги

Окружность: теорема о вписанном угле

Окружность с уравнением однозначно определяется тремя точками, не лежащими на одной прямой. Простой способ определения параметров использует теорему о вписанном угле для окружностей:

Для четырех точек (см. диаграмму) справедливо следующее утверждение:
Четыре точки лежат на окружности тогда и только тогда, когда углы при и равны.

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

Чтобы измерить угол между двумя линиями с помощью уравнений, используют частное:

Теорема о вписанном угле для окружностей

Для четырех точек, три из которых не лежат на одной прямой, имеем следующее (см. диаграмму):

Четыре точки лежат на окружности, если и только если углы при и равны. В терминах измерения угла выше это означает:

Сначала измерение доступно только для хорд, не параллельных оси Y, но окончательная формула работает для любых хорд.

Трехточечная форма уравнения окружности

В результате получается уравнение окружности, определяемой тремя неколлинеарными точками :

Например, для трехточечного уравнения:

, который можно переставить на

Используя векторы, скалярные произведения и определители, эту формулу можно записать более наглядно, приняв :

Центр круга удовлетворяет:

Радиус — это расстояние между любой из трех точек и центром.

Эллипсы

В этом разделе рассматривается семейство эллипсов, определяемых уравнениями с фиксированным эксцентриситетом . Удобно использовать параметр:

и записать уравнение эллипса как:

где q фиксировано и изменяется в пределах действительных чисел. (Такие эллипсы имеют оси, параллельные осям координат: если , большая ось параллельна оси x ; если , она параллельна оси y .)

Теорема о вписанном угле для эллипса

Подобно окружности, такой эллипс определяется тремя точками, не лежащими на одной прямой.

Для этого семейства эллипсов вводится следующая q-аналоговая мера угла, которая не является функцией обычной меры угла θ : [16] [17]

Чтобы измерить угол между двумя линиями с помощью уравнений, используют частное:

Теорема о вписанном угле для эллипсов

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

Сначала мера доступна только для хорд, которые не параллельны оси y. Но окончательная формула работает для любой хорды. Доказательство следует из простого вычисления. Для направления доказательства, учитывая, что точки находятся на эллипсе, можно предположить, что центр эллипса является началом координат.

Трехточечная форма уравнения эллипса

В результате получаем уравнение эллипса, определяемого тремя неколлинеарными точками :

Например, для и получается трехточечная форма

и после преобразования

Аналогично случаю окружности уравнение можно записать более наглядно, используя векторы:

где модифицированное скалярное произведение

Полюс-полярное отношение

Эллипс: полюсно-полярная связь

Любой эллипс можно описать в подходящей системе координат уравнением . Уравнение касательной в точке эллипса имеет вид Если допустить, что точка является произвольной точкой, отличной от начала координат, то

точка отображается на линию , а не проходит через центр эллипса.

Это отношение между точками и линиями является биекцией .

Обратная функция отображает

Такое отношение между точками и прямыми, образованное коникой, называется полюсно-полярным отношением или полярностью . Полюсом является точка, полярой — прямая.

Расчетным путем можно подтвердить следующие свойства полюсно-полярной связи эллипса:

  1. Точка пересечения двух полюсов является полюсом линии, проходящей через их полюса.
  2. Фокус и , соответственно, и директрисы и , соответственно, принадлежат парам полюса и поляры. Поскольку они являются четными полярными парами относительно окружности , директрисы могут быть построены с помощью циркуля и линейки (см. Инверсная геометрия ).

Полюсно-полярные соотношения существуют также для гипербол и парабол.

Метрические свойства

Все метрические свойства, приведенные ниже, относятся к эллипсу с уравнением

за исключением участка области, ограниченной наклонным эллипсом, где будет дана обобщенная форма уравнения ( 1 ).

Область

Площадь , ограниченная эллипсом, равна:

где и — длины большой и малой полуосей соответственно. Формула площади интуитивно понятна: начните с круга радиусом (так что его площадь равна ) и растяните его на коэффициент, чтобы получился эллипс. Это масштабирует площадь на тот же коэффициент: [18] Однако использование того же подхода для окружности было бы ошибочным — сравните интегралы и . Также легко строго доказать формулу площади, используя интегрирование следующим образом. Уравнение ( 1 ) можно переписать как Для этой кривой — верхняя половина эллипса. Таким образом, удвоенный интеграл от по интервалу будет площадью эллипса:

Второй интеграл — это площадь круга радиуса , то есть, Итак

Эллипс, определяемый неявно, имеет площадь

Площадь также можно выразить через эксцентриситет и длину большой полуоси как (полученную путем решения уравнения для сплющивания с последующим вычислением малой полуоси).

Площадь, ограниченная наклонным эллипсом, равна .

До сих пор мы имели дело с прямыми эллипсами, большая и малая оси которых параллельны осям и . Однако для некоторых приложений требуются наклонные эллипсы. Например, в оптике пучков заряженных частиц замкнутая область прямого или наклонного эллипса является важным свойством пучка, его излучательной способностью . В этом случае по-прежнему применима простая формула, а именно

где , являются отсекателями и , являются максимальными значениями. Это следует непосредственно из теоремы Аполлония.

Окружность

Эллипсы с одинаковой окружностью

Длина окружности эллипса равна:

где снова — длина большой полуоси, — эксцентриситет, а функция — полный эллиптический интеграл второго рода , который в общем случае не является элементарной функцией .

Длина окружности эллипса может быть оценена с помощью арифметико -геометрического среднего Гаусса ; [19] это квадратично сходящийся итерационный метод ( подробнее см. здесь ).

Точный бесконечный ряд имеет вид: где — двойной факториал (распространяемый на отрицательные нечетные целые числа обычным способом, что дает и ).

Этот ряд сходится, но, расширяя его в терминах Джеймса Айвори [20] , Бессель [21] и Куммер [22] вывели выражение, которое сходится гораздо быстрее. Наиболее кратко оно записывается в терминах биномиального коэффициента с : Коэффициенты немного меньше (в множитель ), но также численно намного меньше, чем за исключением при и . Для эксцентриситетов менее 0,5 ( ) ошибка находится на пределе двойной точности с плавающей точкой после члена. [23]

Шриниваса Рамануджан дал два близких приближения для окружности в §16 "Modular Equations and Approximations to "; [24] они есть и где принимает то же значение, что и выше. Ошибки в этих приближениях, которые были получены эмпирическим путем, имеют порядок и соответственно.

Длина дуги

В более общем смысле длина дуги части окружности, как функция противолежащего угла (или координат x любых двух точек на верхней половине эллипса), задается неполным эллиптическим интегралом . Верхняя половина эллипса параметризуется как

Тогда длина дуги от до равна:

Это эквивалентно

где — неполный эллиптический интеграл второго рода с параметром

Некоторые нижние и верхние границы окружности канонического эллипса с равны [25]

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

Кривизна

Кривизна определяется по формуле:

и радиус кривизны , ρ = 1/κ, в точке : Радиус кривизны эллипса, как функция угла θ от центра, равен: где e — эксцентриситет.

Радиус кривизны в двух вершинах и центрах кривизны:

Радиус кривизны в двух совершинах и центры кривизны: Геометрическое место всех центров кривизны называется эволютой . В случае эллипса эволюта — это астроида .

В геометрии треугольника

Эллипсы появляются в геометрии треугольника как

  1. Эллипс Штейнера : эллипс, проходящий через вершины треугольника с центром в центроиде,
  2. вэллипс : эллипсы, которые касаются сторон треугольника. Особыми случаями являются вэллипс Штейнера и вэллипс Мандарта .

Как плоские сечения квадриков

Эллипсы появляются как плоские сечения следующих квадрик :

Приложения

Физика

Эллиптические отражатели и акустика

Волновая картина маленькой капельки, упавшей в ртуть в фокусах эллипса

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

Аналогично, если источник света поместить в один фокус эллиптического зеркала , все световые лучи на плоскости эллипса отражаются во второй фокус. Поскольку никакая другая гладкая кривая не обладает таким свойством, его можно использовать в качестве альтернативного определения эллипса. (В частном случае круга с источником в центре весь свет будет отражаться обратно в центр.) Если эллипс вращается вокруг своей большой оси, чтобы получить эллипсоидальное зеркало (в частности, вытянутый сфероид ), это свойство сохраняется для всех лучей из источника. В качестве альтернативы можно использовать цилиндрическое зеркало с эллиптическим поперечным сечением для фокусировки света от линейной флуоресцентной лампы вдоль линии бумаги; такие зеркала используются в некоторых сканерах документов .

Звуковые волны отражаются аналогичным образом, поэтому в большой эллиптической комнате человек, стоящий в одном фокусе, может слышать человека, стоящего в другом фокусе, очень хорошо. Эффект еще более очевиден под сводчатой ​​крышей, имеющей форму сечения вытянутого сфероида. Такая комната называется камерой шепота . Тот же эффект можно продемонстрировать с помощью двух отражателей, имеющих форму торцевых крышек такого сфероида, размещенных друг напротив друга на соответствующем расстоянии. Примерами являются Национальный скульптурный зал в Капитолии Соединенных Штатов (где, как говорят, Джон Куинси Адамс использовал это свойство для подслушивания политических вопросов); Мормонская скиния на Храмовой площади в Солт-Лейк-Сити , штат Юта ; на выставке, посвященной звуку, в Музее науки и промышленности в Чикаго ; перед Иллинойсским университетом в Урбана-Шампейн, Фоеллингер Аудиториум; а также в боковой комнате Дворца Карла V в Альгамбре .

Планетарные орбиты

В XVII веке Иоганн Кеплер открыл, что орбиты, по которым планеты движутся вокруг Солнца, представляют собой эллипсы с Солнцем [приблизительно] в одном из фокусов, в своем первом законе движения планет . Позже Исаак Ньютон объяснил это как следствие своего закона всемирного тяготения .

В более общем смысле, в гравитационной задаче двух тел , если два тела связаны друг с другом (то есть полная энергия отрицательна), их орбиты представляют собой подобные эллипсы с общим барицентром, являющимся одним из фокусов каждого эллипса. Другой фокус любого эллипса не имеет известного физического значения. Орбита любого тела в системе отсчета другого тела также является эллипсом, причем другое тело находится в том же фокусе.

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

Для эллиптических орбит полезными соотношениями, включающими эксцентриситет, являются:

где

Также, в терминах и , большая полуось является их средним арифметическим , малая полуось является их средним геометрическим , а полуширокая прямая ось является их средним гармоническим . Другими словами,

Гармонические осцилляторы

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

Фазовая визуализация

В электронике относительную фазу двух синусоидальных сигналов можно сравнить, подав их на вертикальный и горизонтальный входы осциллографа . Если отображение фигуры Лиссажу представляет собой эллипс, а не прямую линию, два сигнала не совпадают по фазе.

Эллиптические шестерни

Две некруглые шестерни с одинаковым эллиптическим контуром, каждая из которых вращается вокруг одного фокуса и расположена под правильным углом, плавно вращаются, сохраняя контакт все время. В качестве альтернативы они могут быть соединены звеньевой цепью или ремнем ГРМ , или в случае велосипеда главная передняя звезда может быть эллиптической или овоидной , похожей на эллипс по форме. Такие эллиптические шестерни могут использоваться в механическом оборудовании для создания переменной угловой скорости или крутящего момента от постоянного вращения ведущей оси, или в случае велосипеда для обеспечения переменной скорости вращения кривошипа с обратно изменяющимся механическим преимуществом .

Эллиптические велосипедные передачи облегчают соскальзывание цепи с зубчатого колеса при переключении передач. [26]

Примером применения зубчатой ​​передачи может служить устройство, наматывающее нить на коническую бобину прядильной машины . Бобина должна наматываться быстрее, когда нить находится вблизи вершины, чем когда она находится вблизи основания. [27]

Оптика

Статистика и финансы

В статистике двумерный случайный вектор совместно эллиптически распределен , если его контуры изоплотности — геометрические места равных значений функции плотности — являются эллипсами. Эта концепция распространяется на произвольное число элементов случайного вектора, в этом случае в общем случае контуры изоплотности являются эллипсоидами. Особым случаем является многомерное нормальное распределение . Эллиптические распределения важны в финансах , потому что если ставки доходности активов совместно эллиптически распределены, то все портфели можно полностью охарактеризовать их средним значением и дисперсией — то есть любые два портфеля с идентичным средним значением и дисперсией доходности портфеля имеют идентичные распределения доходности портфеля. [30] [31]

Компьютерная графика

Рисование эллипса как графического примитива распространено в стандартных библиотеках отображения, таких как MacIntosh QuickDraw API и Direct2D в Windows. Джек Брезенхэм из IBM наиболее известен изобретением примитивов 2D-рисования, включая рисование линий и окружностей, с использованием только быстрых целочисленных операций, таких как сложение и ветвление по биту переноса. MLV Pitteway расширил алгоритм Брезенхэма для линий до конических сечений в 1967 году. [32] Другое эффективное обобщение для рисования эллипсов было изобретено в 1984 году Джерри Ван Эйкеном. [33]

В 1970 году Дэнни Коэн представил на конференции "Computer Graphics 1970" в Англии линейный алгоритм для рисования эллипсов и окружностей. В 1971 году Л. Б. Смит опубликовал аналогичные алгоритмы для всех конических сечений и доказал, что они обладают хорошими свойствами. [34] Эти алгоритмы требуют всего лишь нескольких умножений и сложений для вычисления каждого вектора.

Параметрическую формулировку выгодно использовать в компьютерной графике, поскольку плотность точек наибольшая там, где больше всего кривизны. Таким образом, изменение наклона между каждой последующей точкой невелико, что уменьшает кажущуюся «зубчатость» аппроксимации.

Рисование с помощью контуров Безье

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

Теория оптимизации

Иногда бывает полезно найти минимальный ограничивающий эллипс на множестве точек. Метод эллипсоида весьма полезен для решения этой задачи.

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

Примечания

  1. ^ Апостол, Том М.; Мнацаканян, Мамикон А. (2012), Новые горизонты в геометрии , The Dolciani Mathematical Expositions #47, Математическая ассоциация Америки, стр. 251, ISBN 978-0-88385-354-2
  2. ^ Немецкое название этого круга — Leitkreis , что можно перевести как «круг директоров», но в английской литературе этот термин имеет другое значение (см. Круг директоров ).
  3. ^ ab "Эллипс - из Wolfram MathWorld". Mathworld.wolfram.com. 2020-09-10 . Получено 2020-09-10 .
  4. ^ Проттер и Морри (1970, стр. 304, APP-28)
  5. ^ Ларсон, Рон; Хостетлер, Роберт П.; Фальво, Дэвид К. (2006). "Глава 10". Предварительное исчисление с ограничениями. Cengage Learning. стр. 767. ISBN 978-0-618-66089-6.
  6. ^ Янг, Синтия Y. (2010). "Глава 9". Precalculus. John Wiley and Sons. стр. 831. ISBN 978-0-471-75684-2.
  7. ^ ab Лоуренс, Дж. Деннис, Каталог специальных плоских кривых , Dover Publ., 1972.
  8. ^ К. Штрубекер: Vorlesungen über Darstellende Geometry , GÖTTINGEN, VANDENHOECK & RUPRECHT, 1967, стр. 26
  9. ^ Бронштейн и Семенджаев: Taschenbuch der Mathematik , Verlag Harri Deutsch, 1979, ISBN 3871444928 , стр. 274. 
  10. ^ Энциклопедия математики , Springer, URL: http://encyclopediaofmath.org/index.php?title=Apollonius_theorem&oldid=17516 .
  11. ^ Блейк, Э. М. (1900). «Эллипсограф Прокла». Американский журнал математики . 22 (2): 146–153. doi :10.2307/2369752. JSTOR 2369752 . 
  12. ^ К. Штрубекер: Vorlesungen über Darstellende Geometrie. Ванденхук и Рупрехт, Геттинген, 1967, стр. 26.
  13. Из Περί παραδόξων μηχανημάτων [ О чудесных машинах ]: «Итак, если мы натянем нить, охватывающую точки A, B, плотно вокруг первой точки, от которой должны отражаться лучи, то будет нарисована линия, являющаяся частью так называемого эллипса, по отношению к которому должна располагаться поверхность зеркала».
    Хаксли, Г. Л. (1959). Антемий из Тралл: исследование поздней греческой геометрии . Кембридж, Массачусетс. С. 8–9. LCCN  59-14700.{{cite book}}: CS1 maint: location missing publisher (link)
  14. Труд аль-Хасана назывался «Китаб аль-шакл аль-мудаввар аль-мустатил» [ «Книга вытянутой круглой фигуры »].
    Рашед, Рошди (2014). Классическая математика от Аль-Хорезми до Декарта . Перевод Шэнка, Майкла Х. Нью-Йорк: Routledge. стр. 559. ISBN 978-13176-2-239-0.
  15. ^ Дж. ван Маннен: Инструменты семнадцатого века для черчения конических сечений. В: The Mathematical Gazette. Т. 76, 1992, стр. 222–230.
  16. ^ Э. Хартманн: Заметка к лекции «Плоская круговая геометрия», введение в плоскости Мёбиуса, Лагерра и Минковского, стр. 55
  17. ^ В. Бенц, Vorlesungen über Geomerie der Algebren , Springer (1973)
  18. ^ Архимед. (1897). Труды Архимеда. Хит, Томас Литтл, сэр, 1861-1940. Минеола, Нью-Йорк: Dover Publications. стр. 115. ISBN 0-486-42084-1. OCLC  48876646.
  19. ^ Карлсон, BC (2010), «Эллиптические интегралы», в Olver, Frank WJ ; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W. (ред.), NIST Handbook of Mathematical Functions , Cambridge University Press, ISBN 978-0-521-19225-5, г-н  2723248.
  20. ^ Айвори, Дж. (1798). «Новая серия для исправления многоточия». Труды Королевского общества Эдинбурга . 4 (2): 177–190. doi :10.1017/s0080456800030817. S2CID  251572677.
  21. ^ Бессель, Ф. В. (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.
  22. ^ Линдерхольм, Карл Э.; Сигал, Артур К. (июнь 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.
  23. ^ Кук, Джон Д. (28 мая 2023 г.). «Сравнение приближений для периметра эллипса». Блог John D. Cook Consulting . Получено 16 сентября 2024 г.
  24. ^ Рамануджан, Шриниваса (1914). «Модулярные уравнения и приближения к π». Quart. J. Pure App. Math . 45 : 350–372. ISBN 9780821820766.
  25. ^ Джеймсон, GJO (2014). «Неравенства для периметра эллипса». Mathematical Gazette . 98 (542): 227–234. doi :10.1017/S002555720000125X. S2CID  125063457.
  26. ^ Дэвид Дрю. «Эллиптические шестерни». [1]
  27. ^ Грант, Джордж Б. (1906). Трактат о зубчатых колесах. Philadelphia Gear Works. стр. 72.
  28. ^ Энциклопедия лазерной физики и техники - лазеры с ламповой накачкой, дуговые лампы, импульсные лампы, высокомощные, Nd:YAG лазер
  29. ^ "Cymer - EUV Plasma Chamber Detail Category Home Page". Архивировано из оригинала 2013-05-17 . Получено 2013-06-20 .
  30. ^ Чемберлен, Г. (февраль 1983 г.). «Характеристика распределений, подразумевающих среднее значение — дисперсионные функции полезности». Журнал экономической теории . 29 (1): 185–201. doi :10.1016/0022-0531(83)90129-1.
  31. ^ Оуэн, Дж.; Рабинович, Р. (июнь 1983 г.). «О классе эллиптических распределений и их применении в теории выбора портфеля». Журнал финансов . 38 (3): 745–752. doi :10.1111/j.1540-6261.1983.tb02499.x. JSTOR  2328079.
  32. ^ Питтевей, MLV (1967). «Алгоритм для рисования эллипсов или гипербол с помощью цифрового плоттера». The Computer Journal . 10 (3): 282–9. doi : 10.1093/comjnl/10.3.282 .
  33. ^ Ван Эйкен, Дж. Р. (сентябрь 1984 г.). «Эффективный алгоритм рисования эллипса». IEEE Computer Graphics and Applications . 4 (9): 24–35. doi :10.1109/MCG.1984.275994. S2CID  18995215.
  34. ^ Смит, Л. Б. (1971). «Рисование эллипсов, гипербол или парабол с фиксированным числом точек». The Computer Journal . 14 (1): 81–86. doi : 10.1093/comjnl/14.1.81 .

Ссылки

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