还不到十八岁的高斯发现了：一个正n边形可以用直尺和圆规画出当且仅当n是底下两种形式之一：k=0，1，2……十七世纪时法国数学家费马（Fermat）以为公式在k=0，1，2，3，……给出素数。（事实上，目前只确定F0，F1，F2，F4是质数，F5不是）。
