原题如下，通常情况下我们面对计算线面垂直数量的计算问题，一般地主要尝试“化线为面”的思路去构造…… 计算机则倾向通过向量建系穷举答案，最终，我们尝试通过抽象代数的角度理解如何不依赖空间的证明。