Наклонные линии

редактировать
Прямоугольный параллелепипед. Линия, проходящая через сегмент AD, и линия, проходящая через сегмент B 1 B, являются наклонными линиями, потому что они не находятся в одной плоскости. A расслоение проективного пространства наклонными линиями на вложенных гиперболоидах.

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

Содержание
  • 1 Общее положение
  • 2 Формулы
    • 2.1 Проверка на перекос
    • 2.2 Расстояние
    • 2.3 Ближайшие точки
  • 3 Более двух линий
    • 3.1 Конфигурации
    • 3.2 Линейчатые поверхности
    • 3.3 Теорема Галлуччи
  • 4 Наклонные плоскости в больших размерах
  • 5 См. Также
  • 6 Примечания
  • 7 Ссылки
  • 8 Внешние ссылки
Общее положение

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

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

В этом смысле наклонные линии являются «обычным» случаем, а параллельные или пересекающиеся прямые - частными случаями.

Формулы

Проверка асимметрии

Если каждая линия в паре наклонных линий определяется двумя точками, через которые она проходит, то эти четыре точки не должны быть копланарными, поэтому они должны быть вершинами тетраэдра ненулевого объема. И наоборот, любые две пары точек, определяющие тетраэдр ненулевого объема, также определяют пару косых линий. Следовательно, проверка того, определяют ли две пары точек косые линии, заключается в применении формулы для объема тетраэдра через четыре его вершины. Обозначая одну точку как вектор 1 × 3 a, три элемента которого являются тремя значениями координат точки, и аналогичным образом обозначая b, cи d для других точек, мы можем проверить, линия через a и b перекошена к линии через c и d, если посмотреть, дает ли формула объема тетраэдра не- нулевой результат:

V = 1 6 | det [a - b b - c c - d] |. {\ displaystyle V = {\ frac {1} {6}} \ left | \ det \ left [{\ begin {matrix} \ mathbf {a} - \ mathbf {b} \\\ mathbf {b} - \ mathbf {c} \\\ mathbf {c} - \ mathbf {d} \ end {matrix}} \ right] \ right |.}V = {\ frac {1} {6}} \ left | \ det \ left [{\ begin {matrix} \ mathbf {a} - \ mathbf {b} \\\ mathbf {b} - \ mathbf {c} \\\ mathbf {c} - \ mathbf {d} \ en d {матрица}} \ right] \ right |.

Расстояние

Для вычисления расстояния между двумя наклонными линиями может быть выражено с помощью векторов:

x = a + λ b; {\ displaystyle \ mathbf {x} = \ mathbf {a} + \ lambda \ mathbf {b};}\ mathbf {x} = \ mathbf {a} + \ lambda \ mathbf {b};
y = c + μ d. {\ displaystyle \ mathbf {y} = \ mathbf {c} + \ mu \ mathbf {d}.}\ mathbf {y} = \ mathbf {c} + \ mu \ mathbf {d}.

Здесь вектор 1 × 3 x представляет произвольную точку на линии, проходящей через определенную точку a с b, представляющим направление линии, и значением действительного числа λ {\ displaystyle \ lambda}\ lambda , определяющим, где находится точка на линии, и аналогично для произвольной точки y на линии, проходящей через конкретную точку c в направлении d.

, векторное произведение of b и d перпендикулярно линиям, как и единичный вектор

n = b × d | b × d | {\ displaystyle \ mathbf {n} = {\ frac {\ mathbf {b} \ times \ mathbf {d}} {| \ mathbf {b} \ times \ mathbf {d} |}}}\ mathbf {n} = {\ frac {\ mathbf {b} \ times \ mathbf {d}} {| \ mathbf {b} \ times \ mathbf {d} |}}

Расстояние между строки тогда

d = | п ⋅ (с - а) |. {\ displaystyle d = | \ mathbf {n} \ cdot (\ mathbf {c} - \ mathbf {a}) |.}d = | \ mathbf {n} \ cdot (\ mathbf {c} - \ mathbf {a}) |.

(если | b× d| равно нулю, линии параллельны, и этот метод не может быть используемый).

Ближайшие точки

Выражение двух линий как векторов:

Линия 1: v 1 = p 1 + t 1 d 1 {\ displaystyle \ mathbf {v_ {1}} = \ mathbf {p_ {1}} + t_ {1} \ mathbf {d_ {1}}}{\ displaystyle \ mathbf {v_ {1}} = \ mathbf {p_ {1}} + t_ { 1} \ mathbf {d_ {1}}}

Строка 2: v 2 = p 2 + t 2 d 2 {\ displaystyle \ mathbf {v_ {2}} = \ mathbf {p_ {2}} + t_ {2} \ mathbf {d_ {2}}}{\ displaystyle \ mathbf {v_ { 2}} = \ mathbf {p_ {2}} + t_ {2} \ mathbf {d_ {2}}}

перекрестное произведение из d 1 {\ displaystyle \ mathbf {d_ {1}}}{\ displaystyle \ mathbf {d_ {1}}} и d 2 {\ displaystyle \ mathbf {d_ {2}}}{\ displaystyle \ mathbf {d_ {2}}} перпендикулярно линиям.

n = d 1 × d 2 {\ displaystyle \ mathbf {n} = \ mathbf {d_ {1}} \ times \ mathbf {d_ {2}}}{\ displaystyle \ mathbf {n} = \ mathbf {d_ {1}} \ times \ mathbf {d_ {2}}}

Плоскость, образованная переводами строки 2 вдоль n {\ displaystyle \ mathbf {n}}{\ displaystyle \ mathbf { n}} содержит точку p 2 {\ displaystyle \ mathbf {p_ {2}}}{\ displaystyle \ mathbf {p_ {2}}} и перпендикулярно n 2 = d 2 × n {\ displaystyle \ mathbf {n_ {2}} = \ mathbf {d_ {2}} \ times \ mathbf {n}}{\ displaystyle \ mathbf {n_ {2}} = \ mathbf {d_ {2}} \ times \ mathbf {n}} .

Таким образом, точка пересечения прямой 1 с вышеупомянутая плоскость, которая также является ближайшей к линии 2 точкой на линии 1, задается формулой

c 1 = p 1 + (p 2 - p 1) ⋅ n 2 d 1 ⋅ n 2 d 1 { \ Displaystyle \ mathbf {c_ {1}} = \ mathbf {p_ {1}} + {\ frac {(\ mathbf {p_ {2}} - \ mathbf {p_ {1}}) \ cdot \ mathbf {n_ { 2}}} {\ mathbf {d_ {1}} \ cdot \ mathbf {n_ {2}}}} \ mathbf {d_ {1}}}{\ Displaystyle \ mathbf {c_ {1}} = \ mathbf {p_ {1}} + {\ frac {(\ mathbf {p_ {2}} - \ mathbf {p_ {1}}) \ cdot \ mathbf { п_ {2}}} {\ mathbf {d_ {1}} \ cdot \ mathbf {n_ {2}}}} \ mathbf {d_ {1}}}

Аналогично задается точка на строке 2, ближайшая к строке 1 по (где n 1 = d 1 × n {\ displaystyle \ mathbf {n_ {1}} = \ mathbf {d_ {1}} \ times \ mathbf {n}}{\ displaystyle \ mathbf {n_ {1}} = \ mathbf { d_ {1}} \ times \ mathbf {n}} )

c 2 = p 2 + (п 1 - п 2) ⋅ N 1 d 2 ⋅ N 1 d 2 {\ Displaystyle \ mathbf {c_ {2}} = \ mathbf { p_ {2}} + {\ frac {(\ mathbf {p_ {1}} - \ mathbf {p_ {2}}) \ cdot \ mathbf {n_ {1}}} {\ mathbf {d_ {2}} \ cdot \ mathbf {n_ {1}}}} \ mathbf {d_ {2}}}{\ displaystyle \ mathbf {c_ {2}} = \ mathbf {p_ {2}} + {\ frac {(\ mathbf {p_ { 1}} - \ mathbf {p_ {2}}) \ cdot \ mathbf {n_ {1}}} {\ mathbf {d_ {2}} \ cdot \ mathbf {n_ {1}}}} \ mathbf {d_ { 2}}}

Теперь c 1 {\ displaystyle \ mathbf {c_ {1}}}{\ displaystyle \ mathbf {c_ {1}}} и c 2 {\ displaystyle \ mathbf {c_ {2}}}{\ displaystyle \ mathbf {c_ {2}}} образуют самый короткий отрезок линии, соединяющий линию 1 и линию 2.

Более двух линий

Конфигурации

Конфигурация наклонных линий - это набор линий, в которых все пары наклонены. Две конфигурации называются изотопными, если можно непрерывно преобразовывать одну конфигурацию в другую, сохраняя на протяжении всего преобразования инвариант, что все пары линий остаются перекосами. Любые две конфигурации из двух линий легко увидеть как изотопные, а конфигурации с одинаковым количеством линий в размерах больше трех всегда изотопны, но существует несколько неизотопных конфигураций из трех или более линий в трех измерениях (Виро и Виро 1990). Количество неизотопных конфигураций n строк в R, начиная с n = 1, составляет

1, 1, 2, 3, 7, 19, 74,... (последовательность A110887 в OEIS ).

Линейчатые поверхности

Если повернуть линию L вокруг другой линии M, наклоненной, но не перпендикулярной ей, поверхность вращения сместится на L - это гиперболоид одного листа. Например, три гиперболоида, видимые на иллюстрации, могут быть сформированы таким образом, вращая линию L вокруг центральной белой вертикальной линии M. Копии L на этой поверхности образуют Regulus ; гиперболоид также содержит второе семейство линий, которые также наклонены к M на том же расстоянии, что и L от него, но с противоположным углом, которые образуют противоположный регулятор. Два регуляра отображают гиперболоид как линейчатая поверхность.

аффинное преобразование этой линейчатой ​​поверхности дает поверхность, которая обычно имеет эллиптическое поперечное сечение, а не круговое поперечное сечение, полученное вращением L вокруг L '; такие поверхности также называют гиперболоидами одного листа, и они снова управляются двумя семействами взаимно наклонных линий. Третий тип линейчатой ​​поверхности - это гиперболический параболоид. Подобно гиперболоиду одного листа, гиперболоидный параболоид имеет два семейства наклонных линий; в каждом из двух семейств линии параллельны общей плоскости, но не друг другу. Любые три косые линии в R лежат ровно на одной линейчатой ​​поверхности одного из этих типов (Hilbert Cohn-Vossen 1952).

Теорема Галуччи

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

Наклонные плоскости в

более высоких измерений В пространстве более высоких измерений квартира размерности k называется k-плоскостью. Таким образом, линию можно также назвать 1-бемольской.

Обобщая концепцию косых линий на d-мерное пространство, i-плоскость и j-плоскость могут быть перекосом, если i + j < d. As with lines in 3-space, skew flats are those that are neither parallel nor intersect.

In affine d- пробел, две плоскости любой размерности могут быть параллельны. Однако в проективном пространстве параллелизма не существует; две квартиры должны либо пересекаться, либо быть перекошены. Пусть I - множество точек на i-плоскости, а J - множество точек на j-плоскости. В проективном d-пространстве, если i + j ≥ d, то пересечение I и J должно содержать (i + j − d) -плоскость. (0-плоскость - это точка.)

В любой геометрии, если I и J пересекаются в k-плоскости при k ≥ 0, то точки I ∪ J определяют a (i + j− л) -плоскость.

См. Также
Примечания
Ссылки
Внешние ссылки
Последняя правка сделана 2021-06-08 04:49:28
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте