Skip to main content

Chapter 12: Analytic Geometry

:::info Translation status

This localized page provides translated navigation, metadata, and archive notices. Mathematical formulas, examples, and source-derived textbook content are preserved from the Simplified Chinese original where no manual translation is available yet.

:::

{/* label: chap:ch12 */}

向量代数

{/* label: sec:ch12-s01 */}

\begin{figure}[htbp]

TikZ 图 164
TikZ 图 164

\end{figure}

经典几何学的研究对象是点、线、面等不动的形体.然而, 物理世界充满了运动与力, 这些量不仅有大小, 更有其方向. 为了将这些动态的、有方向的量纳入数学的严谨体系, 我们必须引入一种新的代数结构.

想象一艘船试图渡过一条湍急的河流.船长始终将船头垂直指向对岸(对应速度 ), 但河水(对应速度 )却将船向下游推.最终, 船的实际航线既不完全向前, 也不完全向右, 而是沿着一条斜线(对应速度 )到达对岸的下游某处.

在物理中,力的合成、相对运动等等,都涉及一些不仅有大小(速率、力的大小),更有方向的物理量.我们如何用数学语言来精确地描述和计算这些“带方向的量”?如果船长想精确地在正对岸靠岸,他又该如何调整船头的方向来抵消水流的影响?要回答这些问题,代数中的普通数字(标量)已然无能为力.我们需要引入一种全新的数学工具,它能将“大小”和“方向”完美地融为一体.这就是向量. 这个结构的起点, 是一个比向量更原始、更具体的几何实体: 有向线段.

从有向线段到向量

有向线段

我们首先定义一个局限于特定位置的几何对象.

有向线段

在空间中给定有序的一对点 , 从点 指向点 的线段称为一条有向线段, 记作 .

  • 称为该有向线段的起点.
  • 称为该有向线段的终点.

一条有向线段 包含了三个基本要素:它的起点(位置)、它的长度(大小), 以及从 指向 方向. \begin{figure}[htbp]

TikZ 图 165
TikZ 图 165

\end{figure} 如图所示, 有向线段 是两个不同的几何对象, 因为它们的起点不同. 然而, 物理学中的位移或力的概念促使我们思考: 如果 的长度相等且方向相同, 它们是否代表了同一个物理实体? 例如, “向东北方向移动5公里”这一位移, 无论从何处开始, 其本身是不变的.

为了捕捉这种独立于位置的“有向的大小”, 我们需要定义一种等价关系.

有向线段的等价

两条有向线段 被认为是等价的, 如果其中一条可以通过平移变换得到另一条.

从几何上看, 这等价于要求四边形 是一个平行四边形. (注意顶点的顺序). 这同时保证了 的长度相等且方向相同.

这种等价关系具有数学上的完备性:

  • 自反性: 与自身等价.
  • 对称性: 若 等价, 则 等价.
  • 传递性: 若 等价, 且 等价, 则 等价.

这种关系将所有有向线段划分成一个个互不相交的集合, 每个集合中的所有成员都相互等价. 这个集合, 这个抽象的整体, 就是向量.

向量

一个向量是所有相互等价的有向线段所构成的等价类.

\begin{figure}[htbp]

TikZ 图 166
TikZ 图 166

\overrightarrow{a*

这个从具体到抽象的定义至关重要. 它将我们从对特定起点和终点的关注中解放出来, 使得向量成为一个自由向量. 我们可以任意平移它的几何表示, 而不改变向量本身. 这为后续的代数运算提供了理论基础.

向量的基本属性与线性运算

我们已经将向量定义为一个抽象的等价类, 它封装了“大小”与“方向”这两个核心信息, 并摆脱了具体位置的束缚. 接着,我们的任务是为这些新的数学对象建立一套自洽的代数运算法则.

向量的基本属性

在定义运算之前, 我们首先要明确向量自身的几个基本属性.

  • : 向量 的模, 记作 , 是其等价类中任意一个有向线段代表的长度. 模是一个非负实数, 它唯一地刻画了向量的大小.
  • 相等: 两个向量 相等, 记作 , 当且仅当它们的模相等且方向相同. 从等价类的角度看, 它们属于同一个集合.
  • 零向量: 模为 的向量称为零向量, 记作 . 它的起点与终点重合, 其几何表示为一个点. 由于没有长度, 我们规定它的方向是任意的. 在向量加法中, 零向量扮演着类似于数字 的角色(加法单位元): .
  • 单位向量: 模为 的向量称为单位向量. 单位向量是“纯粹”的方向载体. 对于任意一个非零向量 , 与其方向相同的单位向量可以通过将其自身除以其模得到:

因此, 任何向量都可以表示为其模与它的单位向量的乘积: .

  • 相反向量: 与向量 模相等但方向相反的向量, 称为 的相反向量, 记作 . 它是向量加法中的逆元: . 若 的一个代表是 , 则 的一个代表是 .

下面我们来逐个详细了解一下: \paragraph{模} 向量 的模, 记作 , 在几何上直观地表现为其任意代表有向线段的长度. 然而, 其更深远的意义在于, 模是在向量空间上定义的一个范数. 范数是一个将向量映射到非负实数的函数, 它满足三个基本公理:

  • 正定性: , 且 当且仅当 .
  • 齐次性: 对于任意实数 , 有 .
  • 三角不等式: .

模不仅仅是一个“长度”的度量, 它是赋予一个纯代数空间以几何拓扑结构的根本工具. 有了模, 我们便可以定义向量之间的距离 (), 进而探讨收敛、极限与连续性等分析学概念. 因此, 模是连接代数与分析的桥梁.

\paragraph{相等} 两个向量 相等, 记作 , 当且仅当它们的模相等且方向相同. 这一看似平凡的定义, 实则蕴含了向量概念的核心抽象. 从我们对向量的构造性定义出发, 的真正含义是: 向量 属于同一个等价类. 这意味着, 代表 的任意有向线段 , 与代表 的任意有向线段 , 都是相互等价的. 这种等价关系的确立, 使得向量摆脱了其几何代表的具体位置, 成为一个自由向量. 正是这种自由, 才使得我们可以将不同位置的向量进行平移、首尾相接或共起点放置, 从而为向量的代数运算(如加法)提供了理论上的合法性与可能性.

\paragraph{零向量} 模为 的向量称为零向量, 记作 . 它在几何上对应一个点, 其方向被规定为任意. 这一定义在代数结构中扮演着核心角色: 零向量是向量加法运算的单位元. 在任何一个代数群中, 单位元是那个与其他元素运算后不改变该元素的特殊元素. 对于向量空间, 这表现为对于任意向量 , 恒有

\paragraph{单位向量} 模为 的向量称为单位向量. 如果说模是向量“大小”信息的载体, 那么单位向量就是“方向”信息的纯粹载体. 将一个非零向量 除以其模, 即 , 这一过程被称为规范化. 规范化操作揭示了向量的一个基本结构分解: 任何非零向量 都可以唯一地表示为其模与它的单位向量的乘积:

这是一种向量的极分解, 类似于复数中的极坐标表示 . 它将一个向量蕴含的两种信息,也就是大小与方向—进行了彻底的分离. 在诸多物理与工程应用中, 我们常常只关心一个过程的方向, 此时单位向量便成为描述该过程最简洁有力的工具. 所有单位向量的终点集合, 构成了向量空间中的单位球面 (在二维平面上即单位圆), 这是研究向量旋转等变换的一个基本几何舞台.

\paragraph{相反向量} 与向量 模相等但方向相反的向量, 称为 的相反向量, 记作 . 在代数结构中, 相反向量是向量加法运算的逆元. 对于群中的每一个元素, 都必须存在一个逆元, 使得该元素与逆元运算的结果是单位元. 对于向量空间, 这表现为对于任意向量 , 恒有

相反向量的存在, 保证了向量加法群的完整性, 并由此自然地导出了向量减法的定义: 减去一个向量, 等价于加上它的相反向量. 没有相反向量, 就没有封闭的代数系统, 向量的线性运算也将无从谈起. 从几何上看, 若 的一个代表是 , 则 的一个代表是 , 这直观地体现了其“逆反”的几何本质.

判断命题甲:“” 是命题乙:“” 的什么条件?

这是一个典型的考察向量基本概念的问题,关键在于区分向量相等与向量的模相等.

, 这意味着向量 的大小和方向完全相同. 既然大小相同,那么它们的模必然相等,即 . 因此,甲能够推出乙,甲是乙的充分条件.

反之, 若 ,这只说明两个向量的长度相等. 它们的方向可能不同.例如,令 是一个非零向量, 而 , 则 , 但 . 因此,乙无法推出甲,甲不是乙的必要条件.

综上所述,“” 是 “” 的充分不必要条件.

向量加法

向量加法的几何动机源于对连续位移的描述. 想象一个质点从点 移动到点 , 产生位移 ; 接着又从点 移动到点 , 产生位移 . 整个过程的净效果是从起点 直接到达终点 的位移 . 这个“首尾相接, 连接始末”的直观过程, 被抽象为向量加法的基本法则.

向量加法的三角形法则

为任意两个向量. 取 的一个代表 , 并取 的一个以 为起点的代表 . 则向量和 由有向线段 所代表.

证明

此定理的深刻之处在于,它不仅提供了一个几何作图的方法,更重要的是,它作为一个定义,其结果必须是唯一且自洽的。即,向量和的最终结果不应依赖于我们最初为向量 选取的几何代表的位置。我们的任务是证明这一点,即证明向量加法是良定义的.

是向量 的一个代表, 是向量 的一个代表. 根据定义, 它们的和 是由 所代表的向量.

现在,我们在平面上另选一点 , 并作 作为 的另一个代表. 同样, 作 作为 的另一个代表. 我们的目标是证明由这条新路径得到的和向量代表 与原始的代表 是等价的.

\begin{figure}[htbp]

TikZ 图 167
TikZ 图 167

\end{figure} 图:向量加法定义的良定义性

根据向量相等的定义,有向线段等价于可通过平移重合. 因为 都是向量 的代表, 所以它们等价. 这意味着四边形 是一个平行四边形. 由平行四边形的性质, 我们得到 等价.

同理, 因为 都是向量 的代表, 所以它们等价. 这意味着四边形 是一个平行四边形. 由此我们得到 等价.

接着, 利用向量等价关系的传递性: 既然 等价于 , 且 等价于 , 那么 必然等价于 .

最后, 等价, 这一结论的几何意义是四边形 是一个平行四边形. 根据平行四边形的性质, 其另一对对边也必然平行且等长, 即 等价.

这就证明了, 无论我们如何选取向量 的代表, 最终得到的和向量的代表总是彼此等价的, 它们都属于同一个唯一的等价类. 因此, 向量加法的三角形法则是一个良定义的运算.

\begin{figure}[htbp]

TikZ 图 168
TikZ 图 168

\overrightarrow{b}\overrightarrow{a}\overrightarrow{b}\overrightarrow{a*

当两个向量的作用是同时发生而非依次进行时 (例如, 共同作用于一点的两个力), 平行四边形法则提供了更直观的几何图像.

向量加法的平行四边形法则

设两个向量 具有共同的起点 . 以它们的代表 为邻边作平行四边形 , 则从公共起点 出发的对角线 代表它们的和 .

事实上, 平行四边形法则与三角形法则是等价的. 在平行四边形 中, 是向量 的一个等价代表. 于是, 在 中应用三角形法则, 立即得到 .

向量加法如同实数加法一样, 满足以下运算律:

  • 交换律:
  • 结合律:

\begin{figure}[htbp]

TikZ 图 169
TikZ 图 169

\end{figure}

化简向量表达式:.

注意到,前一个向量的终点恰好是后一个向量的起点,这形成了完美的“首尾相接”链条.

利用向量加法的结合律,分步进行:

因此,原表达式化简的结果为 . 对于一串首尾相接的向量之和,其最终结果就是从第一个向量的起点,直接指向最后一个向量的终点的向量.

在平行四边形 中, 点 分别是边 的中点.若 , 试用 表示向量 . \begin{figure}[htbp]

TikZ 图 170
TikZ 图 170

\end{figure}

此问题要求我们将目标向量通过一条由已知基向量组成的路径来表示.

要表示 , 我们可以选择路径 . 根据三角形法则:

已知 . 关键在于表示 . 因为 的中点, 所以 . 在平行四边形 中, . 因此,. 代入可得:

要表示 , 我们可以选择路径 . 根据三角形法则:

已知 . 关键在于表示 . 因为 的中点, 所以 . 在平行四边形 中, . 因此,. 代入可得:

已知两个非零向量 满足 , 且它们的夹角为 . 求 的值. \begin{figure}[htbp]

TikZ 图 171
TikZ 图 171

\end{figure}

求向量和的模长,是平行四边形法则的直接数量化应用. 设 . 以 为邻边作平行四边形 . 根据平行四边形法则,. 我们要求的 就是对角线 的长度.

中, 我们有 , . 由于 , 所以 互补. 即 .

接着,在 中应用余弦定理来求第三边 的长度:

因此,.

所在平面内任意一点, 分别是边 的中点.求证:.

\begin{figure}[htbp]

TikZ 图 172
TikZ 图 172

\end{figure}

这是一个关于中点和任意基点的普适性命题,证明的关键是将等式两边的向量都用以 为起点的向量来表示.

我们从等式左边入手,逐一分解 . 根据中线模型,我们有 . 同理,, 以及 .

接着,我们将这三个表达式相加:

等式左边等于等式右边,命题得证.

向量减法

如果说向量加法回答了“下一步去哪”的问题, 那么向量减法则回答了“如何从 B 到 A”的问题. 它描述了两个由同一起点出发的向量终点之间的相对位移.

向量减法

向量 的差定义为 加上 的相反向量, 即

为了揭示其深刻的几何意义, 我们考虑共起点的向量 . 根据三角形法则, 我们有

移项可得

\begin{figure}[htbp]

TikZ 图 173
TikZ 图 173

\end{figure} 图:向量减法的几何意义: (左) 共起点时, 差向量由减向量终点指向被减向量终点. (右) 其等价于加上相反向量.

这一结论极为重要: 两个共起点向量之差, 是连接它们终点的向量, 方向由减向量的终点指向被减向量的终点.

在四边形 中, 化简表达式 . \begin{figure}[htbp]

TikZ 图 174
TikZ 图 174

\end{figure}

在处理向量的加减混合运算时,关键一步是将减法转化为加法,即减去一个向量等于加上它的相反向量.

接着我们利用向量加法的交换律来调整各项的顺序,使得它们“首尾相接”:

因此,原表达式的化简结果为 .

\begin{figure}[htbp]

TikZ 图 175
TikZ 图 175

\end{figure} 结论: 中, 若 是边 的中点,则有:

证明

中, 我们有 . 在 中, 我们有 . 将上述两式相加:

因为 是线段 的中点, 向量 是相反向量. 因此,. 代入即得:.

中, 点 在边 上, 且满足 . 设 , 试用 表示向量 . \begin{figure}[htbp]

TikZ 图 176
TikZ 图 176

\end{figure}

我们选择路径 . 根据向量加法法则:

其中 是已知的.我们只需用基向量表示 . 点 在线段 上, 根据条件 , 我们知道 . 在向量形式下,这意味着 . 根据向量减法的几何意义:

的表达式代入

最后,将此结果代回到 的表达式中:

标量乘法

标量乘法定义了一个实数 与一个向量 之间的运算. 其结果 仍是一个向量, 几何上表示对原向量 进行沿其自身方向的“伸缩”或“反向”.

标量乘法

实数 与向量 的乘积 是一个向量, 满足:

  1. : .
  2. 方向:
  • , 的方向与 相同.
  • , 的方向与 相反.
  • , .

\begin{figure}[htbp]

TikZ 图 177
TikZ 图 177

\overrightarrow{a*

标量乘法与向量加法共同满足分配律, 这是将向量代数与实数代数联系起来的关键桥梁:

这些线性运算共同构成了向量空间的基本结构, 是后续所有解析几何理论的代数基础.

探究向量的除法

在建立了向量的加、减、数乘以及两种乘积(数量积与向量积)之后,一个自然的问题浮现出来:我们能否定义向量的“除法”?要回答这个问题,我们必须首先回归到除法这一运算的根本意义.

在实数域中,除法是乘法的逆运算. “ 除以 ” (), 其本质是寻找一个唯一的数 ,使得

若对于任意的 和非零的 , 都能找到这样一个唯一的 ,我们就说这个代数系统中的除法是良定义的.

将这个思想模板套用到向量上,定义“向量 除以向量 ”, 就意味着我们要寻找一个唯一的向量 ,使得

其中某种符号代表一种向量乘法. 然而,我们已经知道向量的乘法有两种截然不同的形式:数量积 · 和向量积 × 这使得我们的探索必须兵分两路. 我们将分别审视这两种乘法,看它们是否允许一个良定义的逆运算.

我们首先尝试基于数量积来定义除法. 这要求我们求解方程:

我们立刻遇到了一个无法逾越的障碍:类型不匹配. 方程的左侧, , 根据定义是一个标量 (一个实数). 而方程的右侧, ,是一个向量. 一个标量永远不可能等于一个非零向量,这在根本上是矛盾的.

为了让探索继续,我们不妨调整一下问题:我们能否用一个标量 来除以一个向量 ?这对应于求解关于向量 的方程:

这个方程在代数类型上是自洽的. 它的几何意义是什么?根据数量积的几何解释, 这个方程要求向量 在向量 方向上的投影是一个固定的值. 设 的方向上的单位向量为 , 则投影长度为

其中 的夹角. \begin{figure}[htbp]

TikZ 图 178
TikZ 图 178

\cdot \overrightarrow{x} = kO\overrightarrow{b}\overrightarrow{x}\overrightarrow{b*

如图所示, 所有满足条件的向量 的终点构成了一个垂直于 的直线 (在二维空间中) 或平面 (在三维空间中). 这意味着方程的解有无穷多个. 由于除法要求解是唯一的, 所以我们得出结论: 数量积不存在逆运算. 它在运算中“丢失”了关于 垂直于 的分量信息, 这种信息损失是不可逆的.

接着, 我们尝试基于向量积来定义除法. 这要求我们求解方程:

这一次, 方程两边的类型是匹配的:向量积的结果是一个向量. 这看起来更有希望.

然而, 我们首先面临一个可解性的限制. 根据向量积的定义, 向量 必然同时垂直于 . 这意味着, 等式右边的向量 必须也垂直于 , 即 . 如果 不垂直于 , 那么这个方程根本没有解. 一个良定义的除法不应该只对极少数特殊情况有解.

即使我们满足了可解性条件 , 解的唯一性问题依然存在. 假设我们找到了一个解 , 使得 . 接着 让我们构造一个新的向量 , 其中 是任意实数. 我们来计算 :

由于任何向量与自身的向量积都是零向量 (), 上式变为:

这表明, 如果 是一个解, 那么所有形如 的向量都是解! \begin{figure}[htbp]

TikZ 图 179
TikZ 图 179

\times \overrightarrow{x} = \overrightarrow{a}\overrightarrow{x}_0\overrightarrow{x}_0\overrightarrow{b}\overrightarrow{b*

几何上, 所有的解向量的终点构成了一条平行于向量 的直线. 我们再次得到了无穷多个解. 其根源在于, 向量积运算存在零因子:两个非零向量的向量积可以是零向量 (当它们共线时). 这与实数乘法中“”的性质截然不同. 拥有零因子的代数结构通常都不支持除法.

我们已经看到, 无论基于数量积还是向量积, 都无法建立起一个良定义的向量除法. 其根本原因在于,两种乘法都是“多对一”的映射, 它们在运算过程中都不可避免地丢失了输入向量的某些信息, 使得逆向求解无法得到唯一的结果.且向量代数系统, 尤其是向量积, 包含零因子, 这从根本上破坏了除法所依赖的唯一性.

共线定理与平面向量基本定理

上述运算共同构成了向量的线性结构, 其核心是共线与线性组合的概念.

向量共线定理

向量 () 与向量 共线的充分必要条件是:存在唯一的实数 ,使得

证明

必要性 (由共线 存在 ) 假设向量 共线, 且 . 若 , 取 即可. 若 , 且与 方向相同, 则其单位向量相同, . 整理得 . 令 . 若与 方向相反, 则单位向量互为相反, . 整理得 . 令 .

充分性 (由存在 共线) 假设存在实数 , 使得 . 根据向量数乘的定义, 向量 的方向或者与 相同 (), 或者相反 (), 或者是零向量 (). 任何情况下, 均共线.

唯一性 假设存在 使得 . 则 , 故 . 由于 , 必有 , 即 . 这与假设矛盾.

判断命题 p:“存在实数 , 使得 ” 是命题 q:“向量 共线” 的什么条件?

本题旨在辨析向量共线的代数表示与其几何定义之间的细微差别,其陷阱在于对零向量的考虑.

若存在实数 使得 , 根据数乘的几何意义, 必然共线. 所以,p 是 q 的充分条件.

反之,若向量 共线, 我们考虑反例:当 时. 根据定义,任何非零向量都与零向量共线,所以此时命题 q 为真. 然而,不存在任何实数 能够使得一个非零向量 等于 . 即此时命题 p 为假.

由于我们找到了一个 q 为真而 p 为假的情况,所以 q 不能推出 p. p 不是 q 的必要条件. 综上所述,命题 p 是命题 q 的充分不必要条件.

此定理将几何上的“共线”关系, 完美地转化为代数上的“倍数”关系, 是进行向量论证和计算的基石.

平面向量基本定理

当我们将视野扩展到整个平面, 一个自然的问题是: 是否可以用少数几个“基本”向量, 通过线性运算来表示出平面内的所有向量?

平面向量基本定理

如果 是同一平面内的两个不共线向量, 那么对于该平面内的任意一个向量 , 存在唯一的一对实数 ,使得

我们称不共线的向量 为表示该平面内所有向量的一组基底.

证明

存在性: 取诸向量共起点的代表 . 过点 作直线平行于 , 交直线 ; 再过点 作直线平行于 , 交直线 .

TikZ 图 180
TikZ 图 180
由平行四边形法则, $\overrightarrow{a} = \overrightarrow{OA_1}+\overrightarrow{OA_2}$. 由于 $\overrightarrow{OA_1}$ 与 $\overrightarrow{e_1}$ 共线, 故存在 $\lambda_1$ 使 $\overrightarrow{OA_1}=\lambda_1\overrightarrow{e_1}$. 同理存在 $\lambda_2$ 使 $\overrightarrow{OA_2}=\lambda_2\overrightarrow{e_2}$. 故 $\overrightarrow{a}=\lambda_1\overrightarrow{e_1}+\lambda_2\overrightarrow{e_2}$.

唯一性: 假设另有一对实数 满足要求. 则 , 整理得 . 由于 不共线, 此等式成立的唯一可能是系数均为零, 即 .

这一定理的重大意义在于, 它为平面内的所有向量建立了一个“坐标系”. 任何向量都可以在这个坐标系下被唯一地分解.

中, 点 在边 上, 满足 . 点 在边 上, 满足 . 线段 交于点 . 求 的值.

\begin{figure}[htbp]

TikZ 图 181
TikZ 图 181

\end{figure}

此题是关于共线和交点问题的经典模型,其核心思想是:对于同一个向量,其在同一组基底下的表示是唯一的.

我们选择点 作为原点, 并以 作为基向量. 由于 三点共线, 向量 共线.因此存在实数 , 使得 . 根据定比分点公式,. 代入可得 的第一个表达式:

由于 三点共线, 向量 共线.因此存在实数 , 使得 . 利用向量减法,. 整理得到 . 已知 , 且 . 代入得到 的第二个表达式:

根据平面向量基本定理, 由基底 的表示是唯一的. 比较表达式 (1) 和 (2) 中 的系数,它们必须分别相等:

这是一个关于 的二元一次方程组.解得 .

意味着 . 因此 , 故 .

向量的坐标表示

为了计算的方便,我们通常选择一组最特殊的基底:在直角坐标系中,分别与 轴和 轴正方向相同, 且长度为1的单位向量, 记作 . \begin{figure}[htbp]

TikZ 图 182
TikZ 图 182

\end{figure}

根据平面向量基本定理,任何向量 都可以唯一地表示为 . 我们便将这对唯一的实数 称为向量 坐标,记作

向量的运算也就相应地转化为其坐标的运算.

向量的坐标运算

,则:

  • 加法:
  • 减法:
  • 数乘:
  • 模:
证明

这些运算规则是向量代数与解析几何之间的核心桥梁. 其证明的基石在于平面向量基本定理, 即任何一个向量都可以唯一地表示为一组基向量的线性组合. 在我们所选取的标准笛卡尔坐标系中, 这组基底是相互正交的单位向量 .

. 根据坐标的定义, 这等价于

\paragraph{加法} 我们从向量加法的抽象定义出发, 利用向量运算的代数性质进行推导.

根据平面向量基本定理的唯一性, 向量和 在基底 下的坐标是唯一的, 即 .

\paragraph{减法} 同理, 向量减法可以看作是加上一个相反向量.

因此, 差向量 的坐标为 .

\paragraph{数乘} 设 为一个标量.

因此, 向量 的坐标为 .

\paragraph{模} 向量 的模是其几何长度. 向量 可以看作是两个向量 的和. 向量 位于 轴上, 其长度为 . 向量 位于 轴上, 其长度为 . 由于基向量 相互垂直, 这两个分量向量也相互垂直.

\begin{figure}[htbp]

TikZ 图 183
TikZ 图 183

\end{figure}

根据向量加法的平行四边形法则 (在此处退化为矩形), 向量 是以 为邻边的矩形的对角线. 根据勾股定理, 该对角线的长度 (即 的模) 为:

因此, .

一个极其重要的结论是:如果两点坐标为 , 那么由 A 指向 B 的向量 的坐标为

即“终点坐标减去起点坐标”.

已知点 , 求向量 的坐标及其模.

首先,我们根据“终点减起点”法则求出基准向量的坐标.

接下来,进行向量的线性运算.

最后,求出向量 的模.

平面内向量 . 点 为直线 上的一个动点.

\item[(1)] 当 取最小值时, 求 的坐标; \item[(2)] 当点 满足 (1) 的条件和结论时, 求 的值.

{/* latex-label: fig:vector-geometry */} \begin{figure}[htbp]

TikZ 图 184
TikZ 图 184

\end{figure} 图:向量关系几何示意图

(1) 我们首先对目标数量积 进行几何转化. 引入线段 的中点 . 则 , 且 . 由于 是中点, . 代入数量积表达式:

注意到, 点 是定点, 故中点 和线段长 均为定值. 因此, 欲使 取得最小值, 等价于使 取得最小值, 这也等价于使点 到定点 的距离 最小.

是直线 上的动点, 故此问题转化为寻找直线上一点 , 使其到直线外一点 的距离最短. 根据平面几何的基本定理, 这个最短距离在 在直线 上的正交投影点时取得. 此时, 向量 必须与直线 的方向向量 垂直.

首先, 计算中点 的坐标:

由于点 在直线 上, 存在唯一的实数 , 使得 . 向量 可以表示为:

施加垂直条件 :

时, 取得最小值. 此时, 的坐标为:

(2) 根据 (1) 的结论, 我们取点 的坐标为 . 我们的任务是计算 . 根据数量积的夹角公式:

我们首先计算分子和分母所需的各个向量与模长.

接着计算数量积:

计算模长:

最后, 将这些值代入夹角公式:

平面向量的数量积

我们已经定义了向量的加、减、数乘运算,其结果仍然是向量. 接着,一个自然的问题是:两个向量能否“相乘”?如果可以,乘积是什么?是向量还是标量? 物理学给了我们深刻的启示. 当一个力 作用于一个物体, 使其产生位移 时, 力所做的功 是一个标量, 它的大小不仅与力的大小、位移的大小有关, 还与它们之间的夹角有关. 具体来说, . 这个例子启发我们定义一种新的向量乘法,其结果是一个标量,故称其为数量积,又因其符号形如点,也称为点积.

数量积的定义与几何意义

数量积

已知两个非零向量 , 它们的夹角为 . 我们定义它们的数量积为一个标量

如果其中一个向量为零向量,则数量积为0.

数量积 的几何意义是:向量 的模 与向量 方向上的投影 的乘积. \begin{figure}[htbp]

TikZ 图 185
TikZ 图 185

\end{figure}

数量积的性质与坐标表示

  • .
  • (交换律).
  • .
  • (分配律).
垂直的判定

判断两个非零向量是否垂直,是数量积最重要的应用之一.

设基向量 . 显然 . 对于 ,我们有:

我们得到了数量积的坐标计算公式:

由此,我们可以推导出坐标形式下的模长和夹角公式:

  • 模长:
  • 夹角:

已知向量 满足 , 且它们的数量积 . 求向量差 的模 .

处理向量模的问题,一个有力的代数工具是利用公式 . 我们将此方法应用于向量

接着,我们将题目给出的所有已知值代入上式:

因此,所求的模为 .

走路法

向量加法的三角形法则 是向量代数中最基本的运算之一, 它在几何上直观地表现为一个连续的位移过程. 这种“首尾相接, 连接始末”的构造, 我们称之为走路法. 它的深刻意义在于, 它为我们将复杂的几何路径问题转化为一系列有序的代数运算提供了最直接的途径. 任何一个从点 到点 的路径, 无论多么曲折, 都可以被分解为向量之和 .

这种方法的力量在于其系统性与普适性. 它将对图形空间位置关系的直观依赖, 转化为对向量代数法则的严格运用. 相较于综合几何学中常常需要依赖辅助线构造和灵感的解题模式, 向量走路法提供了一种更为程序化的解决思路: 建立向量关系, 进行代数演算, 直至获得最终的几何结论. 诚然, 任何有效的方法都包含其独特的技巧, 例如参考点的巧妙选取, 但其核心优势在于, 它用极少的公理和运算规则, 便能构建起解决大量几何问题的统一框架.

中, 高线 相交于点 . 求证: . \begin{figure}[htbp]

TikZ 图 186
TikZ 图 186

\end{figure}

此为欧几里得几何中关于三角形高线交于一点 (垂心) 的经典论断..

欲将此几何问题转化为向量的语言, 我们必须首先将垂直关系代数化. 向量 相互垂直的充要条件是它们的数量积为零, 即 .

接着是证明策略的核心, 即选择一个恰当的参考点作为位置向量的原点. 一个能够极大简化代数结构的选择, 是将原点置于两条已知高线的交点 处.

令点 为原点. 于是, 诸顶点 的位置向量即为 . 为简洁起见, 我们分别记为 .

现在, 我们将题设条件逐一翻译为向量方程. 注意到高线 所在的直线通过原点 , 故向量 的方向与高线 的方向共线. 因此, 条件 等价于向量 与向量 正交. 向量 可由“走路法”得到, . 于是, 第一个条件转化为:

依完全相同的理路, 高线 所在的直线通过原点 , 故向量 的方向与高线 的方向共线. 条件 等价于向量 与向量 正交. 第二个条件转化为:

我们的目标是证明 . 在我们选定的参考系中, 这等价于证明向量 与向量 正交.

接着, 我们对已有的两个数量积方程进行展开. 由第一个方程, , 导出

由第二个方程, , 导出

根据数量积的交换律, . 比较上述两式, 我们立即得到一个关键的传递关系:

这个关系正是我们完成证明所需要的. 考察我们欲证明的目标数量积:

再次利用交换律, 此表达式等价于 . 根据我们推导出的关键关系, 此差值为零.

因此, , 这在几何上意味着 . 证明完毕. 此证明过程未涉及任何坐标计算, 亦未添加任何辅助线, 纯粹通过向量的代数运算揭示了问题的内在结构, 体现了向量方法的抽象性与力量.

如图, 在正方形 中, 中点, , 求证: .

证明

此题涉及中点与定比分点, 这类条件在向量代数中具有简洁的表述, 并且正方形的垂直与等长边为向量运算提供了绝佳的代数性质. 因此, 我们采用走路法证明.

走路法的精髓在于, 选取一个合适的基点作为原点, 并以从该点出发的向量为基本元素来表示图中的其他所有向量, 从而将几何问题转化为代数问题. 我们以点 为原点, 令基向量为 .

TikZ 图 187
TikZ 图 187
由于 $ABCD$ 是正方形, 这两个基向量的长度相等, 且相互垂直. 这一几何性质反映在代数上, 即

接着, 我们用基向量表示图中相关点的向量. 这好比从原点 “走”到目标点. 点 的位置向量即为 . 点 的中点, 故其位置向量为 . 点 在边 上, 由 知, 的一个四等分点, 且 . 注意到 . 于是, . 从 的路径可以分解为先到 再到 , 故

现在我们构造待证垂直的两个线段所对应的向量 .

为了证明 , 我们只需验证其方向向量的数量积为零. 计算数量积:

利用 这一性质, 上式的结果为

数量积为零, 这表明向量 相互正交, 故线段 垂直.

如图, 以 边分别向外作等边 , 且 . 求证: .

证明

此题的条件涉及在三角形边上构建新的几何图形, 且包含旋转与垂直关系, 这正是向量法展现其优势的领域. 向量的代数运算能够优雅地处理旋转与投影.

关键在于选择合适的原点与基向量. 点 是两个等边三角形的公共顶点, 且是垂直关系 的交点, 因此以点 为原点进行向量分析最为便捷. 我们令基向量为 .

TikZ 图 188
TikZ 图 188
根据题设, $AB \perp BC$, 这意味着基向量 $\mathbf{a}$ 与 $\mathbf{c}$ 相互垂直. 其代数体现为它们的数量积为零:

我们要证明 , 这等价于证明 . 为此, 我们需要用基向量 表示出 .

向量 是由向量 绕点 向外 (顺时针) 旋转 得到的. 向量 是由向量 绕点 向外 (逆时针) 旋转 得到的. 接着, 我们表示目标向量: 向量 已由上述旋转定义. 向量 可以通过“走路”得到: 从 等价于从 先回到 , 再从 走到 . 故

现在, 我们来计算数量积 :

我们利用数量积的几何定义 来计算右侧的两项. 对于 : , 且 . 向量 逆时针旋转 得到, 向量 顺时针旋转 得到. 由于 的夹角为 , 那么 之间的夹角为 . 不过, 在计算数量积时, 通常取不超过 的夹角, 即 . 因此

对于 : , 为已知. 向量 的夹角为 . 向量 顺时针旋转 得到, 因此 的夹角为 . 所以

将以上两式代入数量积的表达式中, 我们得到

数量积为零, 结论得以证明. 故 .

前面两个范例展示了处理平面几何问题的一种强有力的代数化思想, 即向量法, 或称“走路法”. 其核心在于将几何图形的性质与关系, 转化为向量空间的代数运算. 这种方法的实施步骤, 蕴含着一种清晰的逻辑流.

向量法的首要步骤在于建立分析的框架. 这包括:

  • 选取基点: 在图形中选择一个合适的点作为原点. 通常, 这个点是图形的特殊点, 例如顶点, 中点, 或是多条重要线段的交点. 一个好的基点可以极大地简化后续的向量表示.
  • 定义基向量: 从基点出发, 选取一至两个线性无关的向量作为基向量. 在平面问题中, 通常是两个不共线的向量. 在正方形或矩形中, 沿两条邻边方向的向量是自然的选择; 在一般三角形中, 沿两条边的向量亦是如此.

这个框架一旦建立, 图形中的任何一个点的位置, 都可以由从基点出发的一个唯一的位置向量来描述; 任何一个有向线段, 都可以表示为基向量的线性组合.

在此基础上, 第二步是翻译几何条件. 将题设中所有的几何关系, 如长度、中点、定比分点、平行、垂直等, 转化为向量的代数语言. 这一步是向量法成功的关键.

  • 长度关系与角度关系, 通常与向量的模和数量积相关. 例如, 意味着 .
  • 是线段 的中点, 则 .
  • 在直线 上, 且 , 则 .

通过这种方式, 整个几何问题被“翻译”成了一个关于基向量的代数问题.

接着, 我们的目标是构造并计算目标向量. 将待证的几何关系 (例如 ) 同样用向量语言表达出来 (即 ). 然后, 利用向量的加减法法则 (即“走路法则”, 如 ) 将这些目标向量用基向量表示出来.

最后的最后,只需通过纯粹的代数运算, 结合基向量自身的性质 (例如它们的模长关系和数量积), 对目标表达式进行化简并验证是否符合要证明的即可.

极化恒等式

在向量的代数体系中, 数量积是核心概念之一, 它将向量的几何关系 (如夹角) 与代数运算联系起来. 数量积的几何定义 依赖于夹角 . 但在许多几何问题中, 角度是未知的, 我们更易获知的是线段的长度, 即向量的模.

一个自然的问题是: 我们能否仅通过模长来表达数量积? 答案是肯定的. 极化恒等式正是建立数量积与向量模长之间直接桥梁的关键定理.

我们考虑向量和的模长平方 . 根据模的定义, 它等于向量自身的数量积:

利用数量积的分配律展开上式, 我们得到

注意到 且数量积满足交换律 , 上式可化为

移项整理, 我们便得到了数量积的一种表达形式. 这个思想可以推广并总结为如下的命题.

极化恒等式

对于任意两个向量 , 其数量积可以通过向量的模长表示:

第一种形式我们已经推导得出. 第二种形式更具对称性, 其推导过程也颇具启发性. 我们已有

同理, 计算 :

将 (1) 式与 (2) 式相减, 即可消去模长平方项, 得到

整理后即得恒等式的第二种形式.

此恒等式具有深刻的几何意义. 我们重写式 (2) 可得:

若以 为邻边构成三角形, 则第三边即为向量 .

TikZ 图 189
TikZ 图 189
令 $\theta$ 为 $\mathbf{u}$ 和 $\mathbf{v}$ 的夹角, 代入数量积的几何定义 $\mathbf{u}\cdot\mathbf{v} = ||\mathbf{u}|| ||\mathbf{v}|| \cos\theta$, 上式即变为

这正是三角形中的余弦定理. 因此, 极化恒等式可以被视为余弦定理的向量形式, 它将几何中的长度与角度关系完美地融入了向量代数的框架之中. 当一个问题只涉及边长而不涉及角度时, 此恒等式是计算数量积, 进而判断垂直关系的不二之选.

设有两个向量 , 满足 , 求数量积 的值.

此问题直接给出了向量和与差的模长, 而要求它们的数量积, 这正是极化恒等式应用的典型情景. 我们采用极化恒等式的第二种形式:

将题设中的已知值代入上式:

进行简单的代数计算:

因此, 这两个向量的数量积为 . 这个例子清晰地展示了极化恒等式如何绕开角度, 直接从长度信息中提取出数量积.

, 是边 上一定点, 满足 . 若对于边 上任意一点 , 恒有不等式 成立, 试确定 必须满足的几何条件.

该命题的条件是一个关于动点 的向量不等式. 其核心是表达式 在点 处取得最小值. 这种涉及最值的问题, 提示我们可以将该表达式构造成一个函数, 并利用函数的性质来求解.

我们以点 为基点, 设 .

TikZ 图 190
TikZ 图 190
点 $P$ 在线段 $AB$ 上, 它的位置可以用参数 $\lambda$ 描述. 令 $\overrightarrow{BP} = \lambda \overrightarrow{BA} = \lambda \mathbf{a}$, 其中 $\lambda \in [0, 1]$. 于是, 向量 $\overrightarrow{PB}$ 和 $\overrightarrow{PC}$ 可以用基向量表示:

接着, 我们计算它们的数量积:

这是一个关于变量 的二次函数, 其二次项系数 为正, 故其图像是开口向上的抛物线, 存在唯一的最小值. 根据二次函数的性质, 其对称轴位置在 . 此即函数 取最小值的点.

根据题设, 最小值在 处取得. 我们需要确定 对应的参数 . 由 可知, . 由于 之间, 故 同向, 所以 . 因此, .

令函数取得最小值的 等于 :

由此我们得到一个关于基向量的代数关系:

最后一步, 我们需要将这个代数关系翻译回几何语言. 我们考察三角形的边长关系. . 利用我们推导极化恒等式时的展开方法:

将我们得到的条件 代入上式:

这表明 . 因此, 必须满足的几何条件是 , 即它是一个以 为顶角的等腰三角形.

中, 的中点, 上的两个三等分点. 已知 , , 求 的值.

此题的条件与结论均涉及以不同顶点为起点的向量数量积. 这种结构提示我们寻找一个统一的代数形式. 注意到所有数量积都涉及线段 的两个端点 , 这启发我们将 的中点 作为一个关键的参照点.

我们来考察形如 的数量积, 当一个参照点 存在时, 我们可以进行分解. 对于 , 我们将向量起点统一到中点 . 由于 的中点, . 代入上式: 于是, 数量积可以展开为:

这实际上是极化恒等式思想的一个直接应用, 它将数量积与中线长和半弦长联系起来. 根据题设, 我们有

TikZ 图 191
TikZ 图 191
完全同理, 对于点 $F$ 和 $E$, 我们可以得到相同的代数结构:

根据题设 , 我们有

现在问题转化为一个关于长度的代数问题. 的三等分点. 不妨设 是靠近 的分点, 则 , 且 . 将 代入 (2) 式:

我们现在拥有一个关于 的二元一次方程组, 由 (1) 和 (3) 构成:

两式相减, 消去 :

的值代回 (1) 式:

我们的目标是计算 . 利用 , 我们有 . 代入已求出的值:

故所求值为 .

已知等边 内接于半径为 , 点 上的一个动点, 则 的取值范围是?

这个问题的核心是处理一个动点相关的数量积. 动点 的轨迹是圆, 其几何特征是到圆心 的距离恒定. 我们希望将数量积 与点 的位置建立联系.

同样地, 极化恒等式的思想启示我们引入 的中点. 设 的中点. 将 用过 的路径来表示: 由于 的中点, . 代入得: 计算数量积:

TikZ 图 192
TikZ 图 192
通过这个变换, 我们成功地将数量积的范围问题转化为了几何长度 $PD$ 的范围问题. 问题分解为两个子任务: 计算定长 $AD$, 以及确定动长 $PD$ 的范围.

首先, 计算 . 是内接于 的等边三角形, 半径 . 在 中, , . 的中点, 因此 . 在 Rt 中, . 于是 . 因此, 常数项 .

接着, 确定 的范围. 是圆周上的动点, 是圆内一定点. 的距离范围取决于 到圆心 的距离. 在 Rt 中, . 点 在半径为 的圆上, 点 与圆心 的距离为 . 根据几何知识, 的最大值发生在 三点共线且 之间时:

的最小值发生在 三点共线且 之间时:

所以, 的取值范围是 . 从而, 的取值范围是 .

最后, 我们回到原表达式:

由于 , 那么

因此, 所求的取值范围是 .

如图, Rt 中, , , . 是线段 上一动点, 若以 为圆心, 半径为 的圆与线段 交于 两点, 则 的最小值为 ( )

此题要求一个数量积的最小值, 其中涉及的向量起点固定, 终点则由一个移动的圆心确定. 这看似复杂, 但其结构恰好契合了极化恒等式的思想.

TikZ 图 193
TikZ 图 193
注意到点 $M$ 是圆心, 而 $P, Q$ 是圆与直径 $AC$ 的交点, 故 $M$ 必然是线段 $PQ$ 的中点. 根据极化恒等式的思想, 我们可以将 $\overrightarrow{BP} \cdot \overrightarrow{BQ}$ 以中点 $M$ 分解:

由于 中点, . 于是

是圆的半径, 题设为 , 故 . 表达式化为:

欲求 的最小值, 我们只需寻求 的最小值. 这等价于寻找动点 在线段 上运动时, 点 的最短距离. 几何直观告诉我们, 点到线段的最短距离是该点到直线距离 (垂线段长). 令 为 Rt 斜边 上的高. 斜边 的长度由勾股定理给出: . 根据三角形面积公式, .

此即 的最小值. 于是 的最小值为 . 因此, 的最小值为 .

在平行四边形 中, 已知 . 点 在边 上, 满足 , 且 . 求 的值.

此题在一个平行四边形中给出了边长与一个数量积的特定值, 要求另一个数量积. 这是典型的通过向量代数运算建立桥梁的问题. 我们以点 为基点, 令基向量为 .

TikZ 图 194
TikZ 图 194
我们的目标是利用已知条件 $\overrightarrow{AP} \cdot \overrightarrow{BP} = 2$ 来构造一个包含目标 $\overrightarrow{AB} \cdot \overrightarrow{AD}$ 的方程. 首先, 用基向量表示 $\overrightarrow{AP}$ 和 $\overrightarrow{BP}$. 点 $P$ 在 $CD$ 上, 我们可以通过路径 $A \to D \to P$ 来表示 $\overrightarrow{AP}$.

可知 的四等分点, 且 . 在平行四边形中, . 故 . 所以, .

接着表示 . 路径可以是 .

现在将这两个表达式代入已知条件:

展开此数量积, 这与极化恒等式的推导过程一致:

利用数量积的交换律 , 合并同类项:

代入已知边长 :

解得 , 故 .

已知 是边长为 的等边三角形, 为平面 内一点, 则 的最小值是 ( )

此表达式包含三个与动点 相关的向量, 直接处理较为困难. 我们需要通过向量加法的几何意义来简化它. 令 为边 的中点. 根据向量加法的平行四边形法则, 向量和 可以被合成为

于是, 原表达式化为

TikZ 图 195
TikZ 图 195
现在问题转化为求 $2(\overrightarrow{PA} \cdot \overrightarrow{PM})$ 的最小值. 表达式中仍有两个与 $P$ 相关的向量. 为了进一步化简, 我们再次利用中点. 线段 $AM$ 是定长线段, 我们取其中心 $O$ 作为新的参照点.

由于 的中点, . 代入后, 数量积变为

所以, 原表达式为

这是一个关于动点 到定点 距离的函数. 均为定点, 故 是一个常数. 为使整个表达式最小, 我们需要最小化 , 其最小值在 时取得, 为 . 此时, 整个表达式的最小值为 .

最后, 计算 . 是边长为 的等边三角形, 其高 (也是中线) 的长度为 . 的中点, 所以 . 因此, . 所求的最小值为 .

中, 边上的中线, 延长线上一点, 且 . 已知 , , 求 的长度.

此题与之前的一道例题(哪道?看看你认真看了没.)结构高度相似, 提供了关于中线端点以及延长线上一点的向量数量积信息, 这是应用中线分解的明确信号. 设 的中点. 对于平面上任意一点 , 我们有恒等式

将此恒等式分别应用于点 和点 . 当 时:

由题设 , 得

时:

由题设 , 得

TikZ 图 196
TikZ 图 196
此外, 几何条件 $AD=2DE$ 意味着长度的平方关系为 $AD^2 = 4DE^2$. 我们将此关系代入方程 (1):

现在我们得到一个关于 的二元一次方程组:

将两方程相减, 消去 :

代回方程 (2):

我们要求的是 . 由于 的中点, . 因此, .

总结一下什么时候使用极化恒等式:

  • 中点结构 这是最重要且最常见的结构. 当题目中出现 线段的中点 , 并且需要处理与该线段两端点相关的向量数量积时, 几乎总能受益于此思想. 具体表现为计算形如 的数量积, 其中 的中点. 通过分解 , 数量积立即转化为长度的平方差:

这种转换是极化恒等式思想的直接体现, 它将一个依赖于角度和动点的复杂数量积, 转化为一个仅与距离相关的简单代数式.

  • 最值问题 当问题要求某个数量积的最小值或最大值, 且其中涉及动点时, 极化恒等式是实现问题转化的关键工具. 比如之前的例题,我们通过中点分解, 我们将 的最值问题转化为求 的最值, 将 的最值问题转化为求 的最值. 这本质上是将一个向量代数的最值问题, 降维成一个更直观的几何距离的最值问题, 即“求一点到某轨迹 (直线、线段、圆) 的最短或最长距离”.
  • 向量和的出现 当表达式中出现形如 的向量和时, 这是一个强烈的简化信号. 利用中点 可将此和式合并为 . 这一步往往是应用极化恒等式的前奏, 它将三个与动点 相关的向量 减少到两个 , 从而创造出可以应用中点分解的结构.
  • 纯长度信息的代数运算 当题目给出的条件主要为边长, 却要求计算依赖于角度的数量积时, 这暗示我们需要绕开角度, 直接建立长度与数量积的关系. 之前的几道例题就是一个绝佳的例子, 我们通过向量分解和展开, 建立了一个包含已知长度和未知数量积的代数方程, 最终解出目标值. 这整个代数展开的过程, 其数学本质与极化恒等式的推导过程是完全一致的.

极化恒等式不仅是一个公式而已, 更是一种对称化代数化的策略. 其应用的本质, 是识别出几何图形中由中点带来的对称性, 并利用这种对称性将复杂的向量关系转化为简单的标量 (长度) 关系. 当你面对一个向量问题, 尤其是涉及中点、最值和向量和时, 应当首先思考能否通过分解与变换, 构造出 这一标志性结构.

定比分点与共线定理

{/* label: sec:ch12-s02 */}

向量不仅能够表示大小与方向, 其代数运算的结构更是描述几何关系的利器. 特别是点的共线, 共面等位置关系, 在向量的语言下有着异常简洁的代数刻画.

系数和为常数的轨迹

我们首先从一个基本问题出发: 平面上任意三点 共线的充要条件是什么? 从几何直观上看, 在直线 上, 意味着向量 与向量 是共线的. 用代数语言描述, 即存在唯一的实数 , 使得

这是一个重要的基础. 然而在很多问题中, 我们更习惯于从一个公共的基点 (原点) 出发来描述所有点的位置. 我们可以将上式用位置向量 来改写:

整理后可得

这是一个极其优美的形式. 若我们令 , 则上式变为

这便得到了平面上三点共线的向量表示定理. 它的逆命题同样成立. 这个结论是后续讨论的基石.

三点共线定理

为平面内任意一点, 则 三点共线的充要条件是, 存在唯一的实数对 使得

证明

为证明该充要条件, 我们需要分别证明其充分性与必要性.

先证明,**充分性.**假设存在实数对 满足 . 我们需要证明 三点共线.

为证明三点共线, 我们只需证明连接其中两点的向量, 例如 , 与连接另外两点的向量, 例如 , 是共线向量即可. 我们构造向量 :

将假设条件 代入上式:

利用系数和条件 , 我们有 . 将此关系代入:

注意到 正是向量 . 于是, 我们得到

此式表明向量 是向量 的一个标量倍. 因此, 共线. 又因为这两个向量拥有共同的起点 , 故 三点必然位于同一条直线上. 充分性得证.

**接下来证明,必要性与唯一性.**假设 三点共线. 我们需要证明存在唯一的实数对 满足 .

首先, 考虑一个退化情形: 若 , 则三点共线意味着 也与 重合. 此时 . 那么 (取 ), 或 (取 ), 满足 . 唯一性在这种情况下不严格成立, 但定理通常在 为不同点的背景下讨论.

故设 . 因为 三点共线, 向量 与向量 共线. 故存在唯一的实数 , 使得

将此式用以 为基点的位置向量表示:

整理可得 的表达式:

. 此时, 我们找到了满足 的系数. 验证其和: . 由于对于给定的共线三点, 的值 (即 上的投影系数) 是唯一确定的, 故 的值也是唯一确定的. 必要性与唯一性得证.

综上, 该定理成立.

一个自然的问题是, 如果系数和不为 , 而是一个任意的常数 , 即 , 那么点 的轨迹又将是什么呢?

我们来考察这个条件: , 且 .

首先考虑特殊情况. 当 时, . 于是

这表明向量 与向量 共线. 由于 的起点是原点 , 故点 的轨迹是一条经过原点 且平行于直线 的直线.

接着, 我们考察 的一般情况. 我们的策略是通过代数变形, 将表达式整理成能够揭示其几何意义的形式. 从条件 中, 我们可以用 表示 , 即 . 将其代入向量表达式:

为了分离变量 的影响, 我们将上式按 和常数项重新组合:

注意到括号中的项正是向量 , 于是

这个结构是向量几何中直线的参数方程. 为了更清晰地理解其几何轨迹, 我们可以将常数项移到等式左边:

是这样一个点, 其位置向量为 . 由于 和点 都是固定的, 所以 是一个定点. 上述方程可以写为

此式的几何意义非常明确: 从定点 到动点 的向量 , 总是与一个固定的向量 共线. 因此, 动点 的轨迹必然是一条经过定点 且方向与 (即直线 ) 相同的直线.

同理, 我们也可以定义一个定点 满足 , 通过消去 而非 , 将会证明点 的轨迹也经过 . 因此, 当 () 时, 点 的轨迹是一条经过点 的直线, 并且该直线平行于直线 .

TikZ 图 197
TikZ 图 197

我们将这一重要结论总结如下.

等和线定理

给定平面上不共线的三点 , 对于动点 , 若其位置向量满足

则点 的轨迹由系数和 的值唯一确定:

  • , 则 的轨迹是直线 .

  • ( 为非零常数), 则 的轨迹是一条经过点 的直线, 且该直线平行于 .

  • , 则 的轨迹是一条经过原点 且平行于 的直线.

    这条由系数和为常数所确定的直线, 我们称之为“等和线”.

证明

我们将分三种情况进行证明.

  • 情况一: 此情况即为前述的“三点共线定理”, 其充分性与必要性已得到严格证明. 它是整个等和线理论的基石.
  • 情况二: 充分性: 假设 . 由 可得 . 将其代入向量表达式:
此式表明, 向量 $\overrightarrow{OP}$ 与向量 $\overrightarrow{BA}$ 共线. 由于 $\overrightarrow{OP}$ 的起点为 $O$, 故点 $P$ 必然位于那条经过原点 $O$ 且与直线 $AB$ 平行的直线上.

**必要性:** 假设点 $P$ 位于经过原点 $O$ 且平行于直线 $AB$ 的直线上.
这意味着向量 $\overrightarrow{OP}$ 与向量 $\overrightarrow{AB}$ (或 $\overrightarrow{BA}$) 共线. 因此, 存在唯一的实数 $t$ 使得:
将 $\overrightarrow{BA}$ 写成 $\overrightarrow{OA} - \overrightarrow{OB}$, 我们得到:
若令 $x=t$ 及 $y=-t$, 则上式符合 $\overrightarrow{OP} = x\overrightarrow{OA} + y\overrightarrow{OB}$ 的形式.
此时系数和为 $x+y = t + (-t) = 0$. 证毕.
  • 情况三: ( 为非零常数) 充分性: 假设 . 我们定义点 为满足 的定点. 我们来考察向量 :
利用系数和条件 $x+y=k$, 我们有 $x-k = -y$. 将此关系代入:
此式表明, 向量 $\overrightarrow{A'P}$ 与向量 $\overrightarrow{AB}$ 共线. 因为 $A'$ 是一个定点, 所以动点 $P$ 的轨迹是一条经过 $A'$ 且平行于直线 $AB$ 的直线. 类似地, 我们可以证明该直线也经过点 $B'(k\overrightarrow{OB})$.

**必要性:** 假设点 $P$ 位于经过点 $A'(k\overrightarrow{OA})$ 且平行于直线 $AB$ 的直线上.
这意味着向量 $\overrightarrow{A'P}$ 与向量 $\overrightarrow{AB}$ 共线. 因此, 存在唯一的实数 $t$ 使得:
用位置向量展开上式:
解出 $\overrightarrow{OP}$:
将 $\overrightarrow{OA'} = k\overrightarrow{OA}$ 代入:
若令 $x=k-t$ 及 $y=t$, 则上式符合 $\overrightarrow{OP} = x\overrightarrow{OA} + y\overrightarrow{OB}$ 的形式.
此时系数和为 $x+y = (k-t) + t = k$. 证毕.

综合以上三种情况, 定理得证.

这一结论极为有用, 它将一个代数条件 () 和一个清晰的几何轨迹 (一条特定的直线) 对应起来, 是解决向量与几何综合问题的有力工具.

什么?你还不知道这玩意到底是什么?下面我们从三种观点,探究下这个神奇的定理:

观点一: 仿射坐标系

我们熟悉的笛卡尔坐标系, 是由一个原点和两个相互垂直的单位向量基底构成的. 而等和线的概念, 实质上是在一个更广义的坐标系——仿射坐标系——中进行讨论.

给定一个基点 和两个线性无关的向量 , 它们构成了一个仿射坐标系, 记为 . 在此坐标系中, 平面上任意一点 的位置向量 都可以被唯一地表示为

这里的数对 就是点 在该仿射坐标系下的 仿射坐标.

从这个视角来看, 等和线定理的条件 就变得豁然开朗. 它是在仿射坐标系下的一条线性方程. 我们知道, 在笛卡尔坐标系中, 任何形如 的线性方程都对应一条直线. 仿射坐标系保持了这种最基本的“线性”性质.

  • : 这条特殊的等和线, 即直线 , 在仿射坐标系 中扮演着如同笛卡尔坐标系中 的角色, 是连接两个“单位点” 的基准线.
  • : 这族方程对应的是一族互相平行的直线, 正如在笛卡尔坐标系中 对应一族斜率为 的平行直线系一样.

因此, 等和线定理本质上是陈述了在向量定义的仿射坐标系中, 点的共线关系等价于其仿射坐标满足一个线性方程.

观点二: 几何变换

等和线定理也可以被理解为一种几何变换作用的结果. 具体的说, 是位似变换.

以原点 为位似中心, 位似比为 的位似变换, 将点 映射到点 , 其定义就是 .

现在我们重新审视等和线的推导过程. 我们证明了, 如果点 的位置向量满足 (即 在直线 上), 那么经过位似变换后的点 , 其位置向量 . 令 , 则点 的仿射坐标为 , 且其系数和为

这精确地说明了: 系数和为 的等和线, 正是系数和为 的基准线 (直线 ) 在以 为中心、比值为 的位似变换下的像. 位似变换的一个基本性质就是将直线映射为与之平行的直线. 这就从几何变换的角度完美解释了为何所有的等和线都相互平行.

观点三: 重心坐标

对于 , 平面内任意一点 都可以被唯一表示为三个顶点的线性组合:

由于 是零向量, 上式简化为 , 且 . 这里的 称为点 关于 重心坐标.

现在, 我们来重新审视条件 . 这可以看作是重心坐标表示中第三个系数 (对应于顶点 ) 的信息. 比较两种表示, 我们有 . 由重心坐标的系数和为 , 即 , 我们得到

于是, 等和线的条件 等价于一个关于重心坐标的条件:

这也就是说, 等和线 上所有点的重心坐标中, 对应于顶点 的分量 是一个常数 . 在重心坐标系中, 一个顶点对应的坐标分量为常数的点的轨迹, 是一条平行于该顶点对边的直线. 在这里, 是对应顶点 的坐标, 其对边是线段 . 因此, 所描述的点的轨迹是一条平行于直线 的直线.

推广至高维

以上观点, 特别是仿射坐标与重心坐标的观点, 很容易推广到三维乃至更高维空间. 例如在三维空间中, 给定基点 和三个不共面的点 , 那么满足

的点 的轨迹, 就是一个平行于平面 的平面. 这正是等和线定理在高维空间中的自然推广.

中, 点 位于平面内, 且满足 . 若 的面积为 , 求在下列条件下点 的轨迹.

  1. ;
  2. .

此题旨在将向量系数的代数约束, 翻译为点 的几何轨迹.

(1) 条件为 . 根据等和线定理, 当系数和为常数 时, 点 的轨迹是一条平行于 的直线. 此处 . 这条直线经过点 , 其中 . 因此, 点 的轨迹是直线 .

TikZ 图 198
TikZ 图 198

(2) 条件为 , 且 . 这个条件 并非直接的等和线形式. 我们需要通过代数变换将其化归. 关键在于将基向量进行重组, 以匹配系数的线性关系. 令 . 则原向量表达式可以改写为

现在, 表达式变为 线性表示, 而其系数 满足的关系恰好是 (将 整体看作系数, 对应向量 ), 但这种看法不清晰. 修正思路: 我们希望新基向量的系数和为 . 条件是 , 两边同除以 , 得到

这提示我们应该构造一个新基底, 使得其系数恰为 .

. 那么

. 则 . 根据三点共线定理, 点 的轨迹是直线 .

然而, 题目中还有附加条件 . . . 因此, 点 的轨迹是系数 均非负的线段, 即线段 .

TikZ 图 199
TikZ 图 199
这个例子说明, 任何关于系数的线性约束 $ax+by=c$, 都可以通过对基向量的伸缩变换, 转化为系数和为 $1$ 的标准形式, 从而确定其轨迹为一条直线.

给定 , 其中 , . 点 在平面内运动, 其位置向量 . 若实数 满足 , 求点 所形成区域的面积.

此题要求由向量系数的不等式约束所确定的点的轨迹区域的面积. 这是一个典型的由等和线界定区域的问题. 我们分析点 的轨迹边界. 约束条件为 , 同时 .

  • 考虑边界 . 根据等和线定理, 这对应一条直线. 又因 , 点 的轨迹是连接点 和点 的线段 .

  • 考虑边界 . 根据等和线定理, 这对应另一条与 平行的直线. 这条直线经过点 和点 . 其中, . 同样因为 , 点 的轨迹是连接 的线段 .

    的值在 区间内连续变化时, 点 的轨迹会扫过线段 与线段 之间的所有区域. 因此, 点 所形成的区域是一个以 为顶点的梯形.

    TikZ 图 200
    TikZ 图 200

为求该梯形的面积, 我们可以用大三角形 的面积减去小三角形 的面积. 首先, 计算 的面积:

为中心, 位似比为 的放大图形. 它的边长 , 夹角不变. 其面积为:

或者, 利用面积的位似性质:

因此, 梯形 的面积为

奔驰定理

我们已经探讨了由两个基向量线性组合所定义的点的轨迹. 一个自然而然的推广是: 对于三角形的三个顶点, 它们的向量之和具有怎样的几何意义? 答案揭示了三角形一个基本中心——重心的深刻向量性质.

重心向量定理

对于平面上任意 及其重心 , 以下两个向量恒等式成立:

  1. 对于任意选定的基点 , 顶点的位置向量之和等于重心位置向量的三倍:
  1. 对于平面上任意一点 , 从该点出发到三个顶点的向量之和等于到重心向量的三倍:
证明

我们将从重心的基本几何性质出发, 即重心是中线的交点, 且按 的比例分割中线, 来推导这两个恒等式.

**1. 证明 }

为边 的中点. 根据中点向量公式, 对于任意选定的基点 , 点 的位置向量 可以表示为:

重心 的三条中线的交点. 特别地, 位于中线 上. 由重心的性质可知, 点 将中线 分成两段, 且满足比例关系 .

TikZ 图 201
TikZ 图 201

我们可以利用定比分点公式来表示点 的位置向量 . 因为 在线段 上, 且 , 我们可以将 表示为 的线性组合:

现在, 将 的表达式 代入上式:

化简括号内的表达式, 我们得到:

将等式两边同乘以 , 便得到了第一个恒等式:

此式的成立不依赖于基点 的选择, 故对任意点 均成立.

**2. 证明 }

此恒等式可以巧妙地通过更换基点由第一个恒等式导出, 这体现了向量运算的优越性. 在第一个恒等式中, 基点 是任意的. 我们可以将这个任意点 替换为点 . 于是, 恒等式变为:

这种方法虽然简洁, 但为了更清晰地展示推导过程, 我们也可以从向量的减法出发进行证明. 对于任意点 , 我们可以将从 出发的向量分解为经过基点 的路径:

将这三个向量表达式相加:

利用我们已经证明的第一个恒等式 , 将其代入上式:

提取公因子 :

根据向量减法的定义, 正是向量 . 因此,

至此, 定理的两个形式均已得证.

这个定理, 尤其是它的一个重要推论, 在几何学中被赋予了一个形象的名称——奔驰定理.

定理的几何形象与名称由来

若我们将基点 选为重心 本身, 那么定理的第一个恒等式就变为

这个简洁而深刻的结论 是奔驰定理的核心. 它表明, 如果将三个从重心出发指向顶点的向量首尾相接, 它们将构成一个封闭的三角形. 而如果将这三个向量的起点都置于重心 , 它们会形成一个完美的力的平衡, 指向三个方向. 这三个向量构成的 Y 形结构, 与梅赛德斯-奔驰的标志惊人地相似, 定理因此得名. 这也从物理学的角度诠释了重心作为“质量中心”的本质.

TikZ 图 202
TikZ 图 202

奔驰定理是处理涉及重心问题时的一个基础出发点. 它将三个顶点的信息优雅地“平均”或“集中”到了重心这一点上, 极大地简化了许多复杂的向量关系.

二次和的最小值与斯坦纳定理

奔驰定理揭示了从任意点到三角形三顶点向量之和的简洁性质. 一个自然延伸的问题是: 从平面上哪一点出发, 到三顶点的距离平方和最小? 这个问题在几何、物理 (力矩) 和统计 (方差) 中都有着重要的应用. 其答案由如下的斯坦纳定理或称莱布尼茨公式给出.

向量的斯坦纳定理

对于平面上任意 , 其重心为 . 对于平面上任意一点 , 以下恒等式成立:

或者用向量模长的形式写作:

这个恒等式揭示了一个优美的结构: 从任意点 出发的距离平方和, 等于一个不依赖于 的常数 (即从重心 出发的距离平方和), 加上一个正比于 到重心 距离平方的变量. 这在物理学中, 与质点系的转动惯量中的平行轴定理具有完全相同的数学形式.

证明

此定理的证明是奔驰定理的一个直接且精彩的应用. 我们的出发点是将所有与动点 相关的向量, 都通过重心 这个“不动点”进行分解. 对于向量 , 我们可以插入点 , 得到路径 :

接着, 我们计算其模长的平方:

同理, 我们可以得到关于点 的表达式:

TikZ 图 203
TikZ 图 203
将这三个等式相加, 得到我们关心的距离平方和:

利用数量积的分配律, 我们可以将最后一项中的公因子 提取出来:

此时, 奔驰定理的核心结论 发挥了决定性作用. 上述交叉项因此变为

于是, 总和的表达式中交叉项消失, 化简为:

这便完成了恒等式的证明.

推论

在平面上, 使得与 三个顶点的距离平方和 取得最小值的点 , 唯一地是该三角形的重心 .

证明

根据斯坦纳定理的恒等式, 表达式 由两部分构成. 第一部分, , 对于一个给定的三角形, 是一个确定的常数. 第二部分, , 是唯一与动点 位置相关的变量. 由于模长的平方 总是非负的, 即 , 那么 的最小值显然为 . 这个最小值在且仅在 重合时 () 取得. 因此, 总和在点 时达到其最小值, 最小值为 .

对角线数量积定理

在深入研究了三角形的向量性质后, 我们自然地将目光转向更为复杂的四边形. 一个基本的问题是: 四边形的四条边长与其两条对角线的长度和方向之间, 是否存在着某种确定的代数关系? 答案是肯定的, 并且这个关系由一个关于对角线向量数量积的简洁恒等式所刻画.

定理

对于平面上任意一个四边形 , 其边长与对角线向量的数量积满足如下关系:

该恒等式表明, 对角线向量的数量积等于两组对边长度平方和之差的一半.

证明

此定理的证明是向量代数处理几何问题的典范. 其核心策略是引入一个任意的基点 (原点) , 将所有几何量 (边长和对角线) 用相对于 的位置向量 来表示, 从而将几何问题彻底转化为代数恒等式的验证.

TikZ 图 204
TikZ 图 204

. 我们从恒等式右侧的边长平方和之差入手进行计算.

我们将所有模长平方展开:

展开并移除括号后, 所有的模长平方项 都相互抵消. 剩下的项为:

提取公因子 , 并重新组合这些项, 以便进行因式分解:

最后, 我们将位置向量的差还原为几何向量: . . 于是, 最终的表达式为:

这就证明了 . \qed

这个定理不仅形式优美, 更重要的是它引出了一条关于对角线垂直的深刻几何性质.

正交对角线定理

一个四边形的两条对角线相互垂直的充要条件是, 其两组对边的长度平方和相等. 即,

证明

根据向量的性质, 两条对角线 相互垂直, 等价于它们的向量数量积为零, 即 . 将此条件代入我们刚刚证明的对角线数量积定理:

移项即得:

由于推导过程中的每一步都是可逆的, 因此该条件的充分性与必要性均成立.

这个推论在解决有关筝形、菱形以及其他对角线垂直的四边形问题时, 提供了一个极其强大的边长关系判据.

直线与圆

{/* label: sec:ch12-s03 */}

在建立了向量的代数体系之后, 我们便拥有了描述几何对象的有力工具. 此前, 几何对象的描述依赖于公理和逻辑演绎, 而解析几何的核心思想, 则是为几何对象赋予代数方程, 从而将对“形”的研究转化为对“数”的运算. 我们将从最基本的几何图形——直线与圆——开始这一进程.

直线的方程

一条直线, 在欧几里得的观念中是“没有宽度、无限延伸的长度”. 如何用代数语言精确地捕捉这一概念? 我们可以从不同的几何约束出发, 得到形式各异但本质相同的方程.

描述直线方向最直观的量是其倾斜程度.

倾斜角与斜率

在平面直角坐标系中, 对于一条与 轴相交的直线 , 我们把 轴正向绕着交点逆时针旋转到与直线 重合时所转过的最小正角 称为该直线的倾斜角. 倾斜角的取值范围是 . 当 时, 倾斜角 的正切值 称为该直线的斜率, 记作 .

注意到, 当直线与 轴平行时, . 当直线与 轴垂直时, , 其斜率不存在.

斜率的本质是直线在竖直方向上的变化量与水平方向上的变化量之比, 并且这个比值对于直线上任意两点的选取都是不变的. 设直线 的斜率为 , 且经过一个定点 . 对于直线上异于 的任意一点 , 我们有

整理此式, 即得直线的点斜式方程:

此方程清晰地揭示了由“一点” 和“一斜率” 确定一条直线的事实.

若已知的定点是直线与 轴的交点 , 我们称 为直线在 轴上的截距. 将该点坐标代入点斜式方程, 得到 , 化简即得直线的斜截式方程:

这是将函数思想与几何图形结合最紧密的方程形式.

“过两点有且只有一条直线”是基本的几何公理. 设已知直线上两点 , 其中 . 首先, 我们可以确定该直线的斜率:

接着, 以 为定点, 利用点斜式方程, 可得

将此式变形, 得到更具对称性的两点式方程:

若已知的两点恰好是直线与坐标轴的两个交点, 即 截距点 截距点 , 其中 均非零. 将 代入两点式方程:

整理即得直线的截距式方程:

上述各种方程形式直观地反映了直线的几何要素, 但它们都存在局限性, 例如点斜式和斜截式不能表示垂直于 轴的直线, 而截距式不能表示过原点或与坐标轴平行的直线. 我们需要一种能够涵盖所有情况的普适形式.

将任意一种形式的方程移项整理, 都可以化为 的形式. 例如, 点斜式 可化为 . 这启发我们定义直线的一般式方程:

, 方程可化为 , 即斜截式. 当 , 由于 不全为零, 必有 , 方程化为 , 这正是一条垂直于 轴的直线. 因此, 一般式方程囊括了平面内所有直线.

为了更深刻地理解直线方程的内在结构, 我们回归到向量的视角. 一条直线 可以由其上一点 和一个方向向量 唯一确定. 对于直线上任意一点 , 向量 共线. 设 为原点, 的位置向量分别为 , 则 . 于是存在实数 使得 . 此即直线的向量参数方程:

\begin{figure}[htbp]

TikZ 图 205
TikZ 图 205

\end{figure} 图:直线的向量参数表示

在笛卡尔坐标系下, 设 . 向量方程等价于坐标表示的参数方程:

均不为零, 消去参数 可得 , 这被称为对称式方程, 整理即得 , 也就是 . 这正是 的形式, 其中 .

此外, 直线的方向亦可由一个与之垂直的法向量 确定. 设直线过点 , 法向量为 . 对线上任意点 , 向量 恒与 正交, 故其数量积为零.

\begin{figure}[htbp]

TikZ 图 206
TikZ 图 206

\end{figure} 图:直线的法向量表示法

, 上述点法式方程展开为 , 即 . 令 , 这又一次导出了直线的一般形式 . 这一推导揭示了一个至关重要的事实: **在直线的一般式方程 中, 系数 恰好构成该直线的一个法向量 }.

圆的方程

圆是继直线之后最简单、最完美的曲线. 其定义蕴含着一种纯粹的对称性.

平面内到一个定点 的距离等于一个定长 的所有点 的集合, 称为. 定点 称为圆心, 定长 称为半径.

圆的标准方程

这一定义可以直接翻译为代数语言. 引入笛卡尔坐标系, 设圆心 的坐标为 , 圆上任意一点 的坐标为 , 半径为 . 根据平面上两点间的距离公式, "点 到点 的距离为 " 可以表示为:

由于距离 是非负的, 我们可以对等式两边进行平方, 得到一个等价的、形式更简洁的方程, 此即圆的标准方程:

此方程直观地展现了圆的三个几何要素: 圆心横坐标 , 纵坐标 和半径 . 特别地, 当圆心在原点 时, 方程简化为 .

从向量的角度看, 设圆心 和圆上一点 的位置向量分别为 . 定义 即为圆的向量方程. 这也等价于 , 它与坐标形式的方程是完全一致的.

圆的一般方程

将圆的标准方程 展开:

整理后, 方程具有以下形式:

其中 . 这被称为圆的一般方程. 其特点是:

  • 的系数相同, 且通常化为 .
  • 不含 这样的交叉项.

一个自然的问题是: 是否任何形如 的方程都表示一个圆? 换言之, 给定一组系数 , 我们能否找到对应的圆心 和半径 , 使得该方程与某个圆的标准方程等价?

为了回答这个问题, 我们采用配方法, 试图将一般方程还原为标准形式. 配方的核心思想是, 将二次项和一次项组合成一个完全平方项, 使得方程的结构更加清晰.

为了配方, 我们需要在 中加上 , 在 中加上 . 为了保证等式依然成立, 我们需要在方程的右侧也加上相应的项:

方程的左侧是两个完全平方项的和, 形式上已经非常接近圆的标准方程. 为了使形式完全一致, 我们将方程右侧的表达式记作 , 其中 .

进一步变形, 得到

我们可以清晰地看到, 方程的几何意义完全取决于 的符号:

  • : 此时, 是一个正实数, 可以作为圆的半径 . 方程表示一个圆心为 , 半径为 的圆. 这意味着, 当且仅当 时, 一般方程 才表示一个真正的圆.
  • : 此时, 方程变为

由于任何实数的平方都是非负的, 两个非负数的和为零, 意味着它们必须同时为零. 因此, . 方程只有一个解, 表示一个点 . 我们可以将这个点视为半径为 的退化圆,即圆心与圆周重合.

  • : 此时, 方程变为

由于任何实数的平方都是非负的, 两个非负数的和也必然是非负的. 因此, 方程的左侧恒为非负, 而右侧为负数. 这意味着,不存在任何实数 能够满足该方程.因此,方程没有实数解, 不表示任何几何图形.

一般方程 只有在满足条件 时, 才表示一个圆.此时, 圆心为 , 半径为 .

直线与圆的位置关系

研究直线与圆的位置关系, 实质上是研究它们的方程所构成的方程组的解的情况. 设直线 与圆 . 从代数角度看, 我们可以联立这两个方程, 消去一个变量 (例如 ), 得到一个关于另一个变量 (例如 ) 的一元二次方程. 该二次方程的判别式 的符号决定了交点的个数: 对应两交点(相交), 对应一交点(相切), 对应无交点(相离).

然而, 这种纯代数的方法往往计算繁琐, 且掩盖了问题内在的几何结构. 一种更优雅、更具洞察力的判别方法是比较圆心到直线的距离与半径的大小.

点到直线的距离

我们需要一个公式来计算点 到直线 的距离 . 设 是直线 上任意一点. 我们要求的是向量 在直线法向量 方向上的投影的长度.

这个投影的长度 就是 到直线 的距离. 根据向量投影的公式:

将坐标代入: , .

由于点 在直线 上, 它的坐标满足直线方程, 即 , 从而 . 代入上式, 即得点到直线的距离公式.

点到直线的距离

到直线 的距离为

几何判别法

设圆 的圆心为 , 半径为 . 设直线为 . 我们考察圆心 到直线 的距离, 记为 . 设 是从 的垂足, 那么根据定义, . 接着考虑直线上任意一点 . 点 是直线与圆的公共点, 当且仅当点 到圆心 的距离为 , 即 .

在直角三角形 中 (若 不重合), 根据勾股定理, 我们有:

代入 的定义, 我们寻求满足下式的点 :

这个方程是连接代数关系与几何直观的桥梁. 我们可以通过分析此方程解的存在性来判断公共点的个数. 将方程变形为:

方程的解, 即点 的位置, 取决于线段 的长度 , 而 的值则完全由 的符号决定.

  • , 则 , 从而 . 此时, 方程 有唯一正实数解 . 这意味着在直线 上, 存在两个关于垂足 对称的点 , 使得它们到 的距离等于这个正值. 这两个点 均满足 , 故它们是直线上仅有的两个在圆上的点. 因此, 直线与圆相交, 有两个公共点. 此时直线称为圆的割线.
  • , 则 , 从而 . 此时, 方程变为 , 其唯一解为 . 这意味着点 必须与垂足 重合. 因此, 直线与圆有且仅有一个公共点, 即垂足 . 此时直线与圆相切, 该公共点称为切点.
  • , 则 , 从而 . 此时, 方程 的右侧为负数. 由于任何实数的平方都不可能为负, 该方程没有实数解. 这意味着在直线 上不存在任何点 能够满足 . 因此, 直线与圆相离, 没有公共点.

\begin{figure}[htbp]

TikZ 图 207
TikZ 图 207

\end{figure} 图:直线与圆的三种位置关系及其几何判定

圆的切线

切线是位置关系中的临界状态, 具有优美的几何性质. 注意到当直线与圆相切时, 圆心到直线的距离等于半径, 且这段距离本身就是由圆心到切点的半径. 这意味着, 过切点的半径所在的直线与切线垂直.

这个性质为我们提供了一种求切线方程的强大方法. 设圆的标准方程为 , 切点为 . 向量 就是切线的一个法向量. 根据直线的点法式方程, 切线方程为

为了得到一个更具对称性的形式, 我们对上式进行代数变换:

移项得到

由于点 在圆上, 它满足圆的方程, 即 . 于是, 我们得到了圆的切线方程的标准形式:

这个形式的优美之处在于, 它是将圆的标准方程 中的一个 和一个 分别替换为 得到的, 这种代换模式在解析几何的其他二次曲线的切线问题中也普遍存在, 具有深刻的代数根源.

线性规划初步*

{/* label: sec:ch12-s04 */}

在前面的章节中, 我们运用解析几何的工具来描述和分析确定的几何图形. 接着我们将视野转向一个更具动态和决策性的领域: 如何在给定的限制条件下, 做出最优的选择? 这便是运筹学的核心问题, 而线性规划则是解决此类问题最基本且最强大的数学工具之一.

从本质上讲, 线性规划是一种数学建模技术, 用于解决资源分配的最优化问题. 几乎所有组织,无论是商业公司, 政府机构, 还是非营利组织——都面临着一个共同的挑战: 在资源 (如资金, 原材料, 人力, 时间) 有限的情况下, 如何实现某个目标的最大化 (如利润, 效率, 社会福利) 或最小化 (如成本, 风险, 资源消耗).

一个问题能够被构建为线性规划模型, 必须具备三个核心的数学要素:

  • 目标函数: 一个需要被最优化的量, 并且这个量可以表示为决策变量的线性函数. “线性”意味着变量之间的关系是成比例的, 例如, 生产两倍的产品会获得两倍的利润.
  • 决策变量: 一组我们可以控制的变量, 它们的取值共同构成一个决策方案. 例如, 生产线上各种产品的产量, 或投资组合中各项资产的金额.
  • 约束条件: 一系列描述决策变量必须满足的限制条件的线性等式或不等式. 它们反映了现实世界中资源的稀缺性或规则的限制.

因此, 线性规划的宏观定义是: 在一组线性约束条件下, 寻找一组决策变量的值, 使得一个线性目标函数达到最优 (最大或最小) 的数学方法.

经济学中的资源优化问题

线性规划的思想与经济学的基本原则——研究稀缺资源如何有效配置——不谋而合. 因此, 它在经济学领域得到了极其广泛和深刻的应用. 让我们通过一个经典的生产计划问题 来具体阐释.

设想一个企业, 它利用有限的资源 (如劳动力, 机器工时, 原材料) 来生产多种产品. 企业的目标是制定一个生产计划, 也就是决定每种产品的产量, 以实现总利润的最大化.

  • 决策变量: 设企业生产 种产品, 对应的产量分别为 . 这就是企业需要决定的方案.
  • 目标函数: 每种产品 都有一个单位利润 . 企业的总利润 就是所有产品利润的总和, 即 . 这是一个典型的线性函数, 企业的目标是 .
  • 约束条件: 生产过程受到多种资源的限制. 假设有 种资源. \begin{itemize}
  • 对于第 种资源 (例如, 钢材), 其总供应量是有限的, 设为 .
  • 生产每单位的第 种产品, 需要消耗 个单位的第 种资源.
  • 因此, 对第 种资源的总消耗量不能超过其总供应量, 这就构成了一条线性不等式约束:
企业有多少种资源限制, 就会有多少条这样的约束.
  • 此外, 产量不能为负, 这构成了非负约束: 对所有 成立.

\end{itemize} 通过这样的建模过程, 一个复杂的企业生产决策问题, 被清晰地转化为一个标准的线性规划数学模型.

除了生产计划, 线性规划在经济学中还有诸多其他应用, 例如:

  • 运输问题: 如何安排从多个产地到多个销地的货物运输方案, 以最低的总运输成本满足所有销地的需求.
  • 投资组合选择: 在预算和风险承受能力的约束下, 如何分配资金到不同的金融资产 (股票, 债券等), 以最大化预期回报.
  • 营养学问题 (饮食问题): 如何从多种食物中进行搭配, 以最低的成本满足人体每日对各种营养素 (维生素, 蛋白质等) 的最低需求. 这是最早被研究的线性规划问题之一.

在所有这些场景中, 线性规划都提供了一个强大而系统的框架, 将现实世界的优化问题转化为一个结构清晰, 并且存在有效求解算法的数学问题. 接下来, 我们将探讨如何利用解析几何的知识, 来求解这类问题.

线性规划问题的数学模型

我们将通过一个具体问题来引入线性规划的数学结构.

一个工坊生产两种产品, 产品A和产品B.

  • 每生产一件产品A, 需要2个单位的原料甲和1个单位的原料乙, 可获利3万元.

  • 每生产一件产品B, 需要1个单位的原料甲和2个单位的原料乙, 可获利4万元.

    工坊每日可用的原料甲总量为8个单位, 原料乙总量为7个单位. 问每日应如何安排两种产品的生产件数, 才能获得最大利润?

要将此问题数学化, 我们需要确定三个核心要素:

  1. 决策变量: 这是我们需要决定的未知量. 在本例中, 设每日生产产品A为 件, 产品B为 件.
  2. 约束条件: 这是决策变量必须满足的限制, 通常由一系列线性等式或不等式表示.
  • 生产件数不能为负: .
  • 原料甲的限制: .
  • 原料乙的限制: .
  1. 目标函数: 这是一个关于决策变量的线性函数, 我们希望将其最大化或最小化. 在本例中, 目标是最大化总利润 , 即 .

综上, 该问题被抽象为一个标准的二维线性规划模型:

可行域与图解法

对于二维线性规划问题, 我们可以借助解析几何的工具, 将整个优化过程转化为一个直观的几何搜寻任务. 这种方法被称为图解法, 其原理建立在对约束条件和目标函数的几何解释之上.

约束条件组中的每一个线性不等式, 如 , 都将笛卡尔平面分割为两部分: 满足条件的点构成的闭半平面和不满足条件的点构成的开半平面. 所有约束条件所对应的闭半平面的公共交集, 构成了所有可行解 的集合. 我们称这个几何区域为可行域. 在二维平面上, 只要可行域有界, 它必然是一个凸多边形. 凸性意味着连接区域内任意两点的线段完全位于该区域之内.

对于我们的生产计划问题, 可行域由以下四个半平面交织而成: (y轴右侧), (x轴上方), (直线 左下方), 以及 (直线 左下方). \begin{figure}[htbp]

TikZ 图 208
TikZ 图 208

\end{figure} 图:由约束条件构成的凸多边形可行域

接着, 我们考察目标函数 . 这个方程可以改写为斜截式:

对于任意一个特定的利润值 , 方程 都代表一条斜率为 的直线. 当 的值连续变化时, 我们得到的是一族斜率相同但 轴截距 不同的平行直线. 我们称这族直线为目标函数的等值线, 因为在同一条直线上的所有点 都会产生相同的目标函数值 .

我们的任务是最大化 . 从上式可以看出, 轴截距 是成正比的. 因此, 最大化目标函数 在几何上等价于寻找一条与可行域有公共点, 且具有最大 轴截距的等值线.

那么, 我们应该朝哪个方向移动等值线来增大 呢? 回忆直线的一般式方程 , 我们知道向量 是该直线的一个法向量. 在本例中, 目标函数 对应的法向量为 . 几何上, 法向量指向的方向正是直线“抬升”最快的方向, 也就是使得 的值增大的方向. 因此, 我们的求解过程可以想象为: 将等值线 沿着其法向量 的方向平移, 直到它即将离开可行域.

\begin{figure}[htbp]

TikZ 图 209
TikZ 图 209

\end{figure} 图:图解法原理: 沿法向量方向平移等值线

如图所示, 等值线族 是一系列斜率为 的平行线. 当我们沿着法向量 的方向推动这条直线时 (即向右上方平移), 的值不断增大. 这个平移过程是有限制的, 因为该直线必须始终与灰色表示的可行域保持接触. 当等值线移动到恰好经过顶点 时, 它达到了在满足约束条件下的最远位置. 如果再向上平移丝毫, 它将与可行域完全分离. 因此, 可行域中的顶点 就是使目标函数值达到最大的点.

这个几何过程揭示了线性规划问题的一个根本性质, 并为我们提供了下一节将要介绍的更普适的代数解法的理论基础.

线性规划基本定理

图解法提供了强大的几何直观, 但对于高维度问题或精度要求高的场景, 我们需要一种更普适的代数方法. 该方法的理论基础是下面的定理.

线性规划基本定理

如果一个线性规划问题存在最优解, 那么最优解一定可以在其可行域的某个顶点处取得. 若存在多个最优解, 则它们至少覆盖可行域的一条边, 因而其端点 (顶点) 同样是最优解.

证明

我们考察目标函数 所代表的平行直线族 . 由于可行域 是一个闭凸集, 函数 上的取值必然存在一个最大值和一个最小值. 设取得最大值的等值线为 . 至少有一个公共点. 若此公共点位于 的内部, 则我们总可以将 再微小平移一点而不离开 , 从而得到一个更大的 值, 这与 是最大值矛盾. 因此, 最优解必须出现在 的边界上. 若 的交集是边界上的一点, 则该点必为顶点. 若 的交集是边界上的一条边, 那么这条边上的所有点都是最优解, 这自然也包括了该边的两个顶点. 综上, 必有顶点是最优解.

基本定理将一个可能包含无穷多个解的搜索问题, 简化为对有限个顶点的考察. 这引出了顶点检验法:

  1. 找出可行域的所有顶点. 每个顶点都是两条或多条边界直线方程的交点, 可通过解方程组得到.
  2. 计算目标函数在每个顶点的值.
  3. 比较这些值, 其中最大者即为问题的最大值, 最小者即为最小值.

对于引例, 我们已通过图解法确定了四个顶点: . 代入目标函数 进行检验:

比较可知, 最大值为 , 在顶点 处取得. 这与图解法的结果一致.

求目标函数 在下列约束条件下

的最大值.

我们首先需要确定由该线性不等式组定义的可行域. 该区域是一个位于第一象限的闭合凸多边形. 接着, 我们通过求解边界直线的交点来找出其所有顶点. \begin{figure}[htbp]

TikZ 图 210
TikZ 图 210

\end{figure} 图:例1的可行域

可行域的顶点由边界线的交点确定:

  • 顶点 : 的交点, .
  • 顶点 : 的交点, 解得 .
  • 顶点 : 的交点, 解得 .
  • 顶点 : 的交点. 联立方程组
故交点为 $B(2,4)$.

根据线性规划基本定理, 最大值必在这些顶点之一处取得. 我们将各顶点坐标代入目标函数 进行检验: \begin{table}[h!]

顶点坐标 目标函数值

\end{table} 比较上表中的目标函数值, 我们发现最大值为 , 它在顶点 处取得.

求目标函数 在约束条件

下的最大值.

同样地, 我们首先确定可行域的顶点. 该可行域是一个三角形. \begin{figure}[htbp]

TikZ 图 211
TikZ 图 211

\end{figure} 图:例2的可行域

顶点由以下边界线的交点构成:

  • 顶点 : 的交点, .

  • 顶点 : 的交点, 解得 .

  • 顶点 : 的交点, 解得 .

    我们将这些顶点代入目标函数 中: \begin{table}[h!]

顶点坐标 目标函数值

\end{table} 观察结果, 我们发现最大值 同时在两个顶点 处取得.

这种情况的出现并非偶然. 我们注意到目标函数 可以改写为 . 其等值线的斜率为 . 可行域的一条边界线 的斜率同样为 . 这意味着目标函数的等值线与可行域的边界 平行. 当等值线平移至与线段 重合时, 整个线段上的所有点都将成为最优解. 因此, 该线性规划问题的最大值为 , 且最优解为线段 上的任意一点.

在某些问题中, 决策变量必须取整数, 这类问题称为整数线性规划. 虽然其通用解法远比标准线性规划复杂, 但在二维平面上, 若可行域有界, 我们有时可以结合几何方法进行求解. 其中一类特殊问题是计算可行域内的整点 (格点) 总数.

在笛卡尔坐标平面上, 求满足不等式组

的整点 的个数.

再解决此问题之前,我们先介绍一个引理.

皮克定理

对于一个顶点均为整点的简单多边形, 其面积 与其内部的整点数 、边界上的整点数 之间满足如下关系:

证明

我们将通过一个循序渐进的构造性证明来验证此定理. 核心思想是证明表达式 (其中 代表一个多边形) 具有与面积 相同的可加性. 若此性质得证, 我们只需在一个基本图形上验证公式的成立, 便可将其推广至任意简单多边形.

考虑两个顶点为整点的简单多边形 , 它们共享一条公共边 , 并且它们的并 也是一个简单多边形. 设公共边 上共有 个整点 (包含两个端点).

对于合并后的多边形 , 其面积显然是可加的: . 我们来考察其内部整点数 和边界整点数 .

  • 内部整点: 的内部整点由 的内部整点, 的内部整点, 以及公共边 上不含端点的 个整点构成.
  • 边界整点: 的边界由 的边界除去公共边 (但不含端点) 后拼接而成. 的边界上有 个点, 的边界上有 个点. 公共边 上的 个点对于 均是边界点, 但对于 而言, 其中 个变为内部点, 2个端点仍为边界点. 因此, 的边界点数是 边界点数之和, 减去被计入两次的公共边上的点, 再将被转化为内部点的 个点排除在外. 更简洁地看, 的边界长度是 边界长度之和减去两倍的 的长度.

我们计算 :

这完美地证明了 具有与面积 完全相同的可加性.

既然 都是可加的, 那么我们只需证明对于某个基本图形 , 有 成立. 任何其他可以通过拼接这些基本图形得到的多边形, 其定理的正确性将由可加性来保证. 我们选择一个边与坐标轴平行的矩形 作为基本图形, 其顶点为 . 令其边长为整数 .

  • 面积: .

  • 边界整点数: .

  • 内部整点数: .

    我们来计算 :

我们看到 . 定理对所有与坐标轴平行的整点矩形都成立.

任何一个顶点为整点的简单多边形, 都可以被三角剖分, 即分解为有限个顶点同为整点的三角形的并. 同时, 任何一个顶点为整点的三角形, 都可以通过一个外接的、边与坐标轴平行的矩形, 减去其角上至多三个顶点为整点的直角三角形得到. 由于我们已经证明了 的可加性, 并且在矩形上验证了 , 这也意味着 对那些直角三角形也成立. 既然矩形和直角三角形这些基本构造块都满足皮克定理, 那么由它们通过加减运算构成的任意三角形也必然满足. 最后, 既然任意三角形都满足皮克定理, 那么由这些三角形拼接而成的任意简单多边形也必然满足此定理. 证明完毕.

此问题要求我们对一个由线性不等式定义的凸多边形区域内的整点进行计数. 直接枚举的方法虽然可行, 但过程繁琐. 一个更为深刻且结构优雅的途径是运用几何与数论的联系.

我们首先需要精确地刻画该不等式组所定义的可行域. 该区域是由三条直线 , 以及 所围成的封闭区域. 通过联立方程组, 我们可以确定这个区域的顶点.

  • 直线 的交点为 .

  • 直线 的交点为 .

  • 直线 的交点为 .

    该可行域是一个以 为顶点的三角形. 关键在于, 所有顶点均为整点, 这一特性为我们应用皮克定理提供了理想的条件. \begin{figure}[htbp]

TikZ 图 212
TikZ 图 212
{Triangle OAB}}

\end{figure} 图:由不等式组定义的可行域 \texorpdfstring{

皮克定理指出, 对于一个顶点均为整点的简单多边形, 其面积 与其内部的整点数 、边界上的整点数 之间满足如下关系:

我们的目标是求总整点数 . 借助皮克定理, 我们可以将 表示为 , 从而得到总整点数的计算公式:

接下来的任务便是分别计算该三角形的面积 与其边界上的整点数 .

对于顶点为 的三角形, 其面积可由鞋带公式给出:

面积计算完毕后, 我们转向边界整点数 的计算. 连接两个整点 的线段上, 其包含的整点个数 (含端点) 为 , 其中 表示最大公约数.

  • 边 OA (从 ): 整点数为 .

  • 边 OB (从 ): 整点数为 .

  • 边 AB (从 ): 整点数为 .

    边界上的总整点数 是三条边上的整点数之和, 并减去被重复计算的三个顶点:

, 我们已具备所有要素, 可以得出最终的整点总数. 将 代入公式:

因此, 满足给定不等式组的整点共有 个.

补集计数法

本题亦可通过一种直接的解析方法,补集计数法来求解. 其核心思想是, 首先计算一个包含目标区域且易于计数的更大区域内的整点总数, 然后减去该区域内不满足原始约束条件的点的数量.

我们首先考虑一个由 以及 所定义的闭合大三角形区域, 记作 . 这个区域包含了我们所求的所有整点. 为了对 内的整点 进行计数, 我们可以遍历所有可能的整数 值. 当 (其中 是一个从 的整数), 必须满足 . 因此, 对于每一个固定的整数 , 对应的整数 的个数为 . 将所有可能的 值对应的 的个数相加, 便得到区域 内的整点总数 :

这是一个首项为 , 末项为 , 共 项的等差数列. 其和为

接着, 我们需要从这个总数中排除那些不满足原不等式组中另外两个条件的点. 令 内不满足 的整点集合, 即满足 的点集. 令 内不满足 的整点集合, 即满足 的点集. 我们所求的整点数 就等于 .

此处我们注意到一个深刻的对称性. 考虑坐标变换 , 这个变换在几何上是关于直线 的对称. 该变换将大三角形区域 映射到其自身. 对于 中的一个点 , 它满足 . 经过变换后, 其像为 , 满足 , 即 . 这意味着 中的点一一映射到了 中. 因此, 这两个区域的整点个数必然相等: . 我们的问题便简化为计算 的值, 然后从总数中减去它的两倍.

我们来计算 . 区域 由不等式组 定义. 由于 均为整数, 不等式 等价于 . 我们对 进行遍历. 对于一个固定的整数 , 变量 必须满足 . 为了保证这个区间至少包含一个整数, 必须有 , 这导出 , 即 . 因此, 整数 的取值范围是 . 对于每一个这样的 , 对应的整数 的个数为 . 将所有可能的 值对应的 的个数相加, 便得到 :

这是一个首项为 , 末项为 , 共有 项的等差数列. 其和为

最后, 我们将计算结果代入总数公式:

通过补集计数的方法, 我们同样得到, 满足给定不等式组的整点共有 个.

在由方程 确定的曲线所围成的图形中的个数有 \begin{multicols}{4}

[label=\Alph*.]

  1. 3
  2. 2
  3. 1
  4. 0

\end{multicols}

此问题的核心在于识别由方程 所定义的几何图形, 并判断给定点与该图形的位置关系. 该方程描述的是一个区域的边界, 而区域内部及边界上的点 则满足不等式

为了清晰地揭示其几何形态, 我们可以引入一个坐标平移变换. 令 . 在新的 坐标系中, 不等式转化为

这是一个标准形式, 它表示一个以新坐标系原点为中心, 顶点分别位于坐标轴上 的正方形区域. 将这个几何图形变换回原始的 坐标系, 我们可知该区域是一个以点 为对称中心, 顶点为 的旋转正方形. \begin{figure}[htbp]

TikZ 图 213
TikZ 图 213
{|x-1|+|y-1| \<= 1} 定义的区域及相关点}

\end{figure} 图:由 \texorpdfstring{

接着, 我们通过代数方法精确检验每个点的位置:

  • 对于点 :
由于 $0 \le 1$, 点 $P$ 位于该区域内, 且为其对称中心.
  • 对于点 :
由于 $2 \> 1$, 点 $Q$ 位于该区域之外.
  • 对于点 :
由于 $3 \> 1$, 点 $R$ 同样位于该区域之外.

综上所述, 仅有点 满足条件, 因此在图形中的点的个数为 . 正确的选项为C.

坐标平面内区域 的面积可用函数 表示, 若 , 则 是多少.

此问题要求我们分析一个由参数 定义的线性不等式组所确定的平面区域, 并根据其面积反求参数的值. 这是一个典型的解析几何与函数思想结合的问题.

首先, 我们将不等式组转化为边界直线的形式, 以便确定可行域的几何形状.

该可行域是由这三条直线围成的一个三角形区域. 为了计算其面积, 我们需要确定其三个顶点的坐标. 这些顶点是边界直线两两相交的交点.

我们通过联立方程组来求解顶点坐标:

  • 顶点 是直线 的交点:
故顶点 $A$ 的坐标为 $(0,1)$. 此顶点的位置不随参数 $k$ 的变化而改变.
  • 顶点 是直线 的交点:
代入得 $y=x+1=\frac{2}{k-1}+1 = \frac{k+1}{k-1}$. 故顶点 $B$ 的坐标为 $\left(\frac{2}{k-1}, \frac{k+1}{k-1}\right)$.
  • 顶点 是直线 的交点:
代入得 $y=-x+1=-\frac{2}{k+1}+1 = \frac{k-1}{k+1}$. 故顶点 $C$ 的坐标为 $\left(\frac{2}{k+1}, \frac{k-1}{k+1}\right)$.

\begin{figure}[htbp]

TikZ 图 214
TikZ 图 214
{k=0.5} 为例)}

\end{figure} 图:可行域示意图 (以 \texorpdfstring{

接着, 我们计算该三角形的面积 . 一种有效的方法是选择一条边作为底, 计算对应的高. 我们选择线段 作为底边, 它位于直线 上. 底边 的长度的平方为:

由于 , . 因此 . 三角形的高 是顶点 到直线 的距离:

因此, 面积函数 为:

根据题意, . 我们建立关于 的方程:

解此方程, 我们得到 , 即 , 化简得 . 因此 , 解得 .

考虑到参数 的取值范围是 , 我们舍去负值解. 最终得到 .

对于每个自然数 , 抛物线 轴交于 两点, 以 表示该两点的距离, 则 的值是 \begin{multicols}{4}

[label=\Alph*.]

\end{multicols}

此问题考察了二次函数与 轴交点距离的计算, 并将其与级数求和, 特别是裂项相消法, 巧妙地结合在一起.

对于给定的自然数 , 抛物线 轴的交点 的横坐标是二次方程

的两个实数根. 设这两个根为 . 根据韦达定理, 我们有

两交点之间的距离 即为两根之差的绝对值 . 我们可以利用根与系数的关系来计算这个距离:

将韦达定理的结果代入上式:

由于 是自然数, , 故 , 分母开方后无需加绝对值.

注意到 , 于是我们得到了距离的简洁表达式:

这是一个可以进行裂项分解的结构. 我们将其分解为部分分式:

现在, 我们的任务是计算这个级数的和. 这是一个典型的裂项相消.

观察到, 除首项和末项外, 所有中间项都相互抵消. 因此, 和为

故正确选项为 B.

若当点 为圆 上任一点时, 不等式 恒成立, 则 的取值范围是?

此问题要求我们寻找参数 的范围, 使得一个线性不等式在一个圆域上恒成立. 这是一个典型的线性规划思想在解析几何中的应用.

题目所给的条件是, 对于满足方程 的任意实数对 , 不等式 均成立. 我们可以将此不等式变形为 . 此不等式恒成立, 意味着 的值必须大于或等于表达式 在圆上的所有可能取值. 换言之, 必须大于或等于 的最大值.

的最大值, 等价于求 的最小值.

我们将此问题置于几何框架中进行考察. 目标函数 -坐标平面上代表了一族斜率为 的平行直线. 我们需要寻找当这条直线与圆 有公共点时, 所能取到的最小值. 该圆的圆心为 , 半径为 . 当直线 与圆相切时, 目标函数 会取得其最大值或最小值. 相切的条件是圆心到直线的距离等于半径.

解此方程, 我们得到 , 从而 . 这给出了 的两个临界值: . 显然, 在圆上的最小值为 .

\begin{figure}[htbp]

TikZ 图 215
TikZ 图 215
{z=m+n} 的几何解释}

\end{figure} 图:目标函数 \texorpdfstring{

我们已经确定 的最小值为 . 因此, 的最大值为 . 要使不等式 恒成立, 必须大于或等于 的最大值. 所以, . 的取值范围是 .

已知坐标平面内有曲线 的方程为 .

\item[(1)] 当 在什么范围内时, 由曲线 上的所有点都位于不等式 所表示的图形之中 (这里 ), 并求出此范围; \item[(2)] 当 时, 求满足曲线 的方程的点 的取值范围, 并用图形表示.

(1) 我们首先分析曲线 的方程. 该方程可改写为

时, 此方程表示一个中心在原点的椭圆, 其在 轴和 轴上的半轴长分别为 .

不等式 表示一个以原点为中心、半径为 的闭圆盘. 要使椭圆上的所有点都位于该圆盘内, 椭圆的半长轴必须不大于圆的半径. 换言之, 椭圆上任意点到原点的距离的最大值不能超过 . 这个最大距离就是椭圆的半长轴长度. 因此, 我们必须满足条件:

这等价于同时满足以下两个不等式:

化简得到

我们现在在给定区间 内求解这两个不等式.

  • 对于 : 在 上, , 故不等式为 . 解得 .

  • 对于 : 这意味着 . \begin{itemize}

  • 上, 的解为 .

  • 上, 的解为 .

    因此, 的解集为 . \end{itemize} 为了使两个条件同时成立, 我们需要取上述两个解集的交集:

所以, 的取值范围是 .

(2) 当 在开区间 内变化时, 我们需要确定所有满足方程 的点 所构成的区域.

取区间的两个端点时, 我们得到两个边界椭圆:

  • , . 曲线趋近于 , 即 .

  • , . 曲线趋近于 , 即 .

    对于任意一个固定的点 , 方程 可以看作是关于变量 的线性方程: , 即 . 当 时, . 因此, 点 属于所求区域的充要条件是, 存在 使得 .

    这等价于数值 严格地位于 时的两个值之间. 这两个值分别是 . 所以, 点 所在的区域由以下复合不等式定义:

整理后即

该区域是位于椭圆 之间的部分, 不包括边界.

图形表示在下一页: \begin{figure}

TikZ 图 216
TikZ 图 216
{(x,y)} 的取值范围 (阴影部分, 不含边界)}

\end{figure} 图:点 \texorpdfstring{

饮食问题与计划经济等有趣的应用问题

线性规划的真正力量在于其作为一种思维框架, 能够将纷繁复杂的现实世界问题, 提炼为结构清晰的数学模型. 这一从具体问题到抽象模型的转化过程, 被称为数学建模, 它是应用数学的核心技能. 其关键在于准确地识别出决策变量, 目标函数和约束条件.

我们将通过一个经典的饮食问题 来完整地展示这一过程. 这是一个典型的成本最小化问题.

营养膳食的成本优化

一位营养师需要为一位运动员设计一份最低成本的早餐食谱, 该食谱必须满足特定的营养需求. 早餐由燕麦和牛奶两种食物构成.

  • 营养信息与成本: \begin{itemize}

  • 克燕麦: 含蛋白质 克, 维生素C 毫克. 成本为 元.

  • 毫升牛奶: 含蛋白质 克, 维生素C 毫克. 成本为 元.

    \item 营养需求: 早餐必须至少提供 克的蛋白质和 毫克的维生素C. \end{itemize} 问: 应该如何搭配燕麦和牛奶的份量, 才能在满足营养需求的前提下, 使得总成本最低?

我们遵循数学建模的步骤来构建并求解此问题.

我们需要决定的量是两种食物的份量. 设购买燕麦 个单位 (每单位 克), 牛奶 个单位 (每单位 毫升). 显然, .

我们的目标是最小化总成本 . 根据单价, 目标函数为:

食谱必须满足两种营养素的最低需求.

  • 蛋白质约束: 燕麦提供的蛋白质加上牛奶提供的蛋白质, 必须不少于 克.
  • 维生素C约束: 燕麦提供的维生素C加上牛奶提供的维生素C, 必须不少于 毫克.

综上, 完整的线性规划模型为:

我们使用顶点检验法. 首先确定可行域. 与之前的例子不同, 这是一个向右上方无限延伸的无界区域. \begin{figure}[htbp]

TikZ 图 217
TikZ 图 217

\end{figure} 图:饮食问题的无界可行域

可行域的顶点由边界线的交点构成:

  • 顶点 : 的交点, 解得 .

  • 顶点 : 的交点, 解得 .

  • 顶点 : 的交点. 两式相减得 . 代入第二式, . 故 .

    即使可行域无界, 线性规划基本定理的一个推论告诉我们: 如果最优解存在, 它也必然在顶点处取得. 我们可以检验目标函数 的等值线 . 当我们希望最小化 时, 相当于在图中寻找截距最小 (即最靠下方) 的、且与可行域有交点的等值线. 几何直观显示, 这条线必定会首先触碰到可行域的某个“角落”, 即顶点.

    我们将顶点坐标代入目标函数: \begin{table}

顶点坐标 成本

\end{table} 比较可知, 最小成本为 元, 在顶点 处取得.

因此, 最优的膳食搭配方案是购买 个单位 (即 克) 的燕麦和 个单位 (即 毫升) 的牛奶.

接下来,我们来探讨一个很有趣的问题,当然,我们有必要先理解不同经济体系是如何影响优化目标的. 在市场经济中, 企业通常以利润最大化成本最小化为目标. 而在计划经济 体系中, 经济决策由中央计划机构 (如国家计划委员会) 做出, 资源并非通过市场价格机制来配置, 而是依据国家层面的宏观战略目标进行指令性分配.

因此, 计划经济下的优化目标函数并非利润, 而可能是一个衡量国家战略优先级的综合指数计划产值. 例如, 在优先发展重工业的时期,

钢材的“价值”权重可能远高于消费品; 在致力于农业机械化时, 拖拉机的权重则会最高. 线性规划作为一种数学工具, 其普适性正体现在此: 无论目标是利润还是战略价值, 其底层的优化逻辑是相通的.

重工业与农业的平衡发展

一个地区的计划委员会需要为下一个五年计划周期制定核心产品的生产指标. 该地区主要利用电力、劳动力和铁矿石这三种资源, 生产两种关键产品: 钢材 (重工业基础) 和拖拉机 (支援农业).

  • 可用资源总量: \begin{itemize}

  • 电力: 万千瓦时

  • 熟练劳动力: 万工时

    \item 生产消耗 (以“万吨”为单位的钢材和“万台”为单位的拖拉机):

  • 生产 万吨钢材 () 需要: 万千瓦时电力, 万工时劳动力.

  • 生产 万台拖拉机 () 需要: 万千瓦时电力, 万工时劳动力.

    \item 内部结构与最低任务约束:

  • 内部消耗: 每生产 万台拖拉机, 需要消耗 万吨钢材作为原材料.

  • 最低保障: 为满足基本建设和农业需求, 必须保证钢材产量至少为 万吨, 拖拉机产量至少为 万台.

    \item 国家优先指数: 根据国家“以农促工, 工农并举”的战略方针, 每单位钢材的优先指数计为 分, 每单位拖拉机的优先指数计为 分. \end{itemize} 问: 应如何规划钢材和拖拉机的产量, 才能使该地区的总国家优先指数最高?

这是一个典型的、具有多重及内部关联约束的线性规划问题. 我们将严格按照数学建模的步骤来构建和求解.

设钢材的计划产量为 万吨, 拖拉机的计划产量为 万台. 目标是最大化国家优先指数 , 其目标函数为:

决策变量 必须满足一系列约束条件.

  • 资源约束:
  • 内部消耗约束: 用于生产拖拉机的钢材 () 不能超过钢材的总产量 ().
  • 最低任务约束:

我们获得了完整的线性规划模型. 接着, 通过顶点检验法求解. 首先确定可行域的顶点. \begin{figure}[htbp]

TikZ 图 218
TikZ 图 218

\end{figure} 图:计划经济问题的可行域

可行域的顶点由边界线的交点构成:

  • 顶点 : 的交点. 检验: . 故 是一个顶点.

  • 顶点 : 的交点. . 故 .

  • 顶点 : 的交点. 联立求解得 . 故 .

    (我们需验证其他交点是否构成可行域. 例如 的交点也是 , 表明三条约束线在此交于一点. 的交点为 , 即顶点 . 故可行域确实为三角形 .)

    最后, 将顶点代入目标函数 进行检验: \begin{table}[h!]

顶点坐标 优先指数

\end{table} 比较可知, 最大的国家优先指数为 , 在顶点 处取得.

因此, 计划委员会应下达生产 万吨钢材和 万台拖拉机的指标. 在此计划下, 电力消耗为 , 达到上限. 劳动力消耗为 , 达到上限. 内部钢材消耗为 , 与钢材产量相等. 此解表明, 最优策略是将所有可用资源全部投入生产, 直到电力和劳动力同时耗尽, 并且生产的钢材恰好全部用于制造拖拉机, 没有剩余. 这是一个资源被完全有效利用的理想状态.

假设你是国家计划委员会的规划专家, 需要为某一年的生产制定核心指标. 你的决策将围绕三个关键部门: 钢铁、机械制造 (以机床为代表) 和农业 (以粮食为代表).

  • 决策变量: \begin{itemize}

  • 钢材年产量: (万吨)

  • 机床年产量: (万台)

  • 粮食年产量: (百万吨)

    \item 可用资源约束:

  • 国家投资总额: 亿元. 生产1万吨钢材需投资亿元; 1万台机床需投资亿元; 1百万吨粮食需投资亿元.

  • 技术工人总工时: 万工时. 生产1万吨钢材需万工时; 1万台机床需万工时; 粮食生产主要依赖普通劳力, 对技术工人需求极小, 忽略不计.

    \item 内部结构与社会需求约束:

  • 钢材内部消耗: 每制造1万台机床, 需消耗万吨钢材. 剩余的钢材才能用于其他建设.

  • 粮食基本需求: 工业部门 (钢铁, 机床) 的工人需要粮食来维持生产. 假设每生产1万吨钢材或1万台机床, 需要消耗百万吨粮食. 此外, 国家必须保证至少百万吨的粮食储备与民用.

  • 最低工业指标: 作为工业化的基础, 钢材产量至少为万吨, 机床产量至少为万台.

    \item 国家战略价值函数: 根据优先发展重工业, 特别是装备制造业的国策, 经测算, 每单位产出的战略价值为: 钢材分, 机床分, 粮食分. \end{itemize} 问: 应如何制定 的年度生产计划, 使得国家战略价值总分最高?

这是一个三维线性规划问题, 其复杂性与真实性远超二维平面. 我们首先系统地构建其数学模型.

目标函数是最大化国家战略价值 :

约束条件如下:

  1. 投资约束:
  2. 技术工人约束:
  3. 钢材内部平衡: (此为隐性约束, 净钢材为 , 必须非负)
  4. 粮食需求约束:
  5. 最低指标约束:

由于存在三个变量, 我们无法直接使用二维图解法. 然而, 我们可以分析约束条件的特性来简化问题. 注意到粮食需求约束 是一个下界. 而在目标函数 中, 的价值系数 (2) 远低于 (5) 和 (12). 在一个追求最大化价值的系统中, 任何超出最低需求的资源都应被投入到价值更高的部门. 因此, 生产恰好满足需求的粮食, 而将节约下来的投资和劳动力用于生产钢材和机床, 是最优策略. 这一经济学直觉告诉我们, 最优解很可能出现在粮食约束的边界上.

我们假设最优解在 这条边界上取得. 将此关系代入投资约束和目标函数, 即可将三维问题转化为二维问题.

代入目标函数:

最大化 等价于最大化有效目标函数 .

代入投资约束:

现在, 我们得到了一个关于 的二维线性规划问题:

我们通过顶点检验法求解.

  • 顶点 : 的交点, .

  • 顶点 : 的交点, . .

  • 顶点 : 的交点. 解方程组得 .

  • 顶点 : (即 ) 的交点. . . .

  • 顶点 : 的交点, , 但不满足 , 舍去.

    (需检验各顶点是否满足所有约束, 经检验 A,B,C,D 均在可行域内).

    将顶点代入有效目标函数 : \begin{table}[h!]

顶点

\end{table}

最大有效值为 , 在顶点 处取得. 此时, 钢材产量 万吨, 机床产量 万台. 代入求得粮食产量:

最终的战略价值总分为:

(这与 的结果一致, 验证了计算的正确性).

因此, 最优的年度生产计划是: 生产钢材 万吨, 机床 万台, 粮食 百万吨. 这个解反映了计划经济的内在逻辑: 在满足所有基本约束后, 资源被优先配置给战略价值最高的部门 (机床), 直到其生产受到资本和劳动力的双重制约, 从而达到全局最优.

金融领域的投资组合优化

金融学的核心议题之一是在不确定性中做出最优决策. 对任何投资者而言, 这都归结于一场在回报风险 之间的永恒博弈. 通常, 潜在回报越高的资产, 其价格波动的风险也越大. 一个纯粹追求最高回报的策略可能会导致无法承受的亏损, 而一个完全回避风险的策略则可能使资产价值停滞不前.

现代投资组合理论, 由诺贝尔奖得主哈里·马科维茨 奠基, 为解决这一难题提供了科学的框架. 其核心思想是, 通过分散化 投资于多种不完全相关的资产, 可以在不牺牲预期回报的前提下降低整个投资组合的风险. 理论上, 存在一系列被称为“有效前沿”的投资组合, 它们在给定风险水平下提供了最高的回报.

虽然完整的马科维茨模型因其对风险 (通常用方差衡量) 的处理而属于二次规划的范畴, 但线性规划为解决这类问题提供了一个极其强大且易于理解的入门工具和近似方法. 在许多现实场景中, 风险可以通过一系列线性的规则和约束来有效控制, 从而将问题转化为一个标准的线性规划模型.

在线性规划的视角下, 投资组合优化的任务被清晰地解构为:

  • 决策变量: 决定投入到每一种金融资产 (如股票, 债券, 房地产等) 的资金数额 .
  • 目标函数: 通常是最大化整个投资组合的总预期回报, 即 , 其中 是资产 的预期回报率.
  • 约束条件: 这部分是模型的关键, 它将所有现实世界的限制和投资者的偏好转化为数学语言. \begin{itemize}
  • 预算约束: .
  • 风险控制约束: 对高风险资产类别的投资上限, 如 .
  • 分散化约束: 对单一资产或行业的最低或最高投资比例, 如 , 或 .
  • 监管与合规约束: 法律或基金章程规定的其他任何线性限制.

\end{itemize} 通过这种方式, 线性规划将投资者的主观目标 (高回报) 和客观限制 (预算, 风险) 转化为一个精确的数学问题, 并提供了一个保证找到最优解的系统性方法. 它使得在成千上万种可能的资金分配方案中, 寻找到那个唯一的最优解成为可能.

风险与回报的权衡

一位基金经理负责管理一笔总额为 万元的资金. 她的目标是在遵守基金的投资章程的前提下, 将这笔资金分配给两种类型的股票: “高增长科技股”和“蓝筹公用事业股”, 以期获得最大的年度预期回报.

  • 投资标的与预期回报: \begin{itemize}

  • 高增长科技股 (T): 风险较高, 预期年回报率为 .

  • 蓝筹公用事业股 (U): 风险较低, 预期年回报率为 .

    \item 基金投资章程约束:

  • 总预算: 投入两种股票的总金额不得超过 万元.

  • 风险敞口限制: 对高风险的科技股, 投资额不得超过 万元.

  • 稳健性要求: 为保证投资组合的稳定性, 对公用事业股的投资额不得低于 万元.

    \end{itemize} 问: 基金经理应如何分配资金, 才能使总的预期年回报最大化?

这是一个典型的投资组合优化问题, 我们可以通过线性规划进行建模求解.

\paragraph{数学建模} 设投入高增长科技股的资金为 万元, 投入蓝筹公用事业股的资金为 万元. 目标是最大化总预期回报 (单位: 万元), 其目标函数为:

此决策必须满足基金章程规定的所有约束条件:

  1. 预算约束:
  2. 风险敞口约束:
  3. 稳健性约束:
  4. 非负约束: .

\paragraph{求解} 我们通过顶点检验法求解. 首先绘制由上述不等式组定义的可行域. \begin{figure}[htbp]

TikZ 图 219
TikZ 图 219

\end{figure} 图:投资组合问题的可行域

可行域是一个四边形, 其顶点由边界线的交点构成:

  • 顶点 : 的交点. 故 .

  • 顶点 : 的交点. 故 .

  • 顶点 : 的交点, 解得 . 故 .

  • 顶点 : 的交点, 解得 . 故 .

    根据线性规划基本定理, 最大回报必在这些顶点之一处取得. 我们将各顶点坐标代入目标函数 进行检验: \begin{table}[h!]

顶点坐标 预期回报

\end{table}

比较上表中的回报值, 我们发现最大值为 万元, 它在顶点 处取得.

因此, 最优的投资策略是: 将 万元投入高增长科技股, 将 万元投入蓝筹公用事业股. 这个解的经济学含义是, 为了追求最高回报, 基金经理应该将高风险资产的头寸加到规则允许的上限 (), 然后将剩余的资金全部投入到稳健资产中, 直到用尽全部预算.

构建固定收益投资组合

一家保险公司的资产管理部门需要将一笔 万元的资金投资于一个由国债和企业债构成的固定收益投资组合. 目标是在满足严格的风险和流动性要求下, 最大化年度利息总收入.

  • 投资标的: \begin{itemize}

  • A类资产 (政府主权债券 - 国债): 预期年收益率 , 风险评级为 (极低风险).

  • B类资产 (高收益企业债券 - 企业债): 预期年收益率 , 风险评级为 (中等风险).

    \item 投资规定与风控要求:

  • 总预算: 总投资额不超过 万元.

  • 平均风险控制: 整个投资组合的加权平均风险评级不得超过 .

  • 流动性要求: 出于流动性考虑, 投资于国债的资金必须至少占总投资额的 .

    \end{itemize} 问: 应如何配置国债和企业债的投资金额, 才能使年度利息收入最大化?

此问题要求我们在多重财务约束下, 寻找最优的资产配置方案. 我们将此问题构建为一个线性规划模型.

\paragraph{数学建模} 设投资于国债的金额为 万元, 投资于企业债的金额为 万元. 目标是最大化年度利息总收入 (单位: 万元), 其目标函数为:

投资决策必须满足下列约束条件:

  1. 预算约束:
  2. 平均风险约束: 投资组合的加权平均风险评级由 给出.
  1. 流动性约束:
  2. 非负约束: .

\paragraph{求解} 我们通过顶点检验法求解. 首先确定可行域. \begin{figure}[htbp]

TikZ 图 220
TikZ 图 220

\end{figure} 图:债券投资组合问题的可行域

可行域是一个由原点和另外两个顶点构成的三角形. 它的顶点由以下边界线的交点确定: (注意到 是一个比 更宽松的约束, 因此可行域的边界由 , 决定).

  • 顶点 : 原点 .

  • 顶点 : 的交点. 故 .

  • 顶点 : 的交点. 联立求解, , 则 . 故 .

    (需检验顶点 是否满足所有约束. , 满足流动性约束. 故 是有效顶点).

    我们将顶点代入目标函数 进行检验: \begin{table}[h!]

顶点坐标 利息收入

\end{table}

比较结果, 最大利息收入为 万元, 在顶点 处取得.

因此, 最优的资产配置方案是: 投资 万元于国债, 投资 万元于企业债. 此解的金融学含义是, 在满足预算的前提下, 决策的核心在于风险控制. 投资者应将尽可能多的资金投入到高收益的企业债中, 直到组合的平均风险达到规定的上限 (). 此时, 任何进一步增加企业债投资的行为都将违反风险规定. 这个点定义了在给定风险偏好下的最优回报.

二次曲线

{/* label: sec:ch12-s05 */}

直线与圆是代数上由一阶和特定二阶方程定义的几何图形. 一个自然而深刻的推广是考察由一般二阶多项式方程所定义的曲线. 这些曲线, 统称为二次曲线, 构成了欧几里得平面几何中最为重要和优美的一族图形, 它们在物理学, 天文学和工程学中扮演着核心角色, 从行星的运行轨道到光学仪器的设计, 无不体现着它们的根本重要性.

二次曲线的一般理论

在笛卡尔坐标系中, 任意二次曲线都可以由一个二元二次方程的一般形式来描述.

二次曲线的代数定义

平面上一条二次曲线是所有满足方程

的点 的集合, 其中系数 均为实数, 且 不全为零.

这个单一的方程蕴含着惊人的多样性. 根据系数的不同, 它可以表示椭圆 (包括圆), 抛物线, 或双曲线. 同时, 它也包含了一些退化情况, 例如一个点, 一条直线, 两条相交或平行的直线, 甚至没有图形.

这些曲线之所以被统称为圆锥曲线, 是因为它们都可以通过一个平面去截一个圆锥面得到, 这一几何观点揭示了它们之间深刻的内在联系.

一般方程中的 项, 称为交叉项, 它的存在意味着曲线的对称轴相对于坐标轴发生了旋转. 而 线性项的存在则意味着曲线的中心 (或顶点) 发生了平移. 解析几何的一个核心技巧就是通过坐标变换 (旋转和平移), 选取一个“恰当”的坐标系, 使得在该坐标系下曲线的方程不含交叉项和某些线性项. 这种简化后的方程形式被称为标准方程, 它能最清晰地揭示曲线的几何属性.

一个自然的问题是: 如何从代数方程的系数直接判断曲线的类型, 而无需进行复杂的坐标变换? 答案隐藏在一个不随坐标旋转而改变的量, 即不变量之中.

考虑将原始的 坐标系逆时针旋转一个角度 , 得到新的 坐标系. 坐标变换关系为:

将此变换代入二次曲线的一般方程 , 经过繁琐但直接的代数展开后, 我们会得到一个新的关于 的二次方程 . 我们的目标是选择一个合适的旋转角 , 使得新方程中的交叉项系数 为零. 新的交叉项系数 的表达式为:

, 我们得到 , 这意味着

对于任意的 , 这个方程总是有解的. 这表明我们总能找到一个旋转角 来消除交叉项, 使得新方程的形式简化为 .

在此新坐标系下, 曲线的类型由系数 的符号决定:

  • 同号 (即 ), 曲线为椭圆类型.
  • 中有一个为零 (即 ), 曲线为抛物线类型.
  • 异号 (即 ), 曲线为双曲线类型.

尽管我们可以计算出 的具体表达式, 但一个更为深刻和简洁的方法是寻找一个在坐标旋转下保持不变的量. 通过直接计算可以证明, 表达式 就是这样一个不变量, 即

由于我们选择的 使得 , 上述不变量关系简化为:

这个等式建立了原始方程的系数与旋转后方程系数之间的直接桥梁, 从而使我们能够直接判断曲线类型:

  • , 则 , 意味着 . 同号, 曲线为椭圆类型 (当 时为圆).
  • , 则 , 意味着 . 必有一个为零, 曲线为抛物线类型.
  • , 则 , 意味着 . 异号, 曲线为双曲线类型.

我们称 为二次曲线的判别式. 它的符号不依赖于坐标系的选择, 而是内禀地反映了曲线的几何本质. 我们的研究将从逐一分析这些曲线的标准方程开始.

椭圆

椭圆的几何定义

我们首先从一个纯粹的几何构造出发, 这个构造不依赖于任何坐标系, 捕捉了椭圆最本质的特征.

椭圆

平面内到两个定点 的距离之和等于一个常数 (该常数必须大于两定点之间的距离) 的所有点 的轨迹, 称为椭圆. 这两个定点 称为椭圆的焦点.

这个定义可以直观地通过“拉绳法”来理解: 将一根长度固定的绳子的两端固定在两个图钉上 (), 用笔尖 () 将绳子拉紧并移动, 笔尖所经过的轨迹就是一个椭圆. \begin{figure}[htbp]

TikZ 图 221
TikZ 图 221

\end{figure} 图:椭圆的焦点定义

椭圆的标准方程

为了将上述几何定义转化为代数方程, 我们需要建立一个坐标系. 最能简化计算的坐标系选择是: 将 轴置于两焦点所在的直线上, 并将原点置于线段 的中点. 设两焦点之间的距离为 (), 则 . 设点 到两焦点的距离之和为常数 . 根据三角形两边之和大于第三边的原理, 必须有 , 即 . 设 的坐标为 . 根据定义, 我们有

利用两点间距离公式, 将其写为坐标形式:

这是一个含有两个根式的方程. 我们的目标是通过代数运算消除根式. 首先, 将其中一个根式移到等式右侧:

对等式两边同时平方:

展开并化简. 注意到 项在两侧被消去:

两边同除以 , 并整理得到:

为了消除最后的根式, 我们再次对等式两边进行平方:

注意到 项在两侧也被消去. 我们将含有变量的项移到一边, 常数项移到另一边:

由于我们已经假设 , 故 是一个正数. 这个量在椭圆的几何结构中具有重要意义. 我们定义一个新常数 :

将此式代入, 方程变为:

最后, 用 除以方程两边 (由于 , , 故 ), 我们便得到了椭圆的标准方程:

若焦点位于 轴上, 即 , 遵循同样的推导, 可得标准方程为 . 通常我们约定 代表半长轴, 故 总是成立.

椭圆的几何性质

椭圆的标准方程 以一种极为凝练的形式编码了其全部的几何信息.

  • 对称性: 由于方程中 均以平方形式出现, 将 替换为 方程均不变. 这表明椭圆是关于 轴, 轴以及原点中心对称的图形.
  • 范围: 从方程可知 . 这意味着 . 椭圆是一个有界图形, 它完全包含在由直线 构成的矩形内部.
  • 顶点: 椭圆与对称轴的交点称为顶点. 它们是 .
  • : 连接顶点 的线段称为长轴, 其长度为 . 连接顶点 的线段称为短轴, 其长度为 . 分别被称为半长轴长半短轴长.
  • 焦点与轴长的关系: 我们定义的 可以改写为 . 这个关系在几何上体现为一个以半长轴长 为斜边, 半短轴长 和焦距 为直角边的直角三角形.

\begin{figure}[htbp]

TikZ 图 222
TikZ 图 222

{a^2=b^2+c^2}} \end{figure} 图:椭圆的标准方程几何要素, 其中 \texorpdfstring{

为椭圆 的右焦点, 为过原点的弦, 则 面积的最大值为 \begin{multicols}{4}

[label=\Alph*.]

  1. 20
  2. 15
  3. 12

\end{multicols}

此问题要求解一个以焦点为顶点, 以中心弦为底边的三角形的面积最大值. 其解法深刻地依赖于对椭圆基本参数的几何理解.

首先, 我们从椭圆方程 中提取其几何参数: 半长轴 , 半短轴 . 半焦距 . 由于 是右焦点, 其坐标为 .

设弦 是过原点的一条直线. 设其与椭圆的交点为 . 由于直线过原点, 椭圆关于原点中心对称, 因此点 和点 必然也关于原点对称, 即 .

我们来计算 的面积. 我们可以将这个三角形看作是由 拼接而成. 这两个小三角形共享底边 . 底边长为 . 的高是点 轴的距离, 即 . 的高是点 轴的距离, 即 .

因此, 的总面积 为:

\begin{figure}[htbp]

TikZ 图 223
TikZ 图 223

\end{figure} 图:焦点-中心弦三角形面积的构成

要使面积 最大化, 我们需要最大化点 的纵坐标的绝对值 . 对于椭圆 上的任意一点, 其坐标满足 . 的最大值在短轴顶点处取得, 即当 时, .

因此, 当弦 恰好是椭圆的短轴时, 取得最大值 . 此时 的面积也达到最大值.

代入本题的数值, 我们得到:

故正确选项为 D.

这个例题的解法揭示了一个具有普遍性的结论, 我们可以将其总结为一个定理.

焦点-中心弦三角形面积

对于中心在原点的椭圆 , 由一个焦点 和一条过原点的弦 构成的三角形 , 其面积 的取值范围为:

  • 当弦 为短轴时, 面积取得最大值 .
  • 当弦 趋近于长轴时 (此时三角形退化为线段), 面积趋近于最小值 .
证明

设椭圆的方程为 , 其右焦点为 . 设过原点的弦 由直线 确定, 与椭圆的两个交点. 由于椭圆关于原点中心对称, 若 的坐标为 , 则 的坐标必为 .

我们来计算三角形 的面积 . 我们可以选择线段 轴上的投影作为“底”, 焦点 轴的距离作为“高”. 更严谨地, 我们可以将 的面积视为两个共底边的小三角形 的面积之和.

以线段 所在的 轴为基准.

  • 的底边为 , 其高为点 轴的距离, 即 . 因此, .

  • 的底边也为 , 其高为点 轴的距离, 即 . 由于 , 我们有 . 因此, .

    将两者相加, 得到 的总面积:

这个关系式表明, 三角形的面积 与弦的端点 的纵坐标的绝对值成正比. 因此, 寻求面积 的最大值, 等价于寻求 在椭圆上的最大值.

对于椭圆 上的任意一点 , 其坐标必须满足方程. 从方程中我们可以推断出 的取值范围:

因此, 椭圆上任意一点的纵坐标的绝对值 的最大值为 . 这个最大值在 时取得, 此时的点为椭圆的短轴顶点 .

的最大值代入面积公式, 我们得到面积的最大值:

这种情况发生在点 时, 此时弦 正是椭圆的短轴.

我们再来考察面积的最小值. 的最小值为 , 这发生在点 为长轴顶点 时. 此时弦 为椭圆的长轴. 在这种情况下, 三个点 共线, 三角形退化为一条线段, 其面积为 . 对于任意非退化的三角形, 弦 不能是长轴, 故 , 从而 . 面积可以随着弦 任意地接近长轴而趋近于 .

综上所述, 三角形面积 的取值范围为 . 证毕.

在椭圆 上取三点, 其横坐标满足 . 三点与某一个焦点连结的线段长分别为 , 则 满足 \begin{multicols}{4}

[label=\Alph*.]

  1. 以上结论全不对

\end{multicols}

此问题的核心在于利用椭圆的焦半径公式, 将关于焦半径长度 的关系, 转化为关于对应点横坐标 的关系.

设这三点为 , , . 设它们与右焦点 相连. (选择左焦点 会得到相同的结论). 根据我们之前证明的焦半径公式, 椭圆上一点 到右焦点 的距离为

其中 是椭圆的离心率.

我们将此公式应用于给定的三点:

这是一个焦半径长度 与横坐标 之间的一阶线性关系. 我们可以利用这个关系来探究 之间的代数结构.

题目给出的条件是三点的横坐标构成一个等差数列, 即 . 我们来考察焦半径 是否也构成等差数列. 计算 :

将条件 代入上式:

注意到 正是 的表达式. 因此, 我们得到:

这个关系表明, 焦半径 也构成一个等差数列.

\begin{figure}[htbp]

TikZ 图 224
TikZ 图 224

\end{figure} 图:横坐标成等差数列的点的焦半径

(若选择左焦点 , 焦半径公式为 . 同样地, . 结论不变.)

因此, 正确的选项为 A. 这个结论揭示了椭圆的一个深刻性质: 焦半径的长度是其端点横坐标的线性函数. 这一性质直接导致了等差数列的结构可以在横坐标与焦半径之间传递.

椭圆的参数方程

虽然椭圆的标准方程 简洁地描述了曲线上点的坐标 必须满足的代数关系, 但它提供的是一种静态的描述. 在许多物理和工程问题中, 我们更倾向于将曲线视为一个质点运动的轨迹. 这就需要一种能够动态生成曲线上所有点的方式, 即用一个独立的变量 (通常代表时间或角度) 来表示每个坐标. 这便是参数方程的核心思想.

为了构建椭圆的参数方程, 我们观察其标准方程的形式:

这个结构与三角学中最基本的恒等式 惊人地相似. 这种形式上的类比启发我们进行一次巧妙的变量代换. 我们可以令:

由此, 我们直接得到了椭圆的参数方程:

当参数 变化到 时, 点 恰好沿着椭圆逆时针运行一周.

一个至关重要的问题是: 参数 的几何意义是什么? 一个常见的误解是认为 是点 的位置向量与 轴正向的夹角 (即极角). 事实上并非如此. 的几何意义,即离心角,需要通过一个辅助几何构造来揭示.

我们引入椭圆的长轴辅助圆, 这是一个与椭圆同中心, 半径等于椭圆半长轴长 的圆. 其方程为 . \begin{figure}[htbp]

TikZ 图 225
TikZ 图 225

{t} (离心角) 的几何意义} \end{figure} 图:参数 \texorpdfstring{

如图所示, 离心角 的构造如下:

  1. 从椭圆上任意一点 向长轴 (即 轴) 作垂线, 垂足为 .
  2. 延长 (或缩短) 线段 交长轴辅助圆于点 .
  3. 则有向角 (其中 为原点) 的大小就是参数 .

从这个构造中我们可以验证参数方程的正确性. 点 位于半径为 的圆上, 且其极角为 , 因此其坐标为 . 由于点 与点 在同一条垂线上, 它们的横坐标相同, 故 . 将此 代入椭圆的标准方程 :

由此可得 . 结合点 的位置关系 (同在 轴上方或下方), 可知 . 这一几何构造不仅直观地解释了离心角 的含义, 也为我们提供了一个从圆到椭圆的几何变换视角: **椭圆可以看作是将其长轴辅助圆沿短轴方向均匀压缩 (或拉伸) 倍得到的图形}.

这个动态的、可生成的参数表示法在计算椭圆的切线、面积、弧长以及在物理学中描述椭圆轨道运动时, 都显示出其独特的优越性.

设椭圆 轴正向的交点为 . 求以 为直角顶点的椭圆内接等腰直角三角形的个数.

此问题要求我们探究在椭圆中嵌入特定几何构造的可能性, 其解的个数并非一个固定的整数, 而是依赖于椭圆的形状参数---离心率. 这要求我们从代数方程解的存在性入手, 进行分类讨论.

椭圆与 轴正向的交点为短轴顶点 . 设所求的等腰直角三角形为 , 其中 为椭圆上另外两点. 我们不预先假设 的朝向, 而是采用一种更具普遍性的方法.

设从 点出发的一条腰 所在的射线, 其方向向量与 轴正向夹角为 . 为简化计算, 我们设其方向向量为 . 另一条与之垂直的腰 的方向向量则为 , 以保证两条射线均朝向椭圆内部.

射线 的参数方程为 . 将其代入椭圆方程 :

展开并整理, 可得关于 的二次方程:

此方程的非零解即为 的长度:

同理, 对于射线 , 其参数方程为 . 代入椭圆方程可得 的长度:

施加“等腰”条件, 即 :

交叉相乘并整理:

假设 , 两边同除以 :

, 我们得到一个关于 的三次方程:

注意到 是该方程的一个根, 因为 . 因此, 我们可以分解因式:

三角形的个数取决于该方程实数根的个数. 一个根是 , 这对应于 , 此时两腰对称于 轴, 底边 水平. 这种三角形总是存在一个.

其他可能的解源于二次方程 . 我们考察该二次方程的判别式 :

利用 , 即 , 判别式化为:

由于 , 的符号由 决定. 我们将此条件转化为关于离心率 的不等式:

接着, 我们进行分类讨论:

  1. **当 }, 即 , . 此时二次方程有两个不相等的实数根 . 注意到 不是该二次方程的根 (代入得 , 除非). 因此, 总共有三个不同的实数根 . 每个根对应一个 值, 从而对应一个唯一的等腰直角三角形. 故此时共有 3 个这样的三角形.
  2. **当 }, 即 , . 此时二次方程有一个重根 . 这意味着三次方程有三重根 . 因此只存在一个 的解. 故此时只有 1 个这样的三角形.
  3. **当 }, 即 , . 此时二次方程没有实数根. 三次方程唯一的实数根是 . 故此时也只有 1 个这样的三角形.

综上所述, 椭圆内接等腰直角三角形的个数取决于其离心率 :

  • , 存在 3 个.
  • , 存在 1 个.

椭圆的切线方程

我们现在来推导经过椭圆上一点的切线方程. 这是一个将微分思想与代数技巧相结合的经典范例. 考虑标准椭圆 . 为了求得曲线上任意一点 的切线斜率, 我们对方程两边关于 进行隐式微分:

由此, 我们可以解出切线的斜率 :

在点 处, 切线的斜率为 . 利用直线的点斜式方程 , 我们得到:

为了将其化为更简洁对称的形式, 我们对上式两边同乘 :

将含有变量的项移到一边:

注意到方程的右侧, 由于点 在椭圆上, 其坐标满足椭圆方程, 即 . 将此式两边同乘 , 得到 . 将此结果代入切线方程, 我们得到:

最后, 两边同除以 , 便得到了椭圆切线方程极为优美的标准形式:

这个形式具有深刻的“替换”对称性: 将椭圆标准方程中的一个 和一个 替换为切点的坐标 .

若切点由参数方程给出, , 我们只需将 代入上式, 即可得到切线方程的参数形式:

证明自椭圆的两焦点向其任任意切线所作垂线段长的乘积为定值.

证明

这是一个揭示椭圆深刻几何性质的经典定理. 参数方程在此问题的证明中展现了其强大的威力. 我们考虑中心在原点, 焦点在 轴上的椭圆 . 其焦点为 . 利用参数方程, 椭圆上任意一点 可表示为 . 根据我们刚刚导出的结论, 过此点的切线方程为:

为了使用点到直线的距离公式, 我们将其改写为一般形式:

\begin{figure}[htbp]

TikZ 图 226
TikZ 图 226

\end{figure} 图:焦点到切线的垂线段

设两焦点到该切线的距离分别为 . 根据点到直线的距离公式:

我们现在计算这两个距离的乘积 . 分子和分母分别相乘:

我们对分子和分母分别进行化简. 对于分子:

对于分母:

将化简后的结果代回原式:

注意到, 由于 , 必然有 , 因此表达式 恒为正. 故绝对值符号可以去掉.

此结果 (半短轴长的平方) 是一个不依赖于切点位置 (即参数 ) 的常数. 证毕.

椭圆的光学与声学性质

二次曲线的几何特性不仅在纯粹数学中展现出和谐与优美, 更在物理世界中扮演着至关重要的角色. 椭圆最引人入胜的性质之一便是其独特的反射特性, 这一性质是自然界和人类工程学中众多现象与设计的理论基石.

椭圆的反射性质

从椭圆的一个焦点发出的任何射线 (如光线或声波), 经过椭圆内壁的一次反射后, 其反射射线必将精确地汇聚于另一个焦点.

证明

根据物理学中的反射定律, 入射角等于反射角. 在几何上, 这等价于证明: 在椭圆上任意一点 处的切线, 是两条焦半径 所构成的角的外角平分线. 一个更便于向量分析的等价命题是: 该点处的法线是 的内角平分线.

设椭圆方程为 , 焦点为 . 取椭圆上任意一点 .

\begin{figure}[htbp]

TikZ 图 227
TikZ 图 227
{alpha_i} 等于反射角 \texorpdfstring{$\alpha_r$}{alpha_r}}

\end{figure} 图:椭圆的反射性质: 入射角 \texorpdfstring{

要证明法线平分 , 我们采用向量法, 证明法向量与向量 的夹角相等. 过点 的切线方程为 . 因此, 该切线的一个法向量为 .

向量 . 在计算夹角之前, 我们首先需要建立一个至关重要的结论.

焦半径公式

对于椭圆上一点 , 其到两焦点的距离为

其中 $e=\frac{c}{a}$ 是离心率.

我们直接计算 :

由于 在椭圆上, , 且 , 故 . 因此 . 根据椭圆的定义 , 可得 .

现在我们计算法向量 与焦半径向量 的夹角 的余弦值.

由于 , 且两个向量夹角均在 范围内, 故 . 这证明了法线确实平分 . 根据反射定律, 这意味着从 发出、经由点 反射的光线, 其路径与向量 共线, 即必将朝向另一个焦点 . 证毕.

证明(平面几何法)

我们的策略是证明: 对于椭圆上任意一点 , 其两条焦半径 对切线张开的角度是相等的.

为椭圆在点 处的切线. 根据凸曲线的性质, 切线 与椭圆仅有唯一的公共点 , 且整个椭圆位于 的一侧. 我们的核心构造如下: 延长焦半径 至点 , 使得 .

\begin{figure}[htbp]

TikZ 图 228
TikZ 图 228

\end{figure} 图:椭圆反射性质的几何证明

根据椭圆的定义, . 由我们的构造, . 这意味着, 对于固定的焦点 , 点 的轨迹是一个以 为圆心, 半径为 的圆.

现在, 我们来考察 . 由于 , 这是一个以 为顶点的等腰三角形.

我们的目标是证明切线 平分外角 . 在等腰三角形 中, 顶点角 的平分线, 必然是底边 的垂直平分线. 因此, 我们的任务转化为证明: 切线 是线段 的垂直平分线.

我们采用反证法. 假设切线 不是 的垂直平分线. 那么, 设 的垂直平分线. 由于 是等腰三角形, 必然经过顶点 .

现在取 上异于 的任意一点 . 由于 的中垂线, 我们有 . 我们来计算点 的焦半径之和:

中, 根据三角形两边之和大于第三边的公理, 我们有

而已知 , 故

这个不等式表明, 直线 上除了点 之外的任何点 都在椭圆的外部. 根据切线的定义, 这条直线 就是椭圆在点 处的切线. 因此, .

我们已经证明了椭圆在点 处的切线 就是线段 的垂直平分线. 作为 的中垂线, 上的任意一点到 的距离都相等. 这也意味着 . 由于 (其中 的反向延长线) 是对顶角, 它们相等. 因此, , 这在光学上意味着入射光线 的延长线与反射光线 关于法线对称. 也就是说, 从 出发的光线经反射后必经过 . 证毕.

已知椭圆 中的两焦点 , 由点 射出一光线至椭圆上一点 , 经反射后经过另一焦点 后至椭圆上另一点 , 再反射回到焦点 , 则所经过的路径长度为何?

此问题完美地展示了椭圆的反射性质与其基本定义的结合. 问题的核心在于将光线的路径分解, 并利用椭圆的几何性质进行计算.

首先, 我们从椭圆的方程 中确定其关键参数. 这是一个标准形式的椭圆, 其中 , 因此半长轴长 . (我们可以验证焦距 , 与题设焦点坐标相符).

光线所经过的总路径由三个部分构成:

  1. , 长度为 .
  2. 反射, 经过 , 到达 . 根据椭圆的反射性质, 从 反射的光线必将经过 , 因此 三点共线. 这一段路径的长度为 .
  3. 反射, 回到 . 这一段路径的长度为 .

\begin{figure}[htbp]

TikZ 图 229
TikZ 图 229

\end{figure} 图:光线在椭圆内的反射路径

因此, 总的路径长度 为:

替换为其分段之和:

我们重新组合上式中的各项, 以便利用椭圆的定义.

注意到:

  • 是椭圆上的一点. 根据椭圆的定义, 该点到两焦点的距离之和为常数 .
  • 同样, 点 也是椭圆上的一点, 故其到两焦点的距离之和也为常数 .

将这两个结论代回总路径长度的表达式:

这是一个不依赖于反射点 具体位置的定值.

对于本题中的椭圆, 我们已经确定 . 因此, 总路径长度为:

椭圆的导演圆

椭圆的反射性质揭示了其焦点与单一切线之间的深刻联系. 一个自然而然的推广问题是: 当我们考虑从同一个点出发的两条切线时, 它们的几何关系又会呈现出怎样的规律? 18世纪的法国数学家加斯帕尔·蒙日深入研究了这一问题, 并发现了一个令人惊叹的结论, 其轨迹被称为导演圆蒙日圆.

椭圆的导演圆

与椭圆 相切的两条相互垂直的切线的交点的轨迹, 是一个与椭圆同中心的圆, 其方程为:

证明

此证明是解析几何中一个运用代数技巧解决轨迹问题的典范. 核心思想是通过建立一个关于切线斜率的二次方程, 并利用根与系数的关系来施加“相互垂直”这一几何约束.

是所求轨迹上的任意一点. 从点 出发可以引出两条与椭圆相切的直线. 设其中一条切线的方程为

我们首先需要建立直线 与椭圆相切的条件. 将直线方程代入椭圆方程并整理成关于 的二次方程:

直线与椭圆相切, 意味着此二次方程有唯一解, 即其判别式 为零:

化简可得 , 最终得到一个普适的切线条件:

对于我们设定的过点 的切线 , 其截距 . 将此代入切线条件:

展开并整理成一个关于斜率 的二次方程:

这个方程的两个根 正是从点 引出的两条切线的斜率.

根据题意, 这两条切线是相互垂直的. 这意味着它们的斜率之积为 :

根据韦达定理, 二次方程根的乘积等于常数项除以二次项系数:

于是, 我们得到一个关于点 坐标的方程:

整理得到

这就是交点 的轨迹方程. 它表示一个以原点为中心, 半径为 的圆. 证毕.

\begin{figure}[htbp]

TikZ 图 230
TikZ 图 230

\end{figure} 图:椭圆 (蓝色) 及其导演圆 (红色)

离心率

在确定了椭圆的三个基本几何量 之后, 我们不禁要问: 是什么决定了椭圆的形状? 一个椭圆可以接近圆形, 也可以极为扁长. 我们需要一个独立于其尺寸大小, 能够纯粹描述其形状的参数.

为了回答这个问题, 我们必须回归到椭圆最本原的构造. 椭圆的诞生源于两个核心要素: 焦点间距 和常数和 . 参数 只是 关系 () 的一个派生结果. 因此, 椭圆的形状必然蕴含在 的相对关系之中. 一个自然的、能够消除尺寸影响的度量方法, 就是考察这两个基本长度的比值. 这便引出了离心率的定义.

离心率

椭圆的半焦距 与半长轴长 的比值称为椭圆的离心率, 记作 .

“离心率” 一词的字面含义是“偏离中心”. 这个比值精确地量化了焦点 偏离椭圆中心的程度, 并且是相对于椭圆的整体尺寸 () 而言的.

我们来考察其极限情况, 以此揭示其深刻的几何内涵:

  • : 这意味着 . 从几何上看, 两个焦点 不断靠近, 最终在中心 处重合. 此时, 椭圆的定义 就退化为 , 即 . 这正是半径为 的圆的定义. 在代数上, 意味着 , 即 , 椭圆的长短轴相等. 因此, 圆可以被视为离心率为 的一种特殊的、完美的椭圆.
  • : 这意味着 . 此时 , 即 . 椭圆的短轴长度趋近于零, 整个图形在竖直方向上被“压扁”, 极限情况下退化为连接两个焦点 (此时也与顶点重合) 的线段. 离心率越接近 , 椭圆就越扁长.

这一观察结果极具启发性: 离心率 (其取值范围为 ) 如同一根“刻度尺”, 完美地度量了椭圆从“最圆” (圆, ) 到“最扁” (线段, ) 的全部形态.

一个更深刻且统一的视角, 来自于圆锥曲线的另一个等价定义, 它揭示了离心率是所有二次曲线共有的“基因”.

圆锥曲线的统一焦点-准线定义

平面内到一个定点 (焦点) 的距离与到一条定直线 (准线, 不在 上) 的距离之比为常数 的点的轨迹, 是一条圆锥曲线. 这个常数 就是该曲线的离心率.

  • 时, 轨迹是椭圆.
  • 时, 轨迹是抛物线.
  • 时, 轨迹是双曲线.

\begin{figure}[htbp]

TikZ 图 231
TikZ 图 231

\end{figure} 图:椭圆的焦点-准线定义

可以证明, 对于椭圆, 这个统一定义中的常数 与我们之前定义的比值 是完全相同的. 准线的位置为 . 这个统一定义的意义是很重要的,它告诉我们, 椭圆、抛物线和双曲线并非三种孤立的曲线, 而是同一个几何法则 () 在参数 取不同值域时的具体表现.

求椭圆 的离心率.

此为求解离心率最基本的问题. 我们首先需要将给定的椭圆方程转化为其标准形式, 以便清晰地识别出其半长轴与半短轴的长度. 将方程 两边同除以 , 得到

化简得

这是一个焦点位于 轴上的椭圆的标准方程 . 通过比较系数, 我们可以确定 . 由此得到半长轴长 , 半短轴长 .

离心率的定义是 , 其中 为半焦距. 这三个量之间由基本关系式 联系. 因此, 我们可以计算出 :

接着, 我们便可求得离心率:

已知椭圆的两个焦点与短轴的一个顶点构成一个顶角为 的等腰三角形, 求该椭圆的离心率.

此问题将离心率的求解与椭圆的内在几何结构联系起来. 我们需要将角度这一几何信息转化为关于 的代数关系. 设椭圆的标准方程为 . 其焦点为 , 短轴顶点为 .

根据题意, 是一个以 为顶点的等腰三角形, 其顶角 . 轴 (即直线 ) 是该等腰三角形的对称轴, 因此它平分顶角.

接着, 我们考察直角三角形 . 在此三角形中, 我们有

代入角度值, 我们得到一个关于 的关系:

为了求得离心率 , 我们需要引入 . 利用基本关系式 :

由此可得 . 同时, 将 代入 , 得到 . 整理此式, 我们便可得到 的比值:

因此, 该椭圆的离心率为 .

为椭圆上任意一点, 为其两焦点. 若角 的最大值为 , 求该椭圆的离心率.

此问题将离心率与一个极值问题联系起来. 我们需要首先确定在何种条件下 取得最大值, 然后利用该条件构建方程.

对于椭圆上的任意点 , 焦半径 的和是固定的 , 而底边 的长度是固定的 . 直观上, 当点 距离底边 最远时, 其对底边所张的角 应该最大. 这个最远的位置正是椭圆的短轴顶点.

\begin{figure}[htbp]

TikZ 图 232
TikZ 图 232
{Angle F1PF2} 在短轴顶点处取得最大值}

\end{figure} 图:角 \texorpdfstring{

当点 位于短轴顶点, 例如 时, 是一个等腰三角形. 根据题意, 该角的最大值为 , 这意味着当 点为 时, 是一个等腰直角三角形.

在该三角形中, 腰长为 . 根据椭圆的对称性以及 的几何意义, 我们知道这个腰长等于半长轴长 . 斜边为 .

根据勾股定理, 我们有

代入:

整理此式以得到离心率 :

因此, 离心率 .

一根长度为 的刚性细杆 , 其两端点 分别在 轴和 轴上滑动. 点 是杆上的一点, 满足 , 其中 . 求点 的轨迹方程, 并确定该轨迹的离心率.

此问题是一个经典的轨迹问题, 其解法优美地展示了参数方程在描述几何生成过程中的威力.

我们建立一个合适的坐标系. 设杆 轴正向的夹角为 . 则端点 轴上, 轴上.

\begin{figure}[htbp]

TikZ 图 233
TikZ 图 233

\end{figure} 图:细杆滑动构造椭圆

过点 轴的垂线, 垂足为 ; 作 轴的垂线, 垂足为 . 在直角三角形 中, . 因此

在直角三角形 中, . 因此

我们得到了点 轨迹的参数方程:

这是一个标准的椭圆参数方程. 为了得到其笛卡尔方程, 我们消去参数 .

利用三角恒等式 , 我们得到

此即点 的轨迹方程, 它确实是一个中心在原点的椭圆.

要确定其离心率, 我们需要区分两种情况, 取决于 的相对大小.

  • : 此时, 半长轴 , 半短轴 . 半焦距 . 离心率为 .

  • : 此时, 半长轴 (位于 轴上), 半短轴 . 半焦距 . 离心率为 .

    综合来看, 离心率取决于点 在杆上的相对位置.

设椭圆 的长轴辅助圆为 . 过椭圆上任意一点 作其切线 . 过 点的竖直线与辅助圆 交于点 (设 均在 轴上方). 过 作圆 的切线 .

  1. 证明: 两条切线 相交于 轴上同一点.
  2. 若由两条切线 以及 轴所围成的三角形面积的最小值等于 , 求椭圆 的离心率 .

(1) 我们采用参数方程来描述点的位置, 这将极大地简化切线方程的表达. 设椭圆上点 的离心角为 , 则其坐标为 . 根据离心角的几何意义, 与 对应的辅助圆上的点 坐标为 .

过点 的椭圆切线 方程为:

过点 的圆 的切线 方程为 (应用圆的切线公式 ):

为了寻找两切线的交点, 我们令 , 分别求它们在 轴上的截距. 对于 : . 对于 : . 由于两条切线在 轴上的截距完全相同, 它们必然相交于 轴上的同一点, 记为 . 证毕.

\begin{figure}[htbp]

TikZ 图 234
TikZ 图 234

\end{figure} 图:两切线与 轴围成的三角形

(2) 所述三角形是由两条切线与 轴围成. 其三个顶点为两条切线在 轴上的截距点, 以及它们在 轴上的公共交点 . 我们首先求出两条切线在 轴上的截距. 对于 , 令 , 得 . 对于 , 令 , 得 .

该区域是一个以 轴部分线段为底, 顶点为 的三角形. 其底边长为 (由于 , ). 其高为点 轴的距离, 即 点的横坐标的绝对值 .

三角形的面积 为:

我们需要求这个面积函数的最小值. 由于分母 的最大值为 (当 , 即 时), 面积 的最小值在此时取得.

根据题设条件, 这个最小值等于 .

由于 , 我们可以将方程两边同除以 :

这个关系唯一地确定了椭圆的形状. 我们接着计算其离心率:

故椭圆 的离心率 .

以正方形 的相对顶点 为焦点的椭圆, 恰过正方形四边的中点, 则椭圆的离心率为( ).

此问题巧妙地将正方形的几何对称性与椭圆的焦点定义结合起来. 为了揭示其内在的数量关系, 我们必须建立一个能充分利用这种对称性的坐标系.

我们选择以正方形的中心为原点, 以焦点所在的对角线 轴建立平面直角坐标系. 设椭圆的半焦距为 , 则焦点坐标为 . 这两个焦点也即是正方形的顶点 . 由于 是正方形的对角线, 其长度为 , 且中心在原点, 我们可以确定另外两个顶点 的坐标为 .

\begin{figure}[htbp]

TikZ 图 235
TikZ 图 235

\end{figure} 图:椭圆与内切正方形

椭圆经过正方形四边的中点. 我们取边 的中点 进行分析. 其坐标为 .

根据椭圆的定义, 点 到两焦点的距离之和等于常数 :

我们分别计算这两个焦半径的长度:

将这些距离代入定义式:

由此, 我们可以直接求得离心率 :

为了得到一个更简洁的形式, 我们对分母进行有理化:

圆锥曲线基本解题策略

从直线与圆锥曲线的位置关系谈起

在前面的几节中,我们已经推导出椭圆、双曲线和抛物线的标准方程以及它们之间的一些有趣的应用,接下来,我们将进入解析几何的核心领域,或者是他最核心的思想:通过代数工具来研究几何对象之间的动态关系. 而在这其中,最基本也是最重要的关系,便是直线与圆锥曲线的位置关系. 我们的任务,就是建立一套系统性的方法,将“相交”、“相切”、“弦长”、“中点”等几何概念,精确地翻译成代数语言.

研究直线与圆锥曲线的位置关系,其代数上的第一步是求解由它们的方程组成的方程组.

设直线 的方程为 , 圆锥曲线 的方程为 . 联立方程组:

通过消元(例如,将 代入 ), 我们通常会得到一个关于变量 (或 ) 的一元二次方程:

这个一元二次方程是连接几何与代数的桥梁,其性质直接反映了直线与曲线的几何关系.

\paragraph{判别式与交点个数} 一元二次方程的实数根的个数决定了直线与圆锥曲线的交点个数. 其判别式 的符号是判断位置关系的核心指标.

  • 方程有两个不等实根 直线与曲线相交于两点.
  • 方程有两个相等实根 直线与曲线相切于一点.
  • 方程无实根 直线与曲线相离,无公共点.

需要注意的是,当直线是双曲线的渐近线的平行线或抛物线的对称轴的平行线时,联立消元后将得到一个一次方程,此时直线与曲线只有一个交点,但这种情况并非相切. 因此, 是相切的充分条件,但在运用时需注意二次项系数不为零.

这个结论完美地展示了解析几何的精髓:将直观的几何概念精确地转化为可计算的代数结构. 但我们必须深入思考:为什么几何图形的“相交”与代数方程的“判别式”之间存在如此必然的、一一对应的关系?这个联系的建立,依赖于一个严密的逻辑链条:

在笛卡尔坐标系中,任何一个几何图形(如直线、椭圆)都可以被看作是一个点的集合,这个集合中的每一个点的坐标 都满足一个特定的代数方程. 一个交点的几何意义是, 这个点同时位于直线上和圆锥曲线上. 将这个几何描述翻译成代数语言就是:这个交点的坐标 必须同时满足直线方程和圆锥曲线方程.

在代数中,寻找同时满足多个方程的解,这个过程被称为解方程组. 因此,寻找几何交点的问题,被完全转化为了求解代数方程组的问题. 这个方程组的实数解的组数,就等于几何图形的交点个数.

为了求解这个包含两个变量的方程组,我们通常使用消元法. 利用较为简单的线性方程来表达一个变量与另一个变量的关系(例如 ), 然后将其代入到二次曲线方程中. 这个代入的过程, 本质上是将问题进行了降维:我们从一个二维平面上的问题(寻找点 ), 转化为了一个一元二次方程 所描述的一维数轴上的问题(寻找满足条件的横坐标 ).

这个一元二次方程的每一个实数根,都对应着一个交点的横坐标. 若方程有两个不等的实数根 , 则对应两个不同的交点;若方程有两个相等的实数根 , 则只对应一个交点;若方程没有实数根, 则意味着在实数范围内, 不存在任何一个 值能满足这个由几何问题转化而来的代数约束,故不存在任何交点. 因此,一元二次方程的实数根的个数,与几何图形的交点个数,在此建立了严格的一一对应关系.

于是,问题最终归结为:如何判断一个一元二次方程 的实数根的个数?这正是判别式 的根本作用. 根据二次方程求根公式 , 的符号决定了根式 是实数还是虚数,从而裁定了实数根的个数.

通过以上五个步骤的严密推理,我们建立了一条从几何到代数的逻辑通路:

\paragraph{韦达定理} 当 时, 我们确知交点存在. 一个自然而然的想法是, 直接解出方程的两个根 , 从而获得交点的确切坐标,再进行后续的几何计算. 这种“求出坐标再计算”的思路,在逻辑上完全可行,但在实践中往往会引导我们进入一条荆棘丛生的代数路径.

让我们审视这个一元二次方程的求根公式:

除非问题经过精心设计,否则根号下的判别式 通常不是一个完全平方数. 这意味着交点的横坐标 将是包含无理数的复杂表达式. 将这样复杂的代数式代入到几何计算中,那确实不是人能算出来的了.

然而,在这些看似繁杂的计算中蕴含着深刻的规律. 例如,在计算弦中点横坐标 时:

我们观察到,那个最棘手的无理部分 在求和过程中竟然相互抵消了. 最终的结果 异常简洁, 并且只与方程的系数 有关. 这强烈地暗示我们:或许根本没有必要去求解根的具体值,我们需要的可能只是根的某些“整体性质”,比如它们的和或积.

法国数学家弗朗索瓦·韦达的工作,正是响应这种需求而生的完美工具. 它揭示了一个深刻的事实:一元二次方程两根的和与积,可以直接由其系数确定,完全无需经过开方运算.

韦达定理

若一元二次方程 的两根为 , 则它们满足以下关系:

韦达定理的引入,催生了解析几何中一种极为重要的数学思想——设而不求. 其核心是:我们可以大胆地设出交点坐标为 , 但我们从不打算真正去解出它们. 我们只是将它们作为逻辑推理的载体, 并将所有需要的几何量, 都想方设法地用交点坐标的对称表达式 来表示.

在解析几何的语境中,韦达定理的意义被极大地放大了. 因为一元二次方程的系数 是由直线参数(如斜率 )和曲线参数(如 )组合而成的. 于是,韦达定理建立起了一条至关重要的逻辑链:

基本几何量的计算

当直线与圆锥曲线相交于两点 时, 线段 称为曲线的一条弦. 其长度 是一个基本的几何量,可以通过韦达定理精确计算.

设直线方程为 . 由两点间距离公式:

可以通过韦达定理表示,完全避免求解根的具体值:

因此,.

弦长公式

若直线 与圆锥曲线交于两点, 且联立消元后得到的关于 的一元二次方程为 , 则弦长为:

若直线方程为 , 联立消元后得到关于 的方程为 , 则弦长为:

此公式将弦长这一几何量,完全用联立后方程的代数系数来表达,是“设而不求”思想的完美体现.

求直线 被抛物线 截得的弦长.

联立直线与抛物线的方程,得到方程组:

消去 , 整理得到关于 的一元二次方程:

此方程的系数为 . 直线的斜率 . 判别式为:

表明直线与抛物线有两个不同的交点. 根据弦长公式,所求弦长为:

求椭圆 的过右焦点 且斜率为 的弦的长度.

对于椭圆 , 有 , 故半焦距 . 其右焦点坐标为 . 过点 且斜率为 的直线方程为:

将其代入椭圆方程并整理:

此方程的判别式为:

应用弦长公式,可得弦长为:

弦中点问题

\paragraph{法一:韦达定理} 设弦 的中点为 . 联立直线与曲线方程得到 . 由中点坐标公式和韦达定理,可得中点横坐标:

中点纵坐标 可通过代入直线方程 求得. 这种方法思路直接,是处理中点问题的基本功.

\paragraph{法二:点差法} 虽然韦达定理法普适,但在某些情况下运算较为繁琐. 点差法为涉及弦中点和弦斜率的问题提供了一种更为简洁和深刻的代数路径. 设弦的端点为 , 中点为 . 以椭圆 为例. 均在椭圆上,故其坐标满足方程:

将两式相减 (此即“点差”之意),并利用平方差公式:

代入中点坐标 与斜率 :

时, 约去 ,整理即得:

此式优美地建立了弦中点坐标 与弦斜率 之间的内在关系,而无需关心直线方程的具体截距.

弦中点斜率关系

对于中心在原点的椭圆与双曲线,其一条斜率为 的弦的中点坐标 满足:

  • 椭圆 : , 即
  • 双曲线 : , 即

已知直线 与双曲线 交于两点, 若两交点所构成弦的中点的横坐标为 , 求实数 的值.

联立直线与双曲线的方程:

整理可得:

设两交点为 , 弦中点为 . 根据韦达定理,. 中点横坐标为:

根据题意,, 故有:

求椭圆 中, 被点 平分的弦所在的直线方程.

此问题可直接应用点差法得到的弦中点斜率关系式. 对于椭圆 , 弦的斜率 与弦的中点 的坐标满足关系:

在本题中,, 中点 , 故 . 代入上述关系式,可得弦的斜率 :

该弦所在的直线经过点 且斜率为 . 由点斜式可得直线方程为:

整理得:

求抛物线 的一组斜率为 的平行弦的中点轨迹方程.

设任意一条斜率为 的弦的两个端点为 . 两点坐标满足抛物线方程:

将两式相减,得:

利用平方差公式进行分解:

由于弦的斜率存在且不为零,故 . 上式可变形为:

设弦的中点为 , 则弦的斜率 , 且中点纵坐标 , 即 . 代入上式,得:

化简得:

此关系式对所有斜率为 的弦的中点均成立. 因此, 这些中点的轨迹是一条平行于 轴的直线, 其方程为 .

\paragraph{点差法的原理与思想} 点差法是一种处理圆锥曲线弦中点问题的独特技巧,其名称已经揭示了其核心操作:将两个满足曲线方程的点的坐标代入方程,然后将所得的两个等式作 .

我们以椭圆 为例, 设弦 的端点为 . 由于这两点均在椭圆上,它们的坐标必然满足椭圆方程:

单独看任何一个方程,我们只能得到关于一个点的信息. 但解析几何的威力在于研究点与点之间的关系. 点差法的关键步骤,即 I-II,正是为了建立这种关系.

作差的直接代数效果是消去了等式右侧的常数项 1,使得等式变为齐次形式,这为因式分解创造了条件. 利用平方差公式,上式可以被分解为:

至此,代数变形完成了它的使命. 下一步是赋予这些代数表达式以几何意义. 我们观察式中出现的四个关键组合项:

  • : 这两项是坐标的差值, 它们的比值 正是弦 的斜率 (当 ).
  • : 这两项是坐标的和, 它们的一半 恰好是弦 的中点 的坐标 .

通过引入弦的斜率 和中点坐标 , 我们便可以将上述纯代数等式转化为一个蕴含丰富几何信息的方程:

约去公因子 (当弦不垂直于 轴), 我们便得到了一个不依赖于端点 具体坐标,而仅联系弦中点与弦斜率的内在关系式:

总结而言,点差法的本质是:

  1. 代数层面:通过作差消去常数项,利用因式分解将二次关系转化为关于坐标和与坐标差的乘积形式.
  2. 几何层面:将代数中的“和”与“差”分别诠释为几何中的“中点”与“斜率”.

它巧妙地绕开了韦达定理法中求解联立方程的繁琐过程,直接揭示了圆锥曲线自身所固有的、关于其任意一族平行弦中点轨迹的几何属性. 这种从“点”的方程到“弦”的性质的推演,是解析几何思想的精髓体现.

至此,我们已经构建了分析直线与圆锥曲线关系的核心代数工具箱. 下一步,我们将探讨如何运用这些工具,形成系统性的解题策略,以应对更加复杂的几何挑战. 这便是解析几何的两大思想门派:设点法与设线法.

设点法

解析几何的核心思想在于将几何问题代数化,通过坐标系建立几何对象与代数方程之间的联系. 设点法是这一思想最直接的体现,它是一种基础但极为重要的解题策略. 当问题涉及的几何关系较为复杂,或需要确定动点的轨迹时,我们通常会主动为研究的关键点赋予坐标变量.

与前述利用韦达定理处理弦问题的“设而不求”思想不同,设点法中的“设”是具体地设定点的坐标,如 . 这么做的目的是将点所满足的几何条件,逐一转化为关于其坐标的代数方程. 这些条件通常包括:

  • 点在已知曲线上:点的坐标 满足该曲线的方程. 这是建立基本关系的第一步.
  • 点与其他点或直线的位置关系:如距离、斜率、中点、对称性等,这些都可以通过相应的公式表示为包含 的等式或不等式.

通过联立这些方程,我们可以解出点的坐标,或者在求解轨迹问题时,消去中间参数 , 最终得到目标动点坐标 所满足的轨迹方程.

\paragraph{基本思路} 设点法的应用遵循一个清晰的逻辑框架:

  1. 设坐标:根据问题情境,设出关键动点的坐标,例如 . 如果需要求解轨迹, 则设目标轨迹上的动点坐标为 .
  2. 列方程:将问题中所有的几何条件翻译成代数语言. 最首要的方程是 在已知曲线上所满足的方程. 其次是 及其他已知点、线之间的关系式.
  3. 代入与消元:这是核心的代数操作步骤. 目标是消去我们作为中间量引入的参数坐标 , 仅保留轨迹点坐标 和题目中的已知常量,从而得到轨迹方程.

已知椭圆 的两个焦点分别为 , 短轴的两个端点是 .

  1. 为等边三角形, 求椭圆 的标准方程.
  2. 若椭圆 的短轴长为 2, 过点 的直线 与椭圆 相交于 两点, 且以 为直径的圆经过点 , 求直线 的方程.

\begin{figure}[htbp]

TikZ 图 236
TikZ 图 236

{PQ} 为直径的圆经过焦点 \texorpdfstring{}{F1} 的几何示意图, 其等价于 \texorpdfstring{}{Vector F1P perp Vector F1Q}.} \end{figure} 图:以 \texorpdfstring{

(1) 由焦点坐标可知,半焦距 . 是以 为底, 为高的等腰三角形. 其底边长为 , 边 . 因为 为等边三角形, 所以 . 故 . 由椭圆的基本关系式 可得:

因此,椭圆 的标准方程为 .

(2) 这是一个典型的几何条件约束下的问题,我们首先应用设点法将核心几何条件代数化.

由题设,短轴长为 , 故 . 半焦距 . 则 . 此时椭圆 的标准方程为:

设直线 与椭圆的交点为 .

核心的几何条件是“以 为直径的圆经过点 ”. 在圆中,直径所对的圆周角为直角. 这一条件的等价代数表示为向量 垂直.

的坐标为 , 故:

将坐标代入数量积的表达式,得到:

此式即为核心几何条件的代数表示. 为了求解它,我们需要建立 之间的关系,这需要联立直线与椭圆方程.

直线 经过点 . 首先讨论直线斜率不存在的情况,此时直线 的方程为 . 代入椭圆方程得 , 解得 . 此时 . . . 故直线 的斜率存在.

设直线 的方程为 . 联立直线与椭圆方程组:

消去 并整理得:

由韦达定理,可得:

回到我们的核心关系式 (I), 将其展开:

其中 可用 表示:

代入展开式,并合并同类项:

现在,将韦达定理的结论代入此式:

方程两边同乘以 :

展开整理:

解得 , 即 .

因此,所求直线 的方程为 . 即 .

面对这道例题的第二问,一个关键的思考节点是:如何处理“以 为直径的圆经过点 ”这一核心几何条件?我们必须找到一种方式,将这个看似复杂的几何描述,转化为我们能够操作的、精确的代数语言.

  1. 几何条件的代数翻译: “以 为直径的圆经过点 ”, 根据圆的几何性质, 其等价的表述是“线段 相互垂直”, 即 . 这一步是将一个关于圆的叙述,转化为了一个关于角和垂直关系的叙述,使其更接近坐标系的语言.

接下来,垂直关系在解析几何中最直接、最有效的代数翻译工具是向量的数量积. 两非零向量垂直的充要条件是它们的数量积为零. 因此,几何条件 被精确地代数化为:

  1. 设点法的必然性: 一旦我们将核心条件转化为向量方程 , “设点”就从一种选择变成了一种必然. 为了计算向量的坐标表示并进而计算它们的数量积, 我们必须为向量的起点和终点赋予坐标. 的坐标是已知的 , 但 的坐标是未知的. 因此, 我们必须主动引入符号来表示它们, 即设 .

没有这一步“设点”操作,向量方程 就无法继续展开,整个解题路径也就此中断. 设点法在这里的作用,是为我们的代数推理提供了必需的坐标变量. 3. 构建解题的完整逻辑链: 设点之后,我们的目标变得非常清晰:求解由 所确定的, 关于直线 的参数(即斜率 )的方程.

此时我们发现,方程中包含了四个变量 , 但它们并非独立的. 它们之间存在着深刻的内在联系:

  • 在椭圆上:它们的坐标满足椭圆方程.

  • 在直线 上:它们的坐标满足直线方程 .

    这两个联系正是我们消除多余变量、最终得到关于 的方程的桥梁. 通过联立直线与椭圆方程, 我们可以得到一个关于 (或 ) 的一元二次方程. 这个方程的两个根恰好是 . 虽然我们不需要求出 的具体值, 但韦达定理为我们提供了它们的和 与积 的表达式.

    最终,我们将 也用 表示, 再将 的韦达定理表达式代入, 便成功地将一个关于四个坐标变量的复杂关系式, 转化为了一个只含单个未知参数 的简单方程.

综上所述,选择设点法并非是随意的,而是由问题的核心几何条件的性质所决定的. 当一个几何条件直接关涉到曲线上动点的具体位置关系(如本题中的垂直关系)时,设点法是将其代数化的最自然、最直接的途径.

如果我们偏要用设线法呢?首先,就会遇到几何条件难以直接用直线参数表达的问题:问题的核心条件是“以 为直径的圆经过点 ”, 即 . 这个条件本质上是关于三个特定点 之间位置关系的描述. 它是一个“点对点”的几何约束. 纯粹的“设线法”威力最大的领域, 是处理那些可以直接与直线整体或联立方程系数相关的几何量. 例如, 若题目条件是“弦长 为定值”, 我们可以直接使用弦长公式 . 在这个公式中, 判别式 和二次项系数 都是直线参数 的函数. 整个条件被完美地转化为了一个关于 的方程,完全无需引入交点坐标.

然而, 这一条件无法被直接、封闭地表示为 的函数. 我们找不到一个像弦长公式那样的“现成工具”,能够直接将这个点积与联立方程的系数联系起来.

接着,还会导致,引入交点坐标成为不可避免的中间步骤:为了将条件 进行代数展开, 我们必须表达出向量 的坐标. 这就迫使我们必须引入交点 的坐标. 换言之, 即便我们以“设线法”开局, 问题的几何本质也决定了我们必须立即转入“设点法”的框架, 将交点坐标作为中间变量来搭桥梁, 用以连接几何条件与直线参数 .

若固守纯粹的“设线法”,试图绕开交点坐标,我们将无法对核心几何条件进行有效的代数处理,解题过程将无法推进.

曲线系方程*

在处理一族具有共同几何性质的曲线(例如,经过共同的交点)时,逐一分析每条曲线的方程是不经济的.曲线系方程的思想,是用一个含参数的方程来统一表示这一整族曲线,从而将问题从“寻找一条特定的曲线”转化为“确定一个参数的值”.这一思想是解析几何中一种高度抽象且极其有力的代数工具.

其理论基础是以下原理:

曲线系原理

设曲线 的方程分别为 .那么, 对于任意实数 , 方程

表示一条经过 所有公共点的曲线.

证明

是曲线 的任意一个公共点. 根据定义, 的坐标必然同时满足 的方程,即:

现在,我们将点 的坐标代入曲线系方程 的左侧:

这表明等式恒成立.因此,点 必定位于方程 所表示的曲线上.由于此结论对所有公共点成立, 故该方程表示的曲线经过 的所有公共点.

这个原理的核心优势在于,处理“过交点”的问题时,可以完全避免求解交点坐标这一繁琐甚至不可能的步骤,直接在代数结构层面解决问题.

\paragraph{共点直线系} 最简单也是最基础的曲线系是共点直线系. 若两直线 相交, 则通过其交点的所有直线的集合(除去 ),可以由直线系方程表示:

此方程是曲线系原理在 均为一次多项式时的直接应用.对于任意 , 该方程均是关于 的一次方程, 故表示一条直线, 且该直线必过 的交点.

我们稍微看一些有趣的应用,大致了解其作用:

求经过两直线 的交点, 且与点 的距离为 的直线方程.

设所求直线属于过 交点的直线系,其方程可设为:

整理为一般式:

利用点 到该直线的距离公式, 距离为

化简分子:

化简分母下的表达式:

代入距离公式并两边平方:

这是一个关于 的一元二次方程.尽管解 仍需计算,但此方法构建了一个清晰的代数框架,在处理更抽象的证明题或参数问题时,其结构性优势会更加凸显.

\paragraph{过圆锥曲线交点的曲线系} 曲线系原理的威力在处理二次曲线时体现得淋漓尽致. 设 是两条圆锥曲线, 则 表示经过它们所有交点的圆锥曲线系.

已知两圆 .

  1. 求经过 交点的直线的方程.
  2. 求经过 交点, 且过点 的圆的方程.

(1) 设经过两圆交点的曲线系方程为:

该方程表示的曲线是一条直线的充要条件是,方程中 的系数为零. 整理方程的二次项部分: . 为使二次项消去,需令 , 即 . 当 时,曲线系方程即为所求直线的方程:

化简得 . 此直线称为两圆的根轴.

(2) 所求圆是过 交点的曲线系中的一员. 将点 的坐标代入曲线系方程, 以确定参数 的值. 对于 部分:. 对于 部分:. 代入曲线系方程得到:

代回曲线系方程:

方程两边同乘以

合并同类项,得到所求圆的方程:

求经过椭圆 与两条直线 的所有四个交点, 并且经过点 的圆锥曲线的方程.

此题若直接求解四个交点坐标,再用待定系数法求曲线方程,计算将极为繁琐.曲线系方法为此类问题提供了极为优雅的解决方案.

我们将两条直线 视为一条退化的二次曲线.其方程为:

此方程表示的图形正是直线 的并集.

现在,问题转化为求经过椭圆 和退化二次曲线 交点的曲线. 根据曲线系原理,设所求曲线的方程为:

此方程表示的曲线族自动满足经过所有四个交点的条件.

为确定参数 , 我们将点 的坐标代入此方程:

代回曲线系方程:

方程两边同乘以

整理得到所求圆锥曲线的方程:

这是一条双曲线.

直线系与圆系

\paragraph{直线系方程} 直线系是具有某种共同几何属性的一族直线的集合.根据属性的不同,其方程有几种标准形式.

  • 共点直线系

    经过两已知相交直线 交点的直线系方程为:

此方程族不包含直线 本身.若需考虑 , 则需采用对称形式 .

一个更基本的形式是经过定点 的直线系,其方程可设为:

其中斜率 为参数.此形式的局限在于无法表示垂直于 轴的直线 .在解题时,通常需要对斜率不存在的情况进行单独讨论.

  • 平行直线系

    与已知直线 平行的一族直线的方程为:

其几何本质是该族直线具有相同的法向量 , 因此斜率均相等.参数 控制了直线与原点的距离.

求与直线 平行, 且与圆 相切的直线方程.

设所求直线属于与 平行的直线系,其方程可设为:

直线与圆相切的几何条件,等价于圆心到直线的距离等于圆的半径. 圆 的圆心为 , 半径 . 圆心 到直线 的距离为:

, 可得:

因此,所求的切线方程有两条:

\paragraph{圆系方程} 与直线系类似,圆系方程是解决涉及两圆交点、切点等问题的强大工具.

  • 过两圆交点的圆系

    设两圆 相交,则经过其交点的圆系方程为:

特别地,当 时, 方程中的二次项 被消去,得到一个一次方程,它表示过两圆公共弦所在的直线,即两圆的根轴.

  • 过圆与直线交点的圆系

    这是上述情形的一个重要特例,可将直线 视为一个半径无限大的“退化圆”.经过圆 与直线 交点的圆系方程为:

  • 相切圆系

    与已知直线 相切于点 的圆系方程, 可以看作是过直线与一个半径为零的“点圆” 交点的圆系.其方程为:

求经过圆 与直线 的交点,且面积最小的圆的方程.

设所求圆属于过圆 与直线 交点的圆系,其方程为:

整理为圆的标准方程形式以确定其圆心与半径:

配方得:

圆的面积 最小, 等价于半径的平方 最小. 令 . 显然,当 时, 取得最小值 . 当 时, 所求圆的方程即为原始圆 的方程 .

此结果具有深刻的几何意义.过圆与直线两交点的所有圆中,以这两交点连线(即公共弦)为直径的圆面积最小. 圆心 的坐标为 . 连接圆心与弦中点的直线垂直于弦. 直线 的斜率为 . 以公共弦为直径的圆,其圆心必在直线 上. 设该圆心为 , 则 . 同时,圆心 也是原圆心 在直线 上的投影与弦中点的连线上的点.

让我们用圆心坐标来验证.圆系方程的圆心坐标为 . 要使面积最小,该圆的直径即为圆 与直线 的公共弦.其圆心即为弦的中点, 该中点必须在直线 上. 将圆心坐标代入直线 的方程

此结果与代数求最值的方法一致. 故面积最小的圆是 .

求与直线 相切于点 , 且过点 的圆的方程.

此问题是相切圆系的经典应用. 切线方程为 , 切点为 . 设所求圆属于与直线 相切于点 的圆系,其方程为:

因为该圆经过点 , 将 的坐标代入圆系方程以确定参数 :

代回圆系方程:

展开并整理:

此即为所求圆的方程.

二次曲线系

我们将曲线系原理的应用从直线和圆推广至一般的二次曲线.其基本形式 描述了经过两条二次曲线 所有(至多四个)交点的一族二次曲线.

其实际应用中最有力的策略,是将其中一条二次曲线“退化”为两条直线.

\paragraph{退化的二次曲线} 一个二次方程 所代表的图形, 并不总是椭圆、双曲线或抛物线.当二次多项式 可以因式分解为两个一次多项式的乘积时,该方程所代表的图形是两条直线的并集. 例如,两条直线 所组成的图形,可以被一个单一的二次方程所描述:

这个方程的解集,正是满足 的所有点的集合.我们称这样的图形为退化的二次曲线.这一概念是理解和构造二次曲线系的关键.

\paragraph{过四点的二次曲线系} 现在,我们考虑一个核心应用场景:求经过一条已知二次曲线 与两条已知直线 的四个交点的曲线. 设 分别是它们的方程.我们可以构造一个退化的二次曲线 .根据曲线系原理,方程

就表示了经过这四个交点的一族二次曲线.

求经过椭圆 与圆 的四个交点,且过原点的二次曲线方程.

设所求二次曲线属于过 交点的曲线系,其方程可设为:

此方程族中的任意一条曲线均自动经过 的所有交点.

该曲线经过原点 , 故将 代入方程以确定参数 .

代回曲线系方程:

为化简方程,两边同乘以 :

合并同类项得到最终方程:

此方程可分解为 , 其几何图形是两条直线 的并集. 这是一个退化的双曲线.

\paragraph{从相交到相切} 曲线系的强大之处不仅在于处理离散的交点,更在于其能够优雅地处理相切这一“重合交点”的极限情形. 在几何上,切线是割线当两个交点无限逼近并重合时的极限位置. 在代数上,这意味着解方程组所得到的二次方程的判别式 , 方程的两个不等实根合并为一个重根.

基于此思想,我们可以推广曲线系来处理相切问题.当两条直线 重合为一条直线 时, 退化二次曲线 就演变成了 . 的几何意义是一条“双重”直线.由此,我们得到处理相切问题的强大曲线系:

此方程描述了一族与二次曲线 在其与直线 的两个交点处有“二重接触”的曲线.若 相交于两点, 则该曲线系中的所有曲线都在这两点与 相切.若 相切, 则该曲线系中的所有曲线都在该切点处与 有更高阶的接触.

\paragraph{单点切触的曲线系} 当我们需要构造一族与某条直线 在某一点 相切的曲线时, 可以运用一个更为精妙的特例.一个与已知直线 相切于已知点 的圆系, 可以由一个在 处的半径为零的“点圆”与该直线 线性组合而成. 点圆的方程为 . 圆系方程即为:

求与抛物线 在顶点 处相切, 且经过点 的圆的方程.

此问题的核心在于将“曲线与曲线相切”的几何条件转化为精确的代数构造.

首先,我们分析相切的几何内涵.若两条曲线在某点相切,则它们在该点有公共的切线. 抛物线 在其顶点 的切线是 轴, 其方程为 . 因此,原问题等价于:求一个经过点 , 且与直线 相切于点 的圆.

这个问题完美地契合了相切圆系的构造思想.

  • 切点为 , 对应的点圆方程为 , 即 .

  • 切线方程为 .

    根据相切圆系的构造原理,所有与直线 相切于点 的圆,其方程均可表示为:

其中 是待定参数.这个方程族中的每一个成员都代表一个满足核心相切条件的圆.

接下来,我们利用第二个条件圆经过点 来从该圆系中确定唯一的成员.将点 的坐标代入圆系方程:

将求得的参数 代回圆系方程,即得所求圆的方程:

此方法将复杂的几何约束(与抛物线相切)提炼为核心的代数结构(相切圆系),再通过一个简单的代入运算确定参数,充分展现了曲线系思想的优越性.

仿射变换*

在处理涉及椭圆的复杂几何问题时,我们常常会发现,尽管基本原理(联立方程、韦达定理)清晰,但往往只能爆算.

其根本原因在于椭圆方程 中两个坐标变量的不对等性.相比之下, 圆的方程 具有完美的对称性,其几何性质(如半径处处相等、垂径定理等)也更为简洁.

这启发我们提出一个深刻的问题:是否存在一种几何变换,能够搭建起从椭圆到圆的桥梁,将复杂的椭圆问题转化到我们熟悉的圆的领域中去解决?如果存在这样的变换,它需要满足什么条件?我们又该如何利用它?

\paragraph{构造伸缩变换} 我们的目标是寻找一个坐标映射 , 它能将椭圆 上的任意一点 , 映射成某个圆 上的点 .

为了使变换尽可能简单,我们希望保持坐标系的基本结构不变.一个自然的想法是,尝试对坐标轴进行独立的伸缩.观察椭圆方程,可以改写为:

我们希望变换后的新坐标 满足一个圆的方程, 例如 . 比较上述两个方程的形式,一个非常自然的对应关系是:

为了进一步简化,我们可以选择一个特定的目标圆.例如,我们可以选择让变换不改变 轴的尺度, 即令 . 此时, 为使方程匹配, 我们必须选择目标圆的半径 . 由 , 我们得到 . 由 , 我们得到 .

至此,我们成功地构造出了一个满足我们需求的坐标变换:

这个变换在几何上,相当于将平面沿 轴方向伸长(当)或压缩(当)了 倍, 而保持 轴方向不变.通过这个变换, 椭圆 被精确地映射到了圆 .

\paragraph{伸缩变换后对几何性质的影响} 我们已经找到了连接椭圆与圆的桥梁,但要真正应用它,还必须考察其他几何对象和几何关系在变换下的表现.

共线性保持

在伸缩变换 下,一条直线被映射为另一条直线.

证明

设原平面内的直线方程为 . 变换的逆关系为 . 将其代入直线方程,得到新坐标系下的方程:

由于 不全为零, 故 也不全为零.此方程是关于 的一次方程,故其像仍为一条直线.

平行性保持

在伸缩变换 下,两条平行的直线被映射为两条仍然平行的直线.

证明

设原平面内两条平行直线为 . 根据定理 1 的证明过程,它们的像分别为 . 由于 的系数对应相等, 仅常数项不同, 故 .

定比分点保持

在伸缩变换 下,线段的定比分点(包括中点)被映射为像线段的对应定比分点.

证明

设线段 的端点为 . 设点 为线段 的一个定比分点, 满足 .

其坐标为 .

各点经变换后的像为 . 计算像线段 上满足 的点 :

可见 的坐标与 完全相同. 当 时,此结论对中点成立.

相切性保持

在伸缩变换 下,若一条直线与一条曲线相切,则它们的像也相互相切.

证明

相切的代数定义是,直线与曲线的方程联立后所得到的一元二次方程有唯一的重根. 变换 是一个一一映射,其逆变换也存在且唯一. 这保证了方程组解的个数在变换前后保持不变. 因此,一个具有唯一重根解的方程组,在变换后得到的方程组也必然有唯一的重根解. 故相切关系得以保持.

需要注意的是,该变换不保持长度和角度. 例如,点 变换为 , 其到原点的距离从 变为 . 两条垂直的直线 变换为 , 它们不再垂直(除非). 因此,所有依赖于长度、距离、垂直关系的计算,必须在逆变换之后,回到原始坐标系中进行.

多边形面积变换

在伸缩变换 下, 一个面积为 的多边形, 被映射为一个面积为 的多边形, 且两面积满足关系 .

证明

我们首先证明此结论对任意三角形成立. 设原平面内一个三角形的顶点为 . 其面积 可由坐标面积公式(鞋带公式)给出:

经变换 后, 像三角形的顶点为 . 其面积 为:

由于 均为正数, 可将因子 提出绝对值符号:

对于任意一个多边形(如四边形),我们总可以将其剖分为有限个不重叠的三角形. 设一个多边形被剖分为 个三角形 . 其总面积 . 经变换后,该多边形的像由 个像三角形 组成. 其总面积 . 根据已证的三角形面积变换关系,我们有 对所有 成立. 因此:

此结论对任意多边形均成立.

基于上述理论,我们形成一套清晰的解题流程:

  1. 变换:识别问题中的椭圆,施加伸缩变换,将其转化为圆. 同时,将问题中所有相关的几何元素(点、线)进行同步变换.
  2. 求解:在变换后的圆中,利用圆的简洁几何性质(对称性、垂径定理等)来解决问题. 这一步通常在代数上或几何上都更为简单.
  3. 逆变:将圆中得到的结论,依据变换的几何不变性(如平行、中点、相切)或确定的变换规律(如面积关系),翻译回原始的椭圆.

求内接于椭圆 的三角形的最大面积.

设椭圆 内接一个 . 我们对其所在平面进行仿射变换 .

在此变换下,椭圆 变为圆 . 内接三角形 变为圆 的内接三角形 .

在变换后的平面中,问题转化为求圆 的内接三角形的最大面积. 我们知道,圆的内接三角形中,以等边三角形的面积为最大. 半径为 的圆的内接等边三角形的面积为:

现在,我们将此结论逆变回原始平面. 根据我们导出的面积变换规律 , 可得 . 因此,椭圆内接三角形的最大面积为:

此方法将复杂的椭圆最值问题,通过一个简单的线性变换,化归为初等的圆的最值问题,过程极为简明.

设直线 与椭圆 交于 两点, 为弦 的中点. 若直线 ( 为坐标原点) 与椭圆交于点 . 证明:椭圆在点 处的切线与直线 平行.

这是一个关于椭圆共轭直径的基本性质,其直接代数证明较为繁琐,但使用仿射变换则直观且深刻.

我们对整个几何图形施行伸缩变换 .

在变换后的平面中: 椭圆变为圆 . 直线 变为直线 . 交点 变为交点 . 根据变换的中点保持性质,弦 的中点 变为弦 的中点 . 原点 保持不变, 直线 变为直线 . 交点 变为交点 . 根据变换的相切保持性质,椭圆在点 处的切线 变为圆在点 处的切线 .

现在,我们在圆的世界中分析这些变换后的几何对象之间的关系. 在圆 中, 是一条弦, 是其中点, 是圆心. 根据圆的垂径定理,连接圆心与弦中点的直线必垂直于该弦. 因此,直线 垂直于直线 .

在直线 上, 故 也是圆的一条半径. 圆在点 处的切线 必然垂直于经过该点的半径 .

综合以上两点,我们得到:

在同一平面内,两条同时垂直于第三条直线的直线必定相互平行. 故 .

最后,我们将此结论逆变回原始平面. 由于仿射变换保持平行性质,若变换后的两条直线 平行, 则它们在变换前的原像直线 也必定平行.

因此,椭圆在点 处的切线与直线 平行. 证毕.

Comments

No comments yet.