Пересечение (геометрия)

Форма, образованная из точек, общих для других фигур.

Красная точка обозначает точку пересечения двух линий.

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

• Пересечение линии и плоскости
• Пересечение линии и сферы
• Пересечение многогранника прямой
• Пересечение сегментов линии
• Кривая пересечения

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

На плоскости

Две линии

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

${\displaystyle a_{1}x+b_{1}y=c_{1},\ a_{2}x+b_{2}y=c_{2}}$

по правилу Крамера или путем замены переменной можно получить координаты точки пересечения  : ${\displaystyle (x_{s},y_{s})}$

${\displaystyle x_{s}={\frac {c_{1}b_{2}-c_{2}b_{1}}{a_{1}b_{2}-a_{2}b_{1}}},\quad y_{s}={\frac {a_{1}c_{2}-a_{2}c_{1}}{a_{1}b_{2}-a_{2}b_{1}}}.\ }$

(Если линии параллельны и эти формулы нельзя использовать, поскольку они включают деление на 0.) ${\displaystyle a_{1}b_{2}-a_{2}b_{1}=0}$

Два отрезка линии

Пересечение двух отрезков прямой

Для двух непараллельных отрезков линии не обязательно существует точка пересечения (см. диаграмму), поскольку точка пересечения соответствующих линий не обязательно должна содержаться в отрезках линии. Для проверки ситуации используются параметрические представления линий: ${\displaystyle (x_{1},y_{1}),(x_{2},y_{2})}$ ${\displaystyle (x_{3},y_{3}),(x_{4},y_{4})}$ ${\displaystyle (x_{0},y_{0})}$

${\displaystyle (x(s),y(s))=(x_{1}+s(x_{2}-x_{1}),y_{1}+s(y_{2}-y_{1})),}$

${\displaystyle (x(t),y(t))=(x_{3}+t(x_{4}-x_{3}),y_{3}+t(y_{4}-y_{3})).}$

Отрезки линий пересекаются только в общей точке соответствующих линий, если соответствующие параметры удовлетворяют условию . Параметры являются решением линейной системы ${\displaystyle (x_{0},y_{0})}$ ${\displaystyle s_{0},t_{0}}$ ${\displaystyle 0\leq s_{0},t_{0}\leq 1}$ ${\displaystyle s_{0},t_{0}}$

${\displaystyle s(x_{2}-x_{1})-t(x_{4}-x_{3})=x_{3}-x_{1},}$

${\displaystyle s(y_{2}-y_{1})-t(y_{4}-y_{3})=y_{3}-y_{1}\ .}$

Ее можно решить относительно s и t , используя правило Крамера (см. выше). Если условие выполнено, то вставляется или в соответствующее параметрическое представление и получается точка пересечения . ${\displaystyle 0\leq s_{0},t_{0}\leq 1}$ ${\displaystyle s_{0}}$ ${\displaystyle t_{0}}$ ${\displaystyle (x_{0},y_{0})}$

Пример: для отрезков прямой получается линейная система. ${\displaystyle (1,1),(3,2)}$ ${\displaystyle (1,4),(2,-1)}$

${\displaystyle 2s-t=0}$

${\displaystyle s+5t=3}$

и . Это означает: линии пересекаются в точке . ${\displaystyle s_{0}={\tfrac {3}{11}},t_{0}={\tfrac {6}{11}}}$ ${\displaystyle ({\tfrac {17}{11}},{\tfrac {14}{11}})}$

Примечание: рассматривая линии вместо отрезков, определяемых парами точек, каждое условие можно отбросить и метод дает точку пересечения линий (см. выше). ${\displaystyle 0\leq s_{0},t_{0}\leq 1}$

Пересечение линии и круга

Линия и круг

Для пересечения ул.

• линия и круг ${\displaystyle ax+by=c}$ ${\displaystyle x^{2}+y^{2}=r^{2}}$

решают уравнение линии для x или y , подставляют его в уравнение окружности и получают решение (используя формулу квадратного уравнения) с ${\displaystyle (x_{1},y_{1}),(x_{2},y_{2})}$

${\displaystyle x_{1/2}={\frac {ac\pm b{\sqrt {r^{2}(a^{2}+b^{2})-c^{2}}}}{a^{2}+b^{2}}}\ ,}$

${\displaystyle y_{1/2}={\frac {bc\mp a{\sqrt {r^{2}(a^{2}+b^{2})-c^{2}}}}{a^{2}+b^{2}}}\ ,}$

if Если это условие выполняется при строгом неравенстве, то имеются две точки пересечения; в этом случае линия называется секущей окружностью, а отрезок, соединяющий точки пересечения, называется хордой окружности . ${\displaystyle r^{2}(a^{2}+b^{2})-c^{2}>0\ .}$

Если выполняется, существует только одна точка пересечения и линия касается окружности. Если слабое неравенство не выполняется, прямая не пересекает окружность. ${\displaystyle r^{2}(a^{2}+b^{2})-c^{2}=0}$

Если середина круга не является началом координат, см. ^[1] Аналогично можно рассматривать пересечение прямой и параболы или гиперболы.

Два круга

Определение точек пересечения двух окружностей

• ${\displaystyle (x-x_{1})^{2}+(y-y_{1})^{2}=r_{1}^{2},\ \quad (x-x_{2})^{2}+(y-y_{2})^{2}=r_{2}^{2}}$

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

${\displaystyle 2(x_{2}-x_{1})x+2(y_{2}-y_{1})y=r_{1}^{2}-x_{1}^{2}-y_{1}^{2}-r_{2}^{2}+x_{2}^{2}+y_{2}^{2}.}$

Эта особая линия является радикальной линией двух кругов.

Пересечение двух окружностей с центрами на оси X, их радикальная линия темно-красного цвета.

Особый случай  : ${\displaystyle \;x_{1}=y_{1}=y_{2}=0}$
в этом случае начало координат — это центр первого круга, а второй центр лежит на оси X (см. диаграмму). Уравнение радикальной линии упрощается до, а точки пересечения можно записать так : ${\displaystyle \;2x_{2}x=r_{1}^{2}-r_{2}^{2}+x_{2}^{2}\;}$ ${\displaystyle (x_{0},\pm y_{0})}$

${\displaystyle x_{0}={\frac {r_{1}^{2}-r_{2}^{2}+x_{2}^{2}}{2x_{2}}},\quad y_{0}={\sqrt {r_{1}^{2}-x_{0}^{2}}}\ .}$

В случае кругов нет общих точек. В случае, если окружности имеют одну общую точку, а радикальная линия является общей касательной. ${\displaystyle r_{1}^{2}<x_{0}^{2}}$
${\displaystyle r_{1}^{2}=x_{0}^{2}}$

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

Пересечение двух дисков (внутренностей двух кругов) образует форму, называемую линзой .

пересечение круга и эллипса

Две конические секции

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

Две плавные кривые

Трансверсальное пересечение двух кривых

касание пересечения (слева), касание (справа)

Две кривые в (двумерном пространстве), непрерывно дифференцируемые (т.е. не имеющие резкого изгиба), имеют точку пересечения, если они имеют общую точку плоскости и имеют в этой точке (см. схему): ${\displaystyle \mathbb {R} ^{2}}$

а) разные касательные ( трансверсальное пересечение , после трансверсальности ), или

б) касательные общие и они пересекают друг друга ( касаются пересечения , после касания ).

Если обе кривые имеют общую точку S и касательную линию, но не пересекают друг друга, то они просто соприкасаются в точке S.

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

пересечение параметрической кривой и неявной кривой

пересечение двух неявных кривых

• Если обе кривые заданы явно : , их приравнивание дает уравнение ${\displaystyle y=f_{1}(x),\ y=f_{2}(x)}$

${\displaystyle f_{1}(x)=f_{2}(x)\ .}$

• Если обе кривые заданы параметрически : ${\displaystyle C_{1}:(x_{1}(t),y_{1}(t)),\ C_{2}:(x_{2}(s),y_{2}(s)).}$

Приравнивая их, получаем два уравнения с двумя переменными:

${\displaystyle x_{1}(t)=x_{2}(s),\ y_{1}(t)=y_{2}(s)\ .}$

• Если одна кривая задана параметрически, а другая задана неявно: ${\displaystyle C_{1}:(x_{1}(t),y_{1}(t)),\ C_{2}:f(x,y)=0.}$

Это самый простой случай, не считая явного случая. Нужно вставить параметрическое представление в уравнение кривой и получить уравнение: ${\displaystyle C_{1}}$ ${\displaystyle f(x,y)=0}$ ${\displaystyle C_{2}}$

${\displaystyle f(x_{1}(t),y_{2}(t))=0\ .}$

• Если обе кривые заданы неявно : ${\displaystyle C_{1}:f_{1}(x,y)=0,\ C_{2}:f_{2}(x,y)=0.}$

Здесь точка пересечения является решением системы

${\displaystyle f_{1}(x,y)=0,\ f_{2}(x,y)=0\ .}$

Любая итерация Ньютона требует удобных начальных значений, которые можно получить путем визуализации обеих кривых. Параметрически или явно заданную кривую легко визуализировать, поскольку по любому параметру t или x соответственно легко вычислить соответствующую точку. Для неявно заданных кривых эта задача не так проста. В этом случае необходимо определить точку кривой с помощью начальных значений и итерации. Видеть . ^[2]

Примеры:

1: и круг (см. схему). ${\displaystyle C_{1}:(t,t^{3})}$ ${\displaystyle C_{2}:(x-1)^{2}+(y-1)^{2}-10=0}$

Итерация Ньютона для функции ${\displaystyle t_{n+1}:=t_{n}-{\frac {f(t_{n})}{f'(t_{n})}}}$

${\displaystyle f(t)=(t-1)^{2}+(t^{3}-1)^{2}-10}$должно быть сделано. В качестве начальных значений можно выбрать −1 и 1,5.

Точки пересечения: (-1,1073, -1,3578), (1,6011, 4,1046).

2: ${\displaystyle C_{1}:f_{1}(x,y)=x^{4}+y^{4}-1=0,}$

${\displaystyle C_{2}:f_{2}(x,y)=(x-0.5)^{2}+(y-0.5)^{2}-1=0}$(см. схему).

Итерация Ньютона

${\displaystyle {x_{n+1} \choose y_{n+1}}={x_{n}+\delta _{x} \choose y_{n}+\delta _{y}}}$необходимо выполнить, где – решение линейной системы ${\displaystyle {\delta _{x} \choose \delta _{y}}}$

${\displaystyle {\begin{pmatrix}{\frac {\partial f_{1}}{\partial x}}&{\frac {\partial f_{1}}{\partial y}}\\{\frac {\partial f_{2}}{\partial x}}&{\frac {\partial f_{2}}{\partial y}}\end{pmatrix}}{\delta _{x} \choose \delta _{y}}={-f_{1} \choose -f_{2}}}$в точку . В качестве стартовых значений можно выбрать (−0,5, 1) и (1, −0,5). ${\displaystyle (x_{n},y_{n})}$

Линейную систему можно решить по правилу Крамера.

Точки пересечения: (-0,3686, 0,9953) и (0,9953, -0,3686).

Два полигона

пересечение двух многоугольников: проверка окна

Если кто-то хочет определить точки пересечения двух многоугольников , можно проверить пересечение любой пары отрезков многоугольников (см. выше). Для многоугольников с множеством сегментов этот метод требует достаточно много времени. На практике алгоритм пересечения можно ускорить, используя оконные тесты . В этом случае многоугольники разбиваются на небольшие подполигоны и определяют наименьшее окно (прямоугольник со сторонами, параллельными осям координат) для любого подполигона. Прежде чем приступить к трудоемкому определению точки пересечения двух отрезков, любая пара окон проверяется на наличие общих точек. Видеть. ^[3]

В космосе (трех измерениях)

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

Линия и плоскость

Пересечение линии и плоскости

Пересечение линии и плоскости в общем положении в трех измерениях является точкой.

Обычно линия в пространстве представляется параметрически , а плоскость - уравнением . Вставка представления параметра в уравнение дает линейное уравнение ${\displaystyle (x(t),y(t),z(t))}$ ${\displaystyle ax+by+cz=d}$

${\displaystyle ax(t)+by(t)+cz(t)=d\ ,}$

для параметра точки пересечения . ${\displaystyle t_{0}}$ ${\displaystyle (x(t_{0}),y(t_{0}),z(t_{0}))}$

Если линейное уравнение не имеет решения, то прямая либо лежит на плоскости, либо параллельна ей.

Три самолета

Если линия определяется двумя пересекающимися плоскостями и должна пересекаться третьей плоскостью , необходимо оценить общую точку пересечения трех плоскостей. ${\displaystyle \varepsilon _{i}:\ {\vec {n}}_{i}\cdot {\vec {x}}=d_{i},\ i=1,2}$ ${\displaystyle \varepsilon _{3}:\ {\vec {n}}_{3}\cdot {\vec {x}}=d_{3}}$

Три плоскости с линейными независимыми нормальными векторами имеют точку пересечения ${\displaystyle \varepsilon _{i}:\ {\vec {n}}_{i}\cdot {\vec {x}}=d_{i},\ i=1,2,3}$ ${\displaystyle {\vec {n}}_{1},{\vec {n}}_{2},{\vec {n}}_{3}}$

${\displaystyle {\vec {p}}_{0}={\frac {d_{1}({\vec {n}}_{2}\times {\vec {n}}_{3})+d_{2}({\vec {n}}_{3}\times {\vec {n}}_{1})+d_{3}({\vec {n}}_{1}\times {\vec {n}}_{2})}{{\vec {n}}_{1}\cdot ({\vec {n}}_{2}\times {\vec {n}}_{3})}}\ .}$

Для доказательства следует установить правила скалярного тройного произведения . Если скалярное тройное произведение равно 0, то плоскости либо не имеют тройного пересечения, либо являются прямой (или плоскостью, если все три плоскости одинаковы). ${\displaystyle {\vec {n}}_{i}\cdot {\vec {p}}_{0}=d_{i},\ i=1,2,3,}$

Кривая и поверхность

пересечение кривой с поверхностью ${\displaystyle (t,t^{2},t^{3})}$ ${\displaystyle x^{4}+y^{4}+z^{4}=1}$

Аналогично плоскому случаю, следующие случаи приводят к нелинейным системам, которые можно решить с помощью 1- или 3-мерной итерации Ньютона. ^[4]

• параметрическая кривая и ${\displaystyle C:(x(t),y(t),z(t))}$

параметрическая поверхность ${\displaystyle S:(x(u,v),y(u,v),z(u,v))\ ,}$

• параметрическая кривая и ${\displaystyle C:(x(t),y(t),z(t))}$

неявная поверхность ${\displaystyle S:f(x,y,z)=0\ .}$

Пример:

параметрическая кривая и ${\displaystyle C:(t,t^{2},t^{3})}$

неявная поверхность (см. рисунок). ${\displaystyle S:x^{4}+y^{4}+z^{4}-1=0}$

Точки пересечения: (-0,8587, 0,7374, -0,6332), (0,8587, 0,7374, 0,6332).

Пересечение линии и сферы — это простой частный случай.

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

Линия и многогранник

Две поверхности

Две трансверсально пересекающиеся поверхности образуют кривую пересечения . Самый простой случай — линия пересечения двух непараллельных плоскостей.

Сфера и плоскость

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

Пусть S — сфера с центром O , P — плоскость, пересекающая S. Нарисуйте OE перпендикулярно P и встретите P в точке E. Пусть A и B — любые две разные точки пересечения. Тогда AOE и BOE — прямоугольные треугольники с общей стороной OE и гипотенузами AO и BO равными. Следовательно, остальные стороны AE и BE равны. Это доказывает, что все точки пересечения находятся на одинаковом расстоянии от точки E в плоскости P , другими словами , все точки пересечения лежат на окружности C с центром E. ^[5] Это доказывает, что пересечение P и S содержится в C . Обратите внимание, что OE — это ось круга.

Теперь рассмотрим точку D окружности C. Поскольку C лежит в P , то же самое делает и D. С другой стороны, треугольники AOE и DOE — прямоугольные треугольники с общей стороной OE и катетами EA и ED равными. Следовательно, гипотенузы AO и DO равны и равны радиусу S , так что D лежит в S. Это доказывает, что C содержится в пересечении P и S.

Как следствие, на сфере существует ровно одна окружность, которую можно провести через три заданные точки. ^[6]

Доказательство можно расширить, чтобы показать, что все точки окружности находятся на общем угловом расстоянии от одного из ее полюсов. ^[7]

Сравните также конические сечения , из которых можно получить овалы .

Две сферы

Чтобы показать, что нетривиальное пересечение двух сфер представляет собой круг, предположим (без ограничения общности), что одна сфера (с радиусом ) имеет центр в начале координат. Точки на этой сфере удовлетворяют ${\displaystyle R}$

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

Также без ограничения общности предположим, что вторая сфера с радиусом центрирована в точке на положительной оси X, на расстоянии от начала координат. Его пункты удовлетворяют ${\displaystyle r}$ ${\displaystyle a}$

${\displaystyle (x-a)^{2}+y^{2}+z^{2}=r^{2}.}$

Пересечение сфер - это набор точек, удовлетворяющих обоим уравнениям. Вычитание уравнений дает

${\displaystyle {\begin{aligned}(x-a)^{2}-x^{2}&=r^{2}-R^{2}\\a^{2}-2ax&=r^{2}-R^{2}\\x&={\frac {a^{2}+R^{2}-r^{2}}{2a}}.\end{aligned}}}$

В единственном случае сферы концентричны. Возможны две возможности: если , сферы совпадают, а пересечение - вся сфера; если , сферы не пересекаются и пересечение пусто. Когда a не равно нулю, пересечение лежит в вертикальной плоскости с этой координатой x, которая может пересекать обе сферы, быть касательной к обеим сферам или быть внешней по отношению к обеим сферам. Результат следует из предыдущего доказательства для пересечений сферы и плоскости. ${\displaystyle a=0}$ ${\displaystyle R=r}$ ${\displaystyle R\not =r}$

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

• Пересечение линии и плоскости
• Пересечение линии и сферы
• Пересечение линии и цилиндра
• Аналитическая геометрия # Пересечения
• Вычислительная геометрия
• Уравнение линии
• Пересечение (теория множеств)
• Теория пересечений

Примечания

1. Эрих Хартманн: Геометрия и алгоритмы компьютерного проектирования. Конспекты лекций, Technische Universität Darmstadt, октябрь 2003 г., с. 17
2. Эрих Хартманн: Геометрия и алгоритмы компьютерного проектирования. Конспекты лекций, Technische Universität Darmstadt, октябрь 2003 г., с. 33
3. Эрих Хартманн: CDKG: Computerunterstützte Darstellende und Konstruktive Geometry. Конспект лекций, ТУ Дармштадта, 1997, с. 79 (PDF; 3,4 МБ)
4. Эрих Хартманн: Геометрия и алгоритмы компьютерного проектирования. Конспекты лекций, Technische Universität Darmstadt, октябрь 2003 г., с. 93
5. Доказательство следует за Хоббсом, предложение 304.
6. Хоббс, предложение 308.
7. Хоббс, предложение 310.

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

• Хоббс, Калифорния (1921). Твердая геометрия. Г. Х. Кент. стр. 397 и далее.

дальнейшее чтение

• Хейнс, Эрик (6 июня 2021 г.). «Пересечения (страница ресурсов по трассировке лучей)» . Рендеринг в реальном времени . Проверено 14 декабря 2023 г. сетка процедур пересечения различных популярных объектов, указывающая на ресурсы в книгах и в Интернете.
• Николас М. Патрикалакис и Такаши Маэкава, Опрос формы для автоматизированного проектирования и производства , Springer, 2002, ISBN 3540424547 , 9783540424543, стр. 408. [1] 
• Сайкс, М.; Комсток, CE (1922). Твердая геометрия. Рэнд МакНелли. стр. 81 и далее.