Круглое сечение

трехосный эллипсоид круглого сечения

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

Любое плоское сечение сферы является круговым, если оно содержит хотя бы две точки. Любая квадрика вращения содержит окружности как сечения с плоскостями, ортогональными ее оси; он не содержит никаких других кругов, если это не сфера. Более скрытыми являются окружности на других квадриках, например трехосных эллипсоидах, эллиптических цилиндрах и т. д. Тем не менее верно и то, что:

• Любая квадрика, содержащая эллипсы, содержит и круги.

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

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

Круглые сечения используются в кристаллографии . ^{[1] [2] [3]}

Использование проективной геометрии

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

Пусть C — пересечение квадрики поверхности Q и плоскости P. В этом разделе Q и C — поверхности в трехмерном евклидовом пространстве , которые расширяются до проективного пространства над комплексными числами . Согласно этим гипотезам, кривая C является окружностью тогда и только тогда, когда ее пересечение с плоскостью на бесконечности входит в омбилику (кривая на бесконечности уравнения ). ${\displaystyle x^{2}+y^{2}+z^{2}=0}$

Первый случай, который следует рассмотреть, - это когда пересечение Q с плоскостью на бесконечности состоит из одной или двух действительных линий, то есть когда Q является либо гиперболическим параболоидом , либо параболическим цилиндром , либо гиперболическим цилиндром . В этом случае точки на бесконечности C являются вещественными (пересечение вещественной плоскости с вещественными прямыми). Таким образом, плоские сечения Q не могут быть ни кругами (ни эллипсами ).

Если Q — сфера , то ее пересечение с плоскостью на бесконечности — это омбилика, а все сечения плоскости — круги.

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

В остальных случаях пересечение Q с омбиликой состоит из двух разных пар комплексно-сопряженных точек. Поскольку C — кривая второй степени, ее пересечение с бесконечно удаленной плоскостью состоит из двух точек, возможно, равных. Таким образом, кривая C является окружностью, если эти две точки являются одной из этих двух пар комплексно-сопряженных точек на омбилике. Каждая из этих пар определяет действительную линию (проходящую через точки), которая является пересечением P с плоскостью, находящейся на бесконечности. Таким образом, существует круговое сечение тогда и только тогда, когда C имеет по крайней мере две действительные точки, а P содержит одну из этих линий на бесконечности (то есть, если P параллельна одному из двух направлений, определяемых этими линиями на бесконечности).

Определение круговых сечений квадрики

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

(S:) Если точки пересечения квадрики со сферой содержатся в паре плоскостей, то кривая пересечения состоит из двух окружностей.

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

Следовательно, стратегия обнаружения круглых участков следующая:

1) Найдите сферу , пересекающую квадрику в паре плоскостей и

2) Плоскости , параллельные обнаруженным, доставляют оставшиеся круговые сечения.

Трехосный эллипсоид

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

Эллипсоид, пересекаемый сферами: ${\displaystyle c<{\color {seagreen}r_{1}}<{\color {blue}b}<{\color {purple}r_{2}}<a}$

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

${\displaystyle {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}+{\frac {z^{2}}{c^{2}}}=1}$

а в качестве полуосей используется вспомогательная сфера с уравнением ${\displaystyle a>b>c>0}$

${\displaystyle x^{2}+y^{2}+z^{2}=r^{2}\ .}$

Радиус сферы должен быть выбран таким, чтобы пересечение с эллипсоидом находилось в двух плоскостях, проходящих через начало координат. Умножение уравнения эллипсоида на уравнение сферы и вычитание его дает: ${\displaystyle r^{2}}$

${\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\ .}$

Это уравнение описывает пару плоскостей, если один из трех коэффициентов равен нулю. В случае или уравнение выполняется только по оси x или по оси z. Только в том случае, если получается пара плоскостей с уравнением ${\displaystyle \ r=a\ }$ ${\displaystyle \ r=c\ }$ ${\displaystyle \ r=b\ }$

• ${\displaystyle \left({\frac {b^{2}}{a^{2}}}-1\right)\;x^{2}+\left({\frac {b^{2}}{c^{2}}}-1\right)\;z^{2}=0\ \quad \leftrightarrow \quad z=\pm {\tfrac {c}{a}}{\sqrt {\tfrac {a^{2}-b^{2}}{b^{2}-c^{2}}}}\;x\ ,}$

потому что только в этом случае остальные коэффициенты имеют разные знаки (из-за: ). ${\displaystyle a>b>c}$

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

Если значения полуосей приближаются, то приближаются и два пучка плоскостей (и окружностей). Ибо все плоскости ортогональны оси z (оси вращения). ${\displaystyle a=b}$

Доказательство собственности (P)

Поворот эллипсоида вокруг оси Y так, чтобы один из двух кругов (синий) лежал в плоскости XY, приводит к новому уравнению эллипсоида:

${\displaystyle Ax^{2}+By^{2}+Cz^{2}+D{\color {red}xz}=E}$

Получается , которое должно быть уравнением окружности. Это верно только в том случае, если . Пересечение эллипсоида плоскостью с уравнением , (параллельной плоскости xy) имеет уравнение ${\displaystyle z=0}$ ${\displaystyle Ax^{2}+By^{2}=E}$ ${\displaystyle A=B\neq 0,\ E>0}$ ${\displaystyle z=z_{0}}$

${\displaystyle A(x^{2}+y^{2})+Dz_{0}x=E-Cz_{0}^{2}}$.

Это уравнение описывает круг , точку или пустое множество. Центр и радиус круга можно найти, дополняя квадрат .

Эллиптический однолистный гиперболоид

однолистный гиперболоид

Для однополостного гиперболоида с уравнением

${\displaystyle {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}-{\frac {z^{2}}{c^{2}}}=1\ ,\quad a>b\ ,c>0}$

аналогично для пересечения со сферой получаем уравнение ${\displaystyle \ x^{2}+y^{2}+z^{2}=r^{2}\ }$

${\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\ .}$

Только за одного получается пара самолетов: ${\displaystyle \ r=a\ }$

${\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\ ,\ }$

Эллиптический цилиндр

эллиптический цилиндр

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

${\displaystyle {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}=1\ ,\quad a>b\ ,}$

получается уравнение

${\displaystyle \left({\frac {r^{2}}{a^{2}}}-1\right)\;x^{2}+\left({\frac {r^{2}}{b^{2}}}-1\right)\;y^{2}-z^{2}=0\ .}$

Только за одного получается пара самолетов: ${\displaystyle \ r=a\ }$

${\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\ .\ }$

Эллиптический параболоид

эллиптический параболоид

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

${\displaystyle ax^{2}+by^{2}-z=0\ ,\quad a{\color {red}{<}}b\ ,}$

выбирается сфера, содержащая вершину (начало координат) и с центром на оси (ось z):

${\displaystyle x^{2}+y^{2}+(z-r)^{2}=r^{2}\quad \leftrightarrow \quad x^{2}+y^{2}+z^{2}-2rz=0\ .}$

После исключения линейных частей получаем уравнение

${\displaystyle (2ra-1)\;x^{2}+(2rb-1)\;y^{2}-z^{2}=0\ .}$

Только за одного получается пара самолетов: ${\displaystyle r={\tfrac {1}{2a}}}$

${\displaystyle \left({\frac {b}{a}}-1\right)\;y^{2}-z^{2}=0\quad \leftrightarrow \quad z=\pm {\sqrt {\frac {b-a}{a}}}\;y\ .\ }$

Эллиптический гиперболоид из двух листов

эллиптический гиперболоид из двух листов

Гиперболоид двух листов с уравнением

${\displaystyle -{\frac {x^{2}}{a^{2}}}-{\frac {y^{2}}{b^{2}}}+{\frac {z^{2}}{c^{2}}}=1\ ,\quad a>b\ ,\ c>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:

${\displaystyle x^{2}+y^{2}+(z-r)^{2}=r^{2}\quad \leftrightarrow \quad x^{2}+y^{2}+z^{2}-2zr=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\ .}$

Только за одного получается пара самолетов: ${\displaystyle r={\tfrac {a^{2}}{c}}}$

${\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\ .}$

Эллиптический конус

эллиптический конус

Эллиптический конус с уравнением

${\displaystyle {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}-z^{2}=0\ ,\quad a>b\ ,}$

сдвинута так, что вершина не является началом координат (см. диаграмму):

${\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.}$

Теперь подойдет сфера с центром в начале координат:

${\displaystyle x^{2}+y^{2}+z^{2}=r^{2}\ .}$

Устранение урожайности: ${\displaystyle x^{2}}$

${\displaystyle \left({\frac {a^{2}}{b^{2}}}-1\right)\;y^{2}-(1+a^{2})\;z^{2}+2a^{2}z=a^{2}-r^{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}\ .}$

Чтобы получить уравнение пары плоскостей, правая часть уравнения должна быть равна нулю, что верно для решения для z дает: ${\displaystyle r={\tfrac {a}{\sqrt {1+a^{2}}}}\ .}$

${\displaystyle z={\frac {a^{2}}{1+a^{2}}}\pm {\frac {1}{b}}{\sqrt {\frac {a^{2}-b^{2}}{1+a^{2}}}}\;y\ .}$

Рекомендации

• Х. Ф. Бейкер: Принципы геометрии, том 3 , Cambridge University Press, 2010, ISBN  978-1-108-01779-4 .
• ДМИ Соммервилль: Аналитическая геометрия трех измерений , издательство Кембриджского университета, 1959, ISBN 978-1-316-60190-7 , стр. 204. 
• КП Гротемейер: Аналитическая геометрия. Гёшен-Верлаг, 1962, с. 143.
• Х. Шейд, В. Шварц: Элементы линейной алгебры и анализа. Спектрум, Гейдельберг, 2009, ISBN 978-3-8274-1971-2 , стр. 132. 

1. WH Westphal: Physikalisches Wörterbuch: Zwei Teile in Einem Band. Springer-Verlag, 1952, ISBN 978-3-662-12707-0 , стр. 350. 
2. Х. Терч: Die Festigkeitserscheinungen der Kristalle. Springer-Verlag, Вена, 1949, ISBN 978-3-211-80120-8 , стр. 87. 
3. Г. Мазинг: Lehrbuch der Allgemeinen Metallkunde. Springer-Verlag, Берлин, 1950, ISBN 978-3-642-52-993-1 , стр. 355. 

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

• Х. Винер, П. Тройтляйн: Модели трехосного эллипсоида и эллиптического параболоида с использованием круглых сечений (см. стр. 15) [1] (PDF).