Salta al contenuto
Note per Studenti Esercizio 109 · riconoscere una conica e trovarne la forma canonica

Esercizio 109riconoscere una conica e trovarne la forma canonica

In questa pagina 5
In questa pagina 6

Testo. Riconoscere le coniche seguenti e, per le prime due, trovare la forma canonica e il cambio di coordinate che la produce.

  1. C1: x2+4xy+y2−6x−6y+3=0\mathcal C_1: \ x^2 + 4xy + y^2 - 6x - 6y + 3 = 0
  2. C2: x2+2xy+y2−4x+4y=0\mathcal C_2: \ x^2 + 2xy + y^2 - 4x + 4y = 0
  3. C3: x2−y2−2x+1=0\mathcal C_3: \ x^2 - y^2 - 2x + 1 = 0

Teoria usata: Coniche e quadricheUna conica è l'insieme dei punti del piano che annullano un polinomio di grado 2 in x, y. Con una traslazione (che elimina i termini di primo grado) e una rotazione data dal teorema spettrale (che elimina il termine xy) diventa una forma canonica: ellisse, iperbole o parabola, oppure un caso degenere. Il tipo si legge dai determinanti della matrice 3×3 completa e della parte quadratica 2×2. Circonferenze e sfere; cenni alle quadriche.Coniche e quadriche →, Teorema spettrale e forme quadraticheUna funzione lineare è simmetrica se f(v)·w = v·f(w); in una base ortonormale ha matrice simmetrica. Teorema spettrale: f è simmetrica se e solo se esiste una base ortonormale di autovettori, cioè A simmetrica ⇔ PᵀAP diagonale con P ortogonale. Applicato alle forme quadratiche, permette di scriverle come somma di quadrati con gli autovalori come coefficienti.Teorema spettrale e forme quadratiche →.


Promemoria. Per a11x2+2a12xy+a22y2+2a13x+2a23y+a33=0a_{11}x^2 + 2a_{12}xy + a_{22}y^2 + 2a_{13}x + 2a_{23}y + a_{33} = 0 si usano A=(a11a12a12a22)A = \begin{pmatrix} a_{11} & a_{12} \\ a_{12} & a_{22} \end{pmatrix} e la matrice completa A~\tilde A (3×33 \times 3). det⁡A~≠0\det \tilde A \ne 0: non degenere; poi det⁡A>0\det A > 0 ellisse, <0< 0 iperbole, =0= 0 parabola. I coefficienti dei termini misti e di primo grado vanno dimezzati nelle matrici.

1. C1\mathcal C_1: un'iperbole

Matrici. a11=1a_{11} = 1, a12=2a_{12} = 2, a22=1a_{22} = 1, a13=−3a_{13} = -3, a23=−3a_{23} = -3, a33=3a_{33} = 3:

A=(1221),A~=(12−321−3−3−33).A = \begin{pmatrix} 1 & 2 \\ 2 & 1 \end{pmatrix}, \qquad \tilde A = \begin{pmatrix} 1 & 2 & -3 \\ 2 & 1 & -3 \\ -3 & -3 & 3 \end{pmatrix}.

det⁡A=1−4=−3<0\det A = 1 - 4 = -3 < 0; det⁡A~=1(3−9)−2(6−9)−3(−6+3)=−6+6+9=9≠0\det \tilde A = 1(3 - 9) - 2(6 - 9) - 3(-6 + 3) = -6 + 6 + 9 = 9 \ne 0 (sviluppo di LaplaceIl determinante è lineare in ogni riga, cambia segno scambiando due righe, non cambia sommando a una riga un multiplo di un'altra: così si calcola con Gauss riducendo a triangolare. Binet: det(AB) = det A · det B. Laplace: sviluppo lungo una riga o colonna con i complementi algebrici.Proprietà del determinante, Binet e Laplace → lungo la prima riga: i tre minori sono 1⋅3−(−3)(−3)=−61 \cdot 3 - (-3)(-3) = -6, 2⋅3−(−3)(−3)=−32 \cdot 3 - (-3)(-3) = -3 e 2⋅(−3)−1⋅(−3)=−32 \cdot (-3) - 1 \cdot (-3) = -3). Iperbole (non degenere).

Centro. det⁡A≠0\det A \ne 0, quindi la conica ha un centro, soluzione di

{x+2y−3=02x+y−3=0\begin{cases} x + 2y - 3 = 0 \\ 2x + y - 3 = 0 \end{cases}

(le righe di (A∣colonna a13,a23)(A \mid \text{colonna } a_{13}, a_{23})). Sottraendo la seconda dalla prima moltiplicata per 22: 3y−3=03y - 3 = 0, y=1y = 1, poi x=1x = 1. Centro C=(1,1)C = (1, 1).

Traslazione x=1+Xx = 1 + X, y=1+Yy = 1 + Y: i termini di primo grado spariscono (è la proprietà del centro) e il termine noto diventa il valore del polinomio in CC: 1+4+1−6−6+3=−31 + 4 + 1 - 6 - 6 + 3 = -3. Il conto per esteso: (1+X)2+4(1+X)(1+Y)+(1+Y)2−6(1+X)−6(1+Y)+3(1 + X)^2 + 4(1 + X)(1 + Y) + (1 + Y)^2 - 6(1 + X) - 6(1 + Y) + 3 ha parte di secondo grado X2+4XY+Y2X^2 + 4XY + Y^2 (uguale a prima), termini in XX: 2X+4X−6X=02X + 4X - 6X = 0, termini in YY: 4Y+2Y−6Y=04Y + 2Y - 6Y = 0. Quindi

X2+4XY+Y2−3=0  ⟺  X2+4XY+Y2=3.X^2 + 4XY + Y^2 - 3 = 0 \iff X^2 + 4XY + Y^2 = 3 .

Rotazione. AutovaloriUn autovettore è un vettore non nullo che una funzione lineare manda in un suo multiplo; si trovano gli autovalori come radici del polinomio caratteristico det(A − λI) e gli autovettori come nucleo di A − λI. Matrici simili hanno gli stessi autovalori.Autovalori e autovettori → di AA: det⁡(A−λI)=(1−λ)2−4=0  ⟺  1−λ=±2  ⟺  λ=3\det(A - \lambda I) = (1 - \lambda)^2 - 4 = 0 \iff 1 - \lambda = \pm 2 \iff \lambda = 3 o λ=−1\lambda = -1. Autovettori: per 33, A−3I=(−222−2)A - 3I = \begin{pmatrix} -2 & 2 \\ 2 & -2 \end{pmatrix} dà (1,1)(1, 1); per −1-1, A+I=(2222)A + I = \begin{pmatrix} 2 & 2 \\ 2 & 2 \end{pmatrix} dà (−1,1)(-1, 1). Normalizzando e scegliendo l'ordine in modo che det⁡P=1\det P = 1 (rotazione di 45°45°):

P=12(1−111),(XY)=P(uv),cioeˋX=u−v2,  Y=u+v2.P = \frac{1}{\sqrt2}\begin{pmatrix} 1 & -1 \\ 1 & 1 \end{pmatrix}, \qquad \begin{pmatrix} X \\ Y \end{pmatrix} = P \begin{pmatrix} u \\ v \end{pmatrix}, \quad\text{cioè}\quad X = \frac{u - v}{\sqrt2}, \ \ Y = \frac{u + v}{\sqrt2}.

PP è la matrice di rotazione (cos⁡45°−sin⁡45°sin⁡45°cos⁡45°)\begin{pmatrix} \cos 45° & -\sin 45° \\ \sin 45° & \cos 45° \end{pmatrix}, perché cos⁡π4=sin⁡π4=12\cos \frac{\pi}{4} = \sin \frac{\pi}{4} = \frac{1}{\sqrt2} (valori notevoli di seno e cosenoSeno, coseno e tangente definiti sulla circonferenza goniometrica (angoli in radianti), le loro proprietà e le inverse arcoseno, arcocoseno e arcotangente; come risolvere a sin t + b cos t ≥ c.Funzioni trigonometriche e loro inverse →).

Per il teorema spettrale X2+4XY+Y2=3u2−v2X^2 + 4XY + Y^2 = 3u^2 - v^2. Controllo diretto: X2+Y2=(u−v)2+(u+v)22=u2+v2X^2 + Y^2 = \frac{(u - v)^2 + (u + v)^2}{2} = u^2 + v^2 e XY=(u−v)(u+v)2=u2−v22XY = \frac{(u - v)(u + v)}{2} = \frac{u^2 - v^2}{2}, quindi X2+Y2+4XY=u2+v2+2u2−2v2=3u2−v2X^2 + Y^2 + 4XY = u^2 + v^2 + 2u^2 - 2v^2 = 3u^2 - v^2 ✓. L'equazione diventa

3u2−v2=3  ⟺  u2−v23=1.3u^2 - v^2 = 3 \iff u^2 - \frac{v^2}{3} = 1 .

Forma canonica: iperbole con a=1a = 1, b=3b = \sqrt3. Vertici in u=±1u = \pm 1, v=0v = 0, cioè (tornando indietro) X=Y=±12X = Y = \pm\frac{1}{\sqrt2}, (x,y)=(1±12, 1±12)(x, y) = \left(1 \pm \frac{1}{\sqrt2}, \ 1 \pm \frac{1}{\sqrt2}\right); asintoti v=±3 uv = \pm\sqrt3\, u. Nelle coordinate di partenza, con u=X+Y2u = \frac{X + Y}{\sqrt2} e v=−X+Y2v = \frac{-X + Y}{\sqrt2} (si inverte PP con PTP^T), l'asintoto v=3 uv = \sqrt3\, u diventa −X+Y=3(X+Y)-X + Y = \sqrt3 (X + Y), cioè (1+3)X+(3−1)Y=0(1 + \sqrt3)X + (\sqrt3 - 1)Y = 0, e l'altro (3−1)X+(1+3)Y=0(\sqrt3 - 1)X + (1 + \sqrt3)Y = 0: sono le rette tratteggiate del grafico (con X=x−1X = x - 1, Y=y−1Y = y - 1).

Controllo su un vertice: X=Y=12X = Y = \frac{1}{\sqrt2} dà X2+4XY+Y2=12+2+12=3X^2 + 4XY + Y^2 = \frac12 + 2 + \frac12 = 3 ✓.

Grafico interattivo: C₁: x² + 4xy + y² − 6x − 6y + 3 = 0 è un'iperbole di centro (1, 1), con vertici (1 ± 1/√2, 1 ± 1/√2) sull'asse u = (1, 1) e asintoti (tratteggiati) di pendenza data da v = ±√3 u

2. C2\mathcal C_2: una parabola

A=(1111),A~=(11−2112−220).A = \begin{pmatrix} 1 & 1 \\ 1 & 1 \end{pmatrix}, \qquad \tilde A = \begin{pmatrix} 1 & 1 & -2 \\ 1 & 1 & 2 \\ -2 & 2 & 0 \end{pmatrix}.

det⁡A=0\det A = 0; det⁡A~=1(0−4)−1(0+4)−2(2+2)=−16≠0\det \tilde A = 1(0 - 4) - 1(0 + 4) - 2(2 + 2) = -16 \ne 0. Parabola.

Qui non c'è un centro (det⁡A=0\det A = 0): si fa prima la rotazione. Autovalori di AA: det⁡(A−λI)=(1−λ)2−1=λ2−2λ=λ(λ−2)\det(A - \lambda I) = (1 - \lambda)^2 - 1 = \lambda^2 - 2\lambda = \lambda(\lambda - 2), quindi 22 (autovettore (1,1)(1, 1), da A−2I=(−111−1)A - 2I = \begin{pmatrix} -1 & 1 \\ 1 & -1 \end{pmatrix}) e 00 (autovettore (−1,1)(-1, 1), da x+y=0x + y = 0). Stessa PP del punto 1: x=u−v2x = \frac{u - v}{\sqrt2}, y=u+v2y = \frac{u + v}{\sqrt2}. Si trasformano tutti i termini:

  • parte quadratica: x+y=(u−v)+(u+v)2=2u2=2 ux + y = \frac{(u - v) + (u + v)}{\sqrt2} = \frac{2u}{\sqrt2} = \sqrt2\, u, quindi x2+2xy+y2=(x+y)2=(2 u)2=2u2x^2 + 2xy + y^2 = (x + y)^2 = (\sqrt2\, u)^2 = 2u^2 (coerente con gli autovalori 22 e 00);
  • parte lineare: y−x=(u+v)−(u−v)2=2v2y - x = \frac{(u + v) - (u - v)}{\sqrt2} = \frac{2v}{\sqrt2}, quindi −4x+4y=4(y−x)=4⋅2v2=42 v-4x + 4y = 4(y - x) = 4 \cdot \frac{2v}{\sqrt2} = 4\sqrt2\, v.

2u2+42 v=0  ⟺  v=−2u242=−u222=−24 u22u^2 + 4\sqrt2\, v = 0 \iff v = -\frac{2u^2}{4\sqrt2} = -\frac{u^2}{2\sqrt2} = -\frac{\sqrt2}{4}\, u^2

(razionalizzando: 122=22⋅2=24\frac{1}{2\sqrt2} = \frac{\sqrt2}{2 \cdot 2} = \frac{\sqrt2}{4}).

Forma canonica: parabola v=−24u2v = -\frac{\sqrt2}{4} u^2, con vertice nell'origine (che infatti sta su C2\mathcal C_2: 0=00 = 0) e asse lungo la direzione (−1,1)(-1, 1), cioè la retta y=−xy = -x. Qui la traslazione non serve perché il vertice è già nell'origine.

Controllo: il punto u=2u = 2, v=−2v = -\sqrt2 (sulla parabola) corrisponde a x=2+22=2+1x = \frac{2 + \sqrt2}{\sqrt2} = \sqrt2 + 1, y=2−22=2−1y = \frac{2 - \sqrt2}{\sqrt2} = \sqrt2 - 1; allora (x+y)2=(22)2=8(x + y)^2 = (2\sqrt2)^2 = 8 e −4x+4y=−8-4x + 4y = -8: 8−8=08 - 8 = 0 ✓.

Grafico interattivo: C₂: x² + 2xy + y² − 4x + 4y = 0 è una parabola con vertice nell'origine e asse sulla retta y = −x; passa per (√2 + 1, √2 − 1) ≈ (2,41; 0,41)

3. C3\mathcal C_3: una conica degenere

A=(100−1),A~=(10−10−10−101),det⁡A=−1,det⁡A~=1(−1)−0+(−1)(0−1)=0.A = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}, \qquad \tilde A = \begin{pmatrix} 1 & 0 & -1 \\ 0 & -1 & 0 \\ -1 & 0 & 1 \end{pmatrix}, \qquad \det A = -1, \quad \det \tilde A = 1(-1) - 0 + (-1)(0 - 1) = 0 .

det⁡A~=0\det \tilde A = 0 e det⁡A<0\det A < 0: due rette incidenti. Infatti completando il quadrato (x2−2x+1=(x−1)2x^2 - 2x + 1 = (x - 1)^2) e usando la differenza di quadrati a2−b2=(a−b)(a+b)a^2 - b^2 = (a - b)(a + b) con a=x−1a = x - 1, b=yb = y:

x2−2x+1−y2=(x−1)2−y2=(x−1−y)(x−1+y)=0,x^2 - 2x + 1 - y^2 = (x - 1)^2 - y^2 = (x - 1 - y)(x - 1 + y) = 0,

e un prodotto è nullo se e solo se è nullo uno dei fattori: x−1−y=0x - 1 - y = 0 oppure x−1+y=0x - 1 + y = 0, cioè le rette y=x−1y = x - 1 e y=−x+1y = -x + 1, che si incontrano in (1,0)(1, 0) (sommando le due equazioni: 2x−2=02x - 2 = 0).

Grafico interattivo: C₃: x² − y² − 2x + 1 = 0 si spezza nelle rette y = x − 1 e y = −x + 1, che si incontrano in (1, 0)

conica det⁡A\det A det⁡A~\det \tilde A tipo forma canonica
C1\mathcal C_1 −3-3 99 iperbole u2−v23=1u^2 - \frac{v^2}{3} = 1
C2\mathcal C_2 00 −16-16 parabola v=−24u2v = -\frac{\sqrt2}{4}u^2
C3\mathcal C_3 −1-1 00 due rette incidenti X2−Y2=0X^2 - Y^2 = 0

Errori comuni

  • Scrivere a12=4a_{12} = 4 per il termine 4xy4xy: va dimezzato, a12=2a_{12} = 2.
  • Per la parabola cercare il centro: il sistema del centro è impossibile (o indeterminato) quando det⁡A=0\det A = 0.
  • Ruotare solo la parte quadratica e dimenticare i termini di primo grado.
  • Scambiare i ruoli degli autovalori: il coefficiente di u2u^2 è l'autovalore il cui autovettore è la prima colonna di PP.

Versione ripasso

Testo. Riconoscere le coniche seguenti e, per le prime due, trovare la forma canonica e il cambio di coordinate che la produce.

  1. C1: x2+4xy+y2−6x−6y+3=0\mathcal C_1: \ x^2 + 4xy + y^2 - 6x - 6y + 3 = 0
  2. C2: x2+2xy+y2−4x+4y=0\mathcal C_2: \ x^2 + 2xy + y^2 - 4x + 4y = 0
  3. C3: x2−y2−2x+1=0\mathcal C_3: \ x^2 - y^2 - 2x + 1 = 0

Promemoria Teoria

Per la classificazione delle conicheUna conica è l'insieme dei punti del piano che annullano un polinomio di grado 2 in x, y. Con una traslazione (che elimina i termini di primo grado) e una rotazione data dal teorema spettrale (che elimina il termine xy) diventa una forma canonica: ellisse, iperbole o parabola, oppure un caso degenere. Il tipo si legge dai determinanti della matrice 3×3 completa e della parte quadratica 2×2. Circonferenze e sfere; cenni alle quadriche.Coniche e quadriche →, data la conica a11x2+2a12xy+a22y2+2a13x+2a23y+a33=0a_{11}x^2 + 2a_{12}xy + a_{22}y^2 + 2a_{13}x + 2a_{23}y + a_{33} = 0:

  • Matrice A=(a11a12a12a22)A = \begin{pmatrix} a_{11} & a_{12} \\ a_{12} & a_{22} \end{pmatrix}, A~\tilde A matrice 3×33 \times 3 completa.
  • I coefficienti dei termini misti e di primo grado vanno dimezzati in A~\tilde A.
  • det⁡A~≠0⇒\det \tilde A \ne 0 \Rightarrow conica non degenere; det⁡A~=0⇒\det \tilde A = 0 \Rightarrow conica degenere.
  • det⁡A>0\det A > 0 ellisse, <0< 0 iperbole, =0= 0 parabola.

1. C1:x2+4xy+y2−6x−6y+3=0\mathcal C_1: x^2 + 4xy + y^2 - 6x - 6y + 3 = 0

2. C2:x2+2xy+y2−4x+4y=0\mathcal C_2: x^2 + 2xy + y^2 - 4x + 4y = 0

  • Matrici: A=(1111)A = \begin{pmatrix} 1 & 1 \\ 1 & 1 \end{pmatrix}, det⁡A=0,det⁡A~=−16≠0⇒\det A = 0, \det \tilde A = -16 \ne 0 \Rightarrow Parabola.
  • Rotazione: Autovalori 22 (autovettore (1,1)(1, 1)) e 00 (autovettore (−1,1)(-1, 1)). Con la stessa PP, ruotando tutti i termini:
    • Parte quadratica: 2u22u^2.
    • Parte lineare: 42 v4\sqrt2\, v.
  • Equazione: 2u2+42 v=0⇒v=−24u22u^2 + 4\sqrt2\, v = 0 \Rightarrow v = -\frac{\sqrt2}{4} u^2.

3. C3:x2−y2−2x+1=0\mathcal C_3: x^2 - y^2 - 2x + 1 = 0

  • Matrici: det⁡A=−1,det⁡A~=0⇒\det A = -1, \det \tilde A = 0 \Rightarrow Degenere (due rette incidenti).
  • Scomposizione: (x−1)2−y2=(x−1−y)(x−1+y)=0(x - 1)^2 - y^2 = (x - 1 - y)(x - 1 + y) = 0.
conica det⁡A\det A det⁡A~\det \tilde A tipo forma canonica
C1\mathcal C_1 −3-3 99 iperbole u2−v23=1u^2 - \frac{v^2}{3} = 1
C2\mathcal C_2 00 −16-16 parabola v=−24u2v = -\frac{\sqrt2}{4}u^2
C3\mathcal C_3 −1-1 00 due rette incidenti X2−Y2=0X^2 - Y^2 = 0

Errori comuni

  • Dimenticare di dimezzare i coefficienti a12,a13,a23a_{12}, a_{13}, a_{23} nelle matrici.
  • Cercare il centro per una parabola (det⁡A=0\det A = 0 rende il sistema impossibile).
  • Ruotare solo la parte quadratica ignorando i termini lineari.
  • Errata associazione autovalore-autovettore durante la rotazione.

Teoria collegata