Coniche
Le coniche (o sezioni coniche) sono una famiglia di curve nel piano ottenute dall'intersezione tra un cono circolare retto e un piano.
A seconda dell'inclinazione e della posizione del piano rispetto al cono, si ottengono diversi tipi curve: ellisse, parabola e iperbole.
In generale una conica è un luogo di punti nel piano che soddisfano la sequente equazione di secondo grado:
$$ Ax^2 + Bxy + Cy^2 + Dx + Ey + F = 0 $$
Dove almeno uno tra i coefficienti A, B e C è diverso da zero.
Gli antichi greci furono i primi ad accorgersi che alcune curve erano ottenibili tramite delle sezioni coniche. In particolar modo, le sezioni coniche furono analizzate in dettaglio durante l'epoca ellenistica, intorno al 200 a.C., da Menecmo e Apollonio di Perga. Fu Apollonio a denominare le tre principali coniche come ellisse, parabola e iperbole, considerando la circonferenza un caso particolare dell'ellisse. Inizialmente, i greci utilizzavano uno cono diverso tagliato da un piano inclinato per ottenere la parabola, l'ellisse e l'iperbole. Apollonio dimostrò che si potevano ottenere anche usando lo stesso cono (retto o obliquo) inclindando semplicemente il piano di intersezione.
Le caratteristiche di una sezione conica
Per ottenere una conica faccio intersecare due rette r e s con un angolo α (detto semiapertura) in un punto V dello spazio detto "vertice".
La rotazione completa della retta r intorno alla retta s genera una superficie conica a due falde.
Per questa ragione la retta r è detta retta generatrice mentre la retta s è detta asse di rotazione.
Lo spazio all'interno della superficie è, invece, detto cono a due falde.
A questo punto interseco la conica a due falde con un piano con una determinata inclinazione β rispetto all'asse di simmetria.
I punti di intersezione del piano secante con la conica a due falde generano una curva detta "sezione conica" o semplicemente "conica"
Ad esempio, la conica della figura precedente mi appare sul piano in questa forma
A seconda dell'angolo α del cono (semiapertura) e dell'angolo β del piano posso ottenere diverse curve aperte o chiuse.
- Se β<α la sezione conica è una iperbole, ossia una curva aperta composta da due rami illimitati, perché il piano interseca due falde del cono.
- Se β=α la sezione conica è una parabola, ossia una curva aperta e illimitata composta da un solo ramo, perché il piano ha la stessa inclinazione dell'angolo del cono e interseca una sola falda del cono.
- Se β>α la sezione conica è una ellisse, ossia una curva chiusa e limitata, perché l'angolo del piano è maggiore della semiapertura.
Esempio
- Se β=π/2 è un angolo retto (90°), dove "π" rappresenta il numero pi greco, la sezione conica si riduce a una circonferenza, ossia una curva chiusa e limitata con tutti i punti equidistanti dal suo centro.
Tipi di coniche
Le coniche sono classificate in base alla loro forma e alle proprietà geometriche:
- Ellisse
L'ellisse è una curva chiusa ottenuta intersecando un cono con un piano inclinato tra θ e π/2 rispetto al suo asse. È definita dalla somma costante delle distanze dai suoi due fuochi. Ha due assi di simmetria, maggiore e minore. Se i due assi sono uguali si ottiene un cerchio.
- Parabola
La parabola è l'insieme dei punti equidistanti da un fuoco (F) e una retta direttrice (d). Ha un asse di simmetria e si forma intersecando un cono con un piano parallelo a una sua retta generatrice, formando un angolo θ con l'asse della conica. Non è una curva chiusa e appartiene a una sola falda del cono.
- Iperbole
L'iperbole è formata dall'intersezione di un cono con un piano inclinato meno di θ rispetto all'asse del cono. È definita dai punti la cui differenza di distanza da due fuochi fissi è costante. E' curva aperta e, poiché interseca entrambe le falde del cono, si divide in due rami opposti con due assi di simmetria.
- Circonferenza
La circonferenza è un caso particolare di ellisse che si ottiene facendo intersecare il cono retto con un piano perpendicolare al suo asse. E' una curva chiusa.
Nota. Questi tipi di coniche sono dette "non degeneri" per distinguerle dalle coniche "degeneri" come il punto, la retta e una coppia di rette. Ad esempio, il punto può essere considerato una conica degenere che si ottiene intersecando la conica con un piano passante per il vertice del cono. Lo stesso vale per il piano che interseca una retta o due rette della conica. Anche in questi casi si parla di "coniche degeneri".
La definizione di conica
Ogni punto $ P(x;y) $ di una conica ha un rapporto costante $$ \frac{ \overline{PF} }{ \overline{PH} } = e $$ Dove PF è la distanza tra il punto P e un punto fisso $ F(p;q) $ detto "fuoco" mentre PH è la distanza tra il punto P e una retta fissa d: $ ax+by+c=0 $ detta "direttrice" che non passa per P.
Il rapporto costante "e" è un numero reale costante, non negativo, che determina l'eccentricità della conica.
L'eccentricità della conica determina il tipo di conica
- Se e=0 la conica è una circonferenza
- Se 0<e<1 la conica è un'ellisse
- Se e=1 la conica è una parabola
- Se e>1 la conica è un'iperbole
Nota. La parabola ha un fuoco e una retta direttrice. L'ellisse e l'iperbole, invece, hanno due fuochi e due rette direttrici simmetriche rispetto al centro di simmetria e perpendicolari all'asse focale. Infine, la circonferenza si può interpretare come una conica con una retta direttrice posta a una distanza infinita dal centro. La circonferenza, tecnicamente, non ha una sola retta direttrice ma infinite tutte poste a distanza infinita dal centro.
Esempio
In una parabola l'eccentricità è $ e=1 $ uguale a uno.
$$ e = 1 $$
Quindi la distanza PF tra un punto P della parabola e il fuoco F è uguale alla distanza PH tra lo stesso punto P e la retta direttrice d.
$$ \frac{ \overline{PF} }{ \overline{PH} } = e = 1 $$
$$ \overline{PF} = \overline{PH} $$
In questo caso il rapporto tra le due distanze $ \frac{ \overline{PF} }{ \overline{PH} } = 1 $ è sempre uguale a uno.
Esempio 2
Considero un fuoco alle coordinate $ F(3;4) $ e una retta $ 3x-4y=0 $
Devo determinare il luogo geometrico dei punti del piano $ P(x;y) $ in cui l'eccentricità è uguale a $ e = 2 $
$$ e = 2 $$
L'eccentricità di una conica è uguale al rapportro tra le distanze PF e PH ed è costante.
$$ \frac{ \overline{PF} }{ \overline{PH} } = 2 $$
$$ \overline{PF} = \overline{PH} \cdot 2 $$
La distanza euclidea tra i punti $ P(x;y) $ e $ F(p;q)=(3;4) $ è la seguente:
$$ \overline{PF} = \sqrt{(x-p)^2+(y-q)^2} $$
$$ \overline{PF} = \sqrt{(x-3)^2+(y-4)^2} $$
La distanza tra i punti $ P(x;y) $ e la retta direttrice $ 3x-4y=0 $ è la seguente:
$$ \overline{PH} = \frac{|3x-4y|}{ \sqrt{3^2+(-4)^2} } $$
$$ \overline{PH} = \frac{|3x-4y|}{ \sqrt{9+16} } $$
$$ \overline{PH} = \frac{|3x-4y|}{ \sqrt{25} } $$
$$ \overline{PH} = \frac{|3x-4y|}{ 5 } $$
Sostituisco le distanze nella formula dell'eccentricità
$$ \overline{PF} = \overline{PH} \cdot 2 $$
$$ \sqrt{(x-3)^2+(y-4)^2} = \frac{|3x-4y|}{ 5 } \cdot 2 $$
Elevo entrambi i lati dell'equazione al quadrato
$$ ( \sqrt{(x-3)^2+(y-4)^2} )^2 = ( \frac{|3x-4y|}{ 5 } \cdot 2 )^2 $$
$$ (x-3)^2+(y-4)^2 = \frac{(|3x-4y|)^2}{ 5^2 } \cdot 2^2 $$
$$ (x-3)^2+(y-4)^2 = \frac{(3x-4y)^2}{ 25 } \cdot 4 $$
Espando i quadrati
$$ (x^2-6x+9) + (y^2-8y+16) = \frac{ (9x^2-24xy+16y^2)}{ 25 } \cdot 4 $$
$$ x^2 - 6x + 9 + y^2 - 8y + 16 = \frac{36x^2 - 96xy + 64y^2}{25} $$
$$ 25(x^2 - 6x + y^2 - 8y + 25) = 36x^2 - 96xy + 64y^2 $$
$$ 25x^2 - 150x + 25y^2 - 200y + 625 - 36x^2 + 96xy - 64y^2 = 0 $$
$$ (25 - 36)x^2 + 96xy + (25 - 64)y^2 - 150x - 200y + 625 = 0 $$
Quindi, l'equazione generale della conica è:
$$ -11x^2 + 96xy - 39y^2 - 150x - 200y + 625 = 0 $$
Questa conica è caratterizzata da un rapporto costante $ \frac{ \overline{PF} }{ \overline{PH} } = 2 $.
Equazione generale di una conica
Ogni conica è descritta da un'equazione di secondo grado del tipo $$ Ax^2 + Bxy + Cy^2 + Dx + Ey + F = 0 $$ con i coefficienti A, B, C, D, E, F non tutti contemporaneamente nulli.
Ad esempio, se B=0 e A=0 l'equazione rappresenta una parabola con l'asse parallelo all'asse x.
$$ Cy^2 + Dx + Ey + F = 0 $$
Se invece fisso B=0 e C=0, l'equazione rappresenta una parabola con l'asse parallelo all'asse y.
$$ Ax^2 + Dx + Ey + F = 0 $$
Se B=0 e A=C con A≠0, l'equazione della conica rappresenta una circonferenza.
$$ Ax^2 + Cy^2 + Dx + Ey + F = 0 $$
Se B=0 e A≠C con A≠0 e C≠0, l'equazione della conica rappresenta una ellisse se A e C sono concordi (A·C>0) oppure un'iperbole se A e C sono discordi (A·C<0).
$$ Ax^2 + Cy^2 + Dx + Ey + F = 0 $$
Spiegazione. Raccolgo le variabili x e y $$ Ax^2 + Cy^2 + Dx + Ey + F = 0 $$ $$ A ( x^2 + \frac{Dx}{A} ) + C (y^2 + \frac{Ey}{A} ) + F = 0 $$ Poi completo i quadrati $$ A ( x^2 + \frac{Dx}{A} + ( \frac{D}{2A})^2 - ( \frac{D}{2A})^2 ) + C (y^2 + \frac{Ey}{C} + ( \frac{E}{2C} )^2 - ( \frac{E}{2C} )^2 ) + F = 0 $$ $$ A ( x^2 + \frac{Dx}{A} + \frac{D^2}{4A^2} - \frac{D^2}{4A^2} ) + C (y^2 + \frac{Ey}{C} + \frac{E^2}{4C^2} - \frac{E^2}{4C^2} ) + F = 0 $$ $$ A ( x^2 + \frac{Dx}{A} + \frac{D^2}{4A^2} ) + C (y^2 + \frac{Ey}{C} + \frac{E^2}{4C^2} ) + F - \frac{D^2}{4A} - \frac{E^2}{4C} = 0 $$ $$ A ( x + \frac{D}{2A} )^2 + C (y + \frac{E}{2C} )^2 + F - \frac{D^2}{4A} - \frac{E^2}{4C} = 0 $$$$ A ( x + \frac{D}{2A} )^2 + C (y + \frac{E}{2C} )^2 = \frac{D^2}{4A} + \frac{E^2}{4C} - F $$ Considero i termini noti come 's' $$ A ( x + \frac{D}{2A} )^2 + C (y + \frac{E}{2C} )^2 = s $$ Per Questa è anche la condizione di realtà dell'ellisse $ s>0 $ $$ s = \frac{D^2}{4A} + \frac{E^2}{4C} - F $$ perché l'ellisse esiste se $ s>0 $. Se $ s=0 $ l'ellisse degenera in un punto mentre l'iperbole in una coppia di rette. Se s<0 l'ellisse non esiste. Tornando all'equazione $$ A ( x + \frac{D}{2A} )^2 + C (y + \frac{E}{2C} )^2 = s $$ posso interpretarla come una translazione della conica dall'origine degli assi cartesiani (0;0) per un vettore $ \left( - \frac{D}{2A}; - \frac{E}{2C} \right) $ che rappresenta il centro della conica e tornare all'equazione canonica $$ Ax^2 + Cy^2= s $$ che a seconda del segno concorde o discorde di A e C rappresenta rispettivamente un'ellisse o un'iperbole.
Un esempio
Prendo come esempio l'equazione di secondo grado
$$ -2x^2 + y^2 - 6x - 5y +3 = 0 $$
Devo capire se è una conica.
In questo caso A=-2, B=0, C=1, D=-6, E=-5, F=3
Poiché B=0 e A≠C con A≠0 e C≠0 deduco che potrebbe trattarsi di un'iperbole perché A e C sono discordi (A·C<0) ossia hanno il segno opposto.
Applico il metodo del completamento del quadrato.
$$ (-2x^2- 6x) + (y^2 - 5y) +3 = 0 $$
$$ -2(x^2+ 3x) + (y^2 - 5y) +3 = 0 $$
$$ -2(x^2+ 3x + (\frac{3}{2} )^2 - (\frac{3}{2} )^2) + (y^2 - 5y + (\frac{5}{2} )^2 - (\frac{5}{2} )^2) +3 = 0 $$
$$ -2(x^2+ 3x + (\frac{3}{2} )^2 ) + (y^2 - 5y + (\frac{5}{2} )^2 ) +3 - (\frac{3}{2} )^2 \cdot (-2) - (\frac{5}{2} )^2 = 0 $$
$$ -2(x + \frac{3}{2} )^2 + (y - \frac{5}{2} )^2 + 3 - \frac{9}{4} \cdot (-2) - \frac{25}{4}= 0 $$
$$ -2(x + \frac{3}{2} )^2 + (y - \frac{5}{2} )^2 + 3 + \frac{9}{2}- \frac{25}{4}= 0 $$
$$ -2(x + \frac{3}{2} )^2 + (y - \frac{5}{2} )^2 + \frac{12+18-25}{4}= 0 $$
$$ -2(x + \frac{3}{2} )^2 + (y - \frac{5}{2} )^2 + \frac{5}{4}= 0 $$
$$ -2(x + \frac{3}{2} )^2 + (y - \frac{5}{2} )^2 = - \frac{5}{4} $$
La riconduco all'equazione canonica dell'ellisse moltiplicando entrambi i lati per -1
$$ (-1) \cdot [ -2(x + \frac{3}{2} )^2 + (y - \frac{5}{2} )^2 ] = -(1) \cdot ( - \frac{5}{4} ) $$
$$ 2(x + \frac{3}{2} )^2 - (y - \frac{5}{2} )^2 ] = \frac{5}{4} $$
Quest'ultima è l'equazione di una iperbole con centro in $ \left( - \frac{3}{2} ; \frac{5}{2} \right) $ e l'asse trasverso, quello con i fuochi, parallello all'asse x.
Esempio 2
Considero l'equazione di secondo grado
$$ 4x^2 +9y^2 -5x-y+10 = 0 $$
Devo capire se si tratta di una conica oppure no.
In questo caso A=4, B=0 , C=9, D=-5, E=-1, F=10
Poiché B=0 e A≠C con A≠0 e C≠0 deduco che potrebbe trattarsi di un'ellisse perché A e C sono concordi (A·C<0) ossia hanno lo stesso segno.
Raccolgo le variabili x e y
$$ (4x^2-5x) + (9y^2-y)+10 = 0 $$
Poi completo i quadrati
$$ (4x^2-5x + (\frac{5}{4})^2- (\frac{5}{4})^2 ) + (9y^2-y + (\frac{1}{6})^2-(\frac{1}{6})^2)+10 = 0 $$
$$ (4x^2-5x + (\frac{5}{4})^2 ) + (9y^2-y + (\frac{1}{6})^2)+10 - (\frac{5}{4})^2 -(\frac{1}{6})^2= 0 $$
$$ (2x-\frac{5}{4})^2 + (3y - \frac{1}{6})^2 +10 - \frac{25}{16} - \frac{1}{36} = 0 $$
$$ (2x-\frac{5}{4})^2 + (3y - \frac{1}{6})^2 +10 - \frac{25}{16} - \frac{1}{36} = 0 $$
$$ (2x-\frac{5}{4})^2 + (3y - \frac{1}{6})^2 +\frac{1440-225-4}{144} = 0 $$
$$ (2x-\frac{5}{4})^2 + (3y - \frac{1}{6})^2 +\frac{1211}{144} = 0 $$
$$ (2x-\frac{5}{4})^2 + (3y - \frac{1}{6})^2 = - \frac{1211}{144} $$
In questo caso però la condizione di esistenza dell'ellisse non è soddifatta perché il termine noto nel lato destro è negativo
$$ s = - \frac{1211}{144} < 0 $$
Quindi, questa equazione non è una conica.
La dimostrazione
Considero una retta direttrice \( ax + by + c = 0 \) e un punto generico \( P(x; y) \) della conica che non appartiene a questa retta.
Per definizione una conica è il luogo geometrico dei punti \( P(x, y) \) tali che il rapporto tra la distanza di \( P \) da un punto fisso \( F \) (il fuoco) e la distanza di \( P \) da una retta fissa \( d \) (la direttrice) è costante ed è chiamato eccentricità \( e \):
$$ \frac{ \overline{PF} }{ \overline{PH} } = e $$
$$ \overline{PF}= \overline{PH} \cdot e $$
La distanza PF tra il punto P(x;y) e un punto fisso detto fuoco $ F(p;q) $ della conica è la seguente:
$$ \overline{PF} = \sqrt{(x-p)^2 + (y-q)^2} $$
La distanza PH tra il punto P(x;y) e l'equazione della retta direttrice $ ax+by+c=0 $ dove x e y sono le coordinate del punto P è la seguente:
$$ \overline{PH} = \frac{|ax+by+c|}{ \sqrt{a^2 + b^2} } $$
Sostituisco le espressioni delle distanze
$$ \overline{PF}= \overline{PH} \cdot e $$
$$ \sqrt{(x-p)^2 + (y-q)^2} = \frac{|ax+by+c|}{ \sqrt{a^2 + b^2} } \cdot e $$
Elevo al quadrato entrambi i lati dell'equazione
$$ ( \sqrt{(x-p)^2 + (y-q)^2} )^2 = ( \frac{|ax+by+c|}{ \sqrt{a^2 + b^2} } \cdot e )^2 $$
$$ (x-p)^2 + (y-q)^2 = \frac{(|ax+by+c|)^2}{ ( \sqrt{a^2 + b^2} )^2 } \cdot e^2 $$
$$ (x-p)^2 + (y-q)^2 = \frac{(ax+by+c)^2}{ a^2 + b^2} \cdot e^2 $$
Espando i quadrati e riorganizzo i termini:
$$ (x^2 - 2xp + p^2) + (y^2 - 2yq + q^2) = \frac{e^2}{a^2 + b^2} \cdot (a^2x^2 + 2abxy + b^2y^2 + 2acx + 2bcy + c^2) $$
Raggruppo i termini simili e portando tutto sullo stesso lato dell'equazione, ottenendo così una forma generale:
$$ [(1-e^2)a^2 + b^2]x^2 + 2abe^2xy + [(1-e^2)b^2 + a^2]y^2 \\ - 2(a^2p + b^2p + ace)x - 2(a^2q + b^2q + bce)y \\ + (p^2 + q^2)(a^2 + b^2) - c^2e^2 = 0 $$
L'espressione ottenuta può essere scritta nella forma generale dell'equazione di una conica:
$$ Ax^2 + Bxy + Cy^2 + Dx + Ey + F = 0 $$
Dove i coefficienti \( A \), \( B \), \( C \), \( D \), \( E \) e \( F \) sono determinati in funzione di \( a \), \( b \), \( c \), \( p \), \( q \) ed \( e \).
- $ A = (1-e^2)a^2 + b^2 $
- $ B = 2abe^2 $
- $ C =(1-e^2)b^2 + a^2 $
- $ D = - 2(a^2p + b^2p + ace) $
- $ E = - 2(a^2q + b^2q + bce) $
- $ F = (p^2 + q^2)(a^2 + b^2) - c^2e^2 $
Questa equazione rappresenta una conica che può essere un'ellisse, una parabola o un'iperbole a seconda del valore dell'eccentricità \( e \).
- Se \( e = 0 \), la conica è una circonferenza.
- Se \( 0 < e < 1 \), la conica è un'ellisse.
- Se \( e = 1 \), la conica è una parabola.
- Se \( e > 1 \), la conica è un'iperbole.
In questo modo, partendo dalla definizione della conica e dalle formule di distanza, sono arrivato all'equazione generale della conica nel piano cartesiano.
E così via