Template:Nota disambigua Template:FTemplate:C
In geometria, l'ellisse, Template:Greco antico,<ref>Template:Treccani</ref><ref>Template:Cita web</ref> in riferimento a una supposta manchevolezza della curva rispetto alla simmetria della circonferenza,<ref>Template:Cita web</ref> è una curva piana ottenuta intersecando un cono con un piano in modo da produrre una curva chiusa.
Affinché la sezione conica produca una curva chiusa l'inclinazione del piano deve essere superiore a quella della generatrice del cono rispetto al suo asse. Per contro, le due sezioni coniche ottenute con piani aventi inclinazione uguale o inferiore a quella della retta generatrice rispetto all'asse del cono danno vita ad altri due tipi di curve che sono aperte e illimitate: la parabola e l'iperbole.
L'eccentricità di un'ellisse è un termine che misura quanto l'ellisse è schiacciata rispetto ai suoi assi: in termini precisi viene definita come il rapporto tra la distanza tra i due fuochi e la lunghezza dell'asse maggiore — un numero compreso tra 0 e 1 (non incluso).
La circonferenza è un caso speciale di ellisse che si ottiene quando l'intersezione viene fatta con un piano ortogonale all'asse del cono, cioè un'ellisse di eccentricità pari a 0. L'ellisse può essere anche la proiezione verticale su un piano orizzontale di una circonferenza appartenente a un piano inclinato: se il piano inclinato forma un angolo <math>\varphi</math> con il piano orizzontale, la proiezione verticale della circonferenza è un'ellisse di eccentricità <math>\sin \varphi</math>.
Un'ellisse è anche il luogo geometrico dei punti del piano per i quali la somma delle distanze da due punti fissi detti "fuochi" rimane costante. Dopo la circonferenza, si tratta della più semplice tra le figure di Lissajous ottenuta dalla composizione dei due moti verticale e orizzontale di tipo sinusoidale della stessa frequenza. In base alle leggi di Keplero, l'orbita di un pianeta è un'ellisse con il Sole che ne occupa uno dei due fuochi.
Elementi di un'ellisse
L'ellisse è una curva che ha l'aspetto di una circonferenza allungata in una direzione: è un esempio di sezione conica e può essere definita come il luogo dei punti del piano per cui la somma delle distanze da due punti fissi, detti fuochi, rimane costante. Se i due fuochi coincidono si ha una circonferenza, che quindi può essere considerata il caso particolare di ellisse a eccentricità nulla.
È una curva con due assi di simmetria e un centro di simmetria. La distanza tra i punti antipodali dell'ellisse, cioè tra punti simmetrici rispetto al suo centro, è massima lungo l'asse maggiore, che contiene anche i due fuochi, ed è minima lungo l'asse minore perpendicolare a quello maggiore. Il semiasse maggiore è una delle due metà dell'asse maggiore: parte dal centro, passa attraverso un fuoco e arriva all'ellisse. Analogamente il semiasse minore è metà dell'asse minore. I due assi sono per l'ellisse l'equivalente del diametro per la circonferenza, mentre i due semiassi sono l'equivalente del raggio.
La dimensione e la forma di un'ellisse sono determinate da due costanti reali positive, dette convenzionalmente <math>a</math> e <math>b</math>. La costante maggiore è la lunghezza del semiasse maggiore mentre la costante minore quella del semiasse minore.
Equazioni
L'equazione dell'ellisse si trova uguagliando la somma delle distanze fra i due fuochi <math>F_1(x_1,y_1)</math> e <math>F_2(x_2,y_2)</math> e un punto generico <math>P(x,y)</math> con il doppio del semiasse maggiore:
- <math>\overline{PF_1} + \overline{PF_2} = 2a,</math>
che equivale a:
- <math>\sqrt{(x-x_1)^2+(y-y_1)^2} + \sqrt{(x-x_2)^2+(y-y_2)^2} = 2a.</math>
In tale equazione, per ottenere un'ellisse non degenere occorre richiedere che <math>2a>d(F_1,F_2)</math>; se <math>2a=d(F_1,F_2)</math> si ottiene il segmento <math>F_1F_2</math>.
Per trovare l'equazione "canonica" (o "normale") dell'ellisse, con centro nell'origine e fuochi sull'asse delle <math>x</math> (cioè <math>a>b</math>), si operino le sostituzioni <math>y_1=0</math>, <math>y_2=0</math>, <math>x_1=-c</math>, <math>x_2=c</math>, <math>c=\sqrt{a^2-b^2}</math>. Dopo alcuni passaggi si ricava che l'ellisse centrata nell'origine di un sistema di assi cartesiani con l'asse maggiore posto lungo l'asse delle ascisse è definita dall'equazione:
- <math>\frac{x^{2}}{a^{2}} + \frac{y^{2}}{b^{2}} = 1.</math>
Con questo riferimento i fuochi hanno coordinate <math>F_1=(-c,0)</math> ed <math>F_2=(c,0)</math>. La stessa ellisse è rappresentata anche dall'equazione parametrica:
- <math>\begin{cases}
x = a\cos t \\ y = b\sin t \\ 0 \le t < 2\pi \end{cases}</math>
che fa uso delle funzioni trigonometriche seno e coseno.
Eccentricità
L'eccentricità <math>e</math> di un'ellisse è compresa tra <math>0</math> e <math>1</math> ed è il rapporto della distanza tra i due fuochi <math>F_1=(-c,0)</math> ed <math>F_2=(c,0)</math> e la lunghezza dell'asse maggiore <math>2a</math>:
- <math>e = \frac{c}{a} = \sqrt{1-\left(\frac{b}{a}\right)^2}.</math>
L'eccentricità rende conto della forma più o meno schiacciata dell'ellisse: quando è uguale a <math>0</math>, i due fuochi coincidono e l'ellisse degenera in una circonferenza di raggio <math>a</math>. Facendo tendere l'eccentricità a <math>1</math>, l'ellisse si schiaccia sempre più e quando assume il valore unitario essa degenera in un segmento lungo <math>2a</math> percorso due volte, quindi il perimetro dell'ellisse è uguale a <math>4a</math>.
Semilato retto
Il semilato retto di un'ellisse, solitamente denotato dalla lettera <math>l</math>, è la distanza tra ciascuno dei fuochi dell'ellisse e i punti sull'ellisse di cui i fuochi sono proiezione ortogonale sull'asse maggiore. È legato ad <math>a</math> e <math>b</math> dalla formula
- <math>l=\frac{b^2}{a}.</math>
Corde e diametri
Come per le altre coniche, anche per l'ellisse vale la proprietà seguente: i punti medi di un fascio di corde parallele sono allineati.
Il segmento che congiunge i punti medi di un fascio di corde parallele prende il nome di diametro dell'ellisse. I punti medi delle corde parallele ad un diametro dell'ellisse costituiscono il diametro coniugato al diametro dato. Due diametri coniugati si intersecano nel centro dell'ellisse. Gli assi di simmetria dell'ellisse sono gli unici diametri coniugati perpendicolari tra loro. La retta tangente ad un'ellisse nell'estremo di un diametro è sempre parallela al diametro coniugato.
Equazione in coordinate polari relative a uno dei fuochi
In coordinate polari, un'ellisse con un fuoco nell'origine e con la coordinata angolare <math>\theta</math> misurata a partire dall'asse maggiore è rappresentata dall'equazione:
- <math>r(\theta) = \frac{l}{1 - e \cos \theta},</math>
dove <math>l</math> denota il semilato retto e la coordinata angolare <math>\theta</math> è l'angolo che la retta r passante per <math>F_1</math> forma con l'asse maggiore (vedere figura a lato).
Se si considera la retta <math>r</math> passante per il fuoco <math>F_2</math> e la coordinata angolare <math>\theta</math> è l'angolo che la retta <math>r</math> passante per <math>F_2</math> forma con l'asse maggiore, l'equazione diviene:
- <math>r(\theta) = \frac{l}{1 + e \cos \theta}.</math>
Area
L'area racchiusa da un'ellisse è data da
- <math>A=\pi ab.</math>
Tangente a un'ellisse in un suo punto: formula dello sdoppiamento
L'equazione della retta tangente all'ellisse con centro nell'origine in un suo punto <math>P_0(x_0,y_0)</math> è:
- <math>\frac{xx_0}{a^2}+\frac{yy_0}{b^2}=1.</math>
Quando <math>y_0\ne 0</math>, il suo coefficiente angolare è dato da:
- <math>m=-\frac{b^2x_0}{a^2y_0}.</math>
Dimostrazione algebrica
Per verificare la correttezza dell'equazione della retta tangente è sufficiente verificare che il sistema
- <math>\begin{cases}
\dfrac{x^2}{a^2}+\dfrac{y^2}{b^2}=1 \\ \dfrac{xx_0}{a^2}+\dfrac{yy_0}{b^2}=1 \end{cases}</math>
abbia un'unica soluzione. Questo può essere osservato usando, ad esempio, il metodo di sostituzione. Dall'equazione della tangente, quando <math>y_0\ne 0</math>, si può ottenere il coefficiente angolare esplicitando la <math>y</math> e osservando il coefficiente della <math>x.</math>
Dimostrazione differenziale
Nel caso <math>y_0\ne 0</math>, il risultato può essere ottenuto ricorrendo alla derivata della funzione ellisse<ref>Una ellisse con gli assi paralleli agli assi cartesiani non è una funzione in quanto ad ogni ascissa <math>x</math> interna all'ellisse corrispondono due valori di <math>y</math> anziché uno e uno solo: sono però funzioni le due semiellissi che la compongono e il risultato è identico per ciascuna di esse. Tuttavia entrambe le funzioni non sono derivabili nei punti in cui <math>y_0=0.</math></ref> <math>\frac{x^2}{a^2}+\frac{y^2}{b^2}=1</math> nel punto <math>P_0</math>: infatti basta ricordare che la derivata di una funzione in un suo punto coincide con il coefficiente angolare della retta tangente nel punto stesso. Effettuando quindi la derivata rispetto a <math>x</math> dell'equazione dell'ellisse si ottiene:
- <math>\frac{2x}{a^2}+\frac{2yy'}{b^2}=0.</math>
Poiché <math>y'</math> con il coefficiente angolare <math>m</math>, si ottiene
- <math>m=y'=-\frac{b^2x}{a^2y},</math>
che calcolata nel punto <math>P_0(x_0,y_0)</math> fornisce:
- <math>{m=-\frac{b^2x_0}{a^2y_0}}.</math>
Proprietà tangenziale
Una tangente all'ellisse in un suo punto <math>P</math> forma angoli uguali con le rette passanti per <math>P</math> e per ciascuno dei due fuochi.
Per dimostrare questa proprietà si può ricorrere al teorema di Erone in base al quale data una retta <math>r</math> e due punti <math>Q</math> ed <math>R</math> ad essa esterni, il punto <math>P</math> della retta <math>r</math> che minimizza la somma <math>\overline{PQ}+\overline{PR}</math> è quello per il quale i segmenti <math>\overline{PQ}</math> e <math>\overline{PR}</math> formano angoli uguali con la retta <math>r</math>.
Consideriamo a tale scopo un'ellisse con fuochi <math>Q</math> ed <math>R</math>: un suo qualunque punto <math>P</math> soddisfa la condizione
- <math>\overline{PQ}+\overline{PR}=2a.</math>
Per un qualunque punto <math>S</math> interno all'ellisse vale la condizione
- <math>\overline{SQ}+\overline{SR}<2a.</math>
Si consideri ora una retta passante per un punto <math>P</math> dell'ellisse tale da formare angoli uguali con i segmenti <math>\overline{PQ}</math> e <math>\overline{PR}</math>: per il teorema di Erone, il punto <math>P</math> è il punto della retta che rende minima la somma <math>\overline{PQ}+\overline{PR}</math>. Ciò implica che la retta è tangente all'ellisse: infatti se così non fosse la retta entrerebbe dentro l'ellisse e detto <math>S</math> un suo punto ad essa interno varrebbe la condizione <math>\overline{SQ}+\overline{SR}<2a</math> in contrasto con il teorema di Erone per il quale in <math>P</math> e non in <math>S</math> si sarebbe dovuta registrare la minima somma. Resta così dimostrata l'affermazione iniziale.
Da questo enunciato segue che in un tavolo da biliardo a forma di ellisse una palla lanciata senza effetto da uno dei due fuochi verrà riflessa dal bordo e passerà necessariamente per l'altro fuoco. La stessa cosa si verificherà in uno specchio concavo a forma di ellisse nel quale tutti i raggi luminosi emessi da uno dei due fuochi passeranno necessariamente per l'altro fuoco indipendentemente dalla direzione seguita: da qui deriva il nome di fuochi dati a questi due particolari punti dell'ellisse. Analogamente, in una camera a forma di ellisse le onde sonore che partono da uno dei due fuochi raggiungeranno l'altro da tutte le direzioni e poiché la distanza percorsa nel tragitto da un fuoco all'altro è sempre la stessa le onde arriveranno tutte sincronizzate: questo spiega perché due persone poste nei due fuochi di una stanza ellittica possono comunicare facilmente anche da lunghe distanze, a differenza di due persone più vicine tra loro ma non situate nei fuochi.
Tangente a un'ellisse passante per un suo punto
Si consideri una ellisse di fuochi <math>F_1</math>, <math>F_1</math> e asse maggiore <math>2a</math> e un punto <math>P</math> appartenente all'ellisse. Esistono due metodi grafici per tracciare la tangente in un punto <math>P</math> dell'ellisse.<ref name="nabla.hr">Cfr. il sito Nabla, Publisher of books and software in mathematics and computer science Template:Cita web</ref>
Primo metodo
Tracciare i segmenti <math>PF_1</math> e <math>PF_2</math>. Tracciare la bisettrice <math>s</math> dell'angolo <math>\widehat{F_1PF_2}</math>. Tracciare la retta <math>t</math> perpendicolare a s nel punto <math>P</math>. La retta <math>t</math> è la retta tangente cercata.
Basta dimostrare che tale retta soddisfa la proprietà tangenziale precedentemente descritta. Infatti gli angoli <math>\beta_2</math> e <math>\beta_3</math> sono congruenti in quanto differenza di angoli rispettivamente congruenti: ai due angoli retti sono sottratti gli angoli <math>\alpha_1</math> e <math>\alpha_2</math> congruenti per la bisettrice.
Secondo metodo
Tracciare la circonferenza di centro <math>F_1</math> e raggio <math>2a</math>. Tracciare il segmento <math>F_1P</math> e prolungarlo fino ad incontrare il punto <math>E</math> sulla circonferenza. Tracciare <math>PF_2</math>. Tracciare il segmento <math>EF_2</math>. Fissare il punto medio <math>M</math> di <math>EF_2</math>. La retta <math>t</math> passante per i punti <math>M</math> e <math>P</math> è la retta tangente cercata.
Infatti è possibile dimostrare che questa retta soddisfa la proprietà tangenziale precedentemente descritta. <math>PF_2=PE</math> in quanto differenza di segmenti congruenti (<math>EP+PF_1=2a</math> e <math>PF_1+PF_2=2a</math>. Quindi il triangolo <math>PEF_2</math> è isoscele e la mediana <math>PM</math> relativa alla base <math>EF_2</math> è anche bisettrice e dunque gli angoli <math>\beta_1</math> e <math>\beta_2</math> sono congruenti. D'altra parte gli angoli <math>\beta_1</math> e <math>\beta_3</math> sono congruenti in quanto opposti al vertice. E quindi <math>\beta_2</math> e <math>\beta_3</math> sono congruenti per la proprietà transitiva.
Tangenti a un'ellisse passante per un punto esterno
<math>\scriptstyle {\left(a^2-x^2_p\right)m^2+2x_py_pm+b^2-y^2_p=0}</math>
I coefficienti angolari delle tangenti all'ellisse <math>\Gamma</math>: <math>\frac{(x-x_C)^{2}}{a^{2}} + \frac{(y-y_C)^{2}}{b^{2}} = 1 </math> condotte dal punto <math>P(x_P,y_P)</math> a essa esterno si ricavano dalla risoluzione della seguente equazione di secondo grado:
- <math>\left(a^2-x^2_i\right)m^2+2x_iy_im+b^2-y^2_i=0,</math>
con <math>x_i=x_P-x_C</math> e <math>y_i=y_P-y_C</math>.
Dimostrazione
Si traslano l'ellisse <math>\Gamma</math> e il punto <math>P</math> di un vettore <math>v=(-x_C,-y_C)</math>, in modo da ottenere l'ellisse <math>\Gamma_i</math>: <math>\frac{x^{2}}{a^{2}} + \frac{y^{2}}{b^{2}} = 1 </math> e il punto <math>P_i(x_i,x_i)</math>, con <math>x_i=x_P-x_C</math> e <math>y_i=y_P-y_C</math>. Sapendo che nella traslazione si conserva anche il parallelismo, i coefficienti angolari delle tangenti a <math>\Gamma</math> passanti per <math>P</math> sono uguali a quelli delle tangenti a <math>\Gamma_i</math> passanti per il punto <math>P_i</math>. Si scrive il sistema di due equazioni con la prima relativa all'equazione dell'ellisse e la seconda relativa al fascio di rette passanti per il punto <math>P_i</math>
- <math>\begin{cases}
\dfrac{x^2}{a^2}+\dfrac{y^2}{b^2}=1 \\ y-y_i=m(x-x_i) \end{cases}</math>
- <math>\begin{cases}
\dfrac{x^2}{a^2}+\dfrac{y^2}{b^2}=1 \\ y=mx-{mx}_i+\ y_i \end{cases}</math>
- <math>\dfrac{x^2}{a^2}+\dfrac{m^2x^2+m^2x^2_i+y^2_i-2m^2x_{i\ }x+2my_ix-2mx_iy_i}{b^2}-1=0</math>
- <math>\left(\dfrac{1}{a^2}+\dfrac{m^2}{b^2}\right)x^2+\left(-\dfrac{2x_im^2}{b^2}+\dfrac{2y_im}{b^2}\right)x+\left(\dfrac{x^2_im^2}{b^2}-\dfrac{2x_iy_im}{b^2}+\dfrac{y^2_i-b^2}{b^2}\right)=0.</math>
Si impone la condizione di tangenza, ossia che il discriminante <math>\Delta</math> sia nullo:
- <math>{\left(-\dfrac{2x_im^2}{b^2}+\dfrac{2y_im}{b^2}\right)}^2-4\left(\dfrac{1}{a^2}+\dfrac{m^2}{b^2}\right)\left(\dfrac{x^2_im^2}{b^2}-\dfrac{2x_iy_im}{b^2}+\dfrac{y^2_i-b^2}{b^2}\right)=0</math>
- <math>\cancel{\dfrac{4m^4x^2_i}{b^4}}-\cancel{\dfrac{8m^3x_iy_i}{b^4}}+\dfrac{4m^2y^2_i}{b^4}-4\left(\dfrac{x^2_im^2}{a^2b^2}-\dfrac{2x_iy_im}{a^2b^2}+\dfrac{y^2_i-b^2}{a^2b^2}+\cancel{\dfrac{x^2_im^4}{b^4}}-\cancel{\dfrac{2x_iy_im^3}{b^4}}+\dfrac{\left(y^2_i-b^2\right)m^2}{b^4}\right) =0</math>
- <math>\dfrac{4y^2_im^2}{b^4}-\dfrac{4x^2_im^2}{a^2b^2}-\dfrac{4\left(y^2_i-b^2\right)m^2}{b^4}+\dfrac{8x_iy_im}{a^2b^2}-\dfrac{4\left(y^2_i-b^2\right)}{a^2b^2}=0</math>
- <math>\cancel{4a^2y^2_im^2}-4{b^2x}^2_im^2-4a^2\left(\cancel{y^2_i}-b^2\right)m^2+8{b^2x}_iy_im-4b^2\left(y^2_i-b^2\right)=0</math>
- <math>-x^2_im^2+a^2m^2\ +2x_iy_im-y^2_i+b^2=0</math>
- <math>\left(a^2-x^2_i\right)m^2+2x_iy_im+b^2-y^2_i=0.</math>
Costruzione geometrica delle rette tangenti ad un'ellisse condotte da un punto esterno
È data un'ellisse di fuochi <math>F_1</math>, <math>F_2</math> e asse maggiore <math>2a</math>, e un punto <math>P</math> esterno all'ellisse. Esistono due metodi per tracciare le rette tangenti all'ellisse condotte dal punto esterno <math>P</math>.<ref name="nabla.hr"/>
Primo metodo
Tracciare la circonferenza di centro <math>F_1</math> e raggio <math>2a</math>. Tracciare la circonferenza di centro <math>P</math> e raggio <math>PF_2</math>. Le due circonferenze si intersecano nei punti <math>A</math> e <math>B</math>. Tracciare i segmenti <math>F_1A</math> e <math>F_1B</math>. Fissare i punti <math>T</math> ed <math>S</math> di intersezione tra i due segmenti e l'ellisse. Le rette <math>PT</math> e <math>PS</math> sono le rette tangenti cercate.
Infatti basta dimostrare che tali rette soddisfano la proprietà tangenziale sopra descritta. Anzitutto si osserva che i triangoli <math>TAP</math> e <math>TF_2P</math> sono congruenti perché hanno i tre lati ordinatamente congruenti: <math>TP</math> è in comune, <math>PA=PF_2</math> perché raggi della stessa circonferenza e <math>TA=F_2T</math> in quanto differenze di segmenti rispettivamente congruenti, infatti <math>TF_1+TF_2=2a</math> e <math>TF_1+TA=2a</math>. In particolare gli angoli <math>\widehat{ATP}=\widehat{F_2TP}</math>. D'altra parte anche gli angoli <math>\widehat{tTF_1}=\widehat{ATP}</math> e quindi la proprietà tangenziale è dimostrata.
Secondo metodo
Tracciare la circonferenza di centro <math>F_1</math> e raggio <math>2a</math>. Tracciare la circonferenza di centro <math>P</math> e raggio <math>PF_2</math>. Le due circonferenze si intersecano nei punti <math>A</math> e <math>B</math>. Tracciare i segmenti <math>F_2A</math> e <math>F_2B</math>. Condurre per <math>P</math> la retta <math>t</math> perpendicolare al segmento <math>F_2A</math>. Condurre per <math>P</math> la retta <math>s</math> perpendicolare al segmento <math>F_2B</math>. Le rette <math>t</math> ed <math>s</math> sono le rette tangenti cercate.
Dalla dimostrazione precedente si osserva che <math>TP</math> è bisettrice dell'angolo al vertice del triangolo isoscele <math>ATF_2</math> e quindi è anche altezza.
Equazione generale di un'ellisse
L'equazione generale dell'ellisse avente i fuochi <math>F_1(x_{F1},y_{F1})</math> ed <math>F_2(x_{F2},y_{F2})</math> posti in posizione generica sul piano cartesiano e avente il semiasse maggiore denotato con <math>a</math> è data da
- <math>Ax^2+Bxy+Cy^2+Dx+Ey+F=0</math>
dove i parametri <math>A</math>, <math>B</math>, <math>C</math>, <math>D</math>, <math>E</math> ed <math>F</math> sono uguali a
- <math>A=16a^2-4(x_{F1}-x_{F2})^2,</math>
- <math>B=-8(x_{F1}-x_{F2})(y_{F1}-y_{F2}),</math>
- <math>C=16a^2-4(y_{F1}-y_{F2})^2,</math>
- <math>D=4(x_{F1}-x_{F2})(x_{F1}^2-x_{F2}^2+y_{F1}^2-y_{F2}^2)-16a^2(x_{F1}+x_{F2}),</math>
- <math>E=4(y_{F1}-y_{F2})(x_{F1}^2-x_{F2}^2+y_{F1}^2-y_{F2}^2)-16a^2(y_{F1}+y_{F2}),</math>
- <math>F=4(x_{F1}^2+y_{F1}^2)(x_{F2}^2+y_{F2}^2)-(x_{F1}^2+x_{F2}^2+y_{F1}^2+y_{F2}^2-4a^2)^2.</math>
Queste equazioni si ricavano dalla definizione metrica di ellisse:
- <math>\sqrt{(x-x_{F_1})^2+(y-y_{F_1})^2}+\sqrt{(x-x_{F_2})^2+(y-y_{F_2})^2}=2a</math>
Dalla precedente equazione si eliminano le due radici con due elevamenti al quadrato e infine si uguagliano i coefficienti a quelli dell'equazione generale delle coniche.
Lunghezza
La lunghezza dell'ellisse è:
- <math>p = 4 a E(e),</math>
in cui la funzione <math>E</math> è l'integrale ellittico completo di seconda specie ed <math>e</math> è l'eccentricità.
Sono state proposte numerose formule approssimate per il calcolo della lunghezza dell'ellisse, che differiscono molto per complessità e accuratezza.<ref>Template:Cita pubblicazione</ref>
Lo sviluppo in serie è:
- <math>p = 2\pi a \left[1-\sum_{n=1}^{\infty} \left(\prod_{k=0}^{n-1} \frac{2k+1}{2 (k+1)}\right)^2 \frac{e^{2n}}{2n-1}\right] = 2\pi a \left[{1 - \left({1\over 2}\right)^2e^2 - \left({1\cdot 3\over 2\cdot 4}\right)^2{e^4\over 3} - \left({1\cdot 3\cdot 5\over 2\cdot 4\cdot 6}\right)^2{e^6\over5} - \dots}\right].</math>
Una semplice ma poco raffinata approssimazione per la lunghezza è
- <math>p\approx\pi\sqrt{2(a^2+b^2)},</math>
che fornisce il risultato esatto quando l'ellisse è una circonferenza, cioè per <math>a=b</math>, mentre dà un risultato approssimato per eccesso negli altri casi. Nel caso limite in cui <math>b=0</math> la formula dà <math>p\approx 4,44 a</math>, mentre il valore esatto è <math>p=4a</math>. La formula è più precisa per ellissi con bassa eccentricità. Utilizzare questa formula equivale ad assumere che l'ellisse abbia la stessa lunghezza di una circonferenza che ha raggio uguale alla media quadratica dei semiassi dell'ellisse.
Un'approssimazione migliore si ottiene con uno sviluppo in serie nel modo seguente: posto <math>h=\frac{(a-b)^2}{(a+b)^2}</math> si ha
- <math>p= \pi (a+b)\sum_{n=0}^{\infty} \binom{\tfrac{1}{2}}{n}^2h^{n}= \pi (a+b)\Bigl(1+\tfrac{1}{4}h+\tfrac{1}{64}h^2+\tfrac{1}{256}h^3+\ldots \Bigr).</math>
Anche in questo caso l'approssimazione è migliore per le ellissi di bassa eccentricità.
Due formule approssimate sono dovute a Ramanujan<ref>Template:Cita libro</ref>:
- <math>p \approx \pi \left(3(a+b) - \sqrt{(3a+b)(a+3b)}\right)</math>
- <math>p\approx \pi (a+b)\biggl(1+\frac{3h}{10+\sqrt{4-3h}}\biggr).</math>
Entrambe le formule danno il risultato esatto per una circonferenza e, nel caso generale, l'errore delle due formule è dell'ordine di <math>h^3</math>e di <math>h^5</math>, rispettivamente. Nel caso di ellisse degenere in un segmento (<math>b=0</math>, <math>h=1</math>) la prima dà <math>p\approx 3,983 a</math>, mentre la seconda dà <math>p\approx 3,998 a</math>, quando il risultato esatto è <math>p=4a</math>.
Metodo della tangente
Fissare i due fuochi <math>F_1</math> e <math>F_2</math> e l'asse maggiore di lunghezza <math>2a</math> (con <math>2a > F_1F_2</math>). Costruire una circonferenza di centro <math>F_1</math> e raggio <math>2a</math>. Fissare sulla circonferenza un punto generico <math>K</math>. Tracciare il raggio <math>F_1K</math>. Tracciare il segmento <math>F_2K</math> e l'asse di tale segmento (retta perpendicolare al segmento passante per il suo punto medio <math>M</math>) che interseca <math>F_1K</math> nel punto <math>P</math>. Il punto <math>P</math> è equidistante da <math>F_2</math> e da <math>K</math> in quanto sta sull'asse del segmento <math>F_2K</math>. Dunque <math>PF_2 = PK</math>. D'altra parte <math>PF_1+PK=2a</math> e quindi <math>PF_1+PF_2=2a</math>. Quindi <math>P</math> è un punto dell'ellisse. Questo metodo viene detto della tangente in quanto la retta <math>MP</math> è la tangente all'ellisse nel punto <math>P</math>, infatti gode della proprietà tangenziale, precedentemente descritta.
Metodo del giardiniere
Template:Vedi anche Tecnica del giardiniere per tracciare un'ellisse, utilizzando due pioli, una funicella ed un punteruolo
In questo caso sono note le lunghezze dei lati del rettangolo circoscritto all'ellisse. La linea rossa nella figura qui accanto sia la corda utilizzata dal "giardiniere" per tracciare l'ellisse.
Nel film Agorà del 2009 Ipazia, interpretata da Rachel Weisz, studiando l'orbita della Terra attorno al Sole traccia sulla sabbia un'ellisse con il metodo del giardiniere. In alcuni momenti si vede anche un cono di Apollonio.
Note
<references/>
Voci correlate
- Coordinate ellittiche
- Diametro coniugato
- Ellisse del giardiniere
- Ellisse di Von Mises
- Ellissoide, un'ellisse in tre o più dimensioni.
- Iperbole (geometria)
- Orbita ellittica
- Parabola (geometria)
- Rappresentazione matriciale delle coniche
- Sezione conica
- Sferoide, l'ellissoide ottenuto ruotando un'ellisse attorno al suo asse maggiore o minore.
- Superellisse, una generalizzazione dell'ellisse, è più squadrata.