Ho letto in rete che fino ai tempi di Gauss (eptadecagono) era di interesse dimostrare se alcune figure potessero essere tracciate mediante riga e compasso. Qualcuno sa come funzionano queste dimostrazioni e se esistono tecniche particolari per determinare l'algoritmo generante la figura?
