把一条线段送到另一条线段的旋转,会把每个点送到相同比例距离处的点;比例相等 BE/BC=DF/DABE/BC=DF/DABE/BC=DF/DA 使 EEE 与 FFF 成为对应点对。
上一步的旋转把 BCBCBC 上距 BBB 为比例 BE/BCBE/BCBE/BC 的点,送到 DADADA 上距 DDD 同一比例的点。由 BE=DFBE=DFBE=DF 且 BC=DABC=DABC=DA,该比例即 BE/BC=DF/DABE/BC=DF/DABE/BC=DF/DA,其像点恰为 FFF。于是绕 MMM 的这同一个固定旋转,同时把 B↦DB\mapsto DB↦D、C↦AC\mapsto AC↦A、E↦FE\mapsto FE↦F。