旋转相似

technique

把"绕定点旋转角 θ\theta"与"以该点为中心、比例 kk 位似"复合,得到的相似变换;能同时吃掉一个旋转角和一个伸缩比,是处理"带权重 + 带夹角"距离最值的核心工具。

旋转相似(Spiral Similarity)——绕定点旋转 + 同心位似的复合,是"带权距离和"题的瑞士军刀。

定义

平面上一个旋转相似变换由三个参数决定:

  • 中心 MM(一个定点)
  • 旋转角 θ\theta
  • 位似比 k>0k > 0

它把任意点 PP 送到 PP',使得

MP=kMP,PMP=θ.MP' = k \cdot MP, \qquad \angle PMP' = \theta.

等价地,把 旋转:保距、保角,对应点到旋转中心距相等(绕 MMθ\theta)与 位似(以 MM 为中心、比 kk)复合即可。先旋后位似与先位似后旋的结果相同——两者绕同一中心可交换。

旋转相似:M 为中心,P \mapsto P' 满足 MP' = k\,MP 且 \angle PMP' = \theta

关键性质

  • 保形:旋转相似是一个相似变换,保持所有角度、把所有距离按比例 kk 缩放。
  • 唯一性:给定两个点 P,PP, P' 和两个像 Q,QQ, Q'(且 PQ0PQ \ne 0),存在唯一的旋转相似把 PPP\mapsto P'QQQ\mapsto Q'。其中心由"两对线段的中垂线 + 旋转角对应弧"决定。
  • SAS 相似自动给出:若 MP1Q1\triangle MP_1Q_1MP2Q2\triangle MP_2Q_2 满足 MP2/MP1=MQ2/MQ1=kMP_2/MP_1 = MQ_2/MQ_1 = kP1MP2=Q1MQ2=θ\angle P_1MP_2 = \angle Q_1MQ_2 = \theta,则它们 SAS 相似(参 SSS / SAS 相似判定),且 MP1Q1\triangle MP_1Q_1 经旋转相似映到 MP2Q2\triangle MP_2Q_2

何时用

题目中同时出现下列两个特征:

  1. 目标含权重 + 夹角:求 w1d1+w2d2w_1\cdot d_1 + w_2 \cdot d_2 或类似,其中权重 wiw_i 不为 112\sqrt 23\sqrt 3 等"角对照表"内的值;
  2. 两动点联动:两个动点在不同直线 / 圆上滑动,但被某个比例关系 V1F:V2E=1:kV_1 F : V_2 E = 1 : k 锁定。

这时绕某个共享顶点旋转 + 位似能把两段加权线段"拼成一段",再用 [[triangle-inequality]] 收尾。

经典用法

用法一 · 任意权重费马点

目标 wADA+wBDB+wCDCw_A \cdot DA + w_B \cdot DB + w_C \cdot DC 最小,三个权重都任意(不在 1/2/31/\sqrt 2/\sqrt 3 对照表里)。绕某个权重端点(比如 BB)旋转 θ\theta + 位似 k=wC/wAk = w_C / w_A,把 BPC\triangle BPC 整体映到 BP2C2\triangle BP_2 C_2。此时

  • 位似比 k=wC/wAk = w_C / w_A
  • 旋转角 θ\theta 由余弦定理倒推:cosθ=1+k2(wB/wA)22k\cos\theta = \dfrac{1 + k^{2} - (w_B / w_A)^{2}}{2k}

目标最小值 =wAAC2= w_A \cdot |A C_2|

加权费马点(旋转 + 缩放通法)(特殊权重)的进一步推广。

用法二 · 两动点之间段最值

目标 wDF+EFw \cdot DF + EF,其中 E,FE, F 是两动点(在三角形相邻两边上滑),V1F:V2E=1:kV_1 F : V_2 E = 1 : k 联动。

找一个固定 pivot MM 使旋转相似把 EFE \mapsto F(旋转角 V1MV2\angle V_1 M V_2、位似比 1/w1/w);此时 FM=EF/wFM = EF / w,目标化为 w(DF+FM)wDMw(DF + FM) \ge w \cdot DM(三点共线取等)。

等边三角形 + w=3,k=2w = \sqrt 3, k = 2 时,V1V2M\triangle V_1 V_2 M 退化为 30-60-90 直角三角形——这是手算 pivot 时常用的特殊配置。

陷阱

  • 选错中心 / 选错权重端点:旋转相似的中心必须是被两动点共享或两段加权线段共顶点的那个点。选错则得不到对应的 SAS 相似。
  • 角的方向:旋转角 θ\theta 是有向角。题目里"顺时针 / 逆时针"的选择会影响像点 P2/C2P_2 / C_2 落到图形的哪一侧;落错一侧虽然仍然得到相似图形,但取等配置变了。
  • kk 的方向k=wC/wAk = w_C / w_A 还是 wA/wCw_A / w_C 取决于"目标加权和里要把谁化作 1"。先写下加权和、决定要消掉哪个系数,再选 kk
  • 位似比 1\ne 1 时不能简化为"纯旋转":纯旋转(k=1k = 1)能用 SAS 全等;带 k1k \ne 1 的旋转相似只能用 SAS 相似,得到的是"对应边比 1:k1 : k"而非"对应边相等"。

应用题

待补充。

关联