Мимобіжні прямі
Дві прямі в тривимірному евклідовому просторі називаються мимобіжними, якщо не існує площини, що їх містить.
Відстань між двома мимобіжними прямими
Відстанню між двома мимобіжними прямими називається довжина найкоротшого відрізка що їх з’єднує. Такий відрізок буде також перпендикуляром до обох прямих.
Позначимо напрямні вектори мимобіжних прямих як і . Додатково виберемо три довільні точки А, В, О, так що A лежить на прямій g, B — на прямій h, а точка O не лежить на жодній з прямих і запишемо рівняння прямих в параметричній формі:
- ,
де .
Тоді напрям одиничної нормалі , до і , а отже і до обох прямих, можна обчислити за допомогою векторного добутку:
.
Після чого відстань між прямими обчислюється як проекція вектора на напрямок заданий одиничною нормаллю
Перевірка на мимобіжність
Якщо кожна пряма визначена за допомогою двох точок, через які вона проходить, тоді ці чотири точки мусять не бути копланарними. Отже, вони мають бути вершинами чотиригранника з ненульовим об'ємом. І навпаки, будь-які дві двійки точок, що визначають чотиригранник не нульового об'єму, також визначають двійку мимобіжних прямих. З цього випливає, що перевірити на мимобіжність можна через застосування формули для знаходження об'єму чотиригранника, яка використовує його вершини. Позначаючи одну точку як 1×3 вектор a, три елементи якого є її координатами, і так само позначаючи інші три точки b, c і d, ми можемо перевірити, чи є мимобіжними пряма, що проходять через a і b і пряма, що проходить через c і d, порівнявши об'єм чотиригранника з нулем: