Использовано: признак перпендикулярности прямой к плоскости, свойства правильного треугольника, формула площади выпуклого четырехугольника с перпендикулярными диагоналями.