Substitute tangent 且altitude equations in到reflecti上map; cyclic 排列 gives three pairwise intersections.