高斯用尺规作图绘出了正17边形，为欧几里得几何提供了重要的补充。