трехосный эллипсоид с круглым сечением
В геометрии круговое сечение - это круг на поверхности квадрики (такой как эллипсоид или гиперболоид ). Это особое сечение квадрики плоскость, так как эта окружность является пересечением с квадрикой плоскости, содержащей окружность.
Любое плоское сечение сферы считается круглым сечением, если оно содержит не менее 2 точек. Любая квадрика вращения содержит окружности в виде сечений с плоскостями, ортогональными его оси; он не содержит других кругов, если это не сфера. Более скрыты круги на других квадриках, таких как трехосные эллипсоиды, эллиптические цилиндры и т. Д. Тем не менее верно, что:
- Любая квадратичная поверхность, содержащая эллипсы, также содержит круги.
Точно так же все квадратичные поверхности содержат окружности, кроме параболических и гиперболических цилиндров и гиперболических параболоидов.
Если квадрика содержит окружность, то каждое пересечение квадрики с плоскостью, параллельной этой окружности, также является окружностью при условии, что она содержит минимум два балла. За исключением сфер, окружности, содержащиеся в квадрике, если они есть, все параллельны одной из двух неподвижных плоскостей (которые равны в случае квадрики вращения).
Круглые сечения используются в кристаллографии.
Содержание
- 1 Использование проективной геометрии
- 2 Определение круговых сечений квадрики
- 3 Трехосный эллипсоид
- 4 Эллиптический гиперболоид одного листа
- 5 Эллиптический цилиндр
- 6 Эллиптический параболоид
- 7 Эллиптический гиперболоид из двух листов
- 8 Эллиптический конус
- 9 Литература
- 10 Внешние ссылки
Использование проекционной геометрии
Круговые сечения квадрики могут быть вычислены из неявного уравнения квадрики, как это делается в следующих разделах. Их также можно охарактеризовать и изучить с помощью синтетической проективной геометрии.
. Пусть C - пересечение квадратичной поверхности Q и плоскости P. В этом разделе Q и C являются поверхностями в трехмерное евклидово пространство, которое расширено до проективного пространства по комплексным числам. Согласно этим гипотезам кривая C является окружностью тогда и только тогда, когда ее пересечение с плоскостью на бесконечности включено в омбилический (бесконечно удаленная кривая уравнения ).
Первый случай, который следует рассмотреть, - это когда пересечение Q с плоскостью на бесконечности состоит из одной или двух действительных прямых, то есть когда Q либо гиперболический параболоид, a параболический цилиндр или гиперболический цилиндр. В этом случае бесконечно удаленные точки C являются действительными (пересечение реальной плоскости с действительными прямыми). Таким образом, плоские сечения Q не могут быть окружностями (ни эллипсами ).
Если Q является сферой, ее пересечение с бесконечно удаленной плоскостью является омбилическим, и все плоские сечения являются окружностями.
Если Q является поверхностью вращения, ее пересечение с омбиликой состоит из пары комплексно сопряженных точек (которые являются двойными точками ). Реальная плоскость содержит эти две точки тогда и только тогда, когда она перпендикулярна оси вращения. Таким образом, круглые сечения представляют собой плоские сечения плоскостью, перпендикулярной оси, которые имеют по крайней мере две действительные точки.
В остальных случаях пересечение Q с омбиликой состоит из двух разных пар комплексно сопряженных точек. Поскольку C - кривая степени два, ее пересечение с бесконечно удаленной плоскостью состоит из двух точек, возможно, равных. Таким образом, кривая C является окружностью, если эти две точки являются одной из этих двух пар комплексно сопряженных точек на омбилике. Каждая из этих пар определяет реальную линию (проходящую через точки), которая является пересечением P с плоскостью на бесконечности. Таким образом, у каждого есть круговое сечение, если и только C имеет по крайней мере две вещественные точки, а P содержит одну из этих прямых на бесконечности (то есть, если P параллельна одному из двух направлений, определяемых этими прямыми на бесконечности).
Определение круговых сечений квадрики
Чтобы найти плоскости, которые содержат круговые сечения данной квадрики, используются следующие операторы:
- (S:) Если точки пересечения квадрики и сферы лежат в паре плоскостей, то кривая пересечения состоит из двух окружностей.
- (P :) Если пересечение плоскости и квадрики является окружностью, чем любая параллельная плоскость, которая содержит не менее двух точек квадрики, также пересекает квадику по окружности.
Следовательно, стратегия обнаружения круговых секций такова:
- 1) Найдите сферу, которая пересекает квадрика в паре плоскостей и
- 2) Плоскости, параллельные обнаруженным, доставляют оставшиеся круглые сечения.
Трехосный эллипсоид
трехосный эллипсоид с круговыми сечениями (синий и зеленый) и вспомогательная сфера (красный), которая пересекает квадрику в синих кругах
Эллипсоид, пересекаемый сферами:
, (параллельно плоскости xy) имеет уравнение
- A (x 2 + y 2) + D z 0 x = E - C z 0 2 {\ displaystyle A (x ^ {2} + y ^ {2}) + Dz_ {0} x = E-Cz_ {0} ^ {2}}.
Это уравнение описывает круг, точку или пустое пространство. Центр и радиус круга можно найти как , завершив квадрат.
Эллиптический гиперболоид одного листа
гиперболоид одного листа
Для гиперболоида одного листа с уравнением
- x 2 a 2 + y 2 b 2 - z 2 c 2 = 1, a>b, c>0 {\ displaystyle {\ frac {x ^ {2}} {a ^ {2}}} + { \ frac {y ^ {2}} {b ^ {2}}} - {\ frac {z ^ {2}} {c ^ {2}}} = 1 \, \ quad a>b \, c>0 }
аналогично получается для пересечения со сферой x 2 + y 2 + z 2 = r 2 {\ displaystyle \ x ^ {2 } + y ^ {2} + z ^ {2} = r ^ {2} \}уравнение
- (r 2 a 2 - 1) x 2 + (r 2 b 2 - 1) у 2 - (г 2 с 2 + 1) г 2 знак равно 0. {\ displaystyle \ left ({\ frac {r ^ {2}} {a ^ {2}}} - 1 \ right) \; x ^ {2} + \ left ({\ frac {r ^ {2}}) {b ^ {2}}} - 1 \ right) \; y ^ {2} - \ left ({\ frac {r ^ {2}} {c ^ {2}}} + 1 \ right) \; z ^ {2} = 0 \.}
Только для r = a {\ displaystyle \ r = a \}получается пара плоскостей:
- (a 2 b 2 - 1) y 2 - (a 2 c 2 + 1) z 2 знак равно 0 ↔ z = ± cba 2 - b 2 a 2 + c 2 y, {\ displaystyle \ left ({\ frac {a ^ {2}} {b ^ {2}}} - 1 \ right) \; y ^ {2} - \ left ({\ frac {a ^ {2}} {c ^ {2}}} + 1 \ right) \; z ^ {2} = 0 \ \ quad \ leftrightarrow \ quad z = \ pm {\ frac {c} {b}} {\ sqrt {\ frac {a ^ {2} -b ^ {2}} {a ^ { 2} + c ^ {2}}}} \; y \, \}
Эллиптический цилиндр
эллиптический цилиндр
Для эллиптического цилиндра с уравнением
- x 2 a 2 + Y 2 b 2 = 1, a>b, {\ displaystyle {\ frac {x ^ {2}} {a ^ {2}}} + {\ frac {y ^ {2}} {b ^ {2} }} = 1 \, \ quad a>b \,}
получается уравнение
- (r 2 a 2 - 1) x 2 + (r 2 b 2 - 1) y 2 - z 2 = 0. {\ displaystyle \ left ({\ frac {r ^ {2}} {a ^ {2}}} - 1 \ right) \; x ^ {2} + \ left ({\ frac {r ^ {2}}) {b ^ {2}}} - 1 \ right) \; y ^ {2} -z ^ {2} = 0 \.}
Только для r = a {\ displaystyle \ r = a \ }получается пара плоскостей:
- (a 2 b 2 - 1) y 2 - z 2 = 0 ↔ z = ± a 2 - b 2 by. {\ displaystyle \ left ({\ frac {a ^ {2}} {b ^ {2}}} - 1 \ right) \; y ^ {2} -z ^ {2} = 0 \ \ quad \ leftrightarrow \ quad z = \ pm {\ frac {\ sqrt {a ^ {2} -b ^ {2}}} {b}} \; y \. \}
Эллиптический параболоид
эллиптический параболоид
Для эллиптический параболоид с уравнением
- ax 2 + на 2 - z = 0, a < b, {\displaystyle ax^{2}+by^{2}-z=0\,\quad a{\color {red}{<}}b\,}
выбирается сфера, содержащая вершину (начало координат) и с центром на оси (ось z):
- Икс 2 + Y 2 + (Z - R) 2 знак равно R 2 ↔ Икс 2 + Y 2 + Z 2 - 2 RZ = 0. {\ displaystyle x ^ {2} + y ^ {2} + (zr) ^ {2} = r ^ {2} \ quad \ leftrightarrow \ quad x ^ {2} + y ^ {2} + z ^ {2 } -2rz = 0 \.}
После исключения линейных частей получается уравнение
- (2 ra - 1) x 2 + (2 rb - 1) y 2 - z 2 = 0. {\ displaystyle (2ra-1) \; x ^ {2} + (2rb-1) \; y ^ {2} -z ^ {2} = 0 \.}
Только для r = 1 2 a {\ displaystyle r = {\ tfrac {1} {2a}}}получается пара плоскостей:
- (ba - 1) y 2 - z 2 = 0 ↔ z = ± б - ай. {\ displaystyle \ left ({\ frac {b} {a}} - 1 \ right) \; y ^ {2} -z ^ {2} = 0 \ quad \ leftrightarrow \ quad z = \ pm {\ sqrt { \ frac {ba} {a}}} \; y \. \}
Эллиптический гиперболоид из двух листов
эллиптический гиперболоид из двух листов
гиперболоид из двух листов с уравнением
- - x 2 a 2 - y 2 b 2 + z 2 c 2 = 1, a>b, c>0, {\ displaystyle - {\ frac {x ^ {2}} {a ^ {2}}} - {\ frac {y ^ {2}} {b ^ {2}}} + {\ frac {z ^ {2}} {c ^ {2}}} = 1 \, \ quad a>b \, \ c>0 \,}
сначала сдвигается так, что одна вершина является исходной точкой (s. диаграмма):
- - x 2 a 2 - y 2 b 2 + (z + c) 2 c 2 знак равно 1 ↔ - x 2 a 2 - y 2 b 2 + z 2 c 2 + 2 zc = 0. {\ displaystyle - {\ frac {x ^ {2}} {a ^ {2}} } - {\ frac {y ^ {2}} {b ^ {2}}} + {\ frac {(z + c) ^ {2}} {c ^ {2}}} = 1 \ quad \ leftrightarrow \ quad \ - {\ frac {x ^ {2}} {a ^ {2}}} - {\ frac {y ^ {2}} {b ^ {2}}} + {\ frac {z ^ {2} } {c ^ {2}}} + {\ frac {2z} {c}} = 0 \.}
Аналогично В случае параболоида выбирается сфера, содержащая начало координат с центром на оси z:
- x 2 + y 2 + (z - r) 2 = r 2 ↔ x 2 + y 2 + z 2 - 2 zr = 0. {\ displaystyle x ^ {2} + y ^ {2} + (zr) ^ {2} = r ^ {2} \ quad \ leftrightarrow \ quad x ^ {2} + y ^ {2} + z ^ {2 } -2zr = 0 \.}
После исключения линейных частей получаем уравнение
- (- ra 2 + 1 c) x 2 + (- rb 2 + 1 c) y 2 + (rc 2 + 1 в) z 2 = 0. {\ displaystyle \ left (- {\ frac {r} {a ^ {2}}} + {\ frac {1} {c}} \ right) \; x ^ {2} + \ left (- {\ frac {r} {b ^ {2}}} + {\ frac {1} {c}} \ right) \; y ^ {2} + \ left ({\ frac {r} {c ^ {2}}} + {\ frac {1} {c}} \ right) z ^ {2} = 0 \.}
Только для r = a 2 c {\ displaystyle r = {\ tfrac {a ^ {2 }} {c}}}получается пара плоскостей:
- (- a 2 b 2 c + 1 c) y 2 + (a 2 c 3 + 1 c) z 2 = 0 ↔ z знак равно ± cba 2 - Ь 2 а 2 + с 2 у. {\ displaystyle \ left (- {\ frac {a ^ {2}} {b ^ {2} c}} + {\ frac {1} {c}} \ right) \; y ^ {2} + \ left ({\ frac {a ^ {2}} {c ^ {3}}} + {\ frac {1} {c}} \ right) \; z ^ {2} = 0 \ \ quad \ leftrightarrow \ quad z = \ pm {\ frac {c} {b}} {\ sqrt {\ frac {a ^ {2} -b ^ {2}} {a ^ {2} + c ^ {2}}}} \; y \.}
Эллиптический конус
эллиптический конус
Эллиптический конус с уравнением
- x 2 a 2 + y 2 b 2 - z 2 = 0, a>b, { \ displaystyle {\ frac {x ^ {2}} {a ^ {2}}} + {\ frac {y ^ {2}} {b ^ {2}}} - z ^ {2} = 0 \, \ quad a>b \,}
сдвигается так, что вершина не является исходной точкой (s. диаграмма):
- x 2 a 2 + y 2 b 2 - (z - 1) 2 = 0 ↔ x 2 a 2 + y 2 b 2 - z 2 + 2 z = 1. {\ displaystyle {\ frac {x ^ {2}} {a ^ {2}}} + {\ frac {y ^ {2}} { b ^ {2}}} - (z-1) ^ {2} = 0 \ quad \ leftrightarrow \ quad {\ frac {x ^ {2}} {a ^ {2}}} + {\ frac {y ^ {2}} {b ^ {2}}} - z ^ {2} + 2z = 1.}
Теперь подходит сфера с центром в начале координат:
- x 2 + y 2 + z 2 = г 2. {\ displaystyle x ^ {2} + y ^ {2} + z ^ {2} = r ^ {2} \.}
Исключение x 2 {\ displaystyle x ^ {2}}дает:
- (a 2 b 2-1) y 2 - (1 + a 2) z 2 + 2 a 2 z = a 2 - r 2. {\ displaystyle ({\ frac {a ^ {2}} {b ^ {2}}} - 1) \; y ^ {2} - (1 + a ^ {2}) \; z ^ {2} + 2a ^ {2} z = a ^ {2} -r ^ {2} \.}
В этом случае завершение квадрата дает:
- a 2 - b 2 b 2 y 2 - (1 + a 2) (г - а 2 1 + а 2) 2 = а 2 - а 4 1 + а 2 - г 2. {\ displaystyle {\ frac {a ^ {2} -b ^ {2}} {b ^ {2}}} \; y ^ {2} - (1 + a ^ {2}) \ left (z- { \ frac {a ^ {2}} {1 + a ^ {2}}} \ right) ^ {2} = a ^ {2} - {\ frac {a ^ {4}} {1 + a ^ {2 }}} - r ^ {2} \.}
Чтобы получить уравнение пары плоскостей, правая часть уравнения должна быть равна нулю, что верно для r = a 1 + а 2. {\ displaystyle r = {\ tfrac {a} {\ sqrt {1 + a ^ {2}}}} \.}Решение для z дает:
- z = a 2 1 + a 2 ± 1 ba 2 - b 2 1 + a 2 y. {\ displaystyle z = {\ frac {a ^ {2}} {1 + a ^ {2}}} \ pm {\ frac {1} {b}} {\ sqrt {\ frac {a ^ {2} - b ^ {2}} {1 + a ^ {2}}}} \; y \.}
Ссылки
- H. Ф. Бейкер: Принципы геометрии, Том 3, Cambridge University Press, 2010, ISBN 978-1-108-01779-4.
- D. М. Ю. Соммервилл: Аналитическая геометрия трех измерений, Cambridge University Press, 1959, ISBN 978-1-316-60190-7, p. 204.
- К. П. Гротемейер: Аналитическая геометрия. Göschen-Verlag, 1962, стр. 143.
- Х. Scheid, W. Schwarz: Elemente der Linearen Algebra und der Analysis. Spektrum, Heidelberg, 2009, ISBN 978-3-8274-1971-2, стр. 132.
- ^W. Х. Вестфаль: Physikalisches Wörterbuch: Zwei Teile in Einem Band. Springer-Verlag, 1952, ISBN 978-3-662-12707-0, стр. 350.
- ^Х. Tertsch: Die Festigkeitserscheinungen der Kristalle. Springer-Verlag, Wien, 1949, ISBN 978-3-211-80120-8, p. 87.
- ^Г. Мазинг: Lehrbuch der Allgemeinen Metallkunde. Springer-Verlag, Берлин, 1950, ISBN 978-3-642-52-993-1, p. 355.
Внешние ссылки
- H. Винер, П. Трейтлейн: Модели трехосного эллипсоида и эллиптического параболоида с использованием круговых сечений (см. Стр. 15) [1pting (PDF).