Visualizza wikitesto di Sezione conica

[[File:Conic sections.png|upright=1.3|thumb|Tipi di sezioni coniche: i piani, intersecando il cono, descrivono una [[circonferenza]] (in giallo), un'[[ellisse]] (in rosso), una [[parabola (geometria)|parabola]] (in blu) e un'[[iperbole (geometria)|iperbole]] (in verde)]]
In [[matematica]], e in particolare in [[geometria analitica]] e in [[geometria proiettiva]], con '''sezione conica''', o semplicemente '''conica''', si intende genericamente una [[curva piana]] che sia [[Luogo (geometria)|luogo]] dei [[punto (geometria)|punti]] ottenibili intersecando la superficie di un [[cono circolare]] con un [[Piano (geometria)|piano]].

Le sezioni coniche sono state studiate accuratamente in epoca ellenistica, in particolare da [[Menecmo]] ed [[Apollonio di Perga]] intorno al [[200 a.C.]]; questi diede anche i nomi tuttora in uso per i tre tipi fondamentali di sezioni coniche: [[ellisse]] (la [[circonferenza]] ne è un [[caso degenere]]), [[Parabola (geometria)|parabola]] e [[Iperbole (geometria)|iperbole]].

== Tipi di sezioni piane di un cono ==
Si consideri il [[cono circolare]] retto costituito dalle rette generatrici che, con il suo asse, formano un angolo di ampiezza θ.
Si tenga presente che i punti del cono si tripartiscono in tre sottoinsiemi: uno costituito solo dal suo vertice e due sottoinsiemi separatamente connessi dette ''falde'' o ''nappe''.

A seconda del tipo di piano che interseca il cono si hanno due tipi di curve: le cosiddette ''non degeneri'' e le ''degeneri''. Per quanto riguarda le prime si può avere:

* l'[[ellisse]], ottenuta intersecando il cono con un piano che con il suo asse formi angoli maggiori di θ e minori o uguali a π/2; ciascuna di tali intersezioni appartiene a una sola delle due falde del cono ed è una [[Curva (matematica)|curva chiusa]];
* la [[circonferenza]], a sua volta caso particolare di ellisse ottenuta dall'intersezione del cono con un piano perpendicolare al suo asse, e anch'essa curva chiusa;
* la [[parabola (geometria)|parabola]], ottenuta per intersezione del cono con un piano parallelo a una delle sue rette generatrici (in questo caso l'angolo formato con l'asse della conica è uguale a θ); ogni parabola appartiene a una sola delle falde del cono e non è una curva chiusa;
* l'[[iperbole (geometria)|iperbole]], ottenuta per intersezione del cono con un piano che formi con il suo asse un angolo inferiore a θ; anche l'iperbole è una curva aperta e, siccome il piano interseca entrambe le falde del cono, essa si bipartisce in due sottoinsiemi connessi detti ''rami della conica''.

Le cosiddette ''coniche degeneri'' si ottengono, invece, per intersezioni con piani passanti per il [[Vertice (geometria)|vertice]] del cono:
* il [[punto (geometria)|punto]], ottenuto per intersezione del cono con un piano che formi con il suo asse angolo superiore a θ; nella fattispecie, il punto altro non è che il vertice di detto cono;
* la [[retta]], ottenuta per intersezione del cono con un piano che formi con il suo asse un angolo pari a θ; la retta ottenuta è una delle generatrici del cono;
* una coppia di rette, ottenute per intersezione del cono con un piano che formi con il suo asse un angolo inferiore a θ; tali due rette si incontrano al vertice del cono e sono bisecate dalla retta ottenuta per intersezione del piano secante con il piano a esso ortogonale e passante per l'asse del cono.

== Coniche ed equazioni quadratiche ==
Il grafico di ogni [[equazione quadratica]] in due variabili reali, se i coefficienti soddisfano determinate condizioni che preciseremo, individua una sezione conica di un piano cartesiano, cioè di un piano riferito ad un [[sistema di coordinate cartesiane]]. Si trova inoltre che tutte le sezioni coniche si possono ottenere in questo modo.

Se si considera l'equazione quadratica nella forma 
:<math>ax^2 + 2bxy + cy^2 + 2dx + 2ey + f = 0,</math>

[[File:Conic sections 2.png|upright=2|thumb|Visualizzazioni delle sezioni coniche]]
si ha la seguente casistica:
* se <math>b^2-ac=0,</math> l'equazione rappresenta una [[Parabola (geometria)|parabola]];
* se <math>b^2-ac<0,</math> l'equazione determina una [[ellisse]];
** se <math> a=c</math> e <math>b=0,</math> l'equazione rappresenta una [[circonferenza]];
* se <math> b^2-ac>0,</math> l'equazione rappresenta una [[Iperbole (geometria)|iperbole]];
** se <math> a+c=0,</math> l'equazione rappresenta una [[Iperbole (geometria)|iperbole equilatera]].
[[Implicazione logica|Condizione necessaria]] affinché la curva sia una circonferenza è che <math> a=c\curlywedge b=0</math>.

Quello che si sta dicendo è che se <math>a\ne c</math> l'equazione data non può rappresentare una circonferenza, se invece <math>a=c</math> allora l'equazione potrebbe rappresentare una circonferenza. Ciò implica che, ad esempio, <math>2x^2+3y^2=1</math> non può essere l'equazione di una circonferenza, mentre invece <math>2x^2 + 2y^2 + 1 = 0</math> potrebbe esserlo, tuttavia <math>2x^2+2y^2+1>0\quad\forall x,y\in\mathbb{R}</math>, perciò non esiste nessun punto che soddisfi l'equazione data.

=== Eccentricità ===
Una definizione alternativa delle sezioni coniche viene data a partite da una retta <math>D</math>, la ''[[direttrice]],'' un punto <math>F</math> esterno a <math>D</math>, detto ''[[fuoco (geometria)|fuoco]]'', e un numero <math>e\ge 0</math>, che prende il nome di ''[[Eccentricità (matematica)|eccentricità]]''. A tali enti si fa corrispondere la sezione conica consistente in tutti i punti la cui distanza da ''<math>F</math>'' è uguale al prodotto di <math>e</math> per la rispettiva distanza da ''<math>D</math>''. Per <math>e=0</math> si ottiene una circonferenza, per <math>0<e<1</math> un'ellisse, per <math>e=1</math> una parabola e per <math>e>1</math> un'iperbole.
[[File:Eccentricity.png|300px|right]]
Per una ellisse e una iperbole si possono assumere due coppie fuoco + direttrice, ciascuna fornendo la stessa intera curva. La distanza del centro dalla direttrice è <math>{a}\over{e}</math>, dove <math>a</math> denota il [[semiasse maggiore]] dell'ellisse, oppure la distanza del centro da ciascuno dei punti di distanza minima dell'iperbole. La distanza del centro da un fuoco è <math>ae</math>.

Nel caso della circonferenza si deve immaginare la retta direttrice a distanza infinita dal fuoco, cioè la retta si trova all'infinito del piano. Questo caso non si può trattare a partire dalla richiesta che la circonferenza sia il luogo dei punti la cui distanza dal centro sia ''<math>e</math>'' volte la distanza da <math>D</math>, in quanto si avrebbe una forma indeterminata della forma zero per infinito; questo caso va trattato come caso limite di ellissi.

Si può dunque affermare che l'eccentricità di una sezione conica dia una misura di quanto essa si allontani dall'essere circolare.

Per una data lunghezza <math>a</math> del semiasse maggiore, quanto più <math>e</math> si avvicina a 1, tanto più piccolo è il [[semiasse minore]].

=== Matrici associate alla conica ===
{{vedi anche|Rappresentazione matriciale delle coniche}}
Sia <math>\Gamma</math> l'equazione associata alla conica tale che <math>\Gamma (x,y): ax^2+2bxy+cy^2+2dx+2ey+f=0 </math>.<br />Ad essa si associano due [[Matrice|matrici]] <math>A</math> e <math>B</math> [[Matrice simmetrica|simmetriche]] tali che:

<math>A=  \begin{bmatrix}
    f & d & e \\
    d & a & b \\
    e & b & c
  \end{bmatrix}
,
B=  \begin{bmatrix}
    a & b \\
    b & c
    \end{bmatrix}</math>

È possibile distinguere i diversi tipi di conica studiando il [[determinante]] delle due matrici:
* se <math> \det(A) = 0 </math> la conica è ''degenere'', cioè può essere o una coppia di [[Retta|rette]] reali o una coppia di rette complesse coniugate;
* se <math> \det(A) \ne 0</math> la conica non è degenere e studiando il determinante della matrice <math>B</math> si trova che essa è:
** un'[[ellisse]] (<math>\det(B)>0</math>);
** una [[Parabola (geometria)|parabola]] (<math>\det(B)=0</math>);
** un'[[Iperbole (geometria)|iperbole]] (<math>\det(B)<0</math>)

== Semiasse e coordinate polari ==
[[File:Elps-slr.png|thumb|upright=1.8|Semilato retto di un'ellisse]]

Si definisce '''semilato retto''' di una sezione conica C un segmento ortogonale all'asse maggiore che ha una estremità nel suo fuoco singolo o in uno dei suoi due fuochi e l'altra in un punto della C; la sua lunghezza di solito si denota con ''l''. Questa grandezza viene collegata alle lunghezze dei semiassi ''a'' e ''b'' dall'uguaglianza <math>al=b^2</math>.

In [[coordinate polari]], una sezione conica con un fuoco nell'origine e, se dotata di un secondo fuoco, con questo sul semiasse positivo delle ''x'', è determinata dall'equazione
: <math>r (1 + e \cos \theta) = l. </math>

== Applicazioni ==
Le sezioni coniche sono importanti in [[astronomia]]: le [[Orbita (astronomia)|orbite]] di due corpi (con masse elevate) che interagiscono secondo la [[gravità|legge di gravitazione universale]] sono sezioni coniche rispetto al loro comune [[centro di massa]] considerato a riposo. Se tra di loro si esercita una attrazione sufficiente, entrambi percorrono un'ellisse; se l'attrazione reciproca è insufficiente si muovono con la possibilità di allontanarsi illimitatamente percorrendo entrambi parabole o iperboli. Si veda in proposito [[problema dei due corpi]].

In [[geometria proiettiva]] le sezioni coniche nel piano proiettivo sono considerate equivalenti, nel senso che possono essere trasformate l'una nell'altra mediante una [[trasformazione proiettiva]].

In epoca ellenistica la conoscenza delle coniche permise la costruzione di specchi parabolici, forse applicati in attività belliche (v. [[Specchi ustori]]) e nella costruzioni di fari di grande portata (v. [[Faro di Alessandria]]).

== Sfere di Dandelin ==
Per una trattazione breve e abbastanza semplice delle sezioni coniche che mostra come esse si possono caratterizzare equivalentemente come intersezioni di un piano con un cono e in termini di fuochi o di un fuoco e una direttrice vedi [[Sfere di Dandelin]].

== Derivazione ==
Consideriamo un cono avente come asse l'asse delle ''z'' e il vertice nell'origine. Esso è determinato dall'equazione 
:<math> x^2 + y^2 - a^2 z^2 = 0 \qquad \qquad (1) </math>
dove
:<math> a = \tan \theta > 0 \;</math>
e <math>\theta </math> denota l'angolo che ogni generatrice del cono forma con l'asse. Si noti che questa equazione individua due superfici una posta al di sopra e l'altra al di sotto del vertice; nel parlare comune ciascuna di queste superfici viene detta cono; i matematici preferiscono parlare di due '''nappe''' la cui unione costituisce il cono e la cui intersezione si riduce al vertice del cono.

Consideriamo un piano P che interseca il piano ''Oxy'' in una retta parallela all'asse delle ''y'' e che interseca il piano ''Oxz'' in una retta con una certa pendenza; la sua equazione è

:<math> z = mx + b \qquad \qquad (2) </math>

dove

:<math> m = \tan \phi > 0 \;</math>

e <math>\phi</math> è l'angolo che P forma con il piano ''Oxy''.

Ci proponiamo di individuare l'intersezione del cono con il piano P: questo richiede la combinazione delle due equazioni (1) e (2). Queste si possono risolvere nella variabile ''z'' e le espressioni trovate si possono uguagliare. 
L'equazione (1) per la ''z'' fornisce
:<math> z = \sqrt{x^2 + y^2 \over a^2} </math> ;
di conseguenza 
:<math> \sqrt{x^2 + y^2 \over a^2} = m x + b. </math>
Elevati al quadrato i due membri e sviluppato il [[binomio]] del membro a destra si ottiene 
:<math> {x^2 + y^2 \over a^2} = m^2 x^2 + 2 m b x + b^2 \;</math>.
Raggruppando le variabili si giunge alla
:<math> x^2 \left( {1 \over a^2} - m^2 \right) + {y^2 \over a^2} - 2 m b x - b^2 = 0. \qquad \qquad (3) </math>

Si noti che questa è l'equazione della proiezione della sezione conica sul piano ''Oxy''; Quindi questa equazione fornisce una figura ottenuta dalla sezione conica mediante una contrazione nella direzione dell'asse delle ''x''.

=== Derivazione della parabola ===
Si ottiene una parabola quando la pendenza del piano P è uguale alla pendenza delle generatrici del cono.  In questo caso gli angoli
<math>\theta </math> 
e
<math>\phi</math>
sono [[angolo complementare|complementari]].  Questo implica che
:<math> \tan \theta = \cot \phi \;</math> ;
di conseguenza 
:<math> m = {1 \over a} \qquad \qquad (4) </math> .
Sostituendo l'equazione (4) nell'equazione (3) si fa scomparire il primo termine nell'equazione (3) e rimane l'equazione
:<math> {y^2 \over a^2} - {2 \over a} b x - b^2 = 0 </math> .
Moltiplicando entrambi i membri per ''a<sup>2</sup>'',
:<math> y^2 - 2 a b x - a^2 b^2 = 0 \;</math> ;
a questo punto si può trovare un'espressione per la ''x'':
:<math> x = {1 \over 2 a b} y^2 - {a b \over 2}. \qquad \qquad (5) </math>
L'equazione (5) descrive una [[Parabola (geometria)|parabola]] il cui asse è parallelo all'asse delle ''x''.  Altre versioni della equazione (5) si possono ottenere ruotando il piano intorno all'asse delle ''z''.

=== Derivazione dell'ellisse ===
Si individua un'ellisse quando la somma degli angoli <math>\theta</math> e <math>\phi</math> è inferiore ad un angolo retto:
:<math> \theta + \phi < {\pi \over 2} \qquad \qquad \mbox{(ellisse)} </math>
In tal caso la tangente della somma dei due angoli è positiva.
:<math> \tan (\theta + \phi) > 0 \;</math> .
Ricordiamo ora la [[identità trigonometrica]] 
:<math> \tan (\theta + \phi) = {\tan \theta + \tan \phi \over 1 - \tan \theta \tan \phi} </math> ;
questa implica
:<math> \tan (\theta + \phi) = {m + a \over 1 - m a} > 0 \qquad \qquad (6)</math>
Ma ''m + a'' è positivo, in quanto è la somma di due numeri positivi; quindi la disuguaglianza (6) è positiva se anche il denominatore è positivo:
:<math> 1 - m a > 0. \qquad \qquad (7) </math>
Dalla disuguaglianza (7) si deducono:
:<math> m a < 1, \;</math>
:<math> m^2 a^2 < 1, \;</math>
:<math> 1 - m^2 a^2 > 0, \;</math>
:<math> {1 \over m^2 a^2} > 1, </math>
:<math> {1 \over m^2 a^2} - 1 > 0, </math>
:<math> {1 \over a^2} - m^2 > 0 \qquad \qquad \mbox{(ellisse)}. </math>

Riprendiamo ancora l'equazione (3),
:<math> x^2 \left( {1 \over a^2} - m^2 \right) + {y^2 \over a^2} - 2 m b x - b^2 = 0, \qquad \qquad (3) </math>
ma questa volta assumiamo che il coefficiente di ''x<sup>2</sup>'' non si annulli ma sia invece positivo.  Risolviamo per la ''y'': 
:<math> y = a \sqrt{ b^2 + 2 m b x - x^2 \left( {1 \over a^2} - m^2 \right)}~. \qquad \qquad (8) </math>
Questa equazione descriverebbe chiaramente un'ellisse, se non fosse presente il secondo termine sotto il segno di radice, ''2&nbsp;m&nbsp;b&nbsp;x'': sarebbe l'equazione di una circonferenza dilatata proporzionalmente secondo le direzioni dell'asse delle ''x'' e dell'asse delle ''y''. L'equazione (8) in effetti individua un'ellisse ma in modo non evidente; quindi occorre manipolarla ulteriormente per convincersi di questo fatto. Completiamo il quadrato sotto il segno di radice:
:<math> y = a \sqrt{ b^2 - \left[ x \sqrt{ {1 \over a^2} - m^2} - {b \over \sqrt{ {1 \over a^2 m^2} - 1}} \right]^2 + \left( {b^2 \over {1 \over a^2 m^2} - 1} \right)} </math> .
Raccogliamo i termini in ''b<sup>2</sup>'':
:<math> y = a \sqrt{ b^2 \left( 1 + {1 \over {1 \over a^2 m^2} - 1} \right) - \left[x \sqrt{ {1 \over a^2} - m^2} - {b \over \sqrt{{1 \over a^2 m^2} - 1}} \right]^2 }.  </math>

Dividiamo per ''a'' ed eleviamo al quadrato entrambi i membri:
:<math> {y^2 \over a^2} + \left( x \sqrt{{1 \over a^2} - m^2} - {b \over \sqrt{{1 \over a^2 m^2} - 1}} \right)^2 = b^2 \left( 1 + {1 \over {1 \over a^2 m^2} - 1} \right). </math>
La ''x'' presenta un coefficiente, mentre è opportuno far scomparire tale componente raccogliendolo a fattore fuori del secondo termine che è un quadrato:
:<math> {y^2 \over a^2} + \left( {1 \over a^2} - m^2 \right) \left( x - {b \over \sqrt{ \left( {1 \over a^2 m^2} - 1 \right) \left( {1 \over a^2} - m^2 \right)}} \right)^2 = b^2 \left( 1 + { 1 \over {1 \over a^2 m^2} - 1} \right). </math>
Un'ulteriore manipolazione delle costanti finalmente conduce a 
:<math> {y^2 \over 1 - a^2 m^2} + \left( x - {m b \over {1 \over a^2} - m^2} \right)^2 = { a^2 b^2 \over (1 - a^2 m^2)^2} </math> .

Il coefficiente del termine in ''y'' è positivo (per un'ellisse). Cambiando i nomi dei coefficienti e delle costanti ci conduce a 
:<math> {y^2 \over A} + (x - C)^2 = R^2 \qquad \qquad (9) </math>
che è chiaramente l'equazione di un'ellisse. In altri termini, l'equazione (9) descrive una circonferenza di raggio ''R'' e centro ''(C,0)'' che viene poi dilatata verticalmente per un fattore <math> \sqrt{A} </math>. Il secondo termine del membro a sinistra (il termine nella ''x'') non ha coefficiente ma è un quadrato, quindi deve essere positivo. Il raggio è un prodotto di quadrati e quindi deve essere anch'esso positivo.  Il primo termine del membro a sinistra (il termine in ''y'') ha un coefficiente positivo, e dunque l'equazione descrive un'[[ellisse]].

=== Derivazione dell'iperbole ===
L'intersezione del cono con il piano P fornisce un'iperbole quando la somma degli angoli <math> \theta </math> e <math>  \phi</math> è un angolo ottuso, maggiore di un angolo retto. La tangente di un angolo ottuso è negativa e tutte le disuguaglianze trovate per l'ellisse vengono cambiate nelle loro opposte. Quindi si ottiene
:<math> 1 - a^2 m^2 < 0 \qquad \qquad \mbox{(iperbole)}. </math>
Di conseguenza per l'iperbole si trova l'equazione che differisce da quella trovata per l'ellisse solo per avere negativo il coefficiente ''A'' del termine in ''y''. Questo cambiamento di segno fa passare da un'ellisse ad un'[[Iperbole (geometria)|iperbole]]. Il collegamento fra ellissi e iperbole può descriversi anche osservando che l'equazione di un'ellisse con coordinate reali può interpretarsi come l'equazione di un'iperbole con una coordinata immaginaria e, simmetricamente, che l'equazione di un'iperbole con coordinate reali può interpretarsi come l'equazione di un'ellisse con una coordinata immaginaria (vedi [[numero immaginario]]). Il cambiamento di segno del coefficiente ''A'' equivale allo scambio fra valori reali e immaginari della funzione della forma ''y=f(x)'' che si legge nell'equazione (9).

== Classificazione delle coniche reali in relazione ai loro punti impropri ==
{{s sezione|geometria}}
Una ellisse non ha punti impropri. Una parabola ha un solo punto improprio. Una iperbole ha due punti impropri.

== Voci correlate ==
* [[Fuoco (geometria)|Fuoco]]
* [[Quadrica]]
* [[Rappresentazione matriciale delle coniche]]
* [[Funzione quadratica]]
* [[Confocale]]

== Altri progetti ==
{{interprogetto}}

== Collegamenti esterni ==
* {{collegamenti esterni}}
* {{Mathcurve2d|conic}}
* {{cita web|http://xahlee.org/SpecialPlaneCurves_dir/ConicSections_dir/conicSections.html|Special plane curves: Conic sections|lingua=en}}
* {{en}} [http://mathworld.wolfram.com/Focus.html Focus] in [[MathWorld]]
* {{en}} [https://web.archive.org/web/20060406010638/http://britton.disted.camosun.bc.ca/jbconics.htm Occurrence of the conics] in natura e altrove
* [[Nicola Fergola]], [[Vincenzo Flauti]] [http://books.google.com/books?id=-ekGAAAAYAAJ Trattati analitici delle sezioni coniche e de' loro luoghi geometrici] (Napoli, 1840) 

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

[[Categoria:Sezioni coniche| ]]