向量点积定义的证明

设两个向量$\mathbf{a} = \overrightarrow{OA} = (x_1, y_1), \mathbf{b} = \overrightarrow{OB} = (x_2, y_2)$,两向量夹角为$\theta$,向量点积的定义如下:

$$\mathbf{a} \cdot \mathbf{b} = |\mathbf{a}|\cdot|\mathbf{b}| \cos{\theta} = x_1 x_2 + y_1 y_2$$

第一部分可以通过解析几何理解,即一个向量向另一个向量做投影。然而第二部分的定义有什么意义?关键问题是,为什么$ |\mathbf{a}|\cdot|\mathbf{b}| \cos{\theta} = x_1 x_2 + y_1 y_2$?下面就对这个问题进行证明。

\begin{align} \because \overrightarrow{OA} &= \overrightarrow{OB} + \overrightarrow{BA} \\ \therefore \overrightarrow{BA} &= \overrightarrow{OA} - \overrightarrow{OB} = (x_1 - x_2, y_1 - y_2) \end{align}

在$\triangle{OAB}$中,根据余弦定理:$| \overrightarrow{BA} |^2 = |\overrightarrow{OA}|^2 + |\overrightarrow{OB}|^2 - 2 |\overrightarrow{OA}| |\overrightarrow{OB}| \cos{\theta}$,并且$|\overrightarrow{BA}|^2 = (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$,所以$(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}$,因此便有:

$$|\overrightarrow{OA}| |\overrightarrow{OB}| \cos{\theta} = x_1 x_2 + y_1 y_2$$

即:

$$|\mathbf{a}|\cdot|\mathbf{b}| \cos{\theta} = x_1 x_2 + y_1 y_2$$

参考内容:http://mail.smhs.kh.edu.tw/~tch044/vector/sub-2.htm

顺便提一下:在MathJax中要想显示粗体的希腊字母,如$\boldsymbol{\alpha}$,应该用\boldsymbol{}这个宏,其他的像\mathbf,\bf,\bm等等均无法做到,原因应该是MathJax只使用了AMSmath的宏包。

时间: 2024-11-06 07:15:00

向量点积定义的证明的相关文章

向量叉积定义的证明

前面写了一篇向量点积定义的证明,由于这个证明比较简单,所以也没有引起深入的思考.后来打算写一篇叉积的证明时,却发现有些东西真的不好理解. 设两个向量$\mathbf{a} = (x_1, y_1, z_1), \mathbf{b} = (x_2, y_2, z_2)$,两向量夹角为$\theta$,很多教材包括维基百科(Cross Product)等给出的定义都是: $$\mathbf{c} = \mathbf{a} \times \mathbf{b} = \mathbf{n} |\mathbf

向量点积、叉积的意义

1.向量点积意义 ①二维向量A和B点积(结果为标量)定义为:A.dot(B) = |A|*|B|*cos(a) 比较重要的用途(数学意义)为: ②得到向量夹角.(根据cos(a)计算得到) ③得到对应单位分量上的长度.(当向量B为单位向量时,则|A|*cos(a)表示向量A在向量B上的单位分量) 可用于凸多边形的碰撞检测(分离轴定理) 2.向量叉积意义 ①二维向量A和B叉积(结果为标量)定义为:A.cross(B) = |A|*|B|*sin(a) 比较重要的用途(数学意义)为: ②得到向量夹角

向量点积计算

总时间限制:  1000ms 内存限制:  65536kB 描述 在线性代数.计算几何中,向量点积是一种十分重要的运算. 给定两个n维向量a=(a1,a2,...,an)和b=(b1,b2,...,bn),求点积a·b=a1b1+a2b2+...+anbn. 输入 第一行是一个整数n.1 <= n <= 1000.第二行包含n个整数a1,a2,...,an.第三行包含n个整数b1,b2,...,bn.相邻整数之间用单个空格隔开.每个整数的绝对值都不超过1000. 输出 一个整数,即两个向量的点

09:向量点积计算

总时间限制:  1000ms 内存限制:  65536kB 描述 在线性代数.计算几何中,向量点积是一种十分重要的运算. 给定两个n维向量a=(a1,a2,...,an)和b=(b1,b2,...,bn),求点积a·b=a1b1+a2b2+...+anbn. 输入 第一行是一个整数n.1 <= n <= 1000.第二行包含n个整数a1,a2,...,an.第三行包含n个整数b1,b2,...,bn.相邻整数之间用单个空格隔开.每个整数的绝对值都不超过1000. 输出 一个整数,即两个向量的点

AC日记——向量点积计算 openjudge 1.6 09

09:向量点积计算 总时间限制:  1000ms 内存限制:  65536kB 描述 在线性代数.计算几何中,向量点积是一种十分重要的运算. 给定两个n维向量a=(a1,a2,...,an)和b=(b1,b2,...,bn),求点积a·b=a1b1+a2b2+...+anbn. 输入 第一行是一个整数n.1 <= n <= 1000.第二行包含n个整数a1,a2,...,an.第三行包含n个整数b1,b2,...,bn.相邻整数之间用单个空格隔开.每个整数的绝对值都不超过1000. 输出 一个

bzoj3533【SDOI2014】向量集

3533: [Sdoi2014]向量集 Time Limit: 25 Sec  Memory Limit: 512 MB Submit: 669  Solved: 213 [Submit][Status][Discuss] Description 维护一个向量集合,在线支持以下操作: "A x y (|x|,|y| < =10^8)":加入向量(x,y); " Q x y l r (|x|,|y| < =10^8,1 < =L < =R < =T

n维向量积(3维向量积的推广,向量算法)

在三维空间中,两个向量的乘积(向量积,外积,乘积,区别于两个向量的数乘:内积,点积)表示两个向量的扭矩,而三个向量的混合积A×B·C,则表示由三个向量A,B,C所构成的平行六面体的面积.而且在混合积中A,B,C的位置是可以互换的(这个很容易证明),这也符合我们的经验.那么问题来了?1)3个或者N>3个三维向量相乘如何定义?A×B×C×D....因为A×B是有定义的,A×B是向量,那么只要继续乘就可以了,这也说明3维向量相乘,向量个数不是问题:2)向量个数不是问题,那4维向量的两个向量相乘呢? 设

c++ 知道旋转前后矩阵向量值 求旋转矩阵c++/c#代码 知道两个向量求他们的旋转矩阵

原文作者:aircraft 原文链接:https://www.cnblogs.com/DOMLX/p/12115244.html 知道旋转前后矩阵向量值 如何去求旋转矩阵R 的c++/c#代码??? 因为需要用到矩阵处理库所以需要先配置 一.Eigen库的配置(VS2017) Eigen库下载: http://eigen.tuxfamily.org/index.php?title=Main_Page 下载文件并解压: 然后在自己的VS工程属性中的这个附加包含进去 注意看清楚了 是D:\Depen

点积与叉乘的运算与物理意义

原文:http://blog.csdn.net/jacke121/article/details/55804353 向量是由n个实数组成的一个n行1列(n*1)或一个1行n列(1*n)的有序数组: 向量的点乘,也叫向量的内积.数量积,对两个向量执行点乘运算,就是对这两个向量对应位一一相乘之后求和的操作,点乘的结果是一个标量. 点乘公式 对于向量a和向量b:                        a和b的点积公式为: 要求一维向量a和向量b的行列数相同. 点乘几何意义 点乘的几何意义是可以