• 符号计算与自动推理 • 几何问题代数化 • 代数关系式的推导与验证 • 自动推理

• 符号计算与自动推理 • 几何问题代数化 • 代数关系式的推导与验证 • 自动推理

1.试分别用正等测投影及正二等测投影画出边长等于2,3,4的长方体以及正四面体

1向量的概念及向量的表示 一、向量的基本概念 （一)向量的概念 1向量:既有大小,又有方向的量称为向量(或矢量)。 2向量的几何表示法:

一、向量的投影与投影定理 二、向量的坐标 三、向量的模、向量的方向余弦 四、小结

一、空间直线方程的四种形式: 1、一般方程; 2、对称式方程(或称标准方程); 3、两点式方程; 4、参数方程。 二、如何将直线的一般方程化为对称式方程? 三、两直线的位置关系 四、直线与平面的位置关系 五、于平面束方程的概念

一、向量在轴上的投影与投影定理 设有一轴U,AB是轴u上的有向线段

一、线性空间的定义. 例 1 在解析几何里,讨论过三维空间中的向量.向量的基本属性是可以按平行四边形规律相加，也可以与实数作数量算法.不少几何和力学对象的性质是可以通过向量的这两种运算来描述的

一、平面的点法式方程 二、平面的一般方程 三、两平面的夹角

一、空间直线方程 二、线面间的位置关系