跳至主要内容

ch12-解析几何

{/* 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. 逆變:将圓中得到的结論,依据變換的几何不變性(如平行、中点、相切)或确定的變換规律(如面積關係),翻译回原始的椭圓.

求内接于椭圓 的三角形的最大面積.

设椭圓 内接一個 . 我们對其所在平面進行仿射變換 .

在此變換下,椭圓 變為圓 . 内接三角形 變為圓 的内接三角形 .

在變換后的平面中,問題转化為求圓 的内接三角形的最大面積. 我们知道,圓的内接三角形中,以等边三角形的面積為最大. 半径為 的圓的内接等边三角形的面積為:

現在,我们将此结論逆變回原始平面. 根据我们導出的面積變換规律 , 可得 . 因此,椭圓内接三角形的最大面積為:

此方法将複杂的椭圓最值問題,通過一個簡單的線性變換,化归為初等的圓的最值問題,過程極為簡明.

设直線 與椭圓 交于 两点, 為弦 的中点. 若直線 ( 為坐標原点) 與椭圓交于点 . 證明:椭圓在点 处的切線與直線 平行.

這是一個關于椭圓共轭直径的基本性質,其直接代數證明较為繁琐,但使用仿射變換则直观且深刻.

我们對整個几何圖形施行伸缩變換 .

在變換后的平面中: 椭圓變為圓 . 直線 變為直線 . 交点 變為交点 . 根据變換的中点保持性質,弦 的中点 變為弦 的中点 . 原点 保持不變, 直線 變為直線 . 交点 變為交点 . 根据變換的相切保持性質,椭圓在点 处的切線 變為圓在点 处的切線 .

現在,我们在圓的世界中分析這些變換后的几何對象之間的關係. 在圓 中, 是一条弦, 是其中点, 是圓心. 根据圓的垂径定理,连接圓心與弦中点的直線必垂直于该弦. 因此,直線 垂直于直線 .

在直線 上, 故 也是圓的一条半径. 圓在点 处的切線 必然垂直于經過该点的半径 .

綜合以上两点,我们得到:

在同一平面内,两条同时垂直于第三条直線的直線必定相互平行. 故 .

最后,我们将此结論逆變回原始平面. 由于仿射變換保持平行性質,若變換后的两条直線 平行, 则它们在變換前的原像直線 也必定平行.

因此,椭圓在点 处的切線與直線 平行. 證毕.

留言

還沒有留言。