а) Для того чтобы доказать, что прямые C1K и DF перпендикулярны, достаточно показать, что их направляющие векторы ортогональны.
Направляющий вектор прямой C1K можно найти, вычислив разность координат концов вектора CK. Пусть координаты точек C и K равны (x1, y1, z1) и (x2, y2, z2) соответственно. Тогда направляющий вектор CK будет равен (x2-x1, y2-y1, z2-z1).
Направляющий вектор прямой DF можно найти, вычислив разность координат концов вектора DF. Пусть координаты точек D и F равны (x3, y3, z3) и (x4, y4, z4) соответственно. Тогда направляющий вектор DF будет равен (x4-x3, y4-y3, z4-z3).
Чтобы доказать перпендикулярность векторов CK и DF, проверим, что их скалярное произведение равно нулю: (x2-x1)*(x4-x3) + (y2-y1)*(y4-y3) + (z2-z1)*(z4-z3) = 0.
Если данное равенство выполняется, то прямые C1K и DF перпендикулярны.
б) Чтобы найти расстояние от точки D до плоскости α, нужно использовать формулу для расстояния от точки до плоскости. Расстояние d будет равно модулю скалярного произведения вектора, проведенного от точки D до любой точки на плоскости α, на вектор, ортогональный плоскости α.
Уравнение плоскости α: (x-x5, y-y5, z-z5) * n = 0, где (x5, y5, z5) – координаты точки K, а n – нормальный вектор плоскости α.
Нормальный вектор n можно получить, вычислив векторное произведение векторов CK и DF: n = (CK x DF).
Теперь мы можем найти расстояние d, подставив координаты точки D и нормальный вектор n в формулу: d = |(x3-x5, y3-y5, z3-z5) * n| / |n|.
Таким образом, мы можем найти расстояние от точки D до плоскости α, используя данную формулу и найденные ранее значения.