如何证明内积公式

懒得打字了，直接贴图上来。其实还有别的方法，但是我觉得没有我这个简单快速直观。下面是问题描述：

---

问题

在一个2维赋范线性空间中，给定一个直角坐标系，两个向量$\mathbf{a}$,$\mathbf{b}$，坐标分别为$(x_1,y_1)$和$(x_2,y_2)$。

定义内积操作 $\mathbf{a}\cdot \mathbf{b}=x_1{x}_2+y_1{y}_2$。

证明：$\mathbf{a}\cdot \mathbf{b}=|\mathbf{a}||\mathbf{b}|\cos \theta$, $\theta$是两个向量的夹角。

证明

只需要旋转一下坐标系，重新算一下两个向量的坐标值，那么利用内积定义，即可证明出：

旋转以后，显然，利用三角函数定理，可以看出，新的向量 ${\mathbf{a}}^{{}^{\prime }}$,${\mathbf{b}}^{{}^{\prime }}$，坐标分别为$(|\mathbf{a}|\cos \theta ,\mathbf{a}\sin \theta )$和$(|\mathbf{b}|,0)$。因为旋转以后内积不变（证明见文章末尾），再利用内积定义，即可得出。

题外话

这里有几个知识点：

线性空间，向量空间，内积，长度，距离，坐标系，坐标系旋转，基，赋范线性空间，内积，相似性。

这些都是基础知识，除了熟练掌握，要深刻理解起来，并非易事。

最近在研究双曲空间，发现不容易理解透。对于计算机选手，非数学系的，如果讨论的空间变得复杂了，比如双曲空间中，很容易就迷失了方向。所以还是得从基础构建起来。

* 请问“旋转后内积不变”又以什么为依据来证明呢？

感谢 “vcfanwxf” 评论问了一个好问题：

• 请问“旋转后内积不变”又以什么为依据来证明呢？

回答：

这里依据的是正交基旋转的简单计算：假设旋转矩阵为$R$，$a^{\prime },b^{\prime }$ 为旋转后对应向量$a，b$的新向量，那么：$a^{\prime }=Ra，b^{\prime }=Rb$。再根据题目里内积的定义，可以写成矩阵的形式：
$$a^{\prime }\cdot b^{\prime }=a^{\prime T}{b}^{\prime }=(Ra{)}^{T}Rb=a^T{R}^{T}Rb=a^{T}Ib=a^{T}b=a\cdot b$$
这里$I$就是identiy matrix，直角坐标系中，旋转矩阵$R$是正交的，故$R^{T}R=I$，（证明：$R^T=R^{-1}$, 留给你们当课后习题）