imported>Mat4free: cancello dimostrazione algebrica sbagliata (il passaggio con la legge dell'annullamento del prodotto non era corretto) e aggiungo precisazioni per i casi dei punti a tangente verticale

2025-08-17T17:12:31Z

cancello dimostrazione algebrica sbagliata (il passaggio con la legge dell'annullamento del prodotto non era corretto) e aggiungo precisazioni per i casi dei punti a tangente verticale

New page

{{Nota disambigua|la figura retorica|Ellissi (figura retorica)}}
{{F|geometria|aprile 2012}}{{C|Vedere [[Discussione:Ellisse#Didascalia]] e [[Discussione:Ellisse#Elementi di un'ellisse]]|matematica|settembre 2024}}
[[File:Ellipse-conic.svg|thumb|left|Un'ellisse (curva rossa) ottenuta come intersezione di un cono con un piano inclinato.]]
In [[geometria]], l''''ellisse''', {{greco antico|da=s|nopunti=s|ἔλλειψις|élleipsis|difetto o mancanza}},<ref>{{Treccani|ellisse|ellisse|v=1}}</ref><ref>{{Cita web|url=https://www.grecoantico.com/dizionario-greco-antico.php?parola=%E1%BC%94%CE%BB%CE%BB%CE%B5%CE%B9%CF%88%CE%B9%CF%82|titolo=DIZIONARIO GRECO ANTICO - Greco antico - Italiano|autore=Olivetti Media Communication-Enrico Olivetti|sito=grecoantico.com|lingua=en|accesso=2024-09-15}}</ref> in riferimento a una supposta manchevolezza della curva rispetto alla simmetria della [[circonferenza]],<ref>{{Cita web|url=https://unaparolaalgiorno.it/significato/ellittico|titolo=Ellittico, etimologia e significato|sito=Una parola al giorno|lingua=it|accesso=2024-09-15}}</ref> è una [[curva piana]] ottenuta intersecando un [[cono]] con un [[piano (geometria)|piano]] in modo da produrre una [[curva (matematica)|curva chiusa]].

[[File:Ellisse.png|thumb|''a'' indica la lunghezza del semiasse maggiore, ''b'' quella del semiasse minore, F1 ed F2 identificano i due fuochi, ''c'' indica la distanza di uno qualunque dei fuochi dal centro, l'eccentricità è il rapporto ''c/a'' e infine la somma <math>\scriptstyle \mathbf {\overline{F_1X}+\overline{XF_2}}</math> è costante per definizione di ellisse e risulta uguale a 2a, lunghezza dell'asse maggiore.|219x219px]]

[[File:Conic sections with plane.svg|thumb|upright=1.3|Tipi di sezioni coniche:
1. [[parabola (geometria)|Parabola]]
2. [[Circonferenza]] ed ellisse
3. [[iperbole (geometria)|Iperbole]]]]
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 (geometria)|parabola]] e l'[[iperbole (geometria)|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 (geometria)|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 [[figura di Lissajous|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 ==
[[File:Ellisse2.png|thumb|upright=1.3|Dimostrazione geometrica del fatto che la somma, costante per definizione, delle distanze di un punto qualsiasi dell'ellisse dai due fuochi risulta uguale a 2a, lunghezza dell'asse maggiore. Essendo costante, per definizione, la somma suddetta e questo indipendentemente dal punto preso in considerazione, si può decidere di scegliere quello che si ritiene più conveniente ai fini della dimostrazione. Se in particolare si sceglie il punto B si nota come la somma <math>\scriptstyle \mathbf{\overline{F_1B}+\overline{F_2B}}</math> sia uguale proprio alla lunghezza 2a dell'asse maggiore.]]
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 (geometria)|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 (geometria)|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 ===
[[File:Ellisse3.png|thumb|upright=1.3|Relazione tra i parametri ''a'', ''b'' e ''c'' di un'ellisse. Se scegliamo in particolare il punto ''C'', dovendo essere costante e uguale a ''2a'' la somma delle distanze dei due fuochi da ''C'' ed essendoci simmetria rispetto al punto ''C'', ciascuna delle due distanze sarà uguale ad ''a''. Applicando il [[teorema di Pitagora]] si ricava che <math>\scriptstyle {a^2 = b^2 + c^2}</math>]]
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 [[Funzione trigonometrica|funzioni trigonometriche]] [[Seno (trigonometria)|seno]] e [[coseno]].

=== Eccentricità ===
L'[[Eccentricità (matematica)|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>.
[[File:Ellisse4.png|210px|right|Semilato retto]]

=== 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 ===
[[File:Ellipse Polar.svg|thumb|Coordinate polari con centro in 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 ==
[[File:Ellisse5.png|thumb|upright=1.3|Tangente a un'ellisse in un suo punto <math>P_0(x_0,y_0)</math>. Equazione: <math>\scriptstyle{\frac{{xx}_0}{a^2}+\frac{{yy}_0}{b^2}=1}</math>]]
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 (matematica)|funzione]] ellisse<ref>Una ellisse con gli assi paralleli agli assi cartesiani non è una [[Funzione (matematica)|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 ==
[[File:TangenteEllisse.png|right|280px]]
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à [[Riflessione (fisica)|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 [[ottica geometrica|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 [[onda sonora|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 ==
[[File:Tangent line to an ellipse 1.jpg|thumb|upright=1.4|Costruzione della retta tangente all'ellisse nel suo punto ''P'']]

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 {{cita web |url=http://www.nabla.hr/Z_IntermediateAlgebraEllipseAndLine_2.htm |titolo=Copia archiviata |accesso=10 gennaio 2013 |urlmorto=sì |urlarchivio=https://web.archive.org/web/20120622184157/http://www.nabla.hr/Z_IntermediateAlgebraEllipseAndLine_2.htm |dataarchivio=22 giugno 2012 }}</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 [[Angolo retto|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 ==
[[File:Ellisse6.png|thumb|upright=1.3|Tangenti a un'ellisse centrata nell'origine condotte da un punto P(xp,yp) ad essa esterno. I coefficienti angolari delle due rette si ottengono risolvendo l'equazione di secondo grado: <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 ==
[[File:Tangent lines to an ellipse from a point outside.JPG|thumb|upright=1.8| Rette tangenti ad un'ellisse condotte da un punto esterno <math>P</math>]]
È 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 [[Curva (matematica)#Lunghezza della curva|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>{{Cita pubblicazione|nome=Stanislav|cognome=Sykora|data=2005-12-27|titolo=Approximations of Ellipse Perimeters and of the Complete Elliptic Integral E(x): Review of known formulae|rivista=Stan's Library|numero=Volume I|accesso=2025-06-19|doi=10.3247/sl1math05.004|url=https://doi.org/10.3247/sl1math05.004}}</ref>

Lo sviluppo in [[Serie (matematica)|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>{{Cita libro|nome = Srinivasa Ramanujan|cognome = Aiyangar|nome2 = Godfrey Harold|cognome2 = Hardy|nome3 = P. Veṅkatesvara Seshu|cognome3 = Aiyar|titolo = Collected Papers of Srinivasa Ramanujan|url = https://books.google.com/books?id=oSioAM4wORMC|accesso = 2016-02-14|data = 1927-01-01|editore = American Mathematical Soc.|lingua = en|ISBN = 9780821820766}}</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===
{{vedi anche|Ellisse del giardiniere}}
[[File:Construction of the ellipse.gif|miniatura|destra|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 ''[[Agora (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 [[Sezione conica|cono di Apollonio]].

== Note ==
<references/>

== Voci correlate ==
* [[Coordinate ellittiche]]
* [[Diametro coniugato]]
* [[Ellisse del giardiniere]]
* [[Criterio_di_von_Mises#Ellisse_di_Von_Mises|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.

== Altri progetti ==
{{interprogetto|wikt=ellisse}}

== Collegamenti esterni ==
* {{Collegamenti esterni}}
*[http://www.didatticarte.it/Blog/?p=1499 Dall'ellisse all'architettura]

{{Controllo di autorità}}
{{Portale|matematica}}

[[Categoria:Sezioni coniche]]
[[Categoria:Curve piane]]

Ellisse - Revision history

imported>Mat4free: cancello dimostrazione algebrica sbagliata (il passaggio con la legge dell'annullamento del prodotto non era corretto) e aggiungo precisazioni per i casi dei punti a tangente verticale