查看“︁高中数学/向量与复数/向量的坐标表示与定比分点公式”︁的源代码

== 阅读指南 ==

== 基础知识 ==
=== 知识引入 ===
=== 向量在直角坐标系下的表示 ===
在2维平面直角坐标系中，也可以将向量像点一样，用1对有序的数表示出来，得到'''向量的分量形式'''（'''vector component form'''）或者'''坐标化向量'''（'''coordinate vector'''）。用于描述向量位置的每一个数都叫做向量沿坐标轴的'''分量'''（'''component'''）。

假设有<math>\vec{a} (x_1, y_1), \vec{b} (x_2, y_2)</math>这2个平面向量，那么前面所学的向量公式都可以用坐标表达出来。例如：
* 向量可以按分量相加或相减：<math>\vec{a} \pm \vec{b} = (x_1, y_1) \pm (x_2, y_2) = (x_1 \pm x_2, y_1 \pm y_2)</math>。
* 向量乘以1个数时，各个分量都同时扩大：<math>k \vec{a} = k (x_1, y_1) = (k x_1, k y_1)</math>。

知道或设好平面向量的坐标后，也可以利用[[初中数学/几何/毕氏定理及其逆定理|勾股定理]]求出其模。例如设点<math>A (x_A, y_A), B (x_B, y_B)</math>，则有：<br />
<math>|\vec{AB}| = |(x_B, y_B) - (x_A, y_A)| = |(x_B - x_A, y_B - y_A)| = \sqrt{(x_A - x_B)^2 + (y_A - y_B)^2}</math><ref name="人教版数学_2003_数量积的坐标表示">{{cite book |title=数学 |author=人民教育出版社中学数学室 |series=全日制普通高级中学教科书 (必修) |volume=第1册 (下) |publisher=[[w:人民教育出版社|人民教育出版社]] |location=中国北京沙滩后街55号 |edition=1 |isbn=7-107-17105-4 |section=第5章“平面向量”第1部分“向量及其运算”第5.7节“平面向量数量积的坐标表示” |pages=121-122 |language=zh-cn |year=2003}}</ref>

借助这种代数化的运算，一方面可以避免画图的麻烦而直接计算出许多向量问题的解，另一方面可以发现在空间中的三维向量也有形似一致的公式。

描述直线（数轴）上的一个点需要1个坐标，描述平面上的一个点需要2个坐标，而描述三维空间中的一个点需要确定3个坐标。最常见的描述空间中位置的坐标系是三维直角坐标系，也即设置3个彼此之间两两保持垂直的x轴、y轴和z轴。类似地，描述3维空间中的向量需要3个独立分量，平行四边形法则和三角形法则对空间向量的加减运算也依然成立，在空间直角坐标系下向量的加减和数乘运算也是对各个分量分别进行的。

对于<math>\vec{a} (x_1, y_1, z_1), \vec{b} (x_2, y_2, z_2)</math>这2个三维向量，我们可以直接通过坐标代数运算的形式给出加减法和数乘的计算方法：
* 向量可以按分量相加或相减：<math>\vec{a} \pm \vec{b} = (x_1, y_1, z_1) \pm (x_2, y_2, z_2) = (x_1 \pm x_2, y_1 \pm y_2, z_1 \pm z_2)</math>。
* 向量乘以1个数时，各个分量都同时扩大：<math>k \vec{a} = k (x_1, y_1, z_1) = (k x_1, k y_1, k z_1)</math>。

此外，全体二维向量构成的集合或平面直角坐标系中的全体构成的点的集合都记作<math>\mathbb{R}^2</math>，全体三维向量构成的集合或三维直角坐标系中全体点构成的集合都记作<math>\mathbb{R}^3</math>。

[[File:Crystal Clear action info.png | Crystal Clear action info | 50px]]
提示：点的集合与向量的集合有着相似的表达方式。不难看出，数轴上的点的加减法与一维向量的加减运算法则是相似的（这2种加法之间的映射是一种[[w:同构|同构]]关系）。事实上，由于数集与向量集之间存在同构关系，在高等数学中一般会忽略它们的表象区别，只关心它们的代数实质，因而也不会刻意区分空间中的点和向量。这种依靠合理的抽象，透过现象研究本质规律也是数学发展的特点。

[[File:Crystal Clear app kdict.png | Crystal Clear app kdict | 50px]]
知识背景：将n维空间中的全体点的集合记为<math>\mathbb{R}^n</math>出自于集合论中的[[w:笛卡尔积|笛卡尔积]]符号。在高中阶段不需要了解笛卡尔积的概念。

如果在平面（或空间）直角坐标系下向量的减法的坐标变换规律，可以发现：一个向量的坐标等于表示此向量的有向线段的终点的坐标减去初始点的坐标。<ref>{{cite book |title=高中数学 (A版) 必修4 |author=章建跃 (本册主编+责任编辑); 任子朝; 张劲松; 蒋佩锦 |editor1=刘绍学 (主编) |editor2=钱珮玲 (副主编) |publisher=人民教育出版社 |location=中国北京市沙滩后街55号 |edition=1 |isbn=7-107-17708-7 |section=第2章“平面向量”第2.3节“平面向量的基本定理及坐标表示”第2.3.3小节“平面向量的坐标运算” |pages=108-109 |language=zh-cn |year=2004}}</ref>

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
已知平面向量<math>\vec{a} = (x, y)</math>，求出其模关于这2个坐标的表达式。

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
已知空间向量<math>\vec{a} = (x, y, z)</math>，求出其模关于这3个坐标的表达式。

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
已知平面向量<math>\vec{a} = (2, m), m \in \mathbb{R}, |\vec{a}| = 5</math>，求m的可能取值。

<!-- 本小节例题4 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
已知在平面直角坐标系中，O为坐标系原点，<math>\vec{OA} = (1, 2), \vec{OB} = (2, -1), \vec{OP} = x \vec{OA} + y \vec{OB}, 1 \le x \le y \le 2</math>。求出点P的所有可能位置所构成的区域面积。

=== 方向向量与向量的归一化 ===
对于任意非零向量<math>\vec{a}</math>，与它同方向的单位向量就叫做'''向量<math>\vec{a}</math>的单位向量'''或'''向量<math>\vec{a}</math>的归一化向量'''或'''沿向量<math>\vec{a}</math>的方向向量'''。求任意非零向量的单位向量的过程叫做'''向量的归一化'''或'''对向量进行归一化'''。易知任意非零向量<math>\vec{a}</math>的归一化结果可以表示为自身与模长倒数的乘积，即<math>\frac{\vec{a}}{|\vec{a}|}</math>。换句话说，向量的归一化只是对其长度的归一化，但是不会改变其方向。

<blockquote style="padding: 1em; border: 2px dotted;">
[[File:Crystal Project Warehause.png | Crystal Project Warehause | 50px]]
对于一个向量<math>\vec{a} (x_a, y_a)</math>，由毕氏定理可知：
* <math>|\vec{a}| = |(x_a, y_a)| = \sqrt{x_a^2 + y_a^2}</math>
* <math>\vec{a}</math>的归一化向量（即方向向量）为<math>\frac{\vec{a}}{|\vec{a}|} = \frac{\vec{a}}{\sqrt{x_a^2 + y_a^2}}</math>
</blockquote>

由于“normalization”一词除了被翻译为“归一化”，也被翻译为“标准化”，所以“归一化向量”或“单位向量”也叫做“标准化向量”。

=== 向量的一般性分解 ===
。将向量表达为等效的多个向量之和的过程，叫做对向量的'''分解'''（'''decomposition'''）。建立直角坐标系然后将向量沿2个坐标轴进行分解的做法叫做'''对向量的正交分解'''（'''orthogonal decomposition of a vector'''）。正交就是垂直的意思。容易看出，直角坐标系取定以后，对平面中任何向量的正交分解的结果是唯一的。

正交分解是最容易处理的分解方式。例如在物理中要求众多的力的合力，可以选取合适的正交坐标系，先对每个力进行正交分解以后再分别沿x轴或y轴合成。这是一种将几何问题代数化处理的方法。

向量也可以沿不垂直的方向分解。我们可以任取2个不平行的非零方向向量，然后将给定的向量通过作图的方法分别沿它们所在的直线分解。非正交的分解满足以下规律（稍作了解即可）：

<blockquote style="padding: 1em; border: 2px dotted;">
[[File:Crystal Project Warehause.png | Crystal Project Warehause | 50px]]
平面向量基本定理：如果<math>\vec{e_1}, \vec{e_2}</math>是同一平面内的2个不共线向量，那么对于这一平面内的任意向量a，有且只有一对实数可以使得下列向量分解式成立：<br />
<math>\vec{a} = \lambda_1 \vec{e_1} + \lambda_2 \vec{e_2}</math><br />

我们把其中的<math>\vec{e_1}, \vec{e_2}</math>叫做表示这一平面内所有向量的一组'''基底'''（'''base'''）。在同一平面内可以选出多组不同的基底。<ref name="人教版数学_2003_数乘与向量基本定理">{{cite book |title=数学 |author=人民教育出版社中学数学室 |series=全日制普通高级中学教科书 (必修) |volume=第1册 (下) |publisher=[[w:人民教育出版社|人民教育出版社]] |location=中国北京沙滩后街55号 |edition=1 |isbn=7-107-17105-4 |section=第5章“平面向量”第1部分“向量及其运算”第5.3节“实数与向量的积” |pages=105-109 |language=zh-cn |year=2003}}</ref><ref>{{cite book |title=高中数学 (A版) 必修4 |author=章建跃 (本册主编+责任编辑); 任子朝; 张劲松; 蒋佩锦 |editor1=刘绍学 (主编) |editor2=钱珮玲 (副主编) |publisher=人民教育出版社 |location=中国北京市沙滩后街55号 |edition=1 |isbn=7-107-17708-7 |section=第2章“平面向量”第2.3节“平面向量的基本定理及坐标表示”第2.3.1小节“平面向量基本定理” |pages=105-106 |language=zh-cn |year=2004}}</ref>
</blockquote>

对于最常用的平面直角坐标系和空间直角坐标系的基地，它们的基底向量都是彼此正交的单位向量。这种由彼此正交且长度都为一的单位向量组成的基底叫做'''[[w:标准正交基|标准正交基]]'''（'''orthonormal basis'''）。

=== 定比分点 ===
<blockquote style="padding: 1em; border: 2px dotted;">
<font color="#008000">
设点P是直线<math>P_1 P_2</math>上异于<math>P_1, P_2</math>的任意一点，若存在一个实数<math>\lambda \quad (\lambda \neq -1)</math>，使得<math>\vec{P_1 P} = \lambda \vec{P P_2}</math>，则<math>\lambda</math>叫做点P分有向线段<math>P_1 P_2</math>所成的比，P点叫做有向线段<math>P_1 P_2</math>的以<math>\lambda</math>为比值的'''定比分点'''。<ref name="华师二中_数学_高中上册_定比分点">{{cite book |title=华东师范大学第二附属中学(实验班用)·数学 |volume=高中上册 |author1=刘初喜 |author2=施洪亮 |author3=蔡东山 |editor= |others= |publisher=上海教育出版社 |location=中国上海永福路123号 |series= |edition=2 |isbn=978-7-5444-6195-5 |section=第7章“平面向量”第7.6节“线段的定比分点公式与向量的应用” |pages=198-199 |language=zh-cn |year=2015}}</ref>
</font>
</blockquote>

由以上定义和几何直观可以推知：当点P在线段<math>P_1 P_2</math>上时，<math>\lambda > 0</math>；当点P在线段<math>P_1 P_2</math>或<math>P_2 P_1</math>的延长线上时，<math>\lambda < 0</math>。<ref name="人教版数学_2003_定比分点">{{cite book |title=数学 |author=人民教育出版社中学数学室 |series=全日制普通高级中学教科书 (必修) |volume=第1册 (下) |publisher=[[w:人民教育出版社|人民教育出版社]] |location=中国北京沙滩后街55号 |edition=1 |isbn=7-107-17105-4 |section=第5章“平面向量”第1部分“向量及其运算”第5.5节“线段的定比分点” |pages=115-117 |language=zh-cn |year=2003}}</ref>

定比分点问题经常会涉及具体的坐标计算，且其分点坐标也与线段的2个端点坐标存在直接的比例关系。

<blockquote style="padding: 1em; border: 2px dotted;">
[[File:Crystal Project Warehause.png | Crystal Project Warehause | 50px]]
若已知<math>P_1 (x_1, y_1), P_2 (x_2, y_2), P (x, y), \lambda \in \mathbb{R}</math>，则有下列条件彼此等价<ref name="华师二中_数学_高中上册_定比分点" />：
* P是线段<math>P_1 P_2</math>的分点，且满足<math>\vec{P_1 P} = \lambda \vec{P P_2}</math>
* <math>x = \frac{x_1 + \lambda x_2}{1 + \lambda}, y = \frac{y_1 + \lambda y_2}{1 + \lambda}</math>
* <math>\vec{OP} = \frac{\vec{OP_1} + \lambda \vec{OP_2}}{1 + \lambda}</math>
* <math>\vec{OP} = t \vec{OP_1} + (1-t) \vec{OP_2} \quad (t = \frac{1}{1 + \lambda})</math>

其中最后一个关系式叫做线段的'''定比分点公式'''（'''section formula'''）。
</blockquote>

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
在矩形ABCD中，已知其中3个顶点的坐标A (2, 1), B (5, 4), C (3, 6)，点E是CD边的中点。联结BE与矩形的对角线AC，交于点F。求点F的坐标。

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
已知<math>A (2, 3), B (-1, 5), \vec{AC} = \frac 1 3 \vec{AB}, \vec{AD} = 3 \vec{AB}</math>。求C点与D点的坐标。

定比分点问题还有直线分线段比公式和定比分点面积公式。

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
已知三角形ABC的3个顶点坐标分别为A (1, 1), B (5, 3), C(4, 5)。直线<math>l</math>平行于AB，交AC于点D，且平分三角形ABC的面积。求D点的坐标。

<!-- 本小节例题4 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
已知P为三角形ABC内一点，<math>\vec{AP} = \frac 2 5 \vec{AB} + \frac 1 5 \vec{AC}</math>，求三角形ABP与三角形ABC的面积之比。

== 补充习题 ==
[[File:Crystal Clear app ksirtet.png | Crystal Clear app ksirtet | 50px]]
[[File:Crystal Clear app laptop battery.png | Crystal Clear app laptop battery | 50px]]

== 参见 ==
* [[高中物理/力與運動/力的合成与分解]]
* [[高中数学/向量与复数/斜坐标系与对偶向量|斜坐标系与对偶向量]]

== 参考资料 ==
{{Reflist}}

== 外部链接 ==
{{Wikipedia|正交分解}}
{{Wikipedia|标准正交基}}
{{Wikipedia|定比分点公式}}

{{DEFAULTSORT: vector component form and section formula}}
[[category:线性代数]]
[[category:高中数学]]