The perpendicular bisectors 的 AiX 且 Ai+1X 是also symmetry axes, so both pass through O. 因此 OAi=OX=OAi+1. But 每个点 strictly inside 三角形 OAiAi+1 lies strictly inside circum圆 through O,Ai,Ai+1 译文:, whereas X lies 上th在圆, a contradiction. 所以 S has no extra 点s.