MathLabs

第4题

对平面上三点 A,B,CA,B,C,令 m(ABC)m(ABC) 为三角形 ABCABC 三条高中的最小长度;若三点共线则令 m(ABC)=0m(ABC)=0。给定 A,B,CA,B,C,证明平面上任意点 XX 都满足 m(ABC)≤m(ABX)+m(AXC)+m(XBC)m(ABC)\le m(ABX)+m(AXC)+m(XBC)。
第 3/5 步:相加面积
通俗地说

面积可加性把三个局部估计转化为整体估计。

[ABX]+[BCX]+[CAX]=[ABC][ABX]+[BCX]+[CAX]=[ABC]
详细分析

三个三角形分割了 ABC,故面积和为 [ABC]。前一步下界正好是 m(ABC),于是内部或边界情形得证。