阿氏圆模型 · PA + k·PB 型

反演点换边：在射线 OB 上取 C 使 OC·OB = r² ⇒ △OPC ∽ △OBP ⇒ PC = k·PB（k = r/OB）⇒ PA + k·PB = PA + PC ≥ AC（共线取等）。