ガウスは、定規とコンパスでは正十七角形を描けないことを証明した。