Квадрикическая поверхность, похожая на деформированную сферу.
Эллипсоид — это поверхность, которую можно получить из сферы , деформируя ее посредством направленного масштабирования или, в более общем смысле, аффинного преобразования .
Эллипсоид — это квадратичная поверхность ; то есть поверхность , которую можно определить как нулевое множество многочлена второй степени от трех переменных. Среди квадратичных поверхностей эллипсоид характеризуется одним из двух следующих свойств. Каждое плоское сечение представляет собой либо эллипс , либо пустое, либо сведенное к одной точке (это объясняет название, означающее «эллипсоподобный»). Оно ограничено , что означает, что его можно заключить в достаточно большую сферу.
Эллипсоид имеет три попарно перпендикулярные оси симметрии , которые пересекаются в центре симметрии , называемом центром эллипсоида. Отрезки линий , ограниченные на осях симметрии эллипсоидом, называются главными осями или просто осями эллипсоида. Если три оси имеют разную длину, фигура представляет собой трехосный эллипсоид (редко разносторонний эллипсоид ), и оси определены однозначно.
Если две оси имеют одинаковую длину, то эллипсоид является эллипсоидом вращения , также называемым сфероидом . В этом случае эллипсоид инвариантен относительно вращения вокруг третьей оси, и, таким образом, существует бесконечно много способов выбора двух перпендикулярных осей одинаковой длины. Если третья ось короче, эллипсоид представляет собой сплюснутый сфероид ; если он длиннее, то это вытянутый сфероид . Если три оси имеют одинаковую длину, эллипсоид является сферой.
Стандартное уравнение
Общий эллипсоид, также известный как трехосный эллипсоид, представляет собой квадратичную поверхность, которая определяется в декартовых координатах как:
где , и – длины полуосей.
Точки , и лежат на поверхности. Отрезки от начала координат до этих точек называются главными полуосями эллипсоида, поскольку a , b , c составляют половину длины главных осей. Они соответствуют большой полуоси и малой полуоси эллипса .
В геодезии чаще всего используется геодезическая широта , как угол между вертикалью и экваториальной плоскостью, определенный для двухосного эллипсоида. Для более общего трехосного эллипсоида см. эллипсоидную широту .
Объем
Объем , ограниченный эллипсоидом, равен
В терминах главных диаметров A , B , C (где A = 2 a , B = 2 b , C = 2 c ) объем равен
.
Это уравнение сводится к уравнению объема сферы, когда все три эллиптических радиуса равны, и к уравнению сплюснутого или вытянутого сфероида , когда два из них равны.
Площадь поверхности общего (трехосного) эллипсоида равна [2] [3]
где
и где F ( φ , k ) и E ( φ , k ) — неполные эллиптические интегралы первого и второго рода соответственно. [4] Площадь поверхности этого общего эллипсоида также может быть выражена с использованием симметричных форм эллиптических интегралов R F и RD Карлсона путем простой замены приведенной выше формулы на соответствующие определения :
В отличие от выражения с F ( φ , k ) и E ( φ , k ) , вариант, основанный на симметричных интегралах Карлсона, дает действительные результаты для сферы, и только ось c должна быть наименьшей, порядок между двумя большими осями, a и b могут быть произвольными.
Площадь поверхности эллипсоида вращения (или сфероида) может быть выражена через элементарные функции :
или
или
и
которые, как следует из основных тригонометрических тождеств, являются эквивалентными выражениями (т.е. формулу для сплюснутого S можно использовать для расчета площади поверхности вытянутого эллипсоида и наоборот). В обоих случаях e снова можно определить как эксцентриситет эллипса, образованного поперечным сечением оси симметрии. (См. эллипс ). Выводы этих результатов можно найти в стандартных источниках, например Mathworld . [5]
Примерная формула
Здесь p ≈ 1,6075 дает относительную погрешность не более 1,061%; [6] значение p =8/5= 1,6 является оптимальным для почти сферических эллипсоидов с относительной погрешностью не более 1,178%.
В «плоском» пределе c , намного меньшем, чем a и b , площадь составляет примерно 2π ab , что эквивалентно p = log 2 3 ≈ 1,5849625007 .
Плоские сечения
Пересечение плоскости и сферы представляет собой круг (или сведен к одной точке, или пуст). Любой эллипсоид является образом единичной сферы при некотором аффинном преобразовании, а любая плоскость является образом некоторой другой плоскости при том же преобразовании. Итак, поскольку аффинные преобразования отображают круги в эллипсы, пересечение плоскости с эллипсоидом представляет собой эллипс, одну точку или пусто. [7] Очевидно, сфероиды содержат круги. Это также верно, но менее очевидно, для трехосных эллипсоидов (см. Круговой раздел ).
Определение эллипса плоского сечения
Дано: Эллипсоидх 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 г.). [8] Основные исследования и распространение на квадрики были выполнены немецким математиком О. Штауде в 1882, 1886 и 1898 годах. [9] [10] [11] Описание стержне-струнной конструкции эллипсоидов и гиперболоидов приведено содержится в книге «Геометрия и воображение» , написанной Д. Гильбертом и С. Воссеном [12] .
Этапы строительства
Выберем эллипс E и гиперболу H , которые являются парой фокальных коник :
с вершинами и фокусами эллипса
и строка (на красной диаграмме) длины l .
Прикрепите один конец веревки к вершине S1 , а другой — к фокусу F2 . Нить удерживается натянутой в точке P с положительными координатами y и z , так что струна проходит от S 1 до P за верхней частью гиперболы (см. диаграмму) и может свободно скользить по гиперболе. Часть струны от P до F 2 проходит и скользит перед эллипсом. Нить проходит через ту точку гиперболы, для которой расстояние | С 1 П | над любой точкой гиперболы минимальна. Аналогичное утверждение для второй части строки и эллипса также должно быть истинным.
Тогда: P — точка эллипсоида с уравнением
Остальные точки эллипсоида можно построить соответствующими изменениями струны на фокальных кониках.
Полуоси
Уравнения для полуосей созданного эллипсоида можно получить путем специального выбора точки P :
В нижней части диаграммы видно, что F 1 и F 2 также являются фокусами эллипса в плоскости xy . Следовательно, она софокусна данному эллипсу, а длина строки равна l = 2 r x + ( a - c ) . Решение для r x дает r x =1/2( л - а + c ) ; кроме того, р2 года= р2 х- с 2 .
Из верхней диаграммы мы видим, что S 1 и S 2 являются фокусами эллиптического сечения эллипсоида в плоскости xz и что r2 з= р2 х− а 2 .
Конверсы
Если, наоборот, трехосный эллипсоид задается его уравнением, то из уравнений шага 3 можно вывести параметры a , b , l для конструкции типа «булавка и веревка».
Конфокальные эллипсоиды
Если E — эллипсоид, софокусный E с квадратами его полуосей
тогда из уравнений E
обнаруживается, что соответствующие фокальные коники, используемые для конструкции булавки и струны, имеют те же полуоси a , b , c, что и эллипсоид E. Поэтому (аналогично фокусам эллипса) фокальные коники трехосного эллипсоида рассматриваются как (бесконечное множество) фокусов и называются фокальными кривыми эллипсоида. [13]
Обратное утверждение также верно: если выбрать вторую строку длины l и определить
тогда уравнения
действительны, что означает, что два эллипсоида конфокальные.
Предельный случай, эллипсоид вращения
В случае a = c ( сфероид ) получается S 1 = F 1 и S 2 = F 2 , что означает, что фокальный эллипс вырождается в отрезок прямой, а фокальная гипербола схлопывается в два бесконечных отрезка прямой на оси x . . Эллипсоид вращательно-симметричен вокруг оси x и
.
Свойства фокальной гиперболы
Истинная кривая
Если рассматривать эллипсоид из внешней точки V его фокальной гиперболы, то он кажется сферой, то есть его видимая форма — круг. Эквивалентно, касательные эллипсоида, содержащего точку V , являются линиями кругового конуса , ось вращения которого является касательной к гиперболе в точке V. [14] [15] Если позволить центру V исчезнуть в бесконечность, получится ортогональная параллельная проекция с соответствующей асимптотой фокальной гиперболы в качестве направления. Истинная кривая формы (точки касания) на эллипсоиде не является кругом.В нижней части схемы слева изображена параллельная проекция эллипсоида (с полуосями 60, 40, 30) по асимптоте, а справа центральная проекция с центром V и главной точкой H на касательную гиперболы. в точке В. ( H — основание перпендикуляра, проведенного из V на плоскость изображения.) Для обеих проекций видимая форма представляет собой круг. В параллельном случае образ начала координат О является центром окружности; в центральном случае главной точкой H является центр.
Пупочные точки
Фокальная гипербола пересекает эллипсоид в четырех точках пупка . [16]
Свойство фокального эллипса
Фокальный эллипс вместе с его внутренней частью можно рассматривать как предельную поверхность (бесконечно тонкий эллипсоид) пучка софокусных эллипсоидов, определяемого a , b при r z → 0 . Для предельного случая получаем
Можно также определить гиперэллипсоид как образ сферы при обратимом аффинном преобразовании . Спектральную теорему снова можно использовать для получения стандартного уравнения вида
Объем n -мерного гиперэллипсоида можно получить, заменив R n на произведение полуосей a 1 a 2 ... an в формуле объема гиперсферы :
Если v — точка, A — действительная симметричная положительно определенная матрица размером n × n , а v — вектор в Rn , то набор точек x , удовлетворяющих уравнению
— n -мерный эллипсоид с центром в точке v . Выражение также называется эллипсоидальной нормой x - v . Для каждого эллипсоида существуют уникальные A и v , удовлетворяющие приведенному выше уравнению. [17] : 67
Собственные векторы A являются главными осями эллипсоида, а собственные значения A являются обратными квадратам полуосей (в трех измерениях это a − 2 , b − 2 и c −2 ). [18] В частности:
Диаметр эллипсоида в два раза больше самой длинной полуоси, что в два раза больше квадратного корня из наибольшего собственного значения A .
Ширина эллипсоида в два раза равна самой короткой полуоси, что в два раза больше квадратного корня из наименьшего собственного значения A .
Обратимое линейное преобразование , примененное к сфере, дает эллипсоид, который можно привести к указанной выше стандартной форме с помощью подходящего поворота , являющегося следствием полярного разложения (см. также спектральную теорему ). Если линейное преобразование представлено симметричной матрицей 3×3 , то собственные векторы матрицы ортогональны (в силу спектральной теоремы ) и представляют направления осей эллипсоида; длины полуосей вычисляются по собственным значениям. Разложение по сингулярным значениям и полярное разложение представляют собой матричные разложения, тесно связанные с этими геометрическими наблюдениями.
Для каждой положительно определенной матрицы A существует уникальная положительно определенная матрица, обозначаемая A 1/2 , такая, что A = A 1/2 *A 1/2 (этот A 1/2 можно рассматривать как «квадратный корень» из A ). Эллипсоид, определенный как, также можно представить как [17] : 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 являются вершинами эллипсоида и | ж 1 |, | ж 2 |, | ж 3 | являются полуглавными осями.
Вектор нормали к поверхности в точке x ( θ , φ ) равен
Для любого эллипсоида существует неявное представление F ( x , y , z ) = 0 . Если для простоты центр эллипсоида является началом координат, f 0 = 0 , следующее уравнение описывает эллипсоид, приведенный выше: [19]
Приложения
Эллипсоидальная форма находит множество практических применений:
Измерения, полученные при МРТ предстательной железы, можно использовать для определения объема железы с использованием приближения L × W × H × 0,52 (где 0,52 — приближение дляπ/6) [20]
При a = b = c эти моменты инерции сводятся к моментам инерции сферы однородной плотности.
Эллипсоиды и кубоиды устойчиво вращаются вдоль своих больших или малых осей, но не вдоль своей срединной оси. В этом можно убедиться экспериментально, бросив с некоторым вращением ластик. Кроме того, соображения момента инерции означают, что вращение вдоль большой оси легче нарушить, чем вращение вдоль малой оси. [21]
Одним из практических последствий этого является то, что разносторонние астрономические тела, такие как Хаумеа , обычно вращаются вокруг своих малых осей (как и Земля, которая просто сплюснута ); кроме того, из-за приливной блокировки спутники находятся на синхронной орбите , такой как орбита Мимаса , при этом их главная ось выровнена радиально к их планете.
Вращающееся тело из однородной самогравитирующей жидкости примет форму сфероида Маклорена (сплющенный сфероид) или эллипсоида Якоби (разносторонний эллипсоид) в гидростатическом равновесии и при умеренных скоростях вращения. При более быстром вращении можно ожидать появления неэллипсоидной грушевидной или яйцевидной формы, но они нестабильны.
Динамика жидкостей
Эллипсоид — наиболее общая форма, для которой удалось рассчитать ползущее течение жидкости вокруг твердой формы. В расчеты включена сила, необходимая для перемещения через жидкость и вращения внутри нее. Приложения включают определение размера и формы крупных молекул, скорости погружения мелких частиц и плавательных способностей микроорганизмов . [22]
где k - масштабный коэффициент, x - n -мерный случайный вектор-строка с медианным вектором µ (который также является средним вектором, если последний существует), Σ - положительно определенная матрица , которая пропорциональна ковариационной матрице , если последняя существует. , а g — отображение функций неотрицательных действительных чисел в неотрицательные действительные числа, дающие конечную площадь под кривой. [23] Многомерное нормальное распределение — это частный случай, в котором g ( z ) = exp(−я/2) для квадратичной формы z .
Таким образом, функция плотности представляет собой скалярное преобразование квадратичного выражения. Более того, уравнение для любой поверхности изоплотности утверждает, что квадратичное выражение равно некоторой константе, специфичной для этого значения плотности, а поверхность изоплотности представляет собой эллипсоид.
Сплющивание , также называемое эллиптичностью и сжатием , является мерой сжатия круга или сферы по диаметру с образованием эллипса или эллипсоида вращения (сфероида) соответственно.
Фокалоид — оболочка, ограниченная двумя концентрическими конфокальными эллипсоидами.
^ FWJ Olver, DW Lozier, RF Boisvert и CW Clark, редакторы, 2010, Справочник NIST по математическим функциям ( издательство Кембриджского университета ), доступно в Интернете по адресу «DLMF: 19,33 Трехосные эллипсоиды». Архивировано из оригинала 02 декабря 2012 г. Проверено 8 января 2012 г.(см. следующую ссылку).
^ NIST (Национальный институт стандартов и технологий) на http://www.nist.gov. Архивировано 17 июня 2015 г. в Wayback Machine.
^ «DLMF: Определения 19.2» .
^ В., Вайсштейн, Эрик. «Вытянутый сфероид». mathworld.wolfram.com . Архивировано из оригинала 3 августа 2017 года . Проверено 25 марта 2018 г.{{cite web}}: CS1 maint: multiple names: authors list (link)
^ Окончательные ответы. Архивировано 30 сентября 2011 г. в Wayback Machine Жераром П. Мишоном (13 мая 2004 г.). См. формулы Томсена и комментарии Кантрелла.
^ «Архивная копия» (PDF) . Архивировано (PDF) из оригинала 26 июня 2013 г. Проверено 12 октября 2013 г.{{cite web}}: CS1 maint: archived copy as title (link)стр. 17–18.
^ Computerunterstützte Darstellende und Konstruktive Geometry. Архивировано 10 ноября 2013 г. в Wayback Machine Uni Darmstadt (PDF; 3,4 МБ), S. 88.
^ Безинке, Адам; и другие. (2018). «Определение объема простаты: сравнение современных методов». Академическая радиология . 25 (12): 1582–1587. дои : 10.1016/j.acra.2018.03.014. PMID 29609953. S2CID 4621745.