ch18-數學思想浅谈

{/* label: chap:ch18 */}

如何确定數學對象

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

一道數學題，本質上是围绕若干數學對象（如數字、点、直線、函數、數列等）展開的，并通過一係列条件来约束它们.我们的核心目標，就是利用這些条件，将題目中涉及的所有不确定的數學對象完全确定下来.

一旦所有對象都被确定，問題便迎刃而解.例如，一個三角形，若我们确定了其三边长，它便被完全锁定了.此时，无論題目要求其面積、内切圓半径还是某個角的余弦值，我们只需代入相應公式计算即可.

那么，何谓“一個數學對象被完全确定了”？這引出了一個更為根本的概念——自由度.

什么是自由度？

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

一個數學對象可以由若干個独立的实數来刻画.完全确定這個對象所需的最少实數個數，就是它的自由度.自由度衡量了一個數學對象内在的“信息量”. 我们可以通過一些熟悉的几何圖形来直观感受它.

{/* latex-label: fig:dof-point */} \begin{figure}[htbp]

\tikzset{ font=\small, axis/.style = {->, black!60}, shapeStyle/.style = {thick, black}, guide/.style = {dotted, black!70}, dot/.style = {fill, circle, inner sep=1.2pt}, }

\begin{subfigure}[b]{0.48\textwidth}

{(x0, y0)} 确定，**2** 個自由度.}

\end{subfigure}

\begin{subfigure}[b]{0.48\textwidth}

{(a, b, r)} 确定，**3** 個自由度.}

\end{subfigure}

\begin{subfigure}[b]{0.48\textwidth}

{(x0,y0,s)} 确定，**3** 個自由度.}

\end{subfigure}

\begin{subfigure}[b]{0.48\textwidth}

{(xA,yA,xB,yB,xC,yC)} 确定，**6** 個自由度.}

\end{subfigure}

\end{figure} 圖：平面上的点，由 \texorpdfstring{ $(x_0, y_0)$

除了直观的几何圖形，更抽象的數學對象也同样具有自由度：

一個实數：它本身就是最基本的數學對象，拥有 1 個自由度.它的值可以是具體的數值，如 $-\frac{7}{3}, e^3, 1+\ln 5$ ；也可以是由題目參數决定的值, 如 $\sin a, a(a+1)$ ；甚至可以是某個方程的隐式解.例如, 我们知道锐角 $\theta$ 满足 $\cos\theta = \frac{1}{3}$ , 虽然我们寫不出 $\theta$ 的精确值，但它已被唯一确定，其所有三角函數值也随之确定，我们视其為已确定的對象.
平面上的直線：可由斜率 $k$ 和截距 $b$ 两個实數决定 ( $y=kx+b$ )，拥有 2 個自由度.（注意垂直于x轴的直線是特殊情况，但這并不影响其自由度個數，我们通常讨論的是一般情况）.
二次函數：由其三個係數 $a,b,c$ 决定 ( $y=ax^2+bx+c$ )，拥有 3 個自由度.

一個有趣的問題可以加深我们對自由度的理解：我们常說“两点确定一条直線”.一個点有2個自由度，两個点理應有 $2+2=4$ 個自由度.為何它们确定的直線却只有2個自由度呢？

問題在于，用两個点 $(x_1, y_1)$ 和 $(x_2, y_2)$ 去描述一条直線时, 這四個參數提供的信息是過剩的.它们不僅确定了直線的位置（2個自由度）, 还额外确定了這两点在直線上的具體位置（每個点沿直線的位置需要1個自由度, 共2個自由度）.因此, 直線本身的自由度是 $4-2=2$ . 這恰好解释了為何自由度没有“丢失”.

例題

通過以下几道例題，我们将具體展示如何运用自由度的思想来分析和解决問題.

相切的圓

求所有满足以下条件的圓的方程：與 $y$ 轴相切, 經過点 $P(1,2)$ , 且圓心在直線 $y=x$ 上.

證明

分析對象：一個平面上的圓.

该數學對象的自由度為 3，可由其圓心坐標 $(a,b)$ 和半径 $r$ 完全确定.其標准方程為 $(x-a)^2 + (y-b)^2 = r^2$ .我们的目標是利用題目给出的三個条件来确定這三個參數.

第一個条件：圓與 $y$ 轴相切. 這意味着圓心到 $y$ 轴（直線 $x=0$ ）的距离等于半径, 即 $|a| = r$ .由于半径 $r$ 必為正, 我们得到 $r\>0$ 且 $r^2 = a^2$ .這是一個關于參數的方程.

第二個条件：圓經過点 $P(1,2)$ . 将点 $P$ 的坐標代入圓的方程, 得到 $(1-a)^2 + (2-b)^2 = r^2$ .這是第二個方程.

第三個条件：圓心 $(a,b)$ 在直線 $y=x$ 上. 這意味着圓心的横纵坐標相等，即 $a=b$ .這是第三個方程.

現在我们拥有三個參數 $(a,b,r)$ 和三個方程：

\begin{cases} r^2 = a^2 (1-a)^2 + (2-b)^2 = r^2 a=b \end{cases}

這是一個封闭的方程组.将 $b=a$ 和 $r^2=a^2$ 代入第二個方程, 我们得到一個只含變量 $a$ 的方程：

\begin{aligned} (1-a)^2 + (2-a)^2 &= a^2 (1 - 2a + a^2) + (4 - 4a + a^2) &= a^2 a^2 - 6a + 5 &= 0 (a-1)(a-5) &= 0 \end{aligned}

解得 $a=1$ 或 $a=5$ .

当 $a=1$ 时, $b=1$ , $r=|1|=1$ .圓的方程為 $(x-1)^2 + (y-1)^2 = 1$ .

当 $a=5$ 时, $b=5$ , $r=|5|=5$ .圓的方程為 $(x-5)^2 + (y-5)^2 = 25$ .

因此，存在两個满足条件的圓.此例說明，当条件的數量等于對象的自由度时，通常会得到一個离散的解集（可能有一個、多個或零個解），而非无穷多個解.

三次函數

已知三次函數 $f(x)$ 满足 $f(0)=1$ , $f(1)=0$ , $f'(1)=0$ , 且 $f(2)=9$ .求 $f(x)$ 的表达式.

證明

分析對象：一個三次函數.

其一般形式為 $f(x)=ax^3+bx^2+cx+d$ ( $a \neq 0$ ), 由四個係數 $(a,b,c,d)$ 完全确定，故其自由度為 4.題目恰好给出了四個独立的条件.

条件 $f(1)=0$ 與 $f'(1)=0$ 蕴含了重要信息.這表明 $f(x)$ 在 $x=1$ 处有一個重根, 即 $f(x)$ 含有因子 $(x-1)^2$ .

基于此洞察，我们可以更高效地设定函數形式.设 $f(x) = (Ax+B)(x-1)^2$ .這依然是一個三次多項式, 但它自动满足了两個条件.然而, 這种形式對于处理 $f(0)=1$ 不够直观.

我们采用另一种包含此洞察的设定：

f(x) = k(x-1)^3 + m(x-1)^2 + n(x-1) + p

這是 $f(x)$ 在 $x=1$ 处的泰勒展開形式. $f(1)=0 \implies p=0$ . $f'(x) = 3k(x-1)^2+2m(x-1)+n$ , 故 $f'(1)=0 \implies n=0$ .

此时，函數形式已簡化為 $f(x) = k(x-1)^3 + m(x-1)^2$ , 只剩下两個待定係數 $(k,m)$ ，自由度降為 2.我们只需利用剩下两個条件：

$f(0)=1 \implies k(-1)^3 + m(-1)^2 = 1 \implies -k+m=1$ .

$f(2)=9 \implies k(1)^3 + m(1)^2 = 9 \implies k+m=9$ .

我们得到一個關于 $(k,m)$ 的線性方程组：

\begin{cases} -k+m=1 k+m=9 \end{cases}

解得 $m=5, k=4$ .

因此，所求的三次函數為 $f(x) = 4(x-1)^3 + 5(x-1)^2$ . 展開可得 $f(x) = 4(x^3-3x^2+3x-1) + 5(x^2-2x+1) = 4x^3 - 7x^2 + 2x + 1$ .

确定圓锥曲線

平面直角坐標係中的一条圓锥曲線由一般二次方程 $Ax^2+Bxy+Cy^2+Dx+Ey+F=0$ 定義.請問确定一条圓锥曲線需要几個自由度？需要至少几個（处于一般位置的）点才能唯一地确定它？

證明

分析對象：一条圓锥曲線.

该對象的代數表示有 $A, B, C, D, E, F$ 六個係數.然而, 如果我们将整個方程乘以一個非零常數 $\lambda$ ，即

(\lambda A)x^2+(\lambda B)xy+(\lambda C)y^2+(\lambda D)x+(\lambda E)y+(\lambda F)=0

它所代表的曲線與原方程完全相同.這意味着這六個係數并非完全独立，它们只在比例意義下是唯一的.

為了消除這种尺度上的冗余，我们可以選定其中一個非零係數（例如，假设 $F \neq 0$ ）并将其归一化為 1.通過两边同除以 $F$ ，方程變為：

A'x^2+B'xy+C'y^2+D'x+E'y+1=0

此时，确定這条曲線只需要 $A', B', C', D', E'$ 這五個独立的參數.因此, 一条圓锥曲線的自由度為 $6-1=5$ .

要确定這五個參數，我们需要五個独立的線性方程.

一個点 $(x_i, y_i)$ 位于该曲線上，意味着它的坐標满足方程，從而提供了一個關于這五個未知參數的線性方程：

A'x_i^2+B'x_iy_i+C'y_i^2+D'x_i+E'y_i = -1

因此，為了唯一确定一条圓锥曲線，我们至少需要五個点.

“一般位置”這個限制是必要的，它排除了特殊情况.例如，如果五個点共線，那么有无穷多条（退化的）圓锥曲線（包括這条直線本身）經過它们，无法唯一确定.

点的轨迹

设圓 $C$ 的方程為 $x^2+y^2=R^2$ . $A,B$ 是圓 $C$ 上两個固定的不同点.点 $P$ 在圓 $C$ 上运动（ $P$ 不與 $A,B$ 重合）.求 $\triangle PAB$ 的垂心 $H$ 的轨迹.

證明

分析對象： $\triangle PAB$ 的垂心 $H$ .

首先，我们来分析這個問題的自由度.圓 $C$ 和点 $A,B$ 是固定的, 它们没有自由度.动点 $P$ 在圓周上运动, 其位置可以用一個參數（例如極角 $\theta$ ）来描述, 所以 $P$ 具有 1 個自由度.

由 $A,B,P$ 三点構成的 $\triangle PAB$ 也因此拥有 1 個自由度.我们要求的垂心 $H$ 是完全由這三個顶点决定的, 因此 $H$ 的位置也應由這 1 個自由度所控制.一個自由度通常對應于一個一維的几何對象, 即一条曲線.因此我们預期 $H$ 的轨迹是一条曲線.

為了确定這条曲線，我们采用向量法.设圓心為坐標原点 $O(0,0)$ .令 $\vec{a}, \vec{b}, \vec{p}$ 分别為点 $A,B,P$ 的位置向量.

一個著名的几何结論是，對于以原点 $O$ 為外心的三角形 $PAB$ , 其垂心 $H$ 的位置向量 $\vec{h}$ 满足：

\vec{h} = \vec{a} + \vec{b} + \vec{p}

在這個問題中，点 $A,B$ 固定, 因此向量 $\vec{a}+\vec{b}$ 是一個固定的向量, 我们记為 $\vec{s} = \vec{a}+\vec{b}$ .于是

\vec{h} = \vec{s} + \vec{p}

這個關係式清晰地揭示了 $H$ 的轨迹.点 $P$ 在以 $O$ 為圓心、 $R$ 為半径的圓 $C$ 上运动, 這意味着其位置向量 $\vec{p}$ 的终点轨迹是圓 $C$ .

向量 $\vec{h}$ 是固定向量 $\vec{s}$ 與动向量 $\vec{p}$ 的和.這表示 $H$ 的轨迹, 是将 $P$ 的轨迹（即圓 $C$ ）按照向量 $\vec{s}$ 進行平移所得到的圖形.

因此，垂心 $H$ 的轨迹是一個半径同样為 $R$ 的圓.该圓的圓心為 $S$ , 其位置向量為 $\vec{s}=\vec{a}+\vec{b}$ .

搭建起解題框架

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

理解了“确定對象”和“自由度”后，我们可以構建一個清晰的解題流程.首先，我们需要對題目的“条件”進行分類.

定義

題目中的条件可分為两類：

構造式条件: 直接告诉我们如何構建出數學對象（或其一部分）的条件.例如“点 $O$ 的坐標為 $(0,0)$ ”、“抛物線方程為 $y^2=4x$ ”、“点 $A$ 是 $C_1$ 和 $C_2$ 的交点”.
满足式条件: 不直接構造對象，而是對象必须“恰好满足”的约束.它们通常表現為方程或等式，是我们需要利用和求解的目標.例如“ $a_5+a_6=16$ ”、“直線與圓相切”.

纯構造式問題的解法

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

当所有条件都是構造式时，解題路径非常直接：只需沿着構造链条，一步步地确定出所有對象即可.

練習

已知原点 $O(0,0)$ , 抛物線 $C_1:y^2=4x$ 和抛物線 $C_2:x^2=4y$ 在第一象限的交点為 $A$ , $C_1$ 與直線 $l:x+y-1=0$ 在第四象限的交点為 $B$ , 求 $\triangle OAB$ 的面積.

\begin{figure}[htbp]

\end{figure}

解

解題思路分析. 這道題是典型的纯構造式問題.我们的思維路径如下：

已知条件直接構造出几何對象： $O, C_1, C_2, l$ .
“ $A$ 是 $C_1,C_2$ 的交点”這一条件, 構造出点 $A$ .
“ $B$ 是 $C_1,l$ 的交点”這一条件, 構造出点 $B$ .
三個确定的点 $O, A, B$ 構造出 $\triangle OAB$ ，其面積也随之确定.

整個過程如同一条清晰的流水線，我们将問題分解為三步：求点 $A$ 的坐標；求点 $B$ 的坐標；利用坐標求三角形面積.

执行计算. 求点 $A$ 的坐標.联立 $C_1$ 和 $C_2$ 的方程：

\begin{cases} y^2=4x \\ x^2=4y \end{cases} \implies x^4 = (4y)^2 = 16y^2 = 16(4x) = 64x

即 $x(x^3-64)=0$ .解得 $x=0$ 或 $x=4$ . 因為点 $A$ 在第一象限, 所以 $x=4$ , 代入得 $y=4$ .故 $A(4,4)$ .

求点 $B$ 的坐標.联立 $C_1$ 和 $l$ 的方程：

\begin{cases} y^2=4x \\ x+y-1=0 \end{cases} \implies y^2=4(1-y) \implies y^2+4y-4=0

解得 $y = \frac{-4 \pm \sqrt{16-4(-4)}}{2} = -2 \pm 2\sqrt{2}$ . 因為点 $B$ 在第四象限, $y\<0$ , 所以取 $y=-2-2\sqrt{2}$ . 此时 $x = 1-y = 1 - (-2-2\sqrt{2}) = 3+2\sqrt{2}$ .故 $B(3+2\sqrt{2}, -2-2\sqrt{2})$ .

求 $\triangle OAB$ 的面積.利用坐標面積公式 $S = \frac{1}{2}|x_A y_B - x_B y_A|$ ：

\begin{aligned} S_{\triangle OAB} &= \frac{1}{2} \left| 4(-2-2\sqrt{2}) - (3+2\sqrt{2}) \cdot 4 \right| &= \frac{1}{2} \left| -8 - 8\sqrt{2} - 12 - 8\sqrt{2} \right| &= \frac{1}{2} \left| -20 - 16\sqrt{2} \right| &= 10 + 8\sqrt{2} \end{aligned}

含满足式問題的通用策略

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

当題目中出現满足式条件时，解題的核心就變為：用自由度參數表达出满足式条件，然后解方程.

練習

设椭圓 $C:\frac{x^2}{4}+\frac{y^2}{3}=1$ 的左、右顶点分别為 $A(-2,0)$ , $B(2,0)$ . $P$ 為 $C$ 上一点且在 $x$ 轴上方.求 $\tan \angle PAB+2\tan \angle PBA$ 的最小值.

\begin{figure}[htbp]

\end{figure} 圖：椭圓上点P與顶点的连線斜率及夹角示意圖

面對此題，我们的第一反應通常是為动点 $P$ 设定變量.无論是设坐標 $P(x,y)$ 还是用參數方程 $P(2\cos\theta, \sqrt{3}\sin\theta)$ , 都会将問題導向一個含有根式或複杂三角函數的表达式, 后續的求最值過程将异常繁琐.這提示我们, 或许存在一個更优的视角来描述点 $P$ 的运动.

如果你知道椭圓的第三定義：對于椭圓 $\frac{x^2}{a^2}+\frac{y^2}{b^2}=1$ 上任意一点 $P$ （非左右顶点）, 其與左右顶点 $A,B$ 连線的斜率之積為定值：

k_{AP} \cdot k_{BP} = -\frac{b^2}{a^2}

在本題中， $a^2=4, b^2=3$ , 故我们有一個簡洁优美的關係： $k_{AP} \cdot k_{BP} = -\frac{3}{4}$ .

接着，我们将原問題中的几何語言“翻译”為斜率語言. 注意到 $\angle PAB$ 是直線 $AP$ 的倾斜角, 故 $\tan \angle PAB = k_{AP}$ . 而 $\angle PBA$ 是直線 $BP$ 與 $x$ 轴负向的夹角.若设 $BP$ 的倾斜角為 $\alpha_{BP}$ , 则 $\angle PBA = \pi - \alpha_{BP}$ .因此：

\tan\angle PBA = \tan(\pi - \alpha_{BP}) = -\tan\alpha_{BP} = -k_{BP}

于是，所求表达式优雅地化為了：

S = k_{AP} - 2k_{BP}

由于点 $P$ 在 $x$ 轴上方, 易知 $k_{AP}\>0$ 且 $k_{BP}\<0$ . 為利用基本不等式，我们需处理正數.令 $k_A = k_{AP} \> 0$ 及 $k'_B = -k_{BP} \> 0$ . 则所求表达式為 $S = k_A + 2k'_B$ ，且它们满足的约束条件變為：

k_A \cdot (-k'_B) = -\frac{3}{4} \implies k_A \cdot k'_B = \frac{3}{4}

應用基本不等式，我们有：

S = k_A + 2k'_B \ge 2\sqrt{k_A \cdot (2k'_B)} = 2\sqrt{2(k_A k'_B)} = 2\sqrt{2 \cdot \frac{3}{4}} = \sqrt{6}

等号当且僅当 $k_A = 2k'_B$ 时成立, 联立 $k_A k'_B = 3/4$ 可解出 $k_A, k'_B$ ，表明最值可以取到. {因此，所求最小值為 $\textcolor{black}{\sqrt{6}}$ .}

上面的解法固然巧妙，但真正的要吸收就在于理解：二级结論不是魔法，而是深刻的變量代換. \par 這個结論的本質，是将“点 $P(x,y)$ 在椭圓上”這一關于坐標變量 $(x,y)$ 的约束, 翻译成了“连接 $P$ 與顶点的两条直線斜率满足某關係”這一關于斜率變量 $(k_{AP}, k_{BP})$ 的约束. 让我们来亲自完成這個過程，以洞悉其原理：

先從斜率反解坐標. 给定两個斜率 $k_A = k_{AP}$ 和 $k_B = k_{BP}$ , 我们可以寫出两直線方程并求其交点 $P(x_P, y_P)$ ：

\begin{cases} y = k_A(x+2) \\ y = k_B(x-2) \end{cases}

联立解得：

x_P = \frac{2(k_A+k_B)}{k_B-k_A}, y_P = \frac{4k_A k_B}{k_B-k_A}

然后施加几何约束，得到斜率關係. 我们将 $P$ 点的坐標代入椭圓方程 $\frac{x^2}{4}+\frac{y^2}{3}=1$ , 這等价于强加“点 $P$ 必须在椭圓上”的约束：

\frac{1}{4} \left( \frac{2(k_A+k_B)}{k_B-k_A} \right)^2 + \frac{1}{3} \left( \frac{4k_A k_B}{k_B-k_A} \right)^2 = 1

两边同乘 $3(k_B-k_A)^2$ 并化簡，中間的代數细节虽然繁琐，但最终会奇迹般地消去大量項，剩下：

12k_A k_B + 16k_A^2 k_B^2 = 0 \implies 4k_A k_B(3+4k_A k_B) = 0

由于 $P$ 不在 $x$ 轴上, $y_P \ne 0$ , 所以 $k_A, k_B$ 均不為零.因此必有：

3+4k_A k_B=0 \implies \textcolor{black}{k_A k_B = -\frac{3}{4}}

這個推導過程清晰地揭示了结論的由来.它告诉我们，與其在複杂的 $(x,y)$ 坐標係下求解, 不如切換到一個约束条件極其簡洁的 $(k_A, k_B)$ “斜率坐標係”中去. \par

有了這個深刻的理解，我们再回顾解題過程，就不是在“套用结論”，而是在执行一個清晰的解題策略：

转換视角：识别出用斜率 $(k_{AP}, k_{BP})$ 描述問題可能更簡單.
条件翻译：将“ $P$ 在椭圓上”的核心条件, 翻译為“斜率坐標係”下的簡洁關係 $k_{AP} \cdot k_{BP} = -3/4$ .
目標表达與求解：将目標函數也用斜率表达，并在新變量體係下，结合几何约束( $P$ 在 $x$ 轴上方)，轻松求解最值.

這才是從根本上掌握了此題的精髓：通過高明的變量代換，選择最有利的战场，從而簡化核心矛盾.

谈谈二级结論

{/* label: sec:ch18-s06 */}

我们在解題时，常常会遇到一些“二级结論”. 只有看清題目的结構，才能真正驾驭它们. 有些结論的功能清晰明了，比如用顶点坐標的行列式求三角形面積，它本質上是“坐標确定面積”這一構造過程的快速算法，可以自然地整合進解題流程中，作為计算的捷径.

然而，另一些结論，其作用则显得较為晦涩. 例如，等比數列的前 $n$ 項和 $S_n$ 满足“ $S_m, S_{2m}-S_m, S_{3m}-S_{2m}, ...$ 成等比數列”. 如果我们不理解其本質，生搬硬套反而可能扰乱我们對問題结構的整體把握.

本节的核心思想是：许多高階的二级结論，其本質都是一种视角的转換或變量的代換. 它们将原問題中對某個數學對象A的约束条件，巧妙地翻译成了對另一個相關對象B的、形式上更簡洁的约束条件. 只有洞察了這一“翻译”過程，我们才能在保持對題目结構清晰认知的同时，游刃有余地使用這些结論来簡化计算.

練習

设正項等比數列 $\{a_n\}$ 的前 $n$ 項和為 $S_n$ , 已知 $a_5+a_6=16$ , 且 $S_6=21$ , 求 $S_2$ .

此題若用基本量法（设 $a_1, q$ ）求解, 会面临求解高次方程的困境.然而, 題目的条件 $a_5+a_6$ 和 $S_6$ 似乎在暗示我们，将數列的項两两分组可能是一個有益的视角.這個洞察是解題的關键.

我们不直接使用任何二级结論，而是從最基本的思想出發，構造一個新數列来簡化問題.

{/* latex-label: fig:sequence-mapping-compatible */} \begin{figure}[htbp]

$}{{an}} 映射為新數列 \texorpdfstring{$ {B_k}$}{{Bk}}}

\end{figure} *圖：通過“打包重组”将數列 \texorpdfstring{${a_n*

\paragraph{定義新變量，翻译已知条件.} 我们将原數列 $\{a_n\}$ 的項两两“打包”, 定義一個新數列 $\{B_n\}$ 如下：

B_k = a_{2k-1} + a_{2k}

接着，我们将原問題的所有信息用這個新數列的語言来“翻译”：

已知条件1： $a_5+a_6=16 \xrightarrow{\text{翻译}} B_3 = 16$ .
已知条件2： $S_6 = (a_1+a_2)+(a_3+a_4)+(a_5+a_6)=21 \xrightarrow{\text{翻译}} B_1+B_2+B_3 = 21$ .
求解目標： $S_2 = a_1+a_2 \xrightarrow{\text{翻译}} \text{求 } B_1$ .

經過翻译，原問題被转化成了一個關于新數列 $\{B_n\}$ 的問題： \textcolor{black}{已知數列 $\{B_n\}$ 满足 $B_3=16$ 且 $B_1+B_2+B_3=21$ , 求 $B_1$ .} 僅凭這些，条件尚不足.我们还需翻译最重要的一個性質.

\paragraph{翻译核心性質，揭示新序列的规律.} 我们还未使用的核心条件是“ $\{a_n\}$ 是等比數列”.這個性質是否為 $\{B_n\}$ 所用呢？

设 $\{a_n\}$ 的首項為 $a_1$ , 公比為 $q$ .由于是正項數列, 我们有 $a_1\>0, q\>0$ . 我们来考察 $\{B_n\}$ 的通項公式：

\begin{aligned} B_k &= a_{2k-1} + a_{2k} &= a_1 q^{2k-2} + a_1 q^{2k-1} &= a_1 q^{2k-2} (1+q) \text{(提取公因式是關键一步！)} &= [a_1(1+q)] \cdot (q^2)^{k-1} \end{aligned}

這個结構清晰地表明，新數列 $\{B_n\**$ 自身也是一個等比數列！} 它的首項為 $B_1 = a_1(1+q)$ , 公比為 $Q = q^2$ .由于 $a_1, q$ 均為正, $\{B_n\}$ 也必然是正項數列. 這個“打包重组”的過程，完美地继承了等比的结構**.

\paragraph{在新框架内解决問題.} 接着，我们的問題已經完全清晰了： \textcolor{black}{已知一個正項等比數列 $\{B_n\}$ , 其中 $B_3=16$ 且 $B_1+B_2+B_3=21$ , 求 $B_1$ .} 對于等比數列，我们有等比中項的性質 $B_2^2 = B_1 B_3$ .因為 $\{B_n\}$ 是正項數列, 所以 $B_2 = \sqrt{B_1 B_3}$ .

B_2 = \sqrt{B_1 \cdot 16} = 4\sqrt{B_1}

将此代入和式 $B_1+B_2+B_3=21$ 中：

B_1 + 4\sqrt{B_1} + 16 = 21

整理得到一個關于 $\sqrt{B_1}$ 的一元二次方程：

B_1 + 4\sqrt{B_1} - 5 = 0

因式分解得：

(\sqrt{B_1}-1)(\sqrt{B_1}+5) = 0

由于 $B_1$ 是正項數列的首項, $\sqrt{B_1}$ 必為正數, 故 $\sqrt{B_1}+5 \ne 0$ . 因此，我们有 $\sqrt{B_1} = 1$ , 解得 $B_1=1$ .

因為所求的 $S_2$ 正是 $B_1$ ，所以我们得到了答案. {所求 $S_2$ 的值為 $\textcolor{black}{1}$ .}

所谓“二级结論”，例如“ $S_m, S_{2m}-S_m, S_{3m}-S_{2m}, ...$ 成等比數列”，其本質正是我们刚才所做的“打包重组”思想的直接體現.通過亲手完成這個推導，我们不僅解决了問題，更重要的是掌握了這种通過構造新序列来簡化和揭示問題内在结構的强大數學思想.

通過這两個例子，我们看到，那些看似“高级”的二级结論，并非凭空产生的天外飞仙，而是植根于問題结構本身的深刻洞察.它们是高效的“翻译工具”，能将問題從一個變量體係转換到另一個更利于求解的體係中. 当你遇到一個二级结論时，不要僅僅满足于背诵和使用. 尝试去思考：

它在转換什么？ (是從坐標到斜率，还是從單項到數组？)
它在翻译什么条件？ (是“点在曲線上”，还是“數列成等比”？)
這個翻译是雙向的吗？ (這决定了代換的完備性)

換元法為何行之有效 *(選讀)

{/* label: sec:ch18-s07 */}

我们已經看到，无論是将点的坐標转換為连線斜率，还是将數列的單項组合為新序列，其核心都是一种變量代換. 這种在解題中至關重要的技巧，我们称之為換元法. 換元法之所以可靠而强大，其背后有着严谨的數學原理作為支撑——映射. 理解了映射，我们就能從根源上明白，為何可以在新變量的體係中解决問題，并得到原問題的正确答案.

每一次成功的換元，我们实际上都建立了一個從原變量空間到新變量空間的映射關係.

\paragraph{換元法的基本流程} 換元法的本質，是将一個不易处理的問題，通過一個精心设计的映射 $f$ ，投射到一個结構更清晰、更易于分析的新空間中去. 這個過程可以分解為以下步骤：

建立映射: 定義新變量，明确其與旧變量的函數關係，即 $y=f(x)$ . 這就建立了從原變量空間到新變量空間的映射.
转化约束: 将原問題中對旧變量 $x$ 的约束条件, 全部“翻译”成對新變量 $y$ 的约束条件. 這個過程的目的是精确地描绘出原問題解集在映射下的像集. 我们之前推導“二级结論”或“新變量關係”的全部努力，正是在完成這一步.
转化目標: 将原問題的求解目標（如求最值、求特定值）也用新變量 $y$ 来表示.
在新空間求解: 在新變量的约束条件下，完成對新目標的求解.

那么，最后一步——在新空間中得到的结果，凭什么能作為原問題的答案呢？這取决于我们建立的映射 $f$ 的性質，以及我们所求解的目標與這個映射的關係.

保證換元有效的两种典型情形

\paragraph{情形一：一一映射} 当建立的映射 $f$ 在我们關心的定義域和值域上是一一對應的，這意味着原變量空間中的每一個解，都與新變量空間中的一個解完美配對，不多不少.

在這种情况下，原問題和新問題在结構上是完全等价的. 它们就像是同一本書的中文版和英文版，虽然語言（變量）不同，但讲述的故事（數學结構）完全一致. 在新變量空間中找到的任何解（如最大值、最小值、特定值），都唯一地對應着原變量空間中的一個解.

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

{U} 中的每個元素（如点 \texorpdfstring{ $P$ }{P}）與像集 \texorpdfstring{ $V$ }{V} 中的每個元素（如斜率對 \texorpdfstring{ $(k, k')$ }{(k, k')}）一一對應. 問題在结構上完全等价.}

\end{figure} 圖：一一映射：原解集 \texorpdfstring{ $U$

\subparagraph{回顾椭圓問題} 在之前的椭圓問題中，我们關注的是上半椭圓上（除顶点外）的点 $P(x_P, y_P)$ . 對于每一個這样的点, 都唯一對應一對斜率 $(k_{AP}, k_{BP})$ , 满足 $k_{AP}\>0, k_{BP}\<0$ 且 $k_{AP}k_{BP} = -3/4$ . 反之, 對于每一對满足這些条件的斜率, 也唯一确定了一個上半椭圓上的点 $P$ . $P(x_P, y_P)$ $\xleftrightarrow{\text{ 一一對應 }}$ $(k_{AP}, k_{BP})$ 因此，從点到斜率的映射是一一映射. 求解關于 $k_{AP}, k_{BP}$ 的表达式 $k_{AP}-2k_{BP}$ 的最小值，就完全等价于求解原問題. 在新空間中走到终点，就意味着在原空間中也到达了终点.

\paragraph{情形二：多對一映射與不變量} 在更多情况下，我们建立的映射是多對一的，即原變量空間中多個不同的對象，被映射到了新變量空間的同一個對象上. 此时，換元法是否依然有效，取决于一個關键条件：我们所求解的目標，必须是该映射下的一個不變量.

“不變量”是指，所有被映射到同一個“像”的那些“原像”，它们在我们關心的那個属性上必须是完全一致的. 換言之，我们所求的量，其值只依赖于新變量的“像”，而與它究竟来自哪個“原像”无關.

\subparagraph{回顾數列問題} 我们将數列 $\{a_n\}$ 映射到新數列 $\{B_k\}$ , 其中 $B_k = a_{2k-1}+a_{2k}$ . 這個映射是多對一的, 例如, 不同的首項和公比组合 $(a_1, q)$ 可能产生相同的新序列 $\{B_n\}$ . $\{a_n\}^{(1)}, \{a_n\}^{(2)}, ...$ $\xrightarrow{\text{ 多對一映射 }}$ $\{B_n\}$ 然而，我们要求解的目標是 $S_2$ . 在換元时, 我们已經将 $S_2$ 與新變量直接挂钩： $S_2 = a_1+a_2 = B_1$ . 這就意味着, 无論原空間中有多少個不同的數列 $\{a_n\}$ 能映射到同一個 $\{B_k\}$ , 它们的前两項和 $S_2$ 必定都等于這個像的第一項 $B_1$ . $S_2$ 的值是這個映射的不變量.

因此，我们可以在新空間中放心大胆地求解 $B_1$ . 一旦求出 $B_1=1$ , 我们就知道了所有满足題设条件的、可能的原數列 $\{a_n\}$ , 它们的前两項和 $S_2$ 必然等于 $1$ .

\hrule

总结而言，換元法的精髓在于，通過一次精心设计的投射，将問題的战场转移到更有利的地形上. 当你下一次進行換元时，心中應有這样一幅清晰的圖景：

我建立的映射是什么？
我是否清晰地刻画了原問題解集在新空間中的像？(即，新變量的约束条件是否完備？)
此次換元為何有效？是因為映射為一一對應，还是因為我所求的量恰好是映射的不變量？

带着這些思考進行變量代換，将使你的解題過程不僅是技巧的运用，更是逻辑严谨、洞察深刻的數學推理.

如何确定數學對象​

什么是自由度？​

例題​

搭建起解題框架​

纯構造式問題的解法​

含满足式問題的通用策略​

谈谈二级结論​

換元法為何行之有效 *(選讀)​

保證換元有效的两种典型情形​

留言

如何确定數學對象

什么是自由度？

例題

搭建起解題框架

纯構造式問題的解法

含满足式問題的通用策略

谈谈二级结論

換元法為何行之有效 *(選讀)

保證換元有效的两种典型情形