Для доказательства того, что отрезок AB перпендикулярен отрезку MK, можно воспользоваться следующим рассуждением.
Поскольку отрезок AB перпендикулярен плоскости альфа, то он перпендикулярен всем прямым, лежащим в этой плоскости. Таким образом, можно провести перпендикуляр из точки A на прямую MK, обозначим его точкой C.
Теперь обратим внимание на треугольники ABC и ABM. У них сторона AB общая, сторона BC равна BM (так как они перпендикулярны одной и той же прямой MK), а угол ABC прямой (так как AB перпендикулярен плоскости альфа). Следовательно, по критерию равных треугольников, треугольники ABC и ABM равны.
Из равенства треугольников следует, что угол BAC равен углу BAM. Но угол BAM прямой (так как AB перпендикулярен плоскости альфа), а значит и угол BAC тоже прямой. Это означает, что отрезок AB перпендикулярен отрезку MK.
Таким образом, доказано, что отрезок AB перпендикулярен отрезку MK.