加权费马点(旋转 + 缩放通法)

technique

w1PA+w2PB+w3PCw_1 \cdot PA + w_2 \cdot PB + w_3 \cdot PC 最小时,提公因式 w1w_1 后在 CC 处把 BB 做旋转 θ\theta + 缩放 k=w2/w1k = w_2/w_1 的相似变换 BBB \to B'',把 PA+kPB+w3PC|PA| + k|PB| + w_3|PC| 拼成折线 APPBA \to P \to P'' \to B'';旋转角由"权三角形" (w1,w2,w3)(w_1, w_2, w_3)w3w_3 所对的角给出。

加权费马点——三段距离各自带权时的费马点推广。用旋转相似把三段拼成一条折线,再用三角不等式收尾。

通用公式

minP(w1PA+w2PB+w3PC),w1,w2,w3>0\min_P\,\big(\, w_1 \cdot |PA| + w_2 \cdot |PB| + w_3 \cdot |PC| \,\big), \quad w_1, w_2, w_3 > 0

记号:w1w_1AAw2w_2BBw3w_3CC(与下文旋转构造保持一致)。

经典模型

  • 动点 PP:平面上任意一点
  • 定点 A,B,CA, B, C:三个定点,分别对应正权重 w1,w2,w3w_1, w_2, w_3
  • 关键约束:权三角形 (w1,w2,w3)(w_1, w_2, w_3) 必须满足三角不等式 wiwj<wk<wi+wj|w_i - w_j| < w_k < w_i + w_j(旋转角 θ\theta 才存在);否则最优 PP 落在某顶点(边界解)
  • 等权特例w1=w2=w3w_1 = w_2 = w_3 退化为 费马点

三定点 A、B、C 与动点 P;目标是把三段加权距离 w_1·|PA|, w_2·|PB|, w_3·|PC| 之和最小化

何时用

  • f(P)=w1PA+w2PB+w3PCf(P) = w_1 \cdot PA + w_2 \cdot PB + w_3 \cdot PC 的最小值(三段距离都带不同权重)
  • 等权特例 w1=w2=w3w_1 = w_2 = w_3 退化为 费马点(经典费马-托里拆利点)
  • 物理 / 工程语境:三个城市以不同流量需要建一个公共转运点;带速度系数的"将军送水"加强版

核心招法

在权重 w3w_3 那个顶点(即 CC)做旋转 + 缩放——三段拼成一条折线,最短折线 = 直线段给出最小值。

旋转角 θ\theta = 边长为 (w1,w2,w3)(w_1, w_2, w_3) 的"权三角形"中 w3w_3 所对的那个角。

以 C 为中心做旋转相似(旋转 θ + 缩放 k)把 B、P 拉到 B''、P'':折线 A→P→P''→B'' 长度 = f(P) ≥ 弦 |AB''|

构造步骤

设三个定点 A,B,CA, B, C 与对应权重 w1w_1(对 AA)、w2w_2(对 BB)、w3w_3(对 CC)。先把 f(P)f(P) 提公因式 w1w_1,归一化取 w1=1w_1 = 1,记 k=w2/w1=w2k = w_2 / w_1 = w_2(这样下文折线长度直接 =f(P)= f(P)PA|PA| 不再带系数,PB|PB|PC|PC| 都被旋转 + 缩放"吃干净")。

归一化后的核心图:原始三段 |PA|, k·|PB|, w_3·|PC| 与折线 |AP| + |PP''| + |P''B''| 一一对应,下文都按归一化记号 k(=w_2), w_3 来推

  1. 算旋转角cosθ=1+k2w322k\cos\theta = \dfrac{1 + k^2 - w_3^2}{2k}(即 1+k22kcosθ=w321 + k^2 - 2k\cos\theta = w_3^2,余弦定理形式)。这里 θ\theta 的取法不是凭空——详见 "为什么对" 一节:要让 PP=w3PC|P''P| = w_3 \cdot |PC|,对 PCP\triangle PCP'' 用余弦定理反解即得此式。

    权三角形 (w_1, w_2, w_3):边 w_3 所对的角 = 旋转角 θ

  2. 做旋转相似(以 CC 为中心,分两步看更清楚):

    • 2a 旋转 θ\thetaBBB \to B'PPP \to P'。性质 CB=CB|CB'| = |CB|BCB=θ\angle BCB' = \thetaBP=BP|B'P'| = |BP|(旋转保长)
    • 2b 缩放 kkBBB' \to B''PPP' \to P''。性质 CB=kCB|CB''| = k \cdot |CB|BP=kBP|B''P''| = k \cdot |BP|(等比放大)

    合起来记 BB''PP'' 为旋转相似像(满足 CB=kCB|CB''| = k \cdot |CB|BCB=θ\angle BCB'' = \theta)。

    旋转相似的几何作图:旋转角 θ + 缩放比 k

  3. 三段恰好凑成折线 APPBA \to P \to P'' \to B''

    • AP=w1PA|AP| = w_1 \cdot |PA|(归一化 w1=1w_1 = 1,第一段直接就是原 PA|PA|
    • PP=w3PC|PP''| = w_3 \cdot |PC|(对 PCP\triangle PCP'' 余弦定理:PP=CP1+k22kcosθ=w3CP|PP''| = |CP|\sqrt{1 + k^2 - 2k\cos\theta} = w_3 \cdot |CP|
    • PB=kPB=w2PB|P''B''| = k \cdot |PB| = w_2 \cdot |PB|(缩放比 k=w2k = w_2

    于是折线长度 = AP+PP+PB=f(P)|AP| + |PP''| + |P''B''| = f(P) 直接相等。

  4. 拍直:折线最短 =AB= |AB''|,等号当 A,P,P,BA, P, P'', B'' 四点共线时成立。

  5. 定位 PPPP 是直线 ABAB'' 与圆弧 / 直线交点(具体由共线条件解出)。

最值公式

θ\theta 由权 (w1,w2,w3)(w_1, w_2, w_3) 直接给出,故最小值 AB|AB''| 也能绕开 PP 直接算——把 ACB\triangle ACB'' 的余弦定理与权三角形的余弦定理 2w1w2cosθ=w12+w22w322 w_1 w_2 \cos\theta = w_1^2 + w_2^2 - w_3^2 拼起来化简,得到只含"权 +ABC+ \triangle ABC"的封闭式:

(minf)2=12 ⁣[(w22+w32w12)a2+(w12+w32w22)b2+(w12+w22w32)c2]+8SSw.\bigl(\min f\bigr)^2 = \tfrac{1}{2}\!\left[(w_2^2+w_3^2-w_1^2)\,a^2 + (w_1^2+w_3^2-w_2^2)\,b^2 + (w_1^2+w_2^2-w_3^2)\,c^2\right] + 8\,S_{\triangle}\,S_w.

记号:a=BC,b=CA,c=ABa = |BC|, b = |CA|, c = |AB|(标准对边记法——aa 对顶点 AA,余类推);SS_{\triangle}ABC\triangle ABC 面积;SwS_w 是权三角形 (w1,w2,w3)(w_1, w_2, w_3) 面积(Heron:16Sw2=2(w12w22+w22w32+w32w12)(w14+w24+w34)16\,S_w^2 = 2(w_1^2 w_2^2 + w_2^2 w_3^2 + w_3^2 w_1^2) - (w_1^4 + w_2^4 + w_3^4))。三个权系数都形如"另两边权方之和 - 本边对应权的平方"——恰好等于权三角形里"2wjwkcos(该顶点角)2 w_j w_k \cos(\text{该顶点角})"。

特例验证(费马点 w1=w2=w3=1w_1 = w_2 = w_3 = 1:权系数皆为 11Sw=3/4S_w = \sqrt{3}/4,公式给出

(minf)2=a2+b2+c22+23S,(\min f)^2 = \tfrac{a^2 + b^2 + c^2}{2} + 2\sqrt{3}\,S_{\triangle},

即经典费马-托里拆利点最值公式。

适用条件:权三角形 (w1,w2,w3)(w_1, w_2, w_3) 满足三角不等式(θ\theta 存在),且最优 PP 落在 ABC\triangle ABC 内部;否则最值在某顶点取得(边界解),须直接比较三个顶点处 ff 的值。

为什么对

旋转保角、缩放保比例,旋转相似把 BCP\triangle BCP 变成 BCP\triangle B''CP'',使 BP=kBP|B''P''| = k \cdot |BP|,并把"PPCC"那段距离换成"PPPP''"——后者长度恰好等于 w3PCw_3 \cdot |PC|(由余弦定理选 θ\theta)。这样一来三段不同权的距离被翻译成同一根折线上的三个相邻段(AP|AP|w1=1w_1 = 1 留在原位);剩下的就是"折线 \geq 直线段"。

聚焦 △PCP'':从 C 出发两边长为 |CP| 与 k·|CP|、夹角 θ;余弦定理算出 |P''P| = w_3·|CP|

余弦定理回顾:在任意 XYZ\triangle XYZ 中,记三边 a=YZ,b=XZ,c=XYa = |YZ|, b = |XZ|, c = |XY|,则与边 cc 所对的角 Z\angle Z 满足

c2=a2+b22abcosZ.c^2 = a^2 + b^2 - 2ab\cos\angle Z.

左右同一形状的两个三角形:左 \triangle XYZ 的 (a, b, c, \angle Z) 与右权三角形的 (1, k, w_3, \theta) 一一对应——c 与 w_3 都是焦点角的对边

第 1 步公式的来历:把权三角形 (w1,w2,w3)(w_1, w_2, w_3) 三边代入(归一化 w1=1w_1 = 1 后即 (1,k,w3)(1, k, w_3),其中 k=w2k = w_2),w3w_3 所对的角 =θ= \theta,于是

w32=1+k22kcosθ    cosθ=1+k2w322k.w_3^2 = 1 + k^2 - 2k\cos\theta \;\Longrightarrow\; \cos\theta = \frac{1 + k^2 - w_3^2}{2k}.

第 3 步 PP=w3CP|P''P| = w_3 \cdot |CP| 同理PCP\triangle PCP''CP|CP|CP=kCP|CP''| = k \cdot |CP| 是从 CC 出发的两边,夹角 PCP=θ\angle PCP'' = \theta。再用一次余弦定理:

PP2=CP2+(kCP)22CPkCPcosθ=CP2(1+k22kcosθ)=CP2w32.|P''P|^2 = |CP|^2 + (k|CP|)^2 - 2 \cdot |CP| \cdot k|CP| \cdot \cos\theta = |CP|^2 (1 + k^2 - 2k\cos\theta) = |CP|^2 \cdot w_3^2.

PP=w3CP|P''P| = w_3 \cdot |CP| ——正是为了这一等式才那样选 θ\theta

几何直觉:"权三角形 (w1,w2,w3)(w_1, w_2, w_3)w3w_3 对哪个角,就转多少度。" (1,1,1)θ=60°(1, 1, 1) \Rightarrow \theta = 60°(经典费马点) (1,1,2)θ=90°(1, 1, \sqrt{2}) \Rightarrow \theta = 90°(等腰直角权三角形) (3,4,5)θ=90°(3, 4, 5) \Rightarrow \theta = 90°(直角对斜边)

三种特殊权对应的旋转角:(1,1,1)→60°、(1,1,√2)→90°、(3,4,5)→90°

典型例题

  • 经典费马点:w1=w2=w3=1w_1 = w_2 = w_3 = 1,旋转 60°60° 拼正三角形——最优 PP 即三视角均 120°120° 之点
  • (1,1,2)(1, 1, \sqrt{2}):求 PA+PB+2PC|PA| + |PB| + \sqrt{2} \cdot |PC| 的最小值——提公因式后 w1=1w_1 = 1,旋转相似把 BB 拍到 BB''θ=90°,k=1\theta = 90°, k = 1),问题化为 AB|AB''|
  • (3,4,5)(3, 4, 5):旋转 90°90°,权三角形是 3453{-}4{-}5 直角三角形

变式 / 推广

  • 三角形权特殊化:当 (w1,w2,w3)(w_1, w_2, w_3)30609030{-}60{-}90 / 45459045{-}45{-}90 等"特殊角"权时,旋转角天然好算,折线作图也容易
  • 退化情况:若权三角形不等式 w1w2<w3<w1+w2|w_1 - w_2| < w_3 < w_1 + w_2 不成立,最小值在某个顶点取得(即"边界解"),旋转相似不再适用
  • 降维:单段加权变体见 胡不归(异速最值,sin 倾角法);两段等权变体见 将军饮马(轴对称求最值)
  • 命名说明:这个引理在中文奥数圈称"加权费马点旋转法";英文文献里常称 weighted rotation lemma 或归在 Tellier's construction / spiral similarity 名下。它不是命名定理,而是带权 Fermat-Torricelli 问题的标准 lemma——使用时建议现场用余弦定理推一遍,不要直接引用。