| 立体几何定理的计算机证明 |
| |
| 引用本文： | 牟来彦. 立体几何定理的计算机证明[J]. 湖北民族学院学报(自然科学版), 2002, 20(3): 20-22 |
| |
| 作者姓名： | 牟来彦 |
| |
| 作者单位： | 湖北民族学院信息工程学院 湖北恩施445000 |
| |
| 摘 要： | 在欧氏几何和向量空间中，结合二者的关系，把几何问题转换的代数问题，利用MATLAB的相关知识，编写源代码文件，用计算机证明立体几何的直线垂直于平面的判定理，为机器证明定理提供了一个实例。
|
| 关 键 词： | 立体几何定理 计算机证明 向量空间 MATLAB 机器证明 三垂线定理 |
| 文章编号： | 1008-8423(2002)03-0020-03 |
| 修稿时间： | 2002-01-24 |
A Theorem of Solid Geometry Confirmed by Computer |
| |
| MOU Lai-yan. A Theorem of Solid Geometry Confirmed by Computer[J]. Journal of Hubei Institute for Nationalities(Natural Sciences), 2002, 20(3): 20-22 |
| |
| Authors: | MOU Lai-yan |
| |
| Abstract: | Geometric problems are transformed into algebraic problems according to the relationship between Enclidean geometry and vector space.The source code document is written by using the relevant knowledge of MATLAB.The decision theorem that a straight line is perpendicular to a plane in solid geometry is proved through computer. |
| |
| Keywords: | vector space base coordinate MATLAB |
| 本文献已被 CNKI 维普 等数据库收录！ |
