In geometria, la spirale di Teodoro (chiamata anche spirale pitagorica) è una spirale formata da triangoli rettangoli posti ognuno con l'ipotenusa sovrapposta al cateto maggiore del seguente. È detta così in onore di Teodoro di Cirene.
Storia Sebbene tutta l'opera di Teodoro sia andata perduta, Platone ha inserito Teodoro nel suo dialogo Teeteto, dove racconta della sua opera. Si presume che Teodoro abbia dimostrato che tutte le radici quadrate degli interi non quadrati da 3 a 17 sono irrazionali escludendo ovviamente (4, 9 e 16) proprio mediante la Spirale di Teodoro.An Imaginary Tale - The Story of , Nahin Paul J., 1998, Princeton University Press, pag. 33
Platone non attribuisce l'irrazionalità della radice quadrata di 2 a Teodoro, poiché ben nota già prima di lui. Teodoro e Teeteto dividono tuttavia i numeri razionali e i numeri irrazionali in due diverse categorie.Teeteto, Platone
Platone si chiede perché Teodoro si sia fermato al triangolo con l'ipotenusa di : si ritiene che il motivo sia che quello è l'ultimo triangolo che, come si vede dall'immagine in alto, non si sovrappone alla figura.
Nel 1958, Erich Teuffel dimostrò che la direzione di nessuna ipotenusa coinciderà mai, indipendentemente da quanto la spirale sia continuata. Inoltre, se qualunque cateto di lunghezza 1 venisse esteso in una retta questa non passerà mai attraverso nessuno degli altri vertici dei triangoli della figura.Erich Teuffel, Eine Eigenschaft der Quadratwurzelschnecke, Math.-Phys. Semestre. 6 (1958), pp. 148-152.
Costruzione La costruzione inizia da un triangolo rettangolo isoscele, con entrambi i cateti di lunghezza unitaria. Si forma quindi un altro triangolo rettangolo che ha per cateto l'ipotenusa del triangolo precedente (quindi di lunghezza pari a ) e l'altro cateto avente sempre lunghezza uguale a 1; la lunghezza dell'ipotenusa di questo secondo triangolo è quindi . Il processo quindi si ripete; il triangolo n-esimo nella sequenza è un triangolo rettangolo con i cateti rispettivamente pari a e 1, e con ipotenusa pari a . Ad esempio, il sedicesimo triangolo ha i lati che misurano 4 (= ), 1 e .
Proprietà
Estendendo all'infinito la costruzione della spirale di Teodoro si rivelano le seguenti caratteristiche.
Rateo di crescita Se φn è ln-esimo angolo del triangolo (o segmento di spirale), allora:
Pertanto, la crescita dell'angolo φn del prossimo triangolo n è:Hahn, Harry K. "The Ordered Distribution of Natural Numbers on the Square Root Spiral".
La somma degli angoli dei primi k triangoli è chiamata angolo totale φ(k) per il k-esimo triangolo. Questo angolo totale cresce proporzionalmente alla radice quadrata di k, con termine un limitato di correzione c2:
dove
La crescita del raggio della spirale in un certo triangolo n avviene secondo la formula
Approssimazione La Spirale di Teodoro approssima la spirale di Archimede. Così come la distanza tra due avvolgimenti della spirale di Archimede è uguale alla costante matematica π, anche nella spirale di Teodoro, con il tendere all'infinito del numero di giri, la distanza tra due avvolgimenti consecutivi si avvicina rapidamente a π.
La seguente è una tabella che mostra due avvolgimenti della spirale che si avvicinano a π:
Avvolgimento n.:Distanza di avvolgimento media calcolataPrecisione della distanza media di avvolgimento rispetto a π23.159203799,44255%33.144345599,91245%43.1442899,91453%53.14239599,97447%→ ∞→→ 100%
Come mostrato, dopo solo il quinto avvolgimento, la distanza è un'approssimazione accurata del 99,97% a π.
Interpolazione La domanda su come interpolare i punti discreti della spirale di Teodoro con una curva liscia fu proposta e risolta da Davis nel 2001 in analogia con la formula Eulero per la funzione gamma usata come interpolazione per la funzione fattoriale.Davis, P. J. (2001), Spiral from Theodorus to Chaos, A K Peters/CRC Press Davis ha trovato la funzione
che è stato ulteriormente studiata dal suo studente LeaderJeffery J. Leader The Generalized Theodorus Iteration (tesi), 1990, Brown University e da Iserles (in appendice al libro di Davis: Spiral from Theodorus to Chaos). Una caratterizzazione assiomatica di questa funzione è quella di essere l'unica funzione che soddisfa:Gronau, Detlef (March 2004), "The Spiral of Theodorus", The American Mathematical Monthly, Mathematical Association of America, 111 (3): 230–237, l'equazione funzionale , la condizione iniziale , la monotonicità nell'argomento che nel modulo.
Una continuazione analitica della forma continua di Davis riguardo all'estensione in direzione opposta all'origine della spirale è data da Harv Waldvogel nel 2009.Waldvogel Jörg (2009), Analytic Continuation of the Theodorus Spiral
Nella figura i nodi della spirale di Teodoro originale (discreta) sono mostrati come piccoli cerchi verdi. Quelli blu sono quelli aggiunti nel senso opposto della spirale. Nella figura sono numerati solo i nodi con il valore intero del raggio polare . Il cerchio tratteggiato nell'origine delle coordinate è il cerchio di curvatura in .
Note
Altri progetti
Collegamenti esterni
Categoria:Geometria Categoria:Curve piane