Формулы и признаки перпендикулярности прямой и плоскости