13.01.2013 Views

Capitolo 1 “Prematematica” e Matematica antica

Capitolo 1 “Prematematica” e Matematica antica

Capitolo 1 “Prematematica” e Matematica antica

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

deve dare un multiplo intero di 2π, per cui: θ = 2πr<br />

n . Di conseguenza z è uno<br />

dei punti z1, ..., zn che vogliamo costruire.<br />

In conclusione: il problema della costruzione di un n-gono regolare dipende<br />

dall’equazione:<br />

z n = 1,<br />

e precisamente dalla ricerca delle radici di essa diverse da z = 1, cioè dalla<br />

risoluzione dell’equazione:<br />

z n − 1<br />

z − 1 = zn−1 + z n−2 + ... + 1 = 0 (7.1)<br />

Se n = p primo si dimostra che l’equazione (13.4) è irriducibile nel campo dei<br />

razionali. Ora, affinché il poligono di p lati sia costruibile con riga e compasso<br />

l’equazione (13.4) deve essere risolubile per radicali quadratici. Perciò p − 1<br />

deve essere una potenza di due, e quindi:<br />

p = 2 n + 1.<br />

Ne deduciamo che non sono costruibili i poligoni con un numero di lati pari<br />

a 7, 11, 13, 19, etc. Cerchiamo di capire quali sono i poligoni con un numero<br />

primo di lati che possiamo costruire. Dimostriamo che ogni numero primo<br />

della forma p = 2n + 1 è un numero della forma p = 22m + 1. Basta notare che<br />

se n ammette qualche divisore dispari: n = h(2k + 1) allora il numero<br />

2 n + 1 = 2 h(2k+1) + 1<br />

non può essere primo. Infatti è divisibile per 2 h + 1. Mostriamolo in questo<br />

modo, consideriamo il binomio:<br />

x 2k+1 + 1<br />

si annulla per x = −1 e perciò è divisibile per x + 1:<br />

Sostituendo:<br />

x 2k+1 + 1 = (x + 1)p(x)<br />

x = 2 h<br />

Si ha appunto che 2 h(2k+1) + 1 è divisibile per 2 h + 1. Alla luce di questo<br />

risultato vediamo quali sono i poligoni costrubili per m = 0, 1, 2, 3, 4, sono<br />

i poligoni di 3, 5, 17, 257, 65537 lati. Generalizziamo al caso di un poligono<br />

235

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!