>>983
>⇔(1,0),(cost,sint)を頂点にもち単位円に内接する正k角形(k≧1)でkが最小のもの(あれば)の頂点が全て作図可能
ここは同値？