主动点 P 在定圆 O（半径 R）上运动，从动点 Q = A + λ·rot(P − A, θ)（A 为定点）：Q 的轨迹还是圆——圆心 O′ 由 O 同样变换而来，半径 λR，且 ∠OAO′ = θ。