Докажи теорему о скрещивающихся прямых

Задача: доказать теорему о скрещивающихся (скрещивающихся) прямых в пространстве. Определения и формулировка - Пусть две прямые L1 и L2 в пространстве заданы параметрически: - L1: r = a + t u, t ∈ R, где a — фиксированная точка на L1, u — ненулевой вектор направления L1. - L2: r = b + s v, s ∈ R, где b — фиксированная точка на L2, v — ненулевой вектор направления L2. - Говорят, что прямые скрещиваются, если они не пересекаются и не параллельны. Важно: u и v не параллельны, и решение a + t u = b + s v не существует. Теорема Если две прямые L1 и L2 в пространстве не пересекаются и не параллельны (то есть скрещиваются), то существует единственная прямая, перпендикулярная обеим прямым. Она называется общим перпендикуляром. Отрезок этой прямой, соединяющий точки P ∈ L1 и Q ∈ L2, имеет минимальную длину среди всех отрезков, которые соединяют какие-либо точки на L1 и L2. Расстояние между L1 и L2 равно длине этого отрезка PQ. Доказательство (пошаговое) 1) Введение переменных и задача минимизации - Пусть P на L1 имеет координаты P = a + t u, а Q на L2 имеет координаты Q = b + s v. - Рассмотрим функцию расстояния между точками P и Q: D^2(t, s) = ||(a + t u) − (b + s v)||^2 = ||d + t u − s v||^2, где d = a − b. - Ищем такие параметры t0 и s0, при которых D^2 достигает минимума. Тогда точка P и точка Q будут образовывать сегмент PQ длины минимальной между двумя прямыми, и этот сегмент будет перпендикулярен обеим прямым. 2) Условия минимума - Обозначим w(t, s) = d + t u − s v. Тогда D^2 = w · w. - Частные производные по t и s должны обнулиться: ∂D^2/∂t = 2 w · u = 0 ⇒ u · w = 0. ∂D^2/∂s = −2 w · v = 0 ⇒ w · v = 0. - Подставим w: u · (d + t u − s v) = 0, v · (d + t u − s v) = 0. - Это система линейных уравнений по t и s: (u·u) t − (u·v) s = −u·d, (u·v) t − (v·v) s = −v·d. 3) Существование и единственность решения - Говорим, что детерминант системы Δ = (u·u)(v·v) − (u·v)^2. - Так как u и v не параллельны, векторы u и v не коллинеарны, значит (u·u) > 0, (v·v) > 0, и Δ > 0 (неравенство Коши-Буняковского). Следовательно, система имеет единственное решение t0 и s0. - Следовательно, существует единственный отрезок PQ, где P = a + t0 u ∈ L1 и Q = b + s0 v ∈ L2, такой что w(t0, s0) = P − Q перпендикулярен и L1, и L2 (поскольку u · w = 0 и v · w = 0). 4) Значение перпендикуляра - Отрезок PQ является общим перпендикуляром: PQ ⟂ L1 и PQ ⟂ L2. - Длина этого отрезка равна расстоянию между прямыми: d(L1, L2) = ||PQ||. 5) Уникальность общего перпендикуляра - Из вышеуказанного решения системы видно, что t0 и s0 единственны, значит и точка P на L1 и точка Q на L2 единственны. Отсюда и сам отрезок PQ единственный — следовательно, общий перпендикуляр единственный. Вывод и полезные формулы - Существование уникального общего перпендикуляра между любыми скрещивающимися прямыми доказано. - Расстояние между L1 и L2 можно выразить через векторы: d(L1, L2) = ||PQ|| = |(b − a) · (u × v)| / ||u × v||. Здесь n = u × v — направляющий вектор общего перпендикуляра (направление perpendicular к обеим прямым). - Угол между прямыми в 3D можно определить как угол между их направляющими векторами u и v: cos θ = (u · v) / (||u|| ||v||). Дополнитель пояснения - Геометрическая интуиция: среди всех сегментов, соединяющих L1 и L2, самый короткий — это тот, чьей прямой поддержки перпендикулярна обеим прямым. Это и есть общий перпендикуляр. - Если хотите, могу привести конкретный числовой пример с координатами прямых и выписать пошагово вычисления t0, s0 и длины PQ. Готов пояснить подробнее любые шаги или привести численный пример по вашей задаче.