{整理}向量运算证明

哎呀心血来潮一发 准备好好学数学
温顺的向量对比凸包一类的正常多了 就从它开始
$\because 弱鸡一枚 \therefore 不完整将陆续补充$

如无特殊说明 采用(x,y)的形式描述向量

基本运算

点积

定义如(yl的)图

代数上有$\mathbf{a} \cdot \mathbf{b} = x_1 x_2 + y_1 y_2$

证：
容易理解的 点积也可以表示作 $\mathbf{a} \cdot \mathbf{b} = |\mathbf{a}|\cdot|\mathbf{b}| \cos{\theta}$
那么 我们尝试证明这两种表示等价
易得 $\overrightarrow{BA} = \overrightarrow{OA} - \overrightarrow{OB} = (x_1 - x_2, y_1 - y_2)$
根据余弦和勾股有 $| \overrightarrow{BA} |^2 = |\overrightarrow{OA}|^2 + |\overrightarrow{OB}|^2 - 2 |\overrightarrow{OA}| |\overrightarrow{OB}| \cos{\theta} = (x_1 - x_2)^2 + (y_1 - y_2)^2$
类似的 $|\overrightarrow{OA}|^2 = x_1^2 + y_1^2$
$|\overrightarrow{OB}|^2 = x_2^2 + y_2^2$
我们将$|\overrightarrow{OA}|^2 |\overrightarrow{OB}|^2$整体代入第一个式子得到

$$(x_1 - x_2)^2 + (y_1 - y_2)^2 = ( x_1^2 + y_1^2) + ( x_2^2 + y_2^2) - 2 |\overrightarrow{OA}| |\overrightarrow{OB}| \cos{\theta}$$
剩下的 笔者懒得写显然

推荐阅读
更朴素的证明

叉积

这是定义

这是证明 By M67

原文链接