Решение:
1. **Определим векторы направлений прямых.**
Для прямой AB, проходящей через точки A(1; 5; 2) и B(5; 7; -1), найдем вектор AB:
AB = B — A = (5 — 1; 7 — 5; -1 — 2) = (4; 2; -3).
Для прямой CD, проходящей через точки C(-4; -1; 5) и D(-1; 2; 12), найдем вектор CD:
CD = D — C = (-1 + 4; 2 + 1; 12 — 5) = (3; 3; 7).
2. **Запишем уравнения прямых.**
Прямая AB может быть представлена в параметрической форме:
r1(t) = A + t * AB = (1 + 4t; 5 + 2t; 2 — 3t).
Прямая CD также в параметрической форме:
r2(s) = C + s * CD = (-4 + 3s; -1 + 3s; 5 + 7s).
3. **Найдем вектор, соединяющий точки на прямых.**
Вектор между точками на прямых можно записать как:
P(t, s) = r1(t) — r2(s) = (1 + 4t + 4 — 3s; 5 + 2t + 1 — 3s; 2 — 3t — 5 — 7s) = (5 + 4t — 3s; 6 + 2t — 3s; -3 — 3t — 7s).
4. **Найдем условия перпендикулярности.**
Для того чтобы вектор P(t, s) был перпендикулярен вектору AB и вектору CD, необходимо, чтобы скалярные произведения были равны нулю:
P(t, s) * AB = 0 и P(t, s) * CD = 0.
Скалярное произведение P(t, s) и AB:
(5 + 4t — 3s) * 4 + (6 + 2t — 3s) * 2 + (-3 — 3t — 7s) * (-3) = 0.
Скалярное произведение P(t, s) и CD:
(5 + 4t — 3s) * 3 + (6 + 2t — 3s) * 3 + (-3 — 3t — 7s) * 7 = 0.
5. **Решим систему уравнений.**
Получаем систему из двух уравнений. Решив её, найдем значения параметров t и s.
6. **Найдем расстояние между прямыми.**
После нахождения t и s, подставим их обратно в P(t, s) для нахождения вектора между прямыми. Длина этого вектора и будет расстоянием между прямыми.
7. **Подсчитаем длину вектора.**
Длина вектора P(t, s) = sqrt((x)^2 + (y)^2 + (z)^2), где x, y, z — координаты вектора P(t, s).
Таким образом, выполнив все шаги, мы получим расстояние между двумя прямыми.