查看“︁高中数学/平面解析几何/直线方程补充知识”︁的源代码


== 阅读指南 ==
[[File: Crystal Clear app gnome.png | Crystal Clear app gnome | 50px]]
希望快速了解或快速回顾高中数学的读者可以只看基础知识部分。其余部分是为需要参加学科考试或需要一定知识提升的读者准备的。

=== 预备知识 ===
阅读本节，需要先了解[[高中数学/预备知识/几何#图形常识|初中几何常识]]中有关平行、垂直、夹角、线段的垂直平分线、角平分线等知识，并学习有关[[高中数学/函数与三角/弧度制与任意角的三角函数值|任意角的三角比]]的知识。

=== 考试要求 ===

== 基础知识 ==
=== 知识引入 ===
=== 倾斜角与斜率的一般规定 ===
我们先对直线的倾斜角作如下正式的约定：

<blockquote class="definitions" style="padding: 1em; border: 2px dotted; color:#008000;">
对于平面坐标系中的一条直线<math>L_1</math>，从其上的任意一点A作一条水平线<math>L_2</math>（此时A肯定是<math>L_1, L_2</math>的交点），将<math>L_2</math>绕着点A按逆时针方向旋转至与原直线<math>L_1</math>重合时的最小正角<math>\alpha</math>叫做原直线<math>L_1</math>的'''倾斜角'''（'''angle inclination'''）。
</blockquote>

由上述定义，可立即推知：
* 当原直线本身就是水平直线时，其倾斜角为0。
* 直线倾斜角的取值范围是<math>[0, \pi)</math>。

根据[[高中数学/函数与三角/弧度制与任意角的三角函数值|任意角的三角比]]的规定，还可以知道当直线y = kx + b的朝向不沿着竖直方向时，它在直角坐标系中的倾斜角的正切值就是一次项系数k。即对于通过2个不同点<math>P_1 (x_1, y_2), P_2 (x_2, x_2)</math>的非竖直直线（设倾斜角<math>\alpha \neq \frac{\pi}{2}</math>），有：
: <math>\tan \alpha = \frac{y_1 - y_2}{x_1 - x_2} = k \quad (\alpha \neq \frac{\pi}{2})</math>

<blockquote class="definitions" style="padding: 1em; border: 2px dotted; color:#008000;">
由于一次函数的一次项系数k刻划出了此时直线的倾斜程度，就正式定义为直线的'''斜率'''（'''slope'''）。<ref name="人教版课本2004年高中数学_倾斜角和斜率">{{cite book |title=数学 |author=人民教育出版社中学数学室 |series=全日制普通高级中学教科书 (必修) |volume=第2册(上) |publisher=[[w:人民教育出版社|人民教育出版社]] |location=中国北京沙滩后街55号 |edition=1 |isbn=7-107-17450-9 |section=第7章“直线和圆的方程”第7.1小节“倾斜角和斜率” |pages=34-37 |language=zh-cn |year=2004}}</ref>

而对于竖直的直线（垂直于x轴），我们就说它的斜率不存在。
</blockquote>

通过计算和比较斜率，可以论证[[w:失踪的正方形|失踪的正方形]]问题。<ref name="人教社课标版数学_2004_斜率与失踪的正方形">{{cite book |title=高中数学 (A版) |author=王申怀 (本册主编); 马波; 张鹤; 王敬庚; 陶维林; 张劲松 (编者+责任编辑) |editor1=刘绍学 (主编) |editor2=钱珮玲 (副主编) |editor3=章建跃 (副主编) |series=普通高中课程标准实验教科书 |volume=必修2 |publisher=人民教育出版社 |location=中国北京市沙滩后街55号 |edition=1 |isbn=7-107-17706-0 |section=第3章“直线与方程”中的“探究与发现”部分 |pages=95-96 |language=zh-cn |year=2004}}</ref>

<!-- 本小节例题1 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
已知一条直线过点A (-2, -1)和点B (6, -5)，求此直线的斜率和倾斜角。

<!-- 本小节例题2 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
已知一条直线经过<math>A (2, 1), B (1, m^2) \quad (m \in \mathbb{R})</math>两点，求此直线倾斜角<math>\alpha</math>的取值范围。

<!-- 本小节例题3 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
分别求下列直线的倾斜角和斜率：
:(1) 已知一条直线过<math>A (1, 2), B (a, 3) \quad (a \in \mathbb{R})</math>两点，求此直线的倾斜角和斜率。
:(2) 已知一条直线过<math>O (0, 0), H (\cos \theta, \sin \theta)</math>两点，且<math>- \frac{\pi}{2} < \theta < 0</math>，求此直线的倾斜角。

=== 直线方程的多种形式 ===
直线方程有多种形式，我们在[[高中数学/预备知识/函数#一次函数的各种形式|预备知识]]中也有列举，其中有一部分已经在初中阶段使用过。为了知识便于查阅，我们将直线方程的常见形式集中列于此处<ref name="人教版课本2004年高中数学_直线方程的常见形式">{{cite book |title=数学 |author=人民教育出版社中学数学室 |series=全日制普通高级中学教科书 (必修) |volume=第2册(上) |publisher=[[w:人民教育出版社|人民教育出版社]] |location=中国北京沙滩后街55号 |edition=1 |isbn=7-107-17450-9 |section=第7章“直线和圆的方程”第7.2小节“直线的方程” |pages=38-43 |language=zh-cn |year=2004}}</ref>：
* 直线的点斜式方程：<math>y - y_1 = k (x - x_1)</math>，其中k是斜率，且该直线过定点<math>P (x_1, y_1)</math>；
* 直线的斜截式方程：y = kx + b，其中k是斜率，b是直线在y轴上的截距；
* 直线的两点式方程：<math>\frac{y - y_1}{x - x_1} = \frac{y_1 - y_2}{x_1 - x_2}</math>，这样的直线过两定点<math>P_1 (x_1, y_1), P_2 (x_2, y_2)</math>；
* 直线的截距式方程：<math>\frac x a = \frac y b = 1</math>，这样的直线过定点<math>A (a, 0), B (0, b), a, b \neq 0</math>；
* 直线的一般式方程：Ax + By + C = 0，A和B不可以同时为0。

<!-- 本小节例题1 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
已知不论m取什么实数，直线(2m-1)x + (m+3)y - (m-11) = 0都经过一个固定的点。求这个定点的坐标。

<!-- 本小节例题2 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
求证下列过<math>P_1 (x_1, y_1), P_2 (x_2, y_2)</math>两点的[[高中数学/不等式与数列/插值法|插值公式]]与直线的两点式是等价的：<br />
<math>y = y_1 \cdot \frac{x - x_2}{x_1 - x_2} + y_2 \cdot \frac{x - x_1}{x_2 - x_1}</math>

<!-- 本小节例题2的解答 -->
<div class="collapsible proof" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考证明：<br />
 我们从插值公式<math>y = y_1 \cdot \frac{x - x_2}{x_1 - x_2} + y_2 \cdot \frac{x - x_1}{x_2 - x_1}</math>开始作等价变形。<br />
 因为要出现<math>y - y_1</math>这样的项，不妨在上式的等式两端同时减去<math>y_1</math>：<br />
 <math>
 \begin{array}{l}
  y - y_1 = y_1 (\cdot \frac{x - x_2}{x_1 - x_2} - 1) + y_2 \cdot \frac{x - x_1}{x_2 - x_1} \\
  = y_1 \cdot \frac{x - x_2 - (x_1 - x_2)}{x_1 - x_2} + y_2 \cdot \frac{x - x_1}{x_2 - x_1} \\
  = y_1 \cdot \frac{x - x_1}{x_1 - x_2} - y_2 \cdot \frac{x - x_1}{x_1 - x_2} \\
  = \frac{x - x_1}{x_1 - x_2} (y_1 - y_2) \\
  \Leftrightarrow y - y_1 = \frac{x - x_1}{x_1 - x_2} (y_1 - y_2)
 \Leftrightarrow \frac{y - y_1}{x - x_1} = \frac{y_1 - y_2}{x_1 - x_2}
 \end{array}
 </math><br />
 证明完毕。
 </p>
</div>

=== 直线与直线的位置关系判定 ===
两直线如果相交，则其交点必定同时满足两直线的方程。联立2个直线方程，如果有一组解，则直线说明相交。这个知识点我们已经在初中学习过，本节不再赘述。

我们先关心直线平行和垂直的情况，因为马上就会发现，在这两种情形下会有比较特殊的结论。然后我们会过渡到讨论更一般的夹角公式。

==== 平行与垂直 ====
考虑斜率存在且不为零的2条平行直线<math>L_1 : y = k_1 x + b, L_2 : y = k_2 x + b</math>。
首先易知它们一定都会与x轴相交。再由初中几何中“两直线平行，同位角相等”的原理可知，它们与x轴正方向所成的倾斜角<math>\alpha_1, \alpha_2</math>肯定是一样大的。进而有：<br />
<math>\tan \alpha_1 = \tan \alpha_2</math><br />
也即它们的斜率对应相等：<math>k_1 = k_2</math><br />
特别地，当还有<math>b_1 \neq b_2</math>时，两直线是平行且不重合的。<br />
另外，当两直线斜率都为零时，也有类似结论。<ref name="人教版课本2004年高中数学_两直线的位置关系">{{cite book |title=数学 |author=人民教育出版社中学数学室 |series=全日制普通高级中学教科书 (必修) |volume=第2册(上) |publisher=[[w:人民教育出版社|人民教育出版社]] |location=中国北京沙滩后街55号 |edition=1 |isbn=7-107-17450-9 |section=第7章“直线和圆的方程”第7.3小节“两条直线的位置关系” |pages=45-53 |language=zh-cn |year=2004}}</ref>

当直线<math>L_1</math>不垂直于x轴时，可以设其斜截式方程为<math>y = k_1 x + b</math>。再从其上任取2个点<math>P_1 (x_1, y_1), P_2 (x_2, y_2)</math>，则向量<math>\overrightarrow{P_1 P_2} = (x_2 - x_1, y_2 - y_1)</math>的方向与直线<math>L_1</math>共线。我们想办法简化这个向量，让它与选取的点无关，而只包含直线的关键参数。首先，将向量乘除一个非零的常系数，其方向不会改变。其次，注意到这是一个齐次表达式，我们可以设法利用同为齐次式的斜率关系式<math>k_1 = \frac{y_1 - y_2}{x_1 - x_2}</math>化简刚才的向量表达式。即<ref name="人教版课本2004年高中数学_两直线的位置关系" />：<br />
<math>
L_1 \parallel (x_2 - x_1, y_2 - y_1) \parallel \frac{(x_2 - x_1, y_2 - y_1)}{x_2 - x_1}
= (1, \frac{y_2 - y_1}{x_2 - x_1}) = (1, k_2)
</math><br />
这也说明直线的走向只与其斜率有关。这是符合我们直觉的。

类似地，设另有一条直线与<math>L_1</math>垂直且同样具有斜率的直线<math>L_2</math>，那么可以设<math>L_2</math>的斜截式方程为<math>y = k_2 x + b</math>。再由上述类似的讨论可知<math>L_2</math>的方向向量为<math>(1, k_2)</math>。

由向量垂直关系的数量积公式可得<ref name="人教版课本2004年高中数学_两直线的位置关系" />：<br />
<math>
L_1 \perp L_2 = (1, k_1) \cdot (1, k_2) = 0 \quad \Leftrightarrow \quad 1^2 + k_1 k_2 = 0 \quad \Leftrightarrow \quad k_1 k_2 = -1
</math>

<blockquote style="padding: 1em; border: 2px dotted;">
[[File: Crystal Project Warehause.png | Crystal Project Warehause | 50px]]
向量(1, k)一定与直线<math>y = k x + b</math>平行，或者说是该直线的1个[[高中数学/向量与复数/向量的概念及其简单运算|方向向量]]。

对于2个斜率存在的直线<math>L_1, L_2</math>，它们相互平行的充要条件是斜率一致：
: <math>L_1 \parallel L_2 \quad \Leftrightarrow \quad k_1 = k_2</math>
相互垂直的充要条件是斜率之积为-1：
: <math>L_1 \perp L_2 \quad \Leftrightarrow \quad k_1 k_2 = -1</math>
</blockquote>

如果写成一般方程，则<math>L_1 : A_1 x + B_1 y + C_1 = 0, L_2 : A_2 x + B_2 y + C_2 = 0</math>的平行条件是：
: <math>A_1 : B_1 = A_2 : B_2</math>（如果还有<math>C_1 = C_2</math>，则两直线不但平行，而且完全重合。）
垂直条件是：
: <math>A_1 A_2 + B_1 B_2 = 0</math>

==== 到角公式与旋转问题 ====
我们先给出有关直线之间“到角”的概念：

<blockquote class="definitions" style="padding: 1em; border: 2px dotted; color:#008000;">
设有两条直线<math>L_1, L_2</math>相交于一点A，我们定义直线<math>L_1</math>按逆时针方向旋转到与<math>L_2</math>重合时所转的最小角度，叫做'''（从）<math>L_1</math>到<math>L_2</math>的角'''。<ref name="人教版课本2004年高中数学_两直线的位置关系" />
</blockquote>

设两条相交的直线<math>L_1, L_2</math>的倾斜角分别为<math>\alpha_1, \alpha_2</math>，斜率分别为<math>k_1, k_2</math>，从<math>L_1</math>到<math>L_2</math>的角记为<math>\theta</math>。易由两直线到角的定义画图分析得到：<br />
<math>\theta = \alpha_2 - \alpha_1 \quad (\alpha_1 < \alpha_2)</math>或<math>\theta = \pi + (\alpha_2 - \alpha_1) \quad (\alpha_1 > \alpha_2)</math><br />
无论是上述哪种情况，都能得到：<br />
<math>\tan \theta = \tan (\alpha_2 - \alpha_1)</math><br />
我们利用直线方程中更常见的斜率参数来替换倾斜角：<br />
<math>
\tan \theta = \tan (\alpha_2 - \alpha_1)
= \frac{\tan \alpha_2 - \tan \alpha_1}{1 + \tan \alpha_2 \tan \alpha_1} = \frac{k_2 - k_1}{1 + k_2 k_1}
</math>

由于当两直线平行（只要斜率存在）时，上式仍然成立。这样，我们得到了直线的到角公式<ref name="人教版课本2004年高中数学_两直线的位置关系" />：

<blockquote style="padding: 1em; border: 2px dotted;">
[[File: Crystal Project Warehause.png | Crystal Project Warehause | 50px]]
设两直线<math>L_1, L_2</math>的斜率分别为<math>k_1, k_2</math>，则从<math>L_1</math>到<math>L_2</math>的到角计算公式为：
: <math>\tan \theta = \frac{k_2 - k_1}{1 + k_2 k_1}</math>
</blockquote>

由于到角是有方向、可以叠加的，可以解决涉及直线的旋转与对称问题。

<!-- 本小节例题1 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
已知一条直线L过坐标原点，且其倾斜角比直线<math>x - y = 3</math>的倾斜角大<math>\frac{\pi}{3}</math>。求直线L的方程。

两直线相交，会形成2对对顶角，其中较小的角就是两直线的夹角。由到角和夹角的几何关系不难得到两直线的夹角要么就是到角，要么就是倒角的补角<ref name="人教版课本2004年高中数学_两直线的位置关系" />。即：

<blockquote style="padding: 1em; border: 2px dotted;">
[[File: Crystal Project Warehause.png | Crystal Project Warehause | 50px]]
设两直线<math>L_1, L_2</math>的斜率分别为<math>k_1, k_2</math>，从<math>L_1</math>到<math>L_2</math>的到角为<math>\theta</math>。则它们所构成的夹角<math>\beta</math>的计算公式为<ref name="人教版课本2004年高中数学_两直线的位置关系" />：
: <math>\tan \beta = |\tan \theta| = |\frac{k_2 - k_1}{1 + k_2 k_1}|</math>
</blockquote>

<!-- 本小节例题2 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
已知直线L经过2条直线<math>L_1 : x + 2y = 0, L_2 : 3x - 4y - 10 = 0</math>的交点，且与<math>L_3 : 5x - 2y + 3 = 0</math>所成的夹角大小为<math>\frac{\pi}{3}</math>。求直线L的方程。

<!-- 本小节例题3 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
设2条相交直线<math>L_1 : y = x, L_2 : y = \sqrt{3} x</math>所构成的夹角为A，求A的角平分线所在的直线方程。

=== 点到直线的距离与平行直线的距离 ===

点到直线的距离有2种推导方法<ref name="人教版课本2004年高中数学_两直线的位置关系" />：
* 过给定点作已知直线的垂线，求出垂线的长即为距离。
* 利用等面积法。

无论采用哪种方法，都可以得到下列公式：

<blockquote style="padding: 1em; border: 2px dotted;">
[[File: Crystal Project Warehause.png | Crystal Project Warehause | 50px]]
（平面上点到直线的距离公式） 平面上定点<math>P (x_0, y_0)</math>到直线Ax + By + C = 0的距离d为<ref name="人教版课本2004年高中数学_两直线的位置关系" />：
: <math>d = \frac{A x_0 + B y_0 + C}{\sqrt{A^2 + B^2}}</math>
</blockquote>

另一种常见问题是求平行直线之间的距离。这种问题可以转化为求其中一条直线上的一点到另一条直线的距离，即线与线的距离问题转化为点与线的距离问题<ref name="人教版课本2004年高中数学_两直线的位置关系" />。

按照这个思路，我们可以推知一般性的平行线距离公式：

<blockquote style="padding: 1em; border: 2px dotted;">
[[File: Crystal Project Warehause.png | Crystal Project Warehause | 50px]]
（平面上两平行线之间的距离公式）设平面上两条平行线的方程分别是<math>Ax + By + C_1 = 0</math>和<math>Ax + By + C_2 = 0</math>，则其间距计算的一般公式为：
: <math>d = \frac{|C_1 - C_2|}{\sqrt{A^2 + B^2}}</math>。
</blockquote>

<!-- 本小节例题 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题：
确定直线<math>L_1 : 2x + y + 3 = 0</math>与直线<math>L_2 : 4x + 2y + 1 = 0</math>的间距。

== 常用结论与常见模型 ==
=== 三角形面积公式 ===
我们求平面上不共线的3点<math>P_1 (x_1, y_1), P_2 (x_2, y_2), P_3 (x_3, y_3)</math>构成的三角形<math>\triangle P_1 P_2 P_3</math>的面积表达式。

我们取线段<math>P_1 P_2</math>为底边，利用原始公式“底乘以高，再除以二”来求出三角形的面积。

首先，由勾股定理可知所取三角形底边的长<math>|P_1 P_2| = \sqrt{(x_1 - x_2)^2 + (y_1 - y_2)^2}</math>。

其次，我们来作垂线求出高。已知过<math>P_1 (x_1, y_1), P_2 (x_2, y_2)</math>两点的直线L的方程为（先采用两点式方程，然后逐渐转化成一般式方程，以便于在下一步套用距离公式）：<br />
<math>
\begin{array}{l}
 \frac{y - y_1}{x - x_1} = \frac{y_1 - y_2}{x_1 - x_2} \Leftrightarrow (y - y_1) (x_1 - x_2) = (y_1 - y_2) (x - x_1) \\
 \Leftrightarrow y (x_1 - x_2) - y_1 (x_1 - x_2) = (y_1 - y_2) x - (y_1 - y_2) x_1 \\
 \Leftrightarrow (y_1 - y_2) x - (x_1 - x_2) y + (y_2 - y_1) x_1 + y_1 (x_1 - x_2) = 0
\end{array}
</math>

再由点到直线的距离公式可知<math>P_3</math>到L的距离h为：<br />
<math>
\begin{array}{l}
 h = \frac{(y_1 - y_2) x_3 - (x_1 - x_2) y_3 + (y_2 - y_1) x_1 + y_1 (x_1 - x_2)}{\sqrt{(y_1 - y_2)^2 + (x_1 - x_2)^2}} \\
 = \frac{x_3 (y_1 - y_2) + (x_2 - x_1) y_3 + x_1 (y_2 - y_1) + (x_1 - x_2) y_1}{\sqrt{(x_1 - x_2)^2 + (y_1 - y_2)^2}} \\
 = \frac{x_3 y_1 - x_3 y_2 + x_2 y_3 - x_1 y_3 + x_1 y_2 - x_1 y_1 + x_1 y_1 - x_2 y_1}{\sqrt{(x_1 - x_2)^2 + (y_1 - y_2)^2}} \\
 = \frac{(x_3 y_1 - x_1 y_3) + (x_2 y_3 - x_3 y_2) + (x_1 y_2 - x_2 y_1) + (x_1 y_1 - x_1 y_1)}{\sqrt{(x_1 - x_2)^2 + (y_1 - y_2)^2}} \\
 = \frac{(x_3 y_1 - x_1 y_3) + (x_2 y_3 - x_3 y_2) + (x_1 y_2 - x_2 y_1) + 0}{\sqrt{(x_1 - x_2)^2 + (y_1 - y_2)^2}} \\
 = \frac{(x_2 y_3 - x_3 y_2) - (x_1 y_3 - x_3 y_1) + (x_1 y_2 - x_2 y_1)}{\sqrt{(x_1 - x_2)^2 + (y_1 - y_2)^2}}
\end{array}
</math>

有了底<math>|P_1 P_2|</math>和高h，则易知三角形的面积A为：<br />
<math>
\begin{array}{l}
 A = \frac 1 2 \cdot |P_1 P_2| \cdot h \\
 = \frac 1 2 \cdot (\sqrt{(x_1 - x_2)^2 + (y_1 - y_2)^2}) \cdot (\frac{(x_2 y_3 - x_3 y_2) - (x_1 y_3 - x_3 y_1) + (x_1 y_2 - x_2 y_1)}{\sqrt{(y_1 - y_2)^2 + (x_1 - x_2)^2}}) \\
 = \frac{(x_2 y_3 - x_3 y_2) - (x_1 y_3 - x_3 y_1) + (x_1 y_2 - x_2 y_1)}{2}
\end{array}
</math>

[[File: Crystal Clear action info.png | Crystal Clear action info | 50px]]
提示：后面会学到，这个公式还可以使用[[高中数学/线性变换与矩阵代数/行列式及其计算简介|二阶行列式]]的记法加以化简。

=== 对称问题 ===

有关直线的对称问题主要包括下列几类：
* 点关于直线对称或直线关于点对称。本小节会补充相关结论。
* 直线的简单旋转。这可以由有关到角的计算解决。
* 一条直线关于另一条直线的对称直线，或翻转、对折后的直线。本质上还是可以转化为将直线绕交点朝正方向或反方向旋转合适角度的问题。
* 光线的反射、折射问题。可以当作围绕交点的旋转或翻折类问题处理。
* 直线沿向量的平移。这里将平移视作广义的对称操作。可以将直线方程视为函数，然后利用[[高中数学/预备知识/函数#函数图象的平移规律|函数图象平移的规律]]解决。

之前，我们已经学习了下列有关对称点的知识<ref name="黄仁寿_2004_两直线位置关系" />：
* 点(a, b)关于点(m, n)的对称坐标为(2m - a, 2n - b)。
* 点(a, b)关于x轴、y轴、原点、直线y = x、直线y = -x的对称点分别为(a, -b), (-a, b), (-a, -b), (b, a), (-b, -a)。

关于点与更一般的直线的镜像对称问题，我们可以得到下列结论：

<blockquote style="padding: 1em; border: 2px dotted;">
[[File: Crystal Project Warehause.png | Crystal Project Warehause | 50px]]
给定直线L : Ax + By + C = 0，则直线L外一点<math>P (x_0, y_0)</math>关于此直线的对称点的坐标点为<ref name="黄仁寿_2004_两直线位置关系">{{cite book |title=解析几何 |author1=黄仁寿 |author2=欧阳新龙 |author3=吴有根 |author4=吴江春 |editor1=徐红瑾 (项目编辑) |editor2=陈信漪 (文字编辑) |others=朱杰人 (出版人) |series=新专题教程 |volume=高中数学3 |publisher=华东师范大学出版社 |location=中国上海市中山北路3663号 |edition=4 |isbn=978-7-5617-3764-4 |section=专题3“两直线的位置关系与距离公式” |pages=22-23 |language=zh-cn |year=2004}}</ref>：
: <math>(x_0 - \frac{2A (A x_0 + B y_0 + C)}{A^2 + B^2}, y_0 - \frac{2B (A x_0 + B y_0 + C)}{A^2 + B^2})</math>
</blockquote>

<!-- 本小节例题1 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
求与直线2x + 3y - 6 = 0关于点(1, -1)对称的直线方程。

<!-- 本小节例题2 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
一束光线从点A (-3, 4)朝右下方出发，在x轴上的C点发生后，又在y轴上的D点发生反射，最后经过点B (-2, 6)。求中间经过的直线段CD所在的直线方程。

=== 结合几何特征确定未知的点或直线 ===
<!-- 本小节例题1 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
在直线L : x + y - 5 = 0上找一点P (x, y)，使得点P对A (1, 0), B (3, 0)的视角<math>\angle APB</math>最大。

<!-- 本小节例题2 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
已知A (0, 3), B (-1, 0), C (3, 0)。求D点的坐标，使得四边形ABCD为等腰梯形。

<!-- 本小节例题3 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
直线L过点M (2, 1)，且分别交x轴、y轴于点A、B。点O是坐标原点。
:(1) 求当<math>\triangle ABO</math>面积最小时直线L的方程。
:(2) 当|MA||MB|最小时，求直线L的方程。

<!-- 本小节例题4 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
设定点A (3, 1)，然后在直线y = x和y = 0上分别求点M和N，使得<math>\triangle AMN</math>的周长最短，并求出最短周长的值。

=== 直线系方程 ===
符合特定条件的一组直线构成一个'''直线系'''（'''pencil of lines'''）<ref name="黄仁寿_2004_两直线位置关系" />。

[[File: Crystal Clear app games.png | Crystal Clear app games | 50px]]
玩笑：翻译英文数学资料（尤其是使用[[w:机器翻译|机器翻译]]）时，不要把几何学中的术语“系列”（pencil）翻译成“铅笔”（pencil），否则很容易闹笑话。

常见的'''直线系方程'''（'''equations for a pencil of lines'''）包括<ref name="黄仁寿_2004_两直线位置关系" />：
* 过定点的直线系方程：<math>y - y_0 = k (x - x_0)</math>（这个直线系方程中并未包括直线<math>x = x_0</math>。）
* 和直线A x + B y + C = 0平行（且不重合）的直线系方程：<math>A x + B y + C_0 = 0 \quad (C_0 \neq C)</math>
* 和直线A x + B y + C = 0垂直的直线系方程：B x + A y + C = 0
* 经过两条相交直线<math>A_1 x + B_1 y + C_1 = 0</math>和<math>A_2 x + B_2 y + C_2 = 0</math>的交点的直线系方程：
<math>A_1 x + B_1 y + C_1 + \lambda (A_2 x + B_2 y + C_2) = 0</math>
（这个直线系方程中并未包括直线<math>A_2 x + B_2 y + C_2 = 0</math>。）

=== 点向式、点法式和参数方程 ===
当斜率存在且不为零时，直线的点斜式方程<math>y - y_1 = k (x - x_1)</math>很容易改写为'''点向式方程'''：<math>\frac{x - x_1}{1} = \frac{y - y_1}{k}</math><br />
点向式方程的一般形式为：<math>\frac{x - x_1}{a} = \frac{y - y_1}{b}</math><br />
从点向式方程可以轻松看出向量<math>\vec{v} = (a, b)</math>是直线的1个方向向量。反之，如果已知直线通过的点与方向向量，也容易写出此点向式方程<ref name="华师二中_数学_高中下册_倾斜角和斜率">{{cite book |title=华东师范大学第二附属中学(实验班用)·数学 |volume=高中下册 |author1=刘初喜 |author2=施洪亮 |author3=蔡东山 |editor= |others= |publisher=上海教育出版社 |location=中国上海市永福路123号 |series= |edition=2 |isbn=978-7-5444-6432-1 |section=第14章“坐标平面上的直线”第14.2节“直线的倾斜角和斜率” |pages=84-88 |language=zh-cn |year=2015}}</ref>。

对于一般形式的直线Ax + By = C，如果A、B都不为零，也容易得到点向式方程为<math>\frac{x - x_0}{B} = \frac{y - y_0}{A}</math>。其中的待定系数<math>x_0, y_0</math>可通过对比系数的方法求出。

如果再设<math>t = \frac{x - x_0}{a} = \frac{y - y_0}{b}</math>，则由点向式方程可得：<math>
\left\{
\begin{array}{l}
 x = x_0 + at \\
 y = y_0 + bt
\end{array}
\right.
</math><br />
上式中的x与y可视为分别由参变量t的取值而定，因此叫做以t为参变量的'''参数方程'''（'''parametric equation(s)'''）。<ref name="人教版课本2004年高中数学_向量与直线">{{cite book |title=数学 |author=人民教育出版社中学数学室 |series=全日制普通高级中学教科书 (必修) |volume=第2册(上) |publisher=[[w:人民教育出版社|人民教育出版社]] |location=中国北京沙滩后街55号 |edition=1 |isbn=7-107-17450-9 |section=第7章“直线和圆的方程”中的“阅读材料：向量与直线”部分 |pages=55-56 |language=zh-cn |year=2004}}</ref>

我们可以给直线的参数方程一个几何含义更清晰的解释。设直线L经过点<math>P_0 (x_0, y_0), \vec{v} = (a, b)</math>是它的一个方向向量。再设P (x, y)是直线L上的任意一点，则由向量<math>\overrightarrow{P_0 P} \parallel \vec{v}</math>，可知存在唯一的实数t，使得<ref name="人教版课本2004年高中数学_向量与直线" />：
: <math>\overrightarrow{P_0 P} = t \vec{v} \quad \Rightarrow \quad (x - x_0, y - y_0) = t (a, b) \quad \Rightarrow \quad
\left\{
\begin{array}{l}
 x = x_0 + at \\
 y = y_0 + bt
\end{array}
\right.
</math>

<blockquote style="padding: 1em; border: 2px dotted;">
[[File: Crystal Project Warehause.png | Crystal Project Warehause | 50px]]
过点<math>P_0 (x_0, y_0)</math>，且与<math>\vec{v} = (a, b)</math>共线的直线的参数方程为：
: <math>
\left\{
\begin{array}{l}
 x = x_0 + at \\
 y = y_0 + bt
\end{array}
\right.
</math>
如果联立这2个方程，消去其中的参变量t，就可以得到普通的只含x与y的直角坐标方程。<ref name="人教版课本2004年高中数学_向量与直线" />
</blockquote>

[[File: Crystal Clear action info.png | Crystal Clear action info | 50px]]
提示：直线的点向式方程和参数方程的重要性还在于它可以推广到[[高中数学/立体几何与空间向量/空间曲线参数方程与空间螺线|三维的情形]]。例如后面会学到，三维空间中的直线方程都可以写作如下的参数方程形式：
: <math>
\left\{
\begin{array}{l}
 x = x_0 + at \\
 y = y_0 + bt \\
 z = z_0 + ct
\end{array}
\right.
</math>

类似地，也可以定义垂直于直线所在方向的向量为直线的法向量。通过将直线甲的法向量与直线乙的方向向量作内积运算，也可以快速判断二者是否是垂直关系。<ref name="人教版课本2004年高中数学_向量与直线" />

<math>A (x - x_0) + B (y - y_0) = 0</math>叫做直线的'''点法式方程'''<ref name="人教版课本2004年高中数学_向量与直线" />。从点法式能直接得出其法向量为(A, B)。

<blockquote style="padding: 1em; border: 2px dotted;">
[[File: Crystal Project Warehause.png | Crystal Project Warehause | 50px]]
平面直线与向量有关的2种形式如下：
* 点向式（易于得到方向向量<math>\vec{n}_{\parallel} = (a, b)</math>）：<math>\frac{x - x_0}{a} + \frac{y - y_0}{b} = 0</math>
* 点法式（易于得到法向量<math>\vec{n}_{\perp} = (A, B)</math>）：<math>A (x - x_0) + B (y - y_0) = 0</math>
</blockquote>

利用[[高中数学/向量与复数/向量的点积与夹角|向量的夹角计算公式]]，还可以得到直线的如下夹角计算公式：

<blockquote style="padding: 1em; border: 2px dotted;">
[[File: Crystal Project Warehause.png | Crystal Project Warehause | 50px]]
直线<math>A_1 x + B_1 y + C_1 = 0</math>与直线<math>A_2 x + B_2 y + C_2 = 0</math>的夹角<math>\theta</math>的余弦为<ref name="人教版课本2004年高中数学_向量与直线" />：
: <math>\cos \theta = \frac{ | A_1 A_2 + B_1 B_2 | }{\sqrt{A_1^2 + B_1^2} \cdot \sqrt{A_2^2 + B_2^2}}</math>
</blockquote>

=== 割线迭代法 ===

割线迭代法是一种结合函数特征并基于数列迭代思想的函数零点求法。后面会学到，割线法的改进版本为[[高中数学/微积分初步/导数与切线方程#牛顿切线迭代法|牛顿切线迭代法]]。

=== 与其它板块知识点或特殊规律结合的问题 ===

<!-- 本小节例题1 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
已知a, b, c > 0，且直线<math>y = x \lg (ac) + m</math>和<math>y = x \lg (bc) + n</math>互相垂直。求<math>\frac a b</math>的取值范围。

<!-- 本小节例题2 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
已知O为坐标原点，<math>\triangle ABC</math>的边AB在直线L : x = 3上移动。
:(1) 设<math>\triangle ABC</math>的外心为<math>P (x_p, y_p)</math>，且设坐标<math>A (3, t_1), B (3, t_2)</math>，用<math>x_p</math>分别表示<math>t_1, t_2</math>的值。
:(2) 若<math>\angle AOB = \frac{\pi}{3}</math>，求<math>\triangle ABC</math>外心P的轨迹方程。

<!-- 本小节例题3 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
已知4条直线<math>L_1 : x + 3y - 15 = 0, L_2 : kx - y - 6 = 0, L_3 : x + 5y = 0, L_4 : y = 0</math>围成一个四边形。求出使此四边形具有外接圆的k值。

<!-- 本小节例题4 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
当a, b为有理数时，称点P (a, b)为有理点。又设<math>A (\sqrt{1998}, 0), B(0, \sqrt{2000})</math>，则直线AB上(&nbsp;&nbsp;&nbsp;&nbsp;)。
:A.不存在有理点；B.仅有1个有理点；C.仅有2个有理点；D.有无穷多个有理点

== 补充习题 ==
[[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|斜率}}
{{Wikipedia|失踪的正方形}}
{{Wikipedia|平行}}
{{Wikipedia|相交}}
{{Wikipedia|垂直}}
{{Wikipedia|割线法}}

{{DEFAULTSORT: supplements to line equations}}
[[category:解析几何|line equations]]
[[category:高中数学|line equations]]