2004-全国卷I理-12 单-多元代数方程组

本题导读

本题考查多元代数方程组的求解，以及空间解析几何与向量几何。

📌【题干】

Question

（2004年全国卷I(理)） $a^2+b^2=1,b^2+c^2=2,c^2+a^2=2$，则 $ab+bc+ca$ 的最小值为 ()

A. $\sqrt{3}-\frac{1}{2}$　　　　B. $\frac{1}{2}-\sqrt{3}$　　　　C. $-\frac{1}{2}-\sqrt{3}$　　　　D. $\frac{1}{2}+\sqrt{3}$

🔍【思路分析】

破题导航

1. 第一步逻辑（联立方程解出平方项）：已知关于 $a^2,b^2,c^2$ 的三元一次方程组。将三个方程两两相加或整体相加，通过消元法可以唯一、精确地解出三个变量的平方值 $a^2,b^2,c^2$．
2. 第二步逻辑（解出绝对值基础度量）：对第一步求得的平方项进行开方运算，得到各独立变量的绝对值基底 $|a|,|b|,|c|$，从而确定它们在实数轴上的核心标量长度。
3. 第三步逻辑（符号图形穷举分类）：由于要使复合交叉乘积和 $ab+bc+ca$ 达到最小，我们需要在实数符号空间 $\{+,-\}$ 内对 $a,b,c$ 的符号进行合理配置。
   • 若三者全为正或全为负，乘积和显然为正，不满足最小值条件。
   • 根据对称性，最优的配置必然是“两个为负、一个为正”或“两个为正、一个为负”。这会导致三项乘积项中呈现“两负一正”的代数特征。将绝对值带入这几种互斥的排列中，通过数值大小比对直接确定最小值。

✅【答案】

Success

B

✍【详细解析】

Abstract

• 第一步：联立复杂方程组求解 $a^2,b^2,c^2$ 根据题目已知条件，建立三元一次方程组： $\{\begin{array}{ll}{a}^2+b^2=1& \text{（1式）}\\ b^2+c^2=2& \text{（2式）}\\ c^2+a^2=2& \text{（3式）}\end{array}$ 将（1式）、（2式）、（3式）左右两端分别进行整体级联相加： $(a^2+b^2)+(b^2+c^2)+(c^2+a^2)=1+2+2\text{（式4）}$ 合并同类项化简（式4）： $2(a^2+b^2+c^2)=5⟹a^2+b^2+c^2=\frac{5}{2}\text{（式5）}$

  现在将（式5）作为一个恒等基底，分别减去原始的三个分项方程：

  • 用（式5）减去（2式），消除 $b^2+c^2$ 项： $a^2=\frac{5}{2}-2=\frac{1}{2}\text{（式6）}$
  • 用（式5）减去（3式），消除 $c^2+a^2$ 项： $b^2=\frac{5}{2}-2=\frac{1}{2}\text{（式7）}$
  • 用（式5）减去（1式），消除 $a^2+b^2$ 项： $c^2=\frac{5}{2}-1=\frac{3}{2}\text{（式8）}$

• 第二步：计算各变量的绝对值基底 对（式6）、（式7）、（式8）的代数式两边同时取算术平方根，确定其绝对值长度： $|a|=\frac{\sqrt{2}}{2},|b|=\frac{\sqrt{2}}{2},|c|=\frac{\sqrt{6}}{2}\text{（式9）}$ 由此可计算出两两绝对值交叉乘积的特征标量值： $|ab|=|a|\cdot |b|=\frac{\sqrt{2}}{2}\times \frac{\sqrt{2}}{2}=\frac{1}{2}\text{（式10）}$ $|bc|=|b|\cdot |c|=\frac{\sqrt{2}}{2}\times \frac{\sqrt{6}}{2}=\frac{\sqrt{12}}{4}=\frac{2\sqrt{3}}{4}=\frac{\sqrt{3}}{2}\text{（式11）}$ $|ca|=|c|\cdot |a|=\frac{\sqrt{6}}{2}\times \frac{\sqrt{2}}{2}=\frac{\sqrt{12}}{4}=\frac{\sqrt{3}}{2}\text{（式12）}$

• 第三步：对符号图形空间进行分析以锁定最小值 设目标函数为 $S=ab+bc+ca$． 为了在欧氏空间内部压低 $S$ 的取值，乘积项中必须出现尽可能多、且绝对值尽可能大的负数项。 由常数大小可知， $|bc|=|ca|=\frac{\sqrt{3}}{2}\approx 0.866$，而 $|ab|=0.5$．这表明含有变量 $c$ 的两项其资产权重（绝对值）最大。 根据实数符号乘法法则：

  • 若让 $ab,bc,ca$ 三项全部转化为负数，由两两符号锁定的二元性质（如 $ab<0⟹a,b$ 异号； $bc<0⟹b,c$ 异号 $⟹a,c$ 同号 $⟹ca>0$），这在代数上是绝对不可能实现的拓扑状态（三项乘积项中永恒必然有且仅有一项为正数，或三项全为正数）。
  • 为了实现最小值，我们必须让绝对值最大的两项 $bc$ 与 $ca$ 同时退化为负数，而让绝对值较小的 $ab$ 退化为正数。

  分析符号卡位方程组： $\{\begin{array}{l}bc<0\\ ca<0\\ ab>0\end{array}⟹\{\begin{array}{l}b\text{ 与 }c\text{ 异号}\\ a\text{ 与 }c\text{ 异号}\\ a\text{ 与 }b\text{ 同号}\end{array}\text{（式13）}$ （式13）对应的符号解集图形显然存在。我们只需任意指定一组符合该约束的符号组合，例如令： $a>0,b>0,c<0\text{（式14）}$ 将（式14）的符号分配方案代入目标函数中，利用绝对值（式10）、（式11）、（式12）进行去符号展开： $S_{\text{min}}=|ab|-|bc|-|ca|\text{（式15）}$ 将精确的度量值代入（式15）中： $S_{\text{min}}=\frac{1}{2}-\frac{\sqrt{3}}{2}-\frac{\sqrt{3}}{2}=\frac{1}{2}-\sqrt{3}$

故选 B

💡【考点归纳与避坑指南】

Danger

1. 核心考点：对称型多元一次方程组的对齐合并加和性质；实数域符号二元对立组合的排斥约束（无法做到三项同时为负）；绝对值不等式极值的卡位。
2. 核心方法：符号穷举讨论法、代数消元法。
3. 避坑指南：
   • 极其容易在最后一步符号决策时，由于粗心大意误以为可以让三项同时为负，从而错误地写下 $-\frac{1}{2}-\sqrt{3}$ 导致错选 C：这是解析代数压轴题中最经典的逻辑地雷。请牢记实数符号嵌套守恒铁律：‘对于任意三个实数 $a,b,c$，其两两交叉乘积项 $ab,bc,ca$ 的正负号个数，受到布尔逻辑的强约束，正数的个数只能是 1 个（此时 2 负 1 正）或者是 3 个（此时 3 全正），绝对、永恒不可能形成 3 个全为负数的拓扑状态’。通过理清这个逻辑冲突，直接在草稿纸上判定必须保留绝对值最小的 $|ab|=\frac{1}{2}$ 作为正数项，可完整拦截干扰项 C。

📖【试题探源与推广】

Tip

1. 试题探源: 本题出自高中数学教材代数不等式与选修“立体几何空间向量”章节的综合提高压轴题。本质是将空间长方体体对角线与面对角线的恒等性质度规，逆向消元提取出的一个高维代数方程，是高考考查高阶逻辑严密性与代数功底最完美的顶级压轴选择题。
2. 结论推广: 若长方体从同一顶点引出的三条棱长分别为 $x,y,z$，三个相邻面的对角线长分别为 $L_1,L_2,L_3$，则 $x^2=\frac{L_1^2+L_3^2-L_2^2}{2}$，$y^2=\frac{L_1^2+L_2^2-L_3^2}{2}$，$z^2=\frac{L_2^2+L_3^2-L_1^2}{2}$，可据此直接解出棱长。

🔗【关联脉络】

Multi column

知识锚点 (Nodes)

• 05.02 函数的四大性质
• 09.02 平面向量的线性运算

类题演练 (Links)

• 2006-湖北文-02 单-向量垂直定模比
• 1959-全国-02 解-等差等比三数组
• 1977-上海文-07 解-二次函数最小值