跳转至

杂项

本文主要介绍了在 OI 中可能用到的重要高中数学知识。

如果是高中 OIer，强烈建议回班级听课。

下面按照从必修到选修的顺序介绍。所有内容均基于人教版高中数学 A 版教科书。

向量

（必修四）

平面的向量交错生长/织成/忧伤的网 ——《膜你抄》

定义及相关概念

向量 ：既有大小又有方向的量称为向量。数学上研究的向量为 自由向量 ，即只要不改变它的大小和方向，起点和终点可以任意平行移动的向量

有向线段 ：带有方向的线段称为有向线段。有向线段有三要素： 起点，方向，长度 ，知道了三要素，终点就唯一确定。我们用有向线段表示向量。

向量的模 ：有向线段 \overrightarrow{AB}的长度称为向量的模，即为这个向量的大小。记为： |\overrightarrow{AB}|。

零向量 ：模为 0的向量。零向量的方向任意。记为： \vec 0或 \mathbf{0}。

单位向量 ：模为 1的向量称为该方向上的单位向量。

平行向量 ：方向相同或相反的两个 非零 向量。记作： \vec a\parallel \vec b。对于多个互相平行的向量，可以任作一条直线与这些向量平行，那么任一组平行向量都可以平移到同一直线上，所以平行向量又叫 共线向量 。

相等向量 ：模相等且方向相同的向量。

相反向量 ：模相等且方向相反的向量。

向量的夹角 ：已知两个非零向量 \vec a,\vec b，作 \overrightarrow{OA}=\vec a,\overrightarrow{OB}=\vec b，那么 \theta=\angle AOB就是向量 \vec a与向量 \vec b的夹角。记作： \langle \vec a,\vec b\rangle。显然当 \theta=0时两向量同向， \theta=\pi时两向量反向， \theta=\frac{\pi}{2}时我们说两向量垂直，记作 \vec a\perp \vec b。并且，我们规定 \theta \in [0,\pi]。

注意到平面向量具有方向性，我们并不能比较两个向量的大小（但可以比较两向量的模长）。但是两个向量可以相等。

向量的线性运算

向量的加减法

我们定义了一种量，就希望让它具有运算。向量的运算可以类比数的运算，但是我们从物理学的角度出发研究向量的运算。

类比物理学中的位移概念，假如一个人从 A经 B走到 C，我们说他经过的位移为 \overrightarrow{AB}+\overrightarrow{BC}，这其实等价于这个人直接从 A走到 C，即 \overrightarrow{AB}+\overrightarrow{BC}=\overrightarrow{AC}。

注意到力的合成法则——平行四边形法则，同样也可以看做一些向量相加。

所以我们整理一下向量的加法法则：

  1. 向量加法的三角形法则 ：若要求和的向量首尾顺次相连，那么这些向量的和为第一个向量的起点指向最后一个向量的终点；
  2. 向量加法的平行四边形法则 ：若要求和的两个向量 共起点 ，那么它们的和向量为以这两个向量为邻边的平行四边形的对角线，起点为两个向量共有的起点，方向沿平行四边形对角线方向。

这样，向量的加法就具有了几何意义。并且可以验证，向量的加法满足 交换律与结合律 。

因为实数的减法可以写成加上相反数的形式，我们考虑在向量做减法时也这么写。即： \vec a-\vec b=\vec a+(-\vec b)。

这样，我们考虑共起点的向量，按照平行四边形法则做出它们的差，经过平移后可以发现 「共起点向量的差向量」是由「减向量」指向「被减向量」的有向线段 。

这也是向量减法的几何意义。

我们有时候有两点 A,B，想知道 \overrightarrow{AB}，可以利用减法运算 \overrightarrow{AB}=\overrightarrow{OB}-\overrightarrow{OA}获得。

向量的数乘

规定「实数 \lambda与向量 \vec a的积」为一个向量，这种运算就是向量的 数乘运算 ，记作 \lambda \vec a，它的长度与方向规定如下：

  1. |\lambda \vec a|=|\lambda||\vec a|；
  2. 当 \lambda >0时， \lambda\vec a与 \vec a同向，当 \lambda =0时， \lambda \vec a=\vec 0，当 \lambda<0时， \lambda \vec a与 \vec a方向相反。

我们根据数乘的定义，可以验证有如下运算律：

\lambda(\mu \vec a)=(\lambda \mu)\vec a\\ (\lambda+\mu)\vec a=\lambda \vec a+\mu \vec a\\ \lambda(\vec a+\vec b)=\lambda \vec a+\lambda \vec b

特别地，我们有：

(-\lambda)\vec a=-(\lambda \vec a)=-\lambda(\vec a)\\ \lambda(\vec a-\vec b)=\lambda \vec a-\lambda \vec b

判定两向量共线

两个 非零 向量 \vec a与 \vec b共线 \Leftrightarrow有唯一实数 \lambda:\vec b=\lambda \vec a。

证明：由数乘的定义可知，对于 非零 向量 \vec a，如果存在实数 \lambda，使得 \vec b=\lambda \vec a，那么 \vec a \parallel \vec b。
反过来，如果 \vec a\parallel \vec b， \vec a \not = \vec 0，且 |\vec b|=\mu |\vec a|，那么当 \vec a与 \vec b同向时， \vec b=\mu \vec a，反向时 \vec b=-\mu \vec a。

最后，向量的加，减，数乘统称为向量的线性运算。

平面向量的基本定理及坐标表示

平面向量基本定理

平面向量那么多，我们想用尽可能少的量表示出所有平面向量，怎么办呢？

只用一个向量表示出所有向量显然是不可能的，最多只能表示出某条直线上的向量。

我们再加入一个向量，用两个 不共线 向量表示（两个共线向量在此可以看成同一个向量），这样我们可以把任意一个平面向量分解到这两个向量的方向上了。

平面向量基本定理

如果两个向量 \overrightarrow{e_1},\overrightarrow{e_2}不共线，那么存在唯一实数对 (x,y)，使得与 \overrightarrow{e_1},\overrightarrow{e_2}共面的任意向量 \vec p满足 \vec p=x\overrightarrow{e_1}+y\overrightarrow{e_2}。

在同一平面内的两个不共线的向量称为 基底 。

如果基底相互垂直，那么我们在分解的时候就是对向量 正交分解 。

平面向量的坐标表示

如果取与横轴与纵轴方向相同的单位向量 i,j作为一组基底，根据平面向量基本定理，平面上的所有向量与有序实数对 (x,y)一一对应。

而有序实数对 (x,y)与平面直角坐标系上的点一一对应，那么我们作 \overrightarrow{OP}=\vec p，那么终点 P(x,y)也是唯一确定的。由于我们研究的都是自由向量，可以自由平移起点，这样，在平面直角坐标系里，每一个向量都可以用有序实数对唯一表示。

平面向量的坐标运算

由平面向量的线性运算，我们可以推导其坐标运算，主要方法是将坐标全部化为用基底表示，然后利用运算律进行合并，之后表示出运算结果的坐标形式。

若两向量 \vec a=(m,n),\vec b=(p,q)，则：

\vec a+\vec b=(m+n,p+q)\\ \vec a-\vec b=(m-n,p-q)\\ k\vec a=(km,kn)

求两点间距离

已知两点 A(a,b),B(c,d)，易证 \overrightarrow{AB}=(c-a,d-b)。

平移一点

有时候，我们需要将一个点 P沿一定方向平移某单位长度，这样我们把要平移的方向和距离组合成一个向量，利用向量加法的三角形法则，将 \overrightarrow{OP}加上这个向量，得到的向量终点即为平移后的点。

三点共线的判定

若 A,B,C三点共线，则 \overrightarrow{OB}=\lambda \overrightarrow{OA}+(1-\lambda)\overrightarrow{OC}。

向量的数量积

已知两个向量 \vec a,\vec b，它们的夹角为 \theta，那么：

\vec a \cdot \vec b=|\vec a||\vec b|\cos \theta

就是这两个向量的 数量积 ，也叫 点积 或 内积 。其中称 |\vec a|\cos \theta为 \vec a在 \vec b方向上的投影。数量积的几何意义即为：数量积 \vec a \cdot \vec b等于 \vec a的模与 \vec b在 \vec a方向上的投影的乘积。

我们发现，这种运算得到的结果是一个实数，为标量，并不属于向量的线性运算。

!!! note "判定两向量垂直" \vec a \perp \vec b\Leftrightarrow\vec a\cdot \vec b=0

!!! note "判定两向量共线" \vec a = \lambda \vec b\Leftrightarrow\vec a\cdot \vec b=|\vec a||\vec b|

数量积的坐标运算

若 \vec a=(m,n),\vec b=(p,q),则 \vec a\cdot \vec b=mp+nq

!!! note "向量的模" |\vec a|=\sqrt {m^2+n^2}

!!! note "两向量的夹角" \cos \theta=\cfrac{\vec a\cdot\vec b}{|\vec a||\vec b|}

扩展

向量与矩阵

（选修 4-2）

我们发现，矩阵运算的相关法则与向量运算相似，于是考虑将向量写成矩阵形式，这样就将向量问题化为矩阵问题了。

详细内容请参考线性代数。

向量积

我们定义向量 \vec a,\vec b的向量积为一个向量，记为 \vec a\times \vec b，其模与方向定义如下：

  1. |\vec a\times \vec b|=|\vec a||\vec b|\sin \langle \vec a,\vec b\rangle；
  2. \vec a\times \vec b与 \vec a,\vec b都垂直，且 \vec a,\vec b,\vec a\times \vec b符合右手法则。

向量积也叫外积。

由于向量积涉及到空间几何与线性代数知识，所以并未在高中课本中出现。然而注意到向量积的模，联想到三角形面积计算公式 S=\frac{1}{2}ab\sin C，我们可以发现向量积的几何意义是： |\vec a\times \vec b|是以 \vec a,\vec b为邻边的平行四边形的面积 。

知道这个，多边形面积就很好算了。

我们有一个不完全的坐标表示：记 \vec a=(m,n),\vec b=(p,q)，那么两个向量的向量积的竖坐标为 mq-np，我们根据右手法则和竖坐标符号可以推断出 \vec b相对于 \vec a的方向，若在逆时针方向竖坐标为正值，反之为负值，简记为 顺负逆正 。

极坐标与极坐标系

任意角与弧度制

（为人教版高中数学 A 版必修四内容）

我们在初中学习过角度值，但是角度不是一个数，这给我们深入研究带来了一定的困难，还有其他的问题无法解释清，所以我们换用弧度制描述角。

首先我们用旋转的思路定义角，角可以看成平面内一条射线绕其端点从一个位置旋转到另一个位置形成的图形。开始的位置称为始边，结束的位置称为终边。

我们规定，按 逆时针 方向旋转形成的角叫做 正角 ，按 顺时针 方向旋转所形成的角叫做 负角 ，如果这条射线没有做任何旋转，称为 零角 。这样我们就把角的概念推向了 任意角 。

然后我们介绍 弧度制 ，把长度等于半径长的弧所对的圆心角称为 1弧度的角，用符号 \text{rad}表示，读作：弧度。

一般地，正角的弧度数为正，负角的弧度数为负，零角的弧度数为 0，如果半径为 r的圆的圆心角 \alpha所对弧长为 l，则 |\alpha|=\frac{l}{r}。利用这个公式还可以写出弧长和扇形面积公式，在此略过。

那么，我们发现 360^\circ的角弧度数为 2\pi，这样有了对应关系之后，我们可以进行角度值和弧度制的转化了。

我们考虑一个角，将其终边再旋转一周，甚至多周，始边位置不动，那么终边位置永远是相同的，我们称这些角为 终边位置相同的角 。

与角 \alpha终边位置相同的角的集合很容易得出，为 \{\theta\mid \theta=\alpha+2k\pi,k\in \mathbb{Z}\}。

可以理解为：给这个角不停加一圈，终边位置不变。

极坐标与极坐标系

（为人教版高中数学 A 版选修 4-4 内容）

某同学：学平面直角坐标系都学烦了，有没有其他坐标系？

我们考虑实际情况，比如航海，我们说「 B在 A的北偏东 30^\circ方向上，距离为 100米」，而不是「以 A为原点建立平面直角坐标系， B(50,50\sqrt 3)」。

这样，我们在平面上选一定点 O，称为 极点 ，自极点引出一条射线 Ox，称为 极轴 ，再选择一个单位长度（在数学问题中通常为 1），一个角度单位（通常为弧度）及其正方向（通常为逆时针方向），这样就建立了 极坐标系 。

在极坐标系下，我们怎么描述位置呢？

设 A为平面上一点，极点 O与 A之间的距离 |OA|即为 极径 ，记为 \rho；以极轴为始边， OA为终边的角 \angle xOA为 极角 ，记为 \theta，那么有序数对 (\rho,\theta)即为 A的 极坐标 。

由终边相同的角的定义可知， (\rho,\theta)与 (\rho,\theta+2k\pi)\ (k\in \mathbb{Z})其实表示的是一样的点，特别地，极点的极坐标为 (0,\theta)\ (\theta\in \mathbb{R})，于是平面内的点的极坐标表示有无数多种。

如果规定 \rho>0,0\le \theta<2\pi​，那么除极点外，其他平面内的点可以用唯一有序数对 (\rho,\theta)​表示，而极坐标 (\rho,\theta)​表示的点是唯一确定的。

当然，有时候研究极坐标系下的图形有些不方便，我们想要转到直角坐标系下研究，那么我们有互化公式。

点 A(\rho,\theta)的直角坐标 (x,y)可以如下表示：

\begin{cases} x=\rho \cos \theta\\ y=\rho \sin \theta \end{cases}

进而可知：

\rho ^2=x^2+y^2\\ \tan \theta=\frac{y}{x}\ \ \ \ (x\not =0)

于是，极角 \theta=\arctan \frac{y}{x}，这样就可以求出极角了。

在编程中，若要求反正切函数，尽量使用 atan2(y, x) ，这个函数用途比 atan(x) 广泛。

build本页面最近更新：，更新历史
edit发现错误？想一起完善？ 在 GitHub 上编辑此页！
people本页面贡献者：
copyright本页面的全部内容在 CC BY-SA 4.0 和 SATA 协议之条款下提供，附加条款亦可能应用

评论