# Eptadecagono

In geometria, un eptadecagono è un poligono con 17 lati. Un eptadecagono regolare ha 17 lati congruenti e ogni angolo interno misura
    $180\cdot {\frac {17-2}{17}}~{\mbox{gradi}}~=~\left(158+{\frac {14}{17}}\right)~{\mbox{gradi}}~\approx 158,8235294~{\mbox{gradi}}.$
La costruibilità implica che qualunque funzione trigonometrica di $2\pi /17$ possa essere espressa servendosi solo di operazioni aritmetiche e radici quadrate. Il libro di Gauss Disquisitiones Arithmeticae contiene la seguente espressione, qui riportata in notazione moderna:
    $16\,\operatorname {cos} {2\pi \over 17}=-1+{\sqrt {17}}+{\sqrt {34-2{\sqrt {17}}}}+2{\sqrt {17+3{\sqrt {17}}-{\sqrt {34-2{\sqrt {17}}}}-2{\sqrt {34+2{\sqrt {17}}}}}}.$
Si vuole mostrare come Gauss sia arrivato a tale soluzione e come il problema sia connesso alla costruibilità dei poligoni regolari.

## Introduzione

L'eptadecagono regolare è un poligono costruibile con riga e compasso, come fu mostrato da Carl Friedrich Gauss nel 1796. Gauss fu così entusiasta della sua scoperta che chiese che ne fosse inciso uno sulla sua tomba. Lo scultore si rifiutò, sostenendo che la costruzione era così difficile che il poligono risultante non si sarebbe distinto da una circonferenza.
La costruzione dei poligoni regolari di $n$ lati rappresentò una sfida per tutti i matematici dall'antichità fino al XIX secolo. Tale costruzione è equivalente alla suddivisione della circonferenza in un numero $n$ di archi uguali: congiungendo i punti in cui la circonferenza viene suddivisa, si ottiene il poligono regolare, cioè equilatero ed equiangolo, che si vuole costruire.
Negli Elementi, Euclide si occupa della costruzione dei poligoni regolari nel IV Libro, risolvendo il problema per $n=3,4,5,6,15.$ Le sue costruzioni si fondano inizialmente sulle caratteristiche del particolare poligono regolare; per esempio, la costruzione del pentagono di Euclide si basa sull'osservazione che il triangolo isoscele con base un lato del pentagono ed il vertice opposto è tale che gli angoli alla base sono doppi del terzo angolo. Già Euclide, comunque, delinea un criterio di costruibilità dei poligoni: sebbene non esplicitato negli Elementi, Euclide ed i matematici greci erano in grado di costruire un qualunque poligono di $2^{m}$ lati (con $m$ intero positivo $1$), una volta costruito il poligono di $2^{m-1}$ lati: basandosi sulla bisezione del lato o equivalentemente dell'arco di circonferenza, a partire dal quadrato si costruisce l'ottagono e poi il 16-gono e così via. Inoltre, nella Proposizione 16 del IV Libro, con la costruzione del pentadecagono, Euclide indica un ulteriore criterio di costruibilità dei poligoni regolari: se sono costruibili i poligoni regolari di $r$ lati e di $s$ lati e $r$ e $s$ sono primi fra loro, cioè le loro scomposizioni in fattori primi hanno in comune solo il fattore 1, allora è costruibile anche il poligono regolare di $r\cdot s$ lati. In sintesi, a partire dai risultati del IV Libro di Euclide, i matematici dell'antichità erano in grado di costruire poligoni regolari di $2^{m}\cdot P_{1}^{r}\cdot P_{2}^{s}$ lati dove m è un intero non negativo, $P_{1}$ e $P_{2}$ sono i primi distinti 3 e 5, mentre $r$ e $s$ possono valere 0 o 1.
L'eptadecagono è il poligono regolare di 17 lati e il problema della sua costruzione fu risolto da Gauss nel 1796:
"...Avevo già scoperto ogni cosa relativa alla separazione delle radici dell'equazione
    ${\frac {z^{n}-1}{z-1}}=0$
in due gruppi. Dopo intense considerazioni della relazione di tutte le radici l'una con l'altra sul piano aritmetico, riuscii durante una vacanza a Braunschweig, nella mattina del giorno 29 marzo 1796 a vedere la relazione nel modo più chiaro, così che fui in grado di applicarla immediatamente ai 17 lati e alle verifiche numeriche".
Come scrive Gauss nelle sue note autobiografiche, la soluzione della costruzione del poligono di 17 lati consiste nella risoluzione dell'equazione
    $z^{n}=1$
nel piano complesso per $n=17$. Trovare tali soluzioni significa trovare il valore numerico del coseno della 17-sima parte dell'angolo giro e costruire l'eptadecagono regolare consiste nel costruire geometricamente il numero trovato.
Il giovane Gauss nel 1796 riuscì a dimostrare, inoltre, che, se $n$ è un numero primo di Fermat, allora il poligono regolare con un numero $n$ di lati è costruibile con riga e compasso. Ricordiamo che i numeri di Fermat sono espressi dalla formula $F_{m}=2^{(2^{m})}+1$ e che solo i numeri ottenuti per $m=0,1,2,3,4$ (i cui valori sono rispettivamente 3, 5,17, 257, 65537) sono stati sinora verificati essere primi.
Gauss provò dunque, più in generale, che un poligono regolare di $n$ lati è costruibile se la sua scomposizione in fattori primi è del tipo
    $N=2^{k}{p_{1}}{p_{2}}\cdots {p_{s}}$
dove $k$ è un numero intero non negativo e i fattori $p_{j}$ sono numeri di Fermat primi distinti. Egli intuì anche che la condizione suddetta doveva essere anche necessaria, ma la cosa venne provata solo più tardi da Pierre-Laurent Wantzel, nel 1836.

## L'equazione ciclotomica

Si cercano le soluzioni dell'equazione
    $z^{n}-1=0$
nel campo dei numeri complessi, o equivalentemente di $z^{n}=1$, cioè si cercano le $n$ radici $n$-sime dell'unità.
A un punto della circonferenza unitaria nel piano di Argand-Gauss risulta associato il numero complesso
    $z=\cos \theta +i\sin \theta =e^{i\theta },$
dove si è aggiunta la notazione esponenziale dei numeri complessi.
Considerando la circonferenza unitaria di centro $O(0,0)$ e raggio unitario nel piano complesso, le radici dell'equazione giacciono sulla circonferenza unitaria e la dividono in $n$ archi uguali.
Poiché le radici dell'equazione $z^{n-1}+z^{n-2}+z^{n-3}+\ldots +z+1=0$ insieme alla radice $z=1$ sono le $n$ radici dell'unità e dividono la circonferenza unitaria in $n$ parti uguali, l'equazione precedente è detta equazione ciclotomica (“che divide la circonferenza”).
Si ricordi che le $n$ radici n-sime dell'unità, cioè i numeri $R,R^{2},R^{3},\ldots ,R^{n}=1$ formano un gruppo moltiplicativo, dal momento che soddisfano le seguenti condizioni:
1) chiusura: $R^{a}R^{b}=R^{a+b}=R^{c}$ dove $a$, $b$, $c$ sono interi minori di $n;$
2) associatività: $R^{a}(R^{b}R^{c})=(R^{a}R^{b})R^{c}=R^{a+b+c};$
3) elemento neutro: $R^{n}$ poiché $R^{a}R^{n}=R^{a};$
4) elemento inverso di $R^{a}$ è $R^{n-a}.$

## Il metodo di Gauss

L'equazione ciclotomica per $n=17$ è
    $R^{16}+R^{15}+R^{14}+\ldots +R+1=0.$
Si dimostra con l'utilizzo delle proprietà di un gruppo moltiplicativo che le 16 radici di questa equazione ciclotomica ($R_{1},R_{2},\ldots ,R_{16}$) non sono altro che le potenze crescenti da 1 a 16 della radice $R$.
Per ricondurre allora la soluzione dell'equazione ciclotomica alla soluzione di equazioni di 2º grado, si accoppiano le radici in modo tale da ridurre via via il grado dell'equazione da risolvere.
A questo scopo, si cerca dapprima un numero $g$ tale che le radici possano essere ordinate nell'ordine $R,R^{g},R^{g^{2}},\ldots$ dove $R$ è la radice 17ª primitiva dell'unità.
Si definisce radice primitiva $n$-sima dell'unità una radice $R$ tale che $R^{n}=1$ e $R^{p}\not =1$ per tutti gli interi positivi $p<n$.
Gauss mostra che per $n=17$ il valore di $g$ opportuno è 3. (Per $g=2$, non si riesce ad ottenere tutte le radici dell'equazione ciclotomica). Si ordinano, allora, le radici in questo modo:
    $R,\,R^{3},\,R^{9},\,R^{10},\,R^{13},\,R^{5},\,R^{15},\,R^{11},\,R^{16},\,R^{14},\,R^{8},\,R^{7},\,R^{4},\,R^{12},\,R^{2},\,R^{6},$
dove si sono applicate le proprietà del gruppo ciclico, per cui, per $n=17$, per esempio $R^{27}=R^{10}$, $R^{81}=R^{68+13}=R^{13}$ e così via.
Si definiscono ora
    $y_{1}=R+R^{9}+R^{13}+R^{15}+R^{16}+R^{8}+R^{4}+R^{2},$
    $y_{2}=R^{3}+R^{5}+R^{10}+R^{11}+R^{14}+R^{7}+R^{12}+R^{6}.$
Naturalmente si ha che
    $y_{1}+y_{2}=-1$
mentre con un semplice calcolo si conclude che
    $y_{1}y_{2}=-4$
quindi, $y_{1}$ ed $y_{2}$ sono le radici dell'equazione di 2º grado
    $y^{2}+y-4=0$
Proseguendo con lo stesso metodo, si definiscono $x_{1}$ e $x_{2}$ prendendo i termini alternati di $y_{1}$:
    $x_{1}=R+R^{13}+R^{16}+R^{4}\qquad \quad x_{2}=R^{9}+R^{15}+R^{8}+R^{2}$
mentre $w_{1}$ e $w_{2}$ si definiscono con i termini alternati di $y_{2}$:
    $w_{1}=R^{3}+R^{5}+R^{14}+R^{12},\qquad w_{2}=R^{10}+R^{11}+R^{7}+R^{6}$
Naturalmente:
    $x_{1}+x_{2}=y_{1},\qquad w_{1}+w_{2}=y_{2}$
mentre si verifica che
    $x_{1}x_{2}=-1,\qquad w_{1}w_{2}=-1$
pertanto, la coppia $x_{1}$ ed $x_{2}$ e la coppia $w_{1}$ e $w_{2}$ soddisfano rispettivamente l'equazioni di 2º grado
    $x^{2}-y_{1}x-1=0,\qquad w^{2}-y_{2}w-1=0$
Si prendono, poi, i termini alternati in $x_{1}$:
    $\nu _{1}=R+R^{16},\qquad \nu _{2}=R^{13}+R^{4}$
ottenendo che
    $\nu _{1}+\nu _{2}=x_{1},\qquad \nu _{1}\nu _{2}=w_{1}$
e $v_{1}$ e $v_{2}$ sono radici dell'equazione
    $\nu ^{2}-x_{1}\nu +w_{1}=0$
Infine, R ed $R_{16}$ sono radici dell'equazione di 2º grado
    $r^{2}-\nu _{1}r+1=0$
infatti la loro somma è $v_{1}$, mentre il loro prodotto è $R^{17}=1$.
In conclusione, $R$ si può trovare risolvendo tante equazioni quadratiche quanti sono i fattori di $n-1=2\cdot 2\cdot 2\cdot 2$, ma ci sono 16 possibili valori di $R,$ dal momento che ci sono 16 radici primitive 17-me dell'unità ($R_{1},R_{2},\ldots ,R_{16}$ cfr. (2), (3), ...). Sarebbe utile che $R$ fosse
    $R=\cos {\frac {2\pi }{17}}+i\sin {\frac {2\pi }{17}}=e^{i{\frac {2\pi }{17}}}$
così che, essendo
    $R^{-1}=\cos {\frac {2\pi }{17}}-i\sin {\frac {2\pi }{17}}=R^{16}$
si avrebbe
    $\nu _{1}=R+R^{16}=R+{\frac {1}{R}}=2\cos \left({\frac {2\pi }{17}}\right)$
    $\nu _{2}=R^{4}+R^{13}=R^{4}+{\frac {1}{R^{4}}}=2\cos \left({\frac {8\pi }{17}}\right).$
Poiché sia ${\frac {2\pi }{17}}$ che ${\frac {8\pi }{17}}$ sono minori di ${\frac {\pi }{2}}$ e nel primo quadrante il coseno dell'angolo decresce al crescere dell'angolo, allora
    $\nu _{1}>\nu _{2}>0\quad {\mbox{e}}\quad z_{1}=\nu _{1}+\nu _{2}>0.$
Analogamente,
    $w_{1}=R^{3}+R^{5}+R^{14}+R^{12}=\left(R^{3}+{\frac {1}{R^{3}}}\right)+\left(R^{5}+{\frac {1}{R^{5}}}\right)=$
    $=2\cos \left({\frac {6\pi }{17}}\right)+2\cos \left({\frac {10\pi }{17}}\right)=2\cos \left({\frac {6\pi }{17}}\right)-2\cos \left({\frac {7\pi }{17}}\right).$
Poiché ${\frac {6\pi }{17}}<{\frac {7\pi }{17}}<{\frac {\pi }{2}},\;\cos \left({\frac {6\pi }{17}}\right)>\cos \left({\frac {7\pi }{17}}\right)$, implica che $w_{1}>0.$
Anche
    $y_{2}=\left(R^{3}+{\frac {1}{R^{3}}}\right)+\left(R^{5}+{\frac {1}{R^{5}}}\right)+\left(R^{6}+{\frac {1}{R^{6}}}\right)+\left(R^{7}+{\frac {1}{R^{7}}}\right)=$
    $=2\cos \left({\frac {6\pi }{17}}\right)+2\cos \left({\frac {10\pi }{17}}\right)+2\cos \left({\frac {12\pi }{17}}\right)+2\cos \left({\frac {14\pi }{17}}\right),$
dove l'unico termine positivo è il primo; infatti, $\cos \left({\frac {6\pi }{17}}\right)<\cos \left({\frac {5\pi }{17}}\right)=\cos \left({\frac {12\pi }{17}}\right)$, che permette di concludere che $y_{2}<0$. Poiché $y_{1}y_{2}=-4$, si può concludere anche che $y_{1}>0$.

## La soluzione aritmetica

Si risolvono ora numericamente l'equazioni di 2º grado trovate, riassumendo il procedimento seguito.
Sia data l'equazione ciclotomica
    $R^{16}+R^{15}+R^{14}+\ldots +R+1=0.$
I passo: si sono definite $y_{1}$ e $y_{2}$:
    $y_{1}=R+R^{9}+R^{13}+R^{15}+R^{16}+R^{8}+R^{4}+R^{2},$
    $y_{2}=R^{3}+R^{5}+R^{10}+R^{11}+R^{14}+R^{7}+R^{12}+R^{6},$
che sono soluzioni dell'equazione
    $y^{2}+y-4=0.$
Pertanto, risolvendo la precedente equazione:
    $y_{1}={\frac {1}{2}}\left({\sqrt {17}}-1\right),\qquad y_{2}={\frac {1}{2}}\left(-{\sqrt {17}}-1\right).$
II passo: si sono definite $x_{1}$ e $x_{2}$
    $x_{1}=R+R^{13}+R^{16}+R^{4},\qquad x_{2}=R^{9}+R^{15}+R^{8}+R^{2},$
che sono soluzioni dell'equazione
    $x^{2}-y_{1}x-1=0,$
da cui
    $x_{1,\,2}={\frac {1}{2}}y_{1}\pm {\frac {1}{2}}{\sqrt {4+y_{1}^{2}}}={\frac {1}{2}}y_{1}\pm {\frac {1}{2}}{\sqrt {12+3y_{1}+4y_{2}}}=$
    $={\frac {1}{4}}({\sqrt {17}}-1)\pm {\frac {1}{4}}{\sqrt {34-2{\sqrt {17}}}},$
dove la seconda uguaglianza si è introdotta per semplificare il calcolo successivo ed è di immediata verifica.
III passo: si sono definite $w_{1}$ e $w_{2}$
    $w_{1}=R^{3}+R^{5}+R^{14}+R^{12},\qquad w_{2}=R^{10}+R^{11}+R^{7}+R^{6}$
che sono soluzioni dell'equazione
    $w^{2}-y_{2}w-1=0$
da cui
    $w_{1,\,2}={\frac {1}{2}}y_{2}\pm {\frac {1}{2}}{\sqrt {4+y_{2}^{2}}}={\frac {1}{2}}y_{2}\pm {\frac {1}{2}}{\sqrt {12+4y_{1}+3y_{2}}}=$
    $={\frac {1}{4}}(-{\sqrt {17}}-1)\pm {\frac {1}{4}}{\sqrt {34+2{\sqrt {17}}}})$
dove la seconda uguaglianza si è introdotta, analogamente al II Passo, per semplificare il calcolo successivo ed è di immediata verifica.
IV passo: infine, si sono definite $v_{1}$ e $v_{2}$
    $\nu _{1}=R+R^{16},\qquad \nu _{2}=R^{4}+R^{13}$
che sono soluzioni dell'equazione
    $\nu ^{2}-x_{1}\nu +w_{1}=0$
cioè:
    $\nu _{1,\,2}={\frac {1}{2}}x_{1}\pm {\frac {1}{2}}{\sqrt {x_{1}^{2}-4w_{1}}}$
In particolare sostituendo i valori di $z_{1}$ e $w_{1}$ si ottiene:
    ${\frac {\nu _{1}}{2}}=\cos \left({\frac {2\pi }{17}}\right)=-{\frac {1}{16}}+{\frac {\sqrt {17}}{16}}+{\frac {1}{16}}{\sqrt {34-2{\sqrt {17}}}}+{\frac {1}{8}}{\sqrt {17+3{\sqrt {17}}-{\sqrt {34-2{\sqrt {17}}}}-2{\sqrt {34+2{\sqrt {17}}}}}}.$

## La costruzione geometrico-aritmetica

Qui a destra si può seguire una costruzione che è direttamente derivata dalle equazioni descritte nelle sezioni precedenti. Per la ricerca delle radici delle singole equazioni vengono utilizzati i cerchi di Carlyle.

## Poligoni derivati

La costruzione esatta dell'eptadecagono consente di disegnare in modo esatto anche altri poligoni. Infatti se in uno stesso cerchio si inscrivono un triangolo equilatero, un pentagono o un pentadecagono che abbiano un vertice in comune con un eptadecagono anch'esso inscritto nello stesso cerchio, è possibile determinare l'angolo al centro dei seguenti altri poligoni:
| Numero di lati, angoli e vertici | Poligono ausiliario | Determinazione angolo interno (frazioni di angolo giro) | Animazione: costruzione con riga e compasso |
| 34 | | ${\frac {1}{2}}-{\frac {8}{17}}={\frac {1}{34}}$ | 34-gono |
| 51 | Triangolo equilatero | ${\frac {6}{17}}-{\frac {1}{3}}={\frac {1}{51}}$ | 51-gono |
| 85 | Pentagono | ${\frac {7}{17}}-{\frac {2}{5}}={\frac {1}{85}}$ | 85-gono |
| 255 | Pentadecagono | ${\frac {8}{17}}-{\frac {7}{15}}={\frac {1}{255}}$ | 255-gono |

## Una costruzione puramente geometrica

Il primo metodo effettivo di costruzione con riga e compasso dell'eptadecagono, descritto dall'animazione seguente, è stato proposto da Johannes Erchinger, pochi anni dopo il lavoro di Gauss.