カール・フリードリヒ・ガウスは1801年に出版した『整数論の研究』において、pがフェルマー素数ならば正p角形は定規とコンパスで作図可能であることを証明した。
高斯在1801年出版的《算术研究》中的“二次同余论”，证明了如果p为费马素数，则正p边形是可以尺规作图绘出。