塞瓦CMO练习题

CMO1994

CMO 1998

In triangle ABC, let M be an interior point. Lines AD,BE,CF pass through M. Prove

[DEF]≤ 1/4 $ [ABC]

这个问题是一个非常经典的几何不等式问题，常出现在数学竞赛（如 CMO 或 IMO 预选赛）的几何模块中。要证明 $[DEF] \leq \frac{1}{4}[ABC]$，最优雅的方法是结合 塞瓦定理 (Ceva’s Theorem) 和 均值不等式 (AM-GM)。

以下是详细的证明步骤：

---

1. 建立比例关系

设 $\triangle ABC$ 的三条边上的分点比例分别为：

• $\frac{AF}{FB} = z$
• $\frac{BD}{DC} = x$
• $\frac{CE}{EA} = y$

由于 $AD, BE, CF$ 交于点 $M$，根据 塞瓦定理，我们有：

$$x \cdot y \cdot z = 1$$

---

2. 表示各部分面积比

我们通过计算“顶点处”三个小三角形的面积来求中间 $\triangle DEF$ 的面积。利用面积公式 $S = \frac{1}{2}ab \sin \theta$：

• $\frac{[AFE]}{[ABC]} = \frac{AF}{AB} \cdot \frac{AE}{AC} = \frac{z}{z+1} \cdot \frac{1}{y+1}$
• $\frac{[BDF]}{[ABC]} = \frac{BD}{BC} \cdot \frac{BF}{BA} = \frac{x}{x+1} \cdot \frac{1}{z+1}$
• $\frac{[CED]}{[ABC]} = \frac{CE}{CA} \cdot \frac{CD}{CB} = \frac{y}{y+1} \cdot \frac{1}{x+1}$

---

3. 计算 $[DEF]$ 的比例

中间三角形的面积占比可以表示为：

$$\frac{[DEF]}{[ABC]} = 1 – \left( \frac{z}{(z+1)(y+1)} + \frac{x}{(x+1)(z+1)} + \frac{y}{(y+1)(x+1)} \right)$$

为了化简括号内的式子，我们将分母通分，公共分母为 $(x+1)(y+1)(z+1)$。由于 $xyz=1$，展开分母：

$$(x+1)(y+1)(z+1) = xyz + (xy+yz+zx) + (x+y+z) + 1 = 2 + \sum xy + \sum x$$

分子展开为：

$$z(x+1) + x(y+1) + y(z+1) = (zx+z) + (xy+x) + (yz+y) = \sum xy + \sum x$$

带回比例式：

$$\frac{[DEF]}{[ABC]} = 1 – \frac{\sum xy + \sum x}{2 + \sum xy + \sum x} = \frac{2}{2 + \sum xy + \sum x}$$

---

4. 利用 AM-GM 不等式证明

要证明 $\frac{[DEF]}{[ABC]} \leq \frac{1}{4}$，等价于证明：

$$\frac{2}{2 + \sum xy + \sum x} \leq \frac{1}{4} \implies 8 \leq 2 + \sum xy + \sum x \implies \sum xy + \sum x \geq 6$$

根据 AM-GM (算术-几何平均值不等式)，已知 $xyz = 1$：

1. $\sum x = x + y + z \geq 3 \sqrt[3]{xyz} = 3(1) = 3$
2. $\sum xy = xy + yz + zx \geq 3 \sqrt[3]{(xy)(yz)(zx)} = 3 \sqrt[3]{(xyz)^2} = 3(1) = 3$

将两者相加：

$$\sum xy + \sum x \geq 3 + 3 = 6$$

---

5. 结论

既然 $\sum xy + \sum x \geq 6$ 成立，那么：

$$\frac{[DEF]}{[ABC]} = \frac{2}{2 + (\sum xy + \sum x)} \leq \frac{2}{2 + 6} = \frac{2}{8} = \frac{1}{4}$$

等号成立的条件：

当且仅当 $x=y=z=1$ 时，等号成立。这意味着 $D, E, F$ 分别是各边的中点，此时点 $M$ 是 $\triangle ABC$ 的 重心 (Centroid)。

---

教学提示

如果是教给学生，可以引导他们观察：

• 极端情况： 如果 $M$ 无限靠近顶点 $A$，$\triangle DEF$ 会变得非常细长，面积趋近于 0。
• 对称性： 这种比例问题通常在“最均匀”的时候（即重心）取得极值。
• 工具选择： 这个证明展示了为什么在处理此类“嵌套三角形”问题时，将面积问题转化为线段比例积（塞瓦定理）是最高效的路径。