1.9: Superficies cuádricas
- Page ID
- 118868
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Otra clase nombrada de superficies relativamente simples, pero que ocurren comúnmente, son las superficies cuádricas.
Una superficie cuádrica es la superficie que consiste en todos los puntos que obedecen\(Q(x,y,z)=0\text{,}\) al\(Q\) ser un polinomio de grado dos 1.
Técnicamente, también debemos exigir que el polinomio no pueda ser factorizado en el producto de dos polinomios de grado uno.
\(Q(x,y,z)\)Para ser un polinomio de grado dos, debe ser de la forma
\[\begin{gather*} Q(x,y,z) = Ax^2 +By^2 +Cz^2 +Dxy +Eyz +Fxz +Gx +Hy +Iz +J \end{gather*}\]
para algunas constantes\(A\text{,}\)\(B\text{,}\)\(\cdots\text{,}\)\(J\text{.}\) Cada sección\(z\) transversal constante de una superficie cuádrica tiene una ecuación de la forma
\[\begin{gather*} Ax^2 + Dxy +By^2 +gx +hy +j =0,\quad z=z_0 \end{gather*}\]
Si\(A=B=D=0\) pero\(g\) y no\(h\) son ambos cero, esta es una línea recta. Si\(A\text{,}\)\(B\text{,}\) y no\(D\) son todos cero, entonces al rotar y traducir nuestro sistema de coordenadas la ecuación de la sección transversal se puede llevar a una de las formas 2
- \(\alpha x^2 + \beta y^2 =\gamma \)con\(\alpha ,\beta \gt 0\text{,}\) el cual, si\(\gamma \gt 0\text{,}\) es una elipse (o un círculo),
- \(\alpha x^2 - \beta y^2 =\gamma \)con\(\alpha ,\beta \gt 0\text{,}\) lo cual, si\(\gamma \ne0\text{,}\) es una hipérbola, y si\(\gamma =0\) es de dos líneas,
- \(x^2 = \delta y\text{,}\)que, si\(\delta\ne 0\) es una parábola, y si\(\delta=0\) es una línea recta.
Existen declaraciones similares para las secciones\(x\) transversales constantes y las secciones\(y\) transversales constantes. De ahí que las superficies cuadráticas se construyan apilando estos tres tipos de curvas.
Ya hemos visto una serie de superficies cuádricas en el último par de secciones.
- Vimos la superficie cuádrica\(4x^2+y^2-z^2=1\) en el Ejemplo 1.7.1.
Sus secciones\(z\) transversales constantes son elipses\(x=0\) y sus secciones\(y=0\) transversales son hipérbolas. Se llama hiperboloide de una hoja.
- Vimos la superficie cuádrica\(x^2+y^2=1\) en el Ejemplo 1.8.2.
Sus secciones\(z\) transversales constantes son círculos\(x=0\) y sus secciones\(y=0\) transversales son líneas rectas. Se llama cilindro circular derecho.
El Apéndice A.8 contiene otras superficies cuádricas.
- Técnicamente, también debemos exigir que el polinomio no pueda ser factorizado en el producto de dos polinomios de grado uno.
- Esta afirmación puede justificarse utilizando un análisis de álgebra lineal de valores propios y vectores propios. Está más allá de lo que podemos cubrir aquí, pero no es demasiado difícil para un curso estándar de álgebra lineal.