feat(geometria/scheda): aggiunge nomi delle coniche

main
parent d6edf56c92
commit c9a985e3c8

File diff suppressed because it is too large Load Diff

@ -83,8 +83,8 @@
Due vettori $\vec{a}$, $\vec{b}$ si dicono paralleli se $\exists
k \mid \vec{a} = k \vec{b}$, o equivalentemente se
$\vec{a} \times \vec{b} = \vec{0}$. Altrettanto si può dire
se $\innprod{\vec{a}, \vec{b}} = \card{\vec{a}} \card{\vec{b}}$ (i.e.
$\cos(\theta) = 1 \implies \theta = 0$).
se $\innprod{\vec{a}, \vec{b}} = \card{\vec{a}} \card{\vec{b}}$
(i.e.~$\cos(\theta) = 1 \implies \theta = 0$).
Una retta in $\RR^3$ è un sottospazio affine della
forma $\vec{v} + \Span(\vec{r})$. Analogamente
@ -2593,6 +2593,12 @@
\end{tabular}
\end{center}
Tra le uniche coniche non degeneri di $\CC$,
$\mathcal{C}_1$ prende il nome di \textit{ellisse} e $\mathcal{C}_2$
di \textit{parabola}. $\mathcal{C}_3$ rappresenta invece una
\textit{coppia di rette incidenti}, $\mathcal{C}_4$ una \textit{coppia di rette
parallele} e $\mathcal{C}_5$ un singolo \textit{punto}.
Sia $\KK=\RR$. Allora ogni conica è affinemente equivalente ad
un'equazione canonica della seguente tabella, unicamente
determinata dagli invarianti $\rg(\MM(p))$, $\rg(\AA(p))$,
@ -2616,6 +2622,15 @@
\end{tabular}
\end{center}
Per $\KK=\RR$, $\mathcal{C}_1$ prende il nome di \textit{ellisse reale}, $\mathcal{C}_2$
di \textit{iperbole} e $\mathcal{C}_3$ di \textit{parabola}. $\mathcal{C}_4$ rappresenta invece una
\textit{coppia di rette reali incidenti}, $\mathcal{C}_5$ una \textit{coppia di rette
reali parallele} e $\mathcal{C}_6$ un singolo \textit{punto}. $\mathcal{C}_7$ è
una \textit{ellisse immaginaria}, $\mathcal{C}_8$ una \textit{coppia di rette
immaginarie incidenti} e $\mathcal{C}_9$ una \textit{coppia di rette immaginarie
parallele}. Tutte queste coniche sono a centro eccetto per la parabola
($\mathcal{C}_3$).
\vfill
\hrule
~\\

Loading…
Cancel
Save