>>715

頂点をA〜G とする。
正7角形で３本の交点が１点で交わる可能性があるのは、頂点の数から考えて
　AD, BE, CF（またはこれと合同な形）の場合に限る。
　中心Oの周りに 1/7回転することにより、AD→BE, BE→CF に移る。
　ADとBEの交点をP, BEとCFの交点をQとおくと、P→Q
　対称性からみて、P、Q≠O だから、P≠Q
　∴　AD, BE, CF は１点で交わらない。(終)