7.1.2向量的长度、两非零向量的 定义2设ξ是欧氏空间的一个向量,非负实数 <2,5的算术根√<5,5> 叫做ξ的长度,向量ξ的长度用符号 表示:图=√ 定理711在一个欧氏空间里,对于任意向量 5,.有不等式 <27 (6) 一当且仅当ξ与n线性相关时,上式才取等号 上页 返回 下页 结束8 首页 上页 返回 下页 结束 铃 7.1.2 向量的长度、两非零向量的 夹角  ,   ,    =  ,  定义2 设ξ是欧氏空间的一个向量，非负实数 的算术根 叫做ξ的长度，向量ξ的长度用符号 表示： 定理7.1.1 在一个欧氏空间里,对于任意向量 ,. 有不等式  ,   , ,  2 (6) 当且仅当ξ与η线性相关时，上式才取等号