9.1 内积、范数与夹角

定义 R^m 上的标准内积与范数，再把这些公式连到长度、夹角与最基本的不等式结构。