Trisezione dell'angolo

Da Wikipedia, l'enciclopedia libera.

La trisezione di un angolo, vale a dire la costruzione di un angolo di ampiezza un terzo di un altro angolo qualsiasi dato, assieme al problema della duplicazione del cubo e a quello della quadratura del cerchio, è uno dei tre problemi classici della geometria greca che, come ha dimostrato algebricamente Pierre-Laurent Wantzel nel 1837, non si può risolvere con riga e compasso, ossia con costruzioni geometriche che impiegano solo rette e circonferenze.

Il problema[modifica | modifica sorgente]

Per la Formula di De Moivre, le radici dell'equazione

(1)  x^3 \,=\, \cos \alpha +  i\sin \alpha

sono

(2a)  x_1 = \cos \left( \frac{\alpha}{3} \right) + i \sin \left( \frac{\alpha}{3} \right)

(2b)  x_2= \cos \left( \frac{\alpha+2\pi}{3} \right) + i \sin \left (\frac{\alpha+2\pi}{3} \right)

(2c)  x_3 = \cos \left( \frac{\alpha+4\pi}{3} \right) + i \sin \left( \frac{\alpha+4\pi}{3} \right)

che nel piano di Gauss - Argand corrispondono ai vertici del triangolo equilatero inscritto nella circonferenza di raggio unitario che ha centro nell'origine degli assi.

L'equazione (1), dunque, è l'enunciato analitico della trisezione dell'angolo α. Se l'equazione (1) fosse riducibile allora dovrebbe essere possibile esprimere una sua radice come funzione razionale di cos α e sen α; funzione che non si altererebbe mutando α in α + 2π. Al contrario, nessuna delle tre radici rimane inalterata quando, variando in modo continuo, α passa al valore α + 2π , poiché in tal caso x1 passa in x2, x2 a sua volta passa in x3 e x3 in x1 ovvero si ha una permutazione ciclica delle radici. Nessuna di esse, quindi, può essere rappresentata come una funzione razionale di cos α e sen α; ma se questo è vero ne segue che l'equazione (1) è irriducibile.

C'è un'importante differenza tra il problema di trisecare un angolo e gli altri due problemi greci classici: non si può quadrare nessun cerchio con riga e compasso, non si può duplicare nessun cubo con riga e compasso, ma esistono alcuni angoli particolari, come quelli di 90°, 27° o 45°, per cui la trisezione è possibile con riga e compasso.

Costruzioni con riga e compasso[modifica | modifica sorgente]

Come nacque il problema di riuscire a trisecare un angolo con riga e compasso? Esaminiamo la costruzione con riga e compasso per bisecare un angolo. La costruzione è diretta, come si vede nella figura: dato l'angolo CÂB individuiamo due lunghezze uguali AB e AC sui suoi lati. Costruiamo quindi il parallelogramma CABD e disegniamo la diagonale AD che biseca l'angolo CÂB.

Figura 1: bisezione dell'angolo

Il metodo per bisecare l'angolo è dunque molto semplice. Gli antichi greci pensarono che fosse altrettanto semplice poter dividere gli angoli in ogni modo, cercarono quindi un metodo con riga e compasso che permettesse di dividere un angolo in tre parti uguali. Ben presto si accorsero che il problema era più difficoltoso: in effetti, il problema è risolvibile con riga e compasso solo per alcuni tipi di angoli, ma nel caso generale ciò non è possibile. Vediamo ora due esempi di trisezione possibili con riga e compasso.

Trisezione di un angolo retto e di un angolo di mπ/2k[modifica | modifica sorgente]

La trisezione, col solo uso di riga e compasso è possibile in alcuni casi particolari, ad esempio per un angolo retto. Infatti, dato un angolo retto (figura 2) si traccia una circonferenza Γ1 con centro in A e raggio r qualsiasi; essa taglia la semiretta per A in B. Ora si traccia la circonferenza Γ2 con centro in B e raggio r ; essa intersecherà la circonferenza Γ1 in D .

Il triangolo ABD è equilatero; infatti AB =AD = BD = r . Quindi l'angolo BÂD = π/3 e, per differenza, l'angolo DÂC = π/6 . Di conseguenza è possibile trisecare l'angolo CÂB.

Figura 2: trisezione di un angolo retto

Per trisecare un angolo di π/4 è sufficiente, dopo aver trisecato un angolo retto, bisecare l'angolo di π/6 che si ottiene.

Figura 3: trisezione di un angolo di 45°

Con questa tecnica si possono trisecare (col solo uso di riga e compasso) gli angoli la cui ampiezza sia:

\varphi = \frac{m\pi}{2^k} \qquad k\in\N,\,m\in\Z .

Trisezione con l'uso di una riga graduata.[modifica | modifica sorgente]

Il metodo di Nicomede[modifica | modifica sorgente]

Quello di Nicomede non è propriamente un metodo di costruzione, perché egli usò la riga per riportare una lunghezza, ovvero utilizzò idealmente una riga graduata. Dato un angolo qualsiasi CÂB (vedi figura 4), si considera una retta d , perpendicolare ad AB , la quale intersechi AB in D e AC in C ; per C si traccia una retta e parallela ad AB e per A si traccia una retta f parallela a d; le rette e ed f si intersechino in F . Ora per A si traccia una retta g , la quale interseca d in H ed e in E in modo che:

HE = 2AC ; allora EÂD = {1 \over 3} CÂD .

Figura 4: il metodo di trisezione di Nicomede
  • CD \perp AB
  • FE // AD
  • FA // CD
  • HE \cong 2AC
EÂD \cong {1 \over 3} CÂD

Detto G il punto medio di HE, si ha:

(13) HG \cong GE per costruzione
(14) CG \cong HG \cong GE perché il triangolo CHE è rettangolo.

Quindi è anche:

(15) AC \cong HG \cong CG \cong GE

D'altra parte

(16) EÂB \cong CÊG perché angoli alterni interni
(17) CÊG \cong EĈG perché il triangolo CGE è isoscele.

L'angolo CĜH è l'angolo esterno del triangolo CGE e, quindi,

(18) CĜH \cong EĈG + CÊG \cong 2 CÊG

Ma anche

(19) CĜH \cong CÂG perché il triangolo CAG è isoscele.

Allora

(20) CÂB = CÂG + GÂB \cong 2 CÊG + GÂB \cong 2 GÂB + GÂB = 3 GÂB

Ovvero

(21) GÂB \cong \frac{1}{3} CÂB QED

Il metodo di Archimede[modifica | modifica sorgente]

Nella soluzione proposta da Archimede la riga viene usata per riportare una lunghezza e, quindi, è pensata come riga graduata. Supponiamo di voler trisecare CÂB (vedi figura 5), disegniamo una circonferenza Г, con centro in A e raggio r, la quale interseca la semiretta c in C e la semiretta b in B ; per C tracciamo una retta d che taglia la retta b nel punto E e la circonferenza nel punto F in modo tale che EF sia congruente al raggio della circonferenza. Per A tracciamo la retta e parallela a d, la quale interseca la circonferenza in X. L'angolo XÂB è la terza parte dell'angolo dato.

Figura 5: il metodo di trisezione di Archimede

Hp: EF \cong AF \cong AB \cong AC

Th: XÂB \cong \left( \frac{1}{3} \right) CÂB

Dimostrazione[modifica | modifica sorgente]

Si osservi che, per costruzione, i due triangoli EFA e CAF sono isosceli. In particolare il lato EF è congruente al lato AF perché si è presa la retta c in modo tale che la distanza tra il punto di intersezione di tale retta con la retta b e il punto di intersezione con la circonferenza fosse uguale al raggio; mentre il lato AF è congruente al lato AC perché entrambi raggi della stessa circonferenza.

Da ciò segue che

(22) FÊA \cong FÂE
(23) AĈF \cong AFC

Inoltre l'angolo CÂB è angolo esterno del triangolo EAC e quindi

(24) CÂB \cong FÊA + AĈF

A sua volta AĈF è congruente all'angolo AFC, che è angolo esterno del triangolo EFA e quindi

(25) AFC \cong FÊA + FÂE \cong 2 FÊA

Unendo le relazioni (24) e (25) si ottiene

(26) CÂB \cong FÊA +2 FÊA = 3 FÊA

Ovvero

(27) FÊA \cong {1 \over 3} CÂB

D'altronde EF // AX (tagliati dalla trasversale b) e gli angoli FÊA e XÂB sono angoli corrispondenti e dunque

(28) FÊA \cong XÂB

Confrontando le relazioni (27) e (28) si ricava

(29) XÂB \cong {1 \over 3} CÂB

c.v.d.

Soluzioni con l'utilizzo di coniche[modifica | modifica sorgente]

Dalla morte di Apollonio avvenuta nel 190 a.C. circa, la geometria classica non aveva più trovato nessun sostenitore. Tuttavia, durante il regno di Diocleziano (284-305), visse ad Alessandria uno scienziato animato dallo spirito che aveva posseduto Euclide, Archimede e Apollonio: Pappo di Alessandria (290–350 d.C.) il quale, verso il 320 d.C. compose un'opera, in 8 libri, dal titolo Collezioni matematiche. Questa opera è molto importante in quanto ci fornisce una preziosa documentazione storica concernente alcuni aspetti della matematica greca che altrimenti sarebbero rimasti sconosciuti. Le Collezioni contengono anche dimostrazioni alternative e lemmi supplementari relativi a teoremi di Euclide, Archimede, Apollonio e Tolomeo. Infine, il trattato presenta nuove scoperte e generalizzazioni che non è dato trovare in nessuna opera precedente. Molto importante è il Libro III in cui Pappo fa una netta distinzione tra problemi "piani", "solidi" e "lineari": i primi sono costruibili solo con cerchi e rette, i secondi sono risolvibili mediante l'uso di sezioni coniche e l'ultimo genere di problemi richiede curve diverse da rette, cerchi e coniche. In particolar modo il problema della trisezione dell'angolo viene presentato come un problema del secondo tipo, cioè come un problema solido e lo stesso Pappo ne suggerisce alcuni metodi di risoluzione facendo uso di sezioni coniche. Le Collezioni matematiche di Pappo sono l'ultimo trattato matematico veramente significativo dell'antichità, poiché il tentativo da lui fatto di ridare alla geometria nuova vitalità non fu coronato dal successo. Si continuarono a scrivere opere matematiche in greco per un altro millennio circa, ma gli autori che vennero dopo Pappo non raggiunsero mai il suo livello. Le loro opere hanno quasi esclusivamente la forma di commento a trattati anteriori.

La soluzione di Pappo[modifica | modifica sorgente]

Pappo risolve il problema della trisezione utilizzando le coniche ma rifacendosi ad un'idea di Apollonio. L'idea da cui partì Pappo è la seguente: fissata una linea AB, si vuole determinare il luogo dei punti P per i quali vale la seguente relazione: 2 x PÂB = PBA

Osserviamo le seguenti figure:

Soluzione di Pappo.jpg

Si può dimostrare che tale luogo geometrico è un'iperbole avente eccentricità 2, un fuoco in B e come direttrice l'asse del segmento AB. (vedi figura a sinistra). Considerando O come centro, disegniamo un cerchio che passi per A e per B; se costruiamo un'iperbole con eccentricità 2, fuoco in B e direttrice l'asse di AB, tale iperbole interseca il cerchio in P. Il segmento PO triseca l'angolo AÔB. Per dimostrarlo notiamo che, dalle proprietà dell'iperbole descritta, 2 x PÂB = PBA. Ma un angolo al centro è il doppio dell'angolo alla circonferenza che insiste sullo stesso arco quindi:

2 x PÂB = PÔB (entrambi insistono sull'arco PB)

e

2 x PBA = PÔA (entrambi insistono sull'arco PA)

Unendo le due relazioni si ottiene 2 x PÔB = PÔA cioè l'angolo PÔB è la terza parte dell'angolo PÔA.

c.v.d.

Soluzione con l'utilizzo della concoide di Nicomede[modifica | modifica sorgente]

Nicomede visse circa nello stesso periodo di Archimede (nel II secolo a.C.) e produsse la famosa curva concoide (conchiglia in greco)

Concoide di Nicomede.jpg

Fissiamo un punto O (detto polo) ed una retta m distante d da O. Consideriamo una seconda retta passante per O, che interseca la retta m in A. Su tale retta, da entrambe le parti rispetto ad A stacchiamo due segmenti AP = AP' ciascuno di lunghezza k. Il luogo dei punti P e P' ottenuti ruotando la retta per O si chiama appunto Concoide di Nicomede. La parte descritta dal punto più lontano ad O (cioè P) si dice ramo esterno della concoide; l'altra parte ramo interno. Ponendo il punto O nell'origine di un sistema di assi cartesiano xOy e prendendo la retta m parallela all'asse y, avente quindi equazione x = a, l'equazione cartesiana della curva è:

(x^2 + y^2) \cdot (x - d)^2 = k^2 \cdot x^2

Se invece il sistema di riferimento è un sistema polare l'equazione diventa

ρ =  \frac{d}{\cos \theta} + k

Le equazioni parametriche sono invece:

 \left\{\begin{matrix} x = d + k \cos \theta& \mbox{ } \\ y = d \tan \theta + k \sin \theta & \mbox{ } \end{matrix}\right.

Trisezione dell'angolo[modifica | modifica sorgente]

La curva può essere utilizzata per risolvere il problema della trisezione dell'angolo. Sia AÔB un angolo qualunque; da un punto arbitrario L del lato OB conduciamo la perpendicolare LD al lato OA e consideriamo la concoide della retta LD rispetto al polo O di costante k = 2 OL. La parallela ad OA, uscente da L incontra il ramo esterno della concoide in C; si congiunga C con O e dimostriamo che

AÔC = {1 \over 3} AÔB

Trisezione dell angolo.jpg

Dimostrazione[modifica | modifica sorgente]

Chiamiamo N il punto d'intersezione di OC con LD ed M il punto medio di CN. Per definizione di concoide, sarà:

CN = k = 2 OL

e quindi

CM = MN = OL = {k \over 2}

D'altra parte NLC è un angolo retto ed allora LM, come mediana relativa all'ipotenusa CN del triangolo rettangolo CLN, sarà metà dell'ipotenusa stessa, cioè

LM = NM = OL.

Ne segue che i triangoli LOM e LMC e LMN sono isosceli e quindi:

LÔM = NML = 2 LĈM

Ma LCM = COA perché alterni interni e perciò LÔM = 2 CÔA o anche

BÔA = LÔA = 3 CÔA.

c.v.d.

Soluzione con l'utilizzo della trisettrice di Mac Laurin[modifica | modifica sorgente]

Questa curva fu studiata da Colin Maclaurin nel 1742. Come altre curve essa fornisce una soluzione al problema della trisezione. Il nome stesso trisettrice nasce appunto dal fatto che essa si può utilizzare per trisecare gli angoli. La trisettrice è una famiglia di curve algebriche di ordine 3, cioè di cubiche in particolare sono cubiche con un nodo; le tangenti in questo punto sono inclinate di ± 60° rispetto all'asse della curva. L'area del cappio vale e la distanza dell'origine dal punto in cui la curva taglia l'asse x è 3a. La sua equazione cartesiana è

y^2 \cdot \left( a + x \right) = x^2 \cdot \left( 3a - x \right)

Le equazioni parametriche sono:

 \left\{\begin{matrix} x = a \cdot \frac {t^2 - 3}{t^2 + 1}& \mbox{ } \\ y = a \cdot \frac {t \left( t^2 - 3 \right)}{t^2 + 1}& \mbox { } \end{matrix}\right.

Mentre l'equazione polare è la seguente:

ρ =  \frac{2\alpha \sin \left( 3 \theta \right)}{\sin \left( 2 \theta \right)}

In figura è rappresentata la trisettrice di MacLaurin con nodo nell'origine e nei due casi a > 0 (a sinistra) e a < 0 (a destra).

Trisetrice di MacLaurin 1.jpg Trisetrice di MacLaurin 2.jpg

Supponiamo di avere una trisettrice con nodo nell'origine che taglia l'asse x nel punto (-3,0), e sia P un punto qualsiasi sul cappio della curva. L'angolo formato dai punti[(-3,0),(-2,0),P] = 3 volte l'angolo formato dai punti[(-2,0),(0,0),P].

Soluzione con l'utilizzo della chiocciola (o lumaca) di Pascal[modifica | modifica sorgente]

Blaise Pascal, era un prodigio matematico. Anche suo padre aveva una notevole inclinazione per la matematica; la lumaca o chiocciola di Pascal prende appunto il nome dal padre Étienne Pascal, che la studiò. Questa curva era nota agli antichi come la concoide del cerchio, ma Etienne Pascal ne fece uno studio così approfondito che da allora prende il suo nome.

Chiocciola di Pascal.jpg

Consideriamo la curva luogo geometrico dei punti P tali che dati due punti O ed A nel triangolo AOP, l'angolo in O sia doppio di quello in P. Poniamo gli assi cartesiani con l'origine in O e il lato OA del triangolo OAP sull'asse delle ascisse. Dal centro tracciamo una retta qualsiasi inclinata di 2α e dal punto A una retta inclinata di 3α, punto comune a queste due rette è un punto P del luogo geometrico cercato.

Conduciamo la bisettrice dell'angolo AÔB e sia H il punto d'incontro della bisettrice con AP, si ha

OPA = α = HÔP = AÔH

e

OĤA = PÔA = 2α

Perciò i due triangoli OAH e PAO sono simili, quindi:

 \frac{OA}{AH} = \frac {AP}{OA} = \frac {PO}{HO}

da cui

 AH = \frac {OA^2}{AP}

 HP = OH = \frac {(AO)(PO)}{AP}

Quindi

 AH + HP = AP = \frac {OA^2}{AP} + \frac {(AO)(PO)}{AP}

per cui

AP² = OA² + (OA)(OP)

ed anche

AP² = OA (OA + OP)

Riferendoci alle coordinate abbiamo:

 \left( x - a \right)^2 +  y^2 = a \cdot \left(a + \sqrt{x^2 + y^2} \right)

 x^2 + a^2 - 2ax + y^2 = a^2 + a \sqrt{x^2 + y^2}

 \left(x^2 + y^2 - 2ax \right)^2  = a^2 \cdot \left( x^2 + y^2 \right)

che è l'equazione cartesiana della chiocciola di Pascal. Quindi ne segue che PÂX = OPA.

Soluzione con l'utilizzo della spirale di Archimede[modifica | modifica sorgente]

Archimede, come i suoi predecessori, fu attratto dai tre famosi problemi della geometria: la sua famosa spirale fornì la soluzione a due di questi problemi. La spirale viene definita come il luogo piano di un punto che, partendo dall'estremo di un raggio o semiretta, si sposta uniformemente lungo questo raggio mentre il raggio a sua volta ruota uniformemente intorno al suo estremo. Espressa in coordinate polari, l'equazione della spirale è

 r = a \theta

Data una spirale del genere viene facilmente effettuata la trisezione di un angolo. L'angolo è disposto in modo che il vertice e uno dei lati coincidano con il punto iniziale della spirale e con la posizione iniziale della semiretta che ruota. L'altro lato dell'angolo intersecherà la spirale in un punto che individua su questo lato un segmento lungo R (vedi figura). Tracciamo la circonferenza con centro nell'origine e raggio pari ad R, tale circonferenza individua un segmento sull'asse delle y. Dividiamo in tre parti questo segmento e disegniamo archi di circonferenza con centro nell'origine e raggio pari ad 2R/3 e R/3, tali archi intersecano la spirale in due punti che individuano le due linee che trisecano l'angolo di partenza. Con questo metodo ogni angolo può essere diviso in un numero qualsiasi di parti uguali.

Spirale di Archimede.jpg

Bibliografia[modifica | modifica sorgente]

  • (EN) Martin Gardner, How to Trisect an Angle in Mathematical Carnival, 1992, pp. 255-265.

Collegamenti esterni[modifica | modifica sorgente]

matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica