Teorema de Hay una cónica a través de cualquiera de las cinco $\color{red}{\textit{pairwise distinct }}$ puntos en un avión real. $(1)$ Es singular si y sólo si no hay cuatro de los puntos de colinear; $(2)$ Es no degenerada si y sólo si no hay tres puntos son colineales .
Cómo probar este teorema ,sólo la aplicación de algunas teorías de álgebra lineal(incluyendo la matriz)?
Deje $\textbf{p}_{i}=(x_{i},y_{i}),i=1,2,3,4,5.$, los cinco puntos en el plano .
Considere un sistema homogéneo $\textbf{Ax}=\textbf{0}$ cuya matriz de coeficientes es
$\textbf{Un}= \begin{pmatrix} x_{1}^{2}& x_{1}y_{1}& y_{1}^{2}& x_{1}& y_{1}& 1\\ x_{2}^{2}& x_{2}y_{2}& y_{2}^{2}& x_{2}& y_{2}& 1 \\ x_{3}^{2}& x_{3}y_{3}& y_{3}^{2}& x_{3}& y_{3}& 1 \\ x_{4}^{2}& x_{4}y_{4}& y_{4}^{2}& x_{4}& y_{4}& 1\\ x_{5}^{2}& x_{5}y_{5}& y_{5}^{2}& x_{5}& y_{5}& 1 \end{pmatrix}; $ $\qquad\qquad\textbf{x}$ = $\begin{pmatrix} A\\ B\\ C\\ D\\ E\\ F \end{pmatrix};$ $\qquad\qquad\textbf{0}$=$\begin{pmatrix} 0\\ 0\\ 0\\ 0\\ 0 \end{pmatrix}.$
$\textbf{A}_{i}(i\in\{1,2,3,4,5,6\})$ $5\times 5$ plaza de la matriz obtenida al eliminar el $i^{th}$ columna de $\textbf{A}.$ $\\$
Entonces el teorema anterior es equalvlity de la siguiente declaración de la algebraicas punto de vista.
$(1){'} $ $rank(A)=5$ y al menos uno de $\textbf{A}_{1},\textbf{A}_{2},\textbf{A}_{3}$ es nonsingular. $\Longleftrightarrow $ $\forall\quad k_{1},k_{2},k_{3},k_{4}\in \{1,2,3,4,5\} $y $k_{1}<k_{2}<k_{3}<k_{4}$,$ rango(\begin{pmatrix} x_{k_{1}}& y_{k_{1}}& 1\\ x_{k_{2}}& y_{k_{2}}& 1 \\ x_{k_{3}}& y_{k_{3}}& 1\\ x_{k_{4}}& y_{k_{4}}& 1 \end{pmatrix})=3.$
$(2){'}$ Una cónica a través de $\textbf{p}_{i}=(x_{i},y_{i}),i=1,2,3,4,5$ es no degenerada.$\Longleftrightarrow $ $ \forall \quad k_{1},k_{2},k_{3}\in \{1,2,3,4,5\} $y $k_{1}<k_{2}<k_{3}$,$ rango(\begin{pmatrix} x_{k_{1}}& y_{k_{1}}& 1\\ x_{k_{2}}& y_{k_{2}}& 1 \\ x_{k_{3}}& y_{k_{3}}& 1 \end{pmatrix})=3.$
Hasta ahora, cómo probar $(1){'}$,$(2){'}$ espera,sólo el uso de algunas teorías de álgebra lineal(incluyendo la matriz)?