PRINCIPIA · THEOREM

费马 / 托里切利点

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

陈述

已知ABC\triangle ABC 的三个内角都严格小于 120120^\circ。对平面上任意一点 PP,记 PA\overline{PA}PB\overline{PB}PC\overline{PC}PP 到三个顶点 AABBCC 的距离。

求证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 解锁其余全部定理的证明、动画与即时推论。

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