高斯的尺规作出的正多边形的条件是什么?