由于 AB 与 CD 不等而两三角形全等，CD 必对应 AX_i 或 BX_i 之一，AB 必对应 CX_i 或 DX_i 之一。因此每个 X_i 位于以 A 或 B 为圆心、CD 为半径的两个圆之一，同时位于以 C 或 D 为圆心、AB 为半径的两个圆之一。