立体几何定理的计算机证明

摘要

在欧氏几何和向量空间中 ,结合二者的关系 ,把几何问题转换为代数问题 ,利用MATLAB的相关知识 ,编写源代码文件 ,用计算机证明立体几何中的直线垂直于平面的判定定理 。