早在古代，就有人能用直尺和圆规作出正三角形、正方形和正五边形了。可是，利用尺规来作正七边形或正十一边形或正十三边形的任何尝试，却都是以失败而告终。
这种局面持续了二千多年，数学家们猜想，凡是边数为素数的正多边形（如正七、正十一、正十三边形等）看来用圆规和直尺是作不出来的。但是在1796年，完全出乎数学界的意料之外，19岁的德国青年数学家高斯找到了用圆规和直尺来作边数为素数的正十七边形的方法。这个成就是如此辉煌，不仅使数学界为之轰动，而且也促使高斯把数学选为自己的终身职业。
五年以后，高斯又进一步宣布了能否作任意正多边形的判据。他证明了下面的定理：凡是边数为“费尔马素数”（即边数是2 1形状的数，而且还要是素数）的正多边形，就一定可以用尺规来作图。当n=2时，就是正十七边形；当n＝3时，就是正二百五十七边形；当n＝4时，就是正六万五千五百三十七边形……他还证明了，如果边数是素数，但不是费尔马素数的话（例如上面所提到过的正七边形，正十一边形等），那末这样的正多边形就不能用圆规和直尺来作出。
紧接在17以后的两个“费尔马素数”是257和65537.后来，数学家黎西罗果然给出了正二百五十七边形的完善作法，写满了整整80页纸。
另一位数学家盖尔美斯按照高斯的方法，得出了正六万五千五百三十七边形的尺规作图方法，他的手稿装满了整整一只手提皮箱，至今还保存在德国的著名学府哥庭根大学里。这道几何作图题的证明，可说是最为繁琐的了。
