Квадрическая поверхность, которая выглядит как деформированная сфера
Эллипсоид — это поверхность, которую можно получить из сферы , деформируя ее с помощью направленного масштабирования или, в более общем смысле, аффинного преобразования .
Эллипсоид — это квадратичная поверхность ; то есть поверхность , которая может быть определена как нулевое множество полинома второй степени от трех переменных. Среди квадратичных поверхностей эллипсоид характеризуется одним из двух следующих свойств. Каждое плоское поперечное сечение является либо эллипсом , либо пустым, либо сводится к одной точке (это объясняет название, означающее «подобный эллипсу»). Он ограничен , что означает, что он может быть заключен в достаточно большую сферу.
Эллипсоид имеет три попарно перпендикулярные оси симметрии , которые пересекаются в центре симметрии , называемом центром эллипсоида. Отрезки прямых , ограниченные осями симметрии эллипсоида, называются главными осями или просто осями эллипсоида. Если три оси имеют разную длину, то фигура является трехосным эллипсоидом (редко разносторонним эллипсоидом ), и оси определены однозначно.
Если две оси имеют одинаковую длину, то эллипсоид является эллипсоидом вращения , также называемым сфероидом . В этом случае эллипсоид инвариантен относительно вращения вокруг третьей оси, и, таким образом, существует бесконечно много способов выбора двух перпендикулярных осей одинаковой длины. Если третья ось короче, эллипсоид является сплющенным сфероидом ; если она длиннее, то это вытянутый сфероид . Если три оси имеют одинаковую длину, эллипсоид является сферой.
Стандартное уравнение
Общий эллипсоид, также известный как трехосный эллипсоид, представляет собой квадратичную поверхность, которая определяется в декартовых координатах как:
где , и - длины полуосей.
Точки , и лежат на поверхности. Отрезки прямых от начала координат до этих точек называются главными полуосями эллипсоида, поскольку a , b , c составляют половину длины главных осей. Они соответствуют большой полуоси и малой полуоси эллипса .
В геодезии чаще всего используется геодезическая широта , как угол между вертикалью и экваториальной плоскостью, определяемый для двуосного эллипсоида. Для более общего трехосного эллипсоида см. эллипсоидальная широта .
Объем
Объем , ограниченный эллипсоидом, равен
В терминах главных диаметров A , B , C (где A = 2a , B = 2b , C = 2c ) объем равен
.
Это уравнение сводится к уравнению объема сферы, когда все три эллиптических радиуса равны, и к уравнению объема сплющенного или вытянутого сфероида, когда два из них равны.
Площадь поверхности общего (трехосного) эллипсоида равна [2]
где
и где F ( φ , k ) и E ( φ , k ) — неполные эллиптические интегралы первого и второго рода соответственно. [3]
Площадь поверхности этого общего эллипсоида также может быть выражена через , одну из симметричных форм Карлсона эллиптических интегралов: [4]
Упрощая приведенную выше формулу с использованием свойств RG , [5] ее можно также выразить через объем эллипсоида V :
В отличие от выражений с F ( φ , k ) и E ( φ , k ) , уравнения в терминах RG не зависят от выбора порядка по a , b и c .
Площадь поверхности эллипсоида вращения (или сфероида) может быть выражена через элементарные функции :
или
или
и
которые, как следует из основных тригонометрических тождеств, являются эквивалентными выражениями (т.е. формула для S сплюснутого может быть использована для вычисления площади поверхности вытянутого эллипсоида и наоборот). В обоих случаях e может быть снова определено как эксцентриситет эллипса, образованного поперечным сечением через ось симметрии. (См. эллипс ). Выводы этих результатов можно найти в стандартных источниках, например Mathworld . [6]
Приблизительная формула
Здесь p ≈ 1,6075 дает относительную погрешность не более 1,061%; [7] значение p = 8/5 = 1,6 является оптимальным для почти сферических эллипсоидов с относительной погрешностью не более 1,178%.
В «плоском» пределе, когда c намного меньше, чем a и b , площадь приблизительно равна 2π ab , что эквивалентно p = log 2 3 ≈ 1,5849625007 .
Сечения плоскости
Пересечение плоскости и сферы является окружностью (или сводится к одной точке, или является пустым). Любой эллипсоид является образом единичной сферы при некотором аффинном преобразовании, а любая плоскость является образом некоторой другой плоскости при том же преобразовании. Таким образом, поскольку аффинные преобразования отображают окружности в эллипсы, пересечение плоскости с эллипсоидом является эллипсом или одной точкой, или является пустым. [8] Очевидно, что сфероиды содержат окружности. Это также верно, но менее очевидно, для трехосных эллипсоидов (см. Круговое сечение ).
Определение эллипса сечения плоскости
Дано: Эллипсоид х 2/а 2 + г 2/б 2 + з 2/с 2 = 1 и плоскость с уравнением n x x + n y y + n z z = d , которые имеют общим эллипс.
Требуется: Три вектора f 0 (центр) и f 1 , f 2 (сопряженные векторы), такие, чтобы эллипс можно было представить параметрическим уравнением
Решение: Масштабирование u = х/а , v = у/б , ш = з/с преобразует эллипсоид на единичную сферу u 2 + v 2 + w 2 = 1 и заданную плоскость на плоскость с уравнением
Где m w = ±1 (т.е. плоскость горизонтальна), пусть
Где m w ≠ ±1 , пусть
В любом случае векторы e 1 , e 2 ортогональны, параллельны плоскости пересечения и имеют длину ρ (радиус окружности). Следовательно, окружность пересечения можно описать параметрическим уравнением
Обратное масштабирование (см. выше) преобразует единичную сферу обратно в эллипсоид, а векторы e 0 , e 1 , e 2 отображаются на векторы f 0 , f 1 , f 2 , которые требовались для параметрического представления эллипса пересечения.
Как найти вершины и полуоси эллипса, описано в разделе Эллипс .
Пример: На рисунках изображен эллипсоид с полуосями a = 4, b = 5, c = 3, который пересекается плоскостью x + y + z = 5 .
Конструкция из штифтов и струн
Построение эллипсоида с помощью штифтов и нити представляет собой перенос идеи построения эллипса с помощью двух штифтов и нити (см. схему).
Конструкция эллипсоида вращения с помощью штифтов и струн задается конструкцией вращающегося эллипса с помощью штифтов и струн.
Построение точек трехосного эллипсоида более сложно. Первые идеи принадлежат шотландскому физику Дж. К. Максвеллу (1868). [9] Основные исследования и распространение на квадрики были выполнены немецким математиком О. Штауде в 1882, 1886 и 1898 годах. [10] [11] [12] Описание построения эллипсоидов и гиперболоидов с помощью штифтов и струн содержится также в книге «Геометрия и воображение», написанной Д. Гильбертом и С. Фоссеном, [13] .
Этапы строительства
Выберите эллипс E и гиперболу H , которые представляют собой пару фокальных коник : с вершинами и фокусами эллипса и струной (на схеме красного цвета) длиной l .
Прикрепите один конец струны к вершине S 1 , а другой к фокусу F 2 . Струна натянута в точке P с положительными координатами y и z так, что струна проходит от S 1 до P за верхней частью гиперболы (см. диаграмму) и может свободно скользить по гиперболе. Часть струны от P до F 2 проходит и скользит перед эллипсом. Струна проходит через ту точку гиперболы, для которой расстояние | S 1 P | над любой точкой гиперболы минимально. Аналогичное утверждение о второй части струны и эллипсе также должно быть верным.
Тогда: P — точка эллипсоида с уравнением
Остальные точки эллипсоида могут быть построены путем соответствующих изменений струны в фокальных кониках.
Полуоси
Уравнения для полуосей сгенерированного эллипсоида могут быть получены путем специального выбора точки P :
Нижняя часть диаграммы показывает, что F 1 и F 2 также являются фокусами эллипса в плоскости xy . Следовательно, он конфокален данному эллипсу, а длина струны равна l = 2 r x + ( a − c ) . Решение относительно r x дает r x = 1/2 ( l − a + c ) ; кроме того, r2 года= р2 х− с 2 .
Из верхней диаграммы видно, что S 1 и S 2 являются фокусами эллиптического сечения эллипсоида в плоскости xz и что r2 з= р2 х− а 2 .
Конверс
Если же, наоборот, трехосный эллипсоид задан своим уравнением, то из уравнений на шаге 3 можно вывести параметры a , b , l для конструкции из штифтов и струн.
Конфокальные эллипсоиды
Если E — эллипсоид, софокусный с E с квадратами его полуосей
тогда из уравнений E
можно обнаружить, что соответствующие фокальные коники, используемые для построения стержней и струн, имеют те же полуоси a , b , c , что и эллипсоид E. Поэтому (аналогично фокусам эллипса) можно рассматривать фокальные коники трехосного эллипсоида как (бесконечное множество) фокусов и называть их фокальными кривыми эллипсоида. [14]
Обратное утверждение также верно: если выбрать вторую строку длины l и определить
тогда уравнения
действительны, что означает, что два эллипсоида являются конфокальными.
Предельный случай, эллипсоид вращения
В случае a = c ( сфероид ) получаем S 1 = F 1 и S 2 = F 2 , что означает, что фокальный эллипс вырождается в отрезок прямой, а фокальная гипербола схлопывается в два бесконечных отрезка прямой на оси x . Эллипсоид вращательно-симметричный относительно оси x и
.
Свойства фокальной гиперболы
Истинная кривая
Если рассматривать эллипсоид из внешней точки V его фокальной гиперболы, то он кажется сферой, то есть его видимая форма — окружность. Эквивалентно, касательные эллипсоида, содержащие точку V, являются линиями кругового конуса , ось вращения которого является касательной линией гиперболы в точке V. [ 15] [16] Если позволить центру V исчезнуть в бесконечности, то получится ортогональная параллельная проекция с соответствующей асимптотой фокальной гиперболы в качестве ее направления. Истинная кривая формы (точки касания) на эллипсоиде не является окружностью.В нижней части рисунка слева показана параллельная проекция эллипсоида (с полуосями 60, 40, 30) вдоль асимптоты, а справа — центральная проекция с центром V и главной точкой H на касательной гиперболы в точке V. ( H — основание перпендикуляра из V на плоскость изображения.) Для обеих проекций видимая форма — окружность. В параллельном случае изображение начала координат O является центром окружности; в центральном случае главная точка H является центром.
Пупочные точки
Фокальная гипербола пересекает эллипсоид в его четырех пупочных точках . [17]
Свойство фокального эллипса
Фокальный эллипс вместе с его внутренней частью можно рассматривать как предельную поверхность (бесконечно тонкий эллипсоид) пучка софокусных эллипсоидов, определяемых a , b при r z → 0. Для предельного случая получаем
Можно также определить гиперэллипсоид как изображение сферы при обратимом аффинном преобразовании . Спектральная теорема может быть снова использована для получения стандартного уравнения вида
Объем n -мерного гиперэллипсоида можно получить, заменив R n на произведение полуосей a 1 a 2 ... a n в формуле для объема гиперсферы :
Если A — действительная, симметричная, положительно определенная матрица размера n на n , а v — вектор в, то множество точек x , удовлетворяющих уравнению
представляет собой n- мерный эллипсоид с центром в v . Выражение также называется эллипсоидальной нормой x - v . Для каждого эллипсоида существуют уникальные A и v, удовлетворяющие приведенному выше уравнению. [18] : 67
Собственные векторы A являются главными осями эллипсоида, а собственные значения A являются обратными величинами квадратов полуосей (в трех измерениях это a −2 , b −2 и c −2 ). [19] В частности :
Диаметр эллипсоида в два раза больше самой длинной полуоси, которая в два раза больше квадратного корня из величины, обратной наибольшему собственному значению A.
Ширина эллипсоида в два раза больше самой короткой полуоси, которая в два раза больше квадратного корня из величины, обратной наименьшему собственному значению A.
Обратимое линейное преобразование, примененное к сфере, создает эллипсоид, который может быть приведен к указанной выше стандартной форме с помощью подходящего поворота , что является следствием полярного разложения (см. также спектральную теорему ). Если линейное преобразование представлено симметричной матрицей 3 × 3 , то собственные векторы матрицы ортогональны (вследствие спектральной теоремы ) и представляют собой направления осей эллипсоида; длины полуосей вычисляются из собственных значений. Сингулярное разложение и полярное разложение являются матричными разложениями, тесно связанными с этими геометрическими наблюдениями.
Для каждой положительно определенной матрицы существует уникальная положительно определенная матрица, обозначенная A 1/2 , такая, что это обозначение мотивировано тем фактом, что эту матрицу можно рассматривать как «положительный квадратный корень» из Эллипсоид, определяемый как , также может быть представлен как [18] : 67
Ключом к параметрическому представлению эллипсоида в общем положении является альтернативное определение:
Эллипсоид является аффинным изображением единичной сферы.
Аффинное преобразование может быть представлено переносом с вектором f 0 и регулярной матрицей A размером 3 × 3 :
где f 1 , f 2 , f 3 — векторы-столбцы матрицы A .
Параметрическое представление эллипсоида в общем положении можно получить с помощью параметрического представления единичной сферы (см. выше) и аффинного преобразования:
.
Если векторы f 1 , f 2 , f 3 образуют ортогональную систему, то шесть точек с векторами f 0 ± f 1,2,3 являются вершинами эллипсоида, а | f 1 |, | f 2 |, | f 3 | являются полуглавными осями.
Вектор нормали к поверхности в точке x ( θ , φ ) равен
Для любого эллипсоида существует неявное представление F ( x , y , z ) = 0 . Если для простоты центр эллипсоида является началом координат, f 0 = 0 , следующее уравнение описывает эллипсоид выше: [20]
Приложения
Эллипсоидальная форма находит множество практических применений:
Измерения, полученные с помощью МРТ- изображения предстательной железы , можно использовать для определения объема железы, используя приближение Д × Ш × В × 0,52 (где 0,52 — это приближение для π/6 ) [21]
При a = b = c эти моменты инерции уменьшаются до моментов инерции для сферы однородной плотности.
Эллипсоиды и кубоиды вращаются стабильно вдоль своих больших или малых осей, но не вдоль своей средней оси. Это можно увидеть экспериментально, бросая ластик с некоторым вращением. Кроме того, соображения момента инерции означают, что вращение вдоль большой оси легче возмущается, чем вращение вдоль малой оси. [22]
Одним из практических следствий этого является то, что разносторонние астрономические тела, такие как Хаумеа, обычно вращаются вокруг своих малых осей (как и Земля, которая просто сплющена ); кроме того, из-за приливного захвата луны на синхронных орбитах, такие как Мимас, вращаются с большой осью, выровненной радиально по отношению к своей планете.
Вращающееся тело однородной самогравитирующей жидкости примет форму либо сфероида Маклорена (сплюснутый сфероид), либо эллипсоида Якоби (разносторонний эллипсоид) в гидростатическом равновесии и при умеренных скоростях вращения. При более быстрых вращениях можно ожидать неэллипсоидальные грушевидные или яйцевидные формы, но они нестабильны.
Динамика жидкости
Эллипсоид является наиболее общей формой, для которой удалось рассчитать ползущий поток жидкости вокруг твердой формы. Расчеты включают силу, необходимую для перемещения через жидкость и вращения внутри нее. Приложения включают определение размера и формы больших молекул, скорости погружения мелких частиц и плавательных способностей микроорганизмов . [23]
где k — масштабный коэффициент, x — n -мерный случайный вектор-строка с медианным вектором μ (который также является средним вектором, если последний существует), Σ — положительно определенная матрица , которая пропорциональна ковариационной матрице, если последняя существует, а g — функция, отображающая неотрицательные действительные числа в неотрицательные действительные числа, дающая конечную площадь под кривой. [24] Многомерное нормальное распределение является особым случаем, в котором g ( z ) = exp(− з/2 ) для квадратичной формы z .
Таким образом, функция плотности является скалярно-скалярным преобразованием квадратичного выражения. Более того, уравнение для любой поверхности изоплотности утверждает, что квадратичное выражение равно некоторой константе, специфичной для этого значения плотности, а поверхность изоплотности является эллипсоидом.
Сплющивание , также называемое эллиптичностью и приплюснутостью , является мерой сжатия круга или сферы по диаметру с образованием эллипса или эллипсоида вращения (сфероида) соответственно.
Фокалоид , оболочка, ограниченная двумя концентрическими, софокусными эллипсоидами.
^ FWJ Olver, DW Lozier, RF Boisvert и CW Clark, редакторы, 2010, NIST Handbook of Mathematical Functions ( Cambridge University Press ), Раздел 19.33 "Трехосные эллипсоиды" . Получено 2012-01-08 .
^ «DLMF: 19.2 Определения».
^ "Площадь поверхности эллипсоида". analyticphysics.com . Получено 2024-07-23 .
^ "DLMF: §19.20 Особые случаи ‣ Симметричные интегралы ‣ Глава 19 Эллиптические интегралы". dlmf.nist.gov . Получено 2024-07-23 .
^ W., Weisstein, Eric. "Вытянутый сфероид". mathworld.wolfram.com . Архивировано из оригинала 3 августа 2017 г. . Получено 25 марта 2018 г. .{{cite web}}: CS1 maint: multiple names: authors list (link)
^ Окончательные ответы Архивировано 2011-09-30 в Wayback Machine Жераром П. Мишоном (2004-05-13). См. формулы Томсена и комментарии Кантрелла.