PRINCIPIA · THEOREM

费马 / 托里切利点

依赖:旋转:保距、保角,对应点到旋转中心距相等(旋转保距 + 保角)、三边不等式(折线 ≥\ge 直线段)、一角 60° 的等腰 ⇒ 等边(等腰 + 顶角 60°60° ⇒\Rightarrow 等边)、邻补角和等于 180°。

陈述

已知:△ABC\triangle ABC 的三个内角都严格小于 120∘120^\circ。对平面上任意一点 PP,记 PA‾\overline{PA}、PB‾\overline{PB}、PC‾\overline{PC} 为 PP 到三个顶点 AA、BB、CC 的距离。

求证:△ABC\triangle ABC 的内部存在唯一一点 FF,使得对一切平面上的点 PP 都有

PA‾+PB‾+PC‾  ≥  FA‾+FB‾+FC‾,\overline{PA} + \overline{PB} + \overline{PC} \;\ge\; \overline{FA} + \overline{FB} + \overline{FC},

且等号成立当且仅当 P=FP = F。

内角都小于 120^\circ 的 \triangle ABC,及平面上一点 P 到三顶点 A、B、C 的连线

10 条基础定理免费 · 其余一次买断

永久解锁完整证明

与 GeoSnap 一致,10 条基础定理完整免费;一次性 $10 解锁其余全部定理的证明、动画与即时推论。

登录后解锁
帮我把这条定理写得更好