Archivo de la etiqueta: parábola

Geometría Analítica II: Cilindros sobre cónicas

Por Brian Manzano

Introducción

Con esta entrada comenzamos nuestra exploración de los objetos en el espacio de tres dimensiones. Lo primero que haremos es estudiar los cilindros que se construyen sobre cónicas. La mayoría de nosotros tiene una noción bastante buena sobre ellos, o por lo menos de los «cilindros usuales», en donde las secciones horizontales son círculos. Sin embargo, si bien entendemos muy bien su forma de manera intuitiva, ¿cómo los podemos representar en el lenguaje matemático?

A continuación definiremos qué entenderemos por un cilindro sobre una cónica. Veremos algunos ejemplos y luego haremos cilindros con objetos que hemos estudiado en el curso de Geometría Analítica I: con cónicas.

Definición de cilindros sobre curvas

Los cilindros que conocemos de manera intuitiva comienzan con una circunferencia y luego esta se extiende sin cambios a lo largo de un eje. Los cilindros con los que nos encontramos cotidianamente (por ejemplo, un vaso) se extienden sólo de manera acotada. Pero podemos pensar en qué sucedería si los extendemos indefinidamente. Si hacemos esto, llegamos a la siguiente definición.

Definición. Un cilindro es una superficie en $\mathbb{R}^3$ que se pueda obtener tomando un plano $\Pi$, tomando en él una curva $\mathcal{C}$ y tomando para cada punto $p$ de $\mathcal{C}$ una recta ortogonal a $\Pi$ que pase por $p$. La unión de estas rectas son el cilindro. A cada una de las rectas le llamamos una directriz del cilindro y a la curva $\mathcal{C}$ le llamamos la curva generatriz del cilindro.

Así, un cilindro es un conjunto de lineas paralelas que se encuentran «guiadas» o «dirigidas» de acuerdo a una curva plana. Podemos imaginarlo como sigue: dibujamos la curva sobre un papel, y luego sobre ella pegamos palos perpendiculares a la hoja

Cilindros a partir de cónicas

La definición de cilindro, tal y como está arriba, no restringe el tipo de cónicas que podemos tener. Sin embargo, hay una familia de cónicas que conocemos bien debido a cursos anteriores: las cónicas. Ya que podemos elegir con libertad la curva plana, pensemos en lo que sucede si usamos de las cónicas que conocemos. Para simplificar la situación, supondremos que dibujamos la cónica en el plano XY y entonces que las directrices son perpendiculares al plano $XY$, es decir, paralelas al eje $Z$. Podemos entonces hacer ejemplos de acuerdo a subfamilia de cónicas que usemos.

Cilindros elípticos

Recordemos que una elipse en el plano $XY$ puede pensarse (salvo rotaciones y traslaciones) como el lugar geométrico de los puntos $(x,y)$ que satisfacen una ecuación del estilo $$\frac{x^2}{a^2}+\frac{y^2}{b^2} =1,$$ donde $a$ y $b$ son parámetros que determinan la longitud de los ejes de la elipse.

Si ahora pensamos en todo $\mathbb{R}^3$ y nos preguntamos por el lugar geométrico de los puntos $(x,y,z)$ que satisfacen la ecuación, la respuesta es similar. Los valores de $(x,y)$ están dados por la ecuación y el valor de $z$ no está restringido de ninguna manera por la ecuación, de modo que puede ser lo que sea. ¡Hemos logrado «levantar la cónica» a líneas perpendiculares al plano $XY$!

De tener $a=b$, tendremos un cilindro circular en el origen. Si $a=b=1$, entonces es un cilindro mucho más especial, pues es uno que se obtiene de levantar la circunferencia unitaria canónica.

Por supuesto, pudimos haber comenzado con una elipse en el plano $YZ$, que tendría una ecuación del estilo $$\frac{y^2}{a^2}+\frac{z^2}{b^2} =1.$$ En este caso, el valor de $x$ sería libre, así que puede valer lo que sea. Así, esta ecuación pensada en todo $\mathbb{R}^3$ nos daría un cilindro cuya curva directriz es una elipse, y cuyas generatrices son paralelas al eje $x$.

Cilindros parabólicos

Para crear cilindros parabólicos podemos proceder de la misma manera. Para ellos, comenzamos con una parábola, por ejemplo, en el plano $XY$. Sabemos que una parábola así está dada, salvo rotaciones y traslaciones, por una ecuación del siguiente tipo: $$y^2 = 2px.$$ Una vez más, si en vez de pensar en esto como una ecuación en $\mathbb{R}^2$, la pensamos como una ecuación en $\mathbb{R}^3$, entonces el valor de $z$ es arbitrario y entonces al tomar el lugar geométrico en efecto obtenemos una línea perpendicular al plano $XY$ por cada punto de la parábola.

Cilindros hiperbólicos

La tercer familia sería la de cilindros hiperbólicos. En este caso, la curva generatriz es una hipérbola. Recordemos que salvo rotaciones y traslaciones, una hipérbola es el lugar geométrico de los puntos $(x,y)$ del plano $XY$ tales que satisfacen una ecuación del estilo $$\frac{x^2}{a^2}-\frac{y^2}{b^2} =1.$$ Al pensar a esta ecuación como una restricción para puntos $(x,y,z)$ de $\mathbb{R}^3$, obtenemos entonces un cilindro hiperbólico.

Problemas ejemplo de cilindros

Para aterrizar las ideas anteriores, veamos algunos ejemplos concretos.

Ejemplo. Tomemos el lugar geométrico de los puntos $(x,y,z) \in $ $\mathbb{R} ^3$ que cumplen con la siguiente ecuación: $$\frac{x^2}{4}+\frac{y^2}{25} = 1.$$

Podemos comenzar detectando la ausencia de la variable $z$, con lo que las generatrices serán rectas paralelas al eje $Z$. De hecho, el eje del cilindro precisamente será será el eje $Z$. Esto no siempre ocurre ya que no necesariamente el centro de la curva dada está en el origen del plano $XY$, pero debido a que no tenemos constantes que acompañen los valores $x$ o $y $ su centro no se encontrará desplazado.

¿Qué nos dicen los valores $4,25$ que acompañan a sus variables correspondientes ?Con todo en mente veamos su gráfica

Veamos desde otra perspectiva, no solo sobre el plano, sino con una vista incluyendo el otro eje coordenado obtenemos la siguiente gráfica.

$\square$

Ejemplo. Tomemos el lugar geométrico en $\mathbb{R}^3$ de los puntos $(x,y,z)$ que cumplen la siguiente ecuación: $$y^2=6x.$$

De manera muy similar notamos que la ausencia de la variable $z$ llevara a que su directriz se encuentre en el plano $XY$ de forma que vista desde este plano:

¿Puedes decir a que cónica pertenece esta gráfica?

Agregando la perspectiva con el eje faltante obtenemos:

Nota importante. Como habrás notado al graficar obtenemos estas representaciones que parecen estar cortadas o seccionadas por planos paralelos al $XY$ , en realidad estos cilindros se extienden sin límite.

$\square$

Ejemplo. Para la siguiente ecuación: $$\frac{z^2}{4}-\frac{y^2}{9} = 1,$$ ¿cuál es el lugar geométrico de los puntos $(x,y,z)$ en $\mathbb{R}^3$ que la cumplen?

Notemos ahora que además de representar otro tipo de cónica tenemos ahora un cambio importante, ya no contamos de manera explicita con la $y$ en la ecuación, ¿Qué cambios conllevara esto? ¿En que plano podremos observar la cónica correspondiente?

Veamos si tu intuición fue correcta

Gráfica de la ecuación en el plano YZ

Desde otra perspectiva donde podremos ver su profundidad, tenemos ahora que las generatrices se extienden desde $- \infty$ hasta $\infty$.

$\square$

Más adelante…

En esta primer entrada del curso hablamos de los primeros objetos geométricos de tres dimensiones que nos interesan: los cilindros con cierta curva generatriz. En la siguiente entrada veremos otra manera con la cual podemos crear un objeto de tres dimensiones a partir de rectas: las superficies de revolución. Un poco más adelante estudiaremos una versión más general de objetos que podemos obtener de esta manera: los conjuntos cero de ecuaciones de segundo grado en tres variables.

Tarea moral

Estos ejercicios te ayudaran a comprender de mejor forma los conceptos vistos.

  1. Reescribe las ecuaciones de los ejemplos que dimos para que sus directrices se encuentren en diferentes planos.
    Sugerencia: Nota qué pasa con el tercer ejemplo.
  2. Ahora que hemos cambiado los planos donde se encuentran las directrices, grafica estas ecuaciones, ¿Cómo cambian los cilindros? Realiza un cambio de variable para el segundo ejemplo haciendo el reemplazo $x\to x-3$. ¿Qué cambia? ¿pasa lo mismo para el primer ejemplo?
  3. Determina la ecuación para un cilindro parabólico cuya parábola directriz esté contenida en el plano XY y cuyo foco sea el punto $(2, 0)$ de este plano. Hay varias de estas parábolas. Puedes usar la que gustes.
  4. Gráfica los cilindros asociados a cada una de las siguientes ecuaciones:
    1. $x^2-z^2=0$.
    2. $(y-9)^2+(z-4)^2=0$.
    3. $x^2=y$.

Entradas relacionadas

Geometría Analítica I: Teoremas de clasificación de polinomios cuadráticos y curvas cuadráticas

Por Leonardo Ignacio Martínez Sandoval

Introducción

Nos hemos estado preparando para enunciar formalmente los resultados de clasificación que nos dirán «cómo son todas las cónicas algebraicamente», o bien que nos dirán «cómo se ven conjuntos de ceros de cualquier polinomio cuadrático en dos variables». En una entrada anterior hablamos de qué es un resultado de clasificación en matemáticas. Después, definimos con toda precisión cuáles son los objetos que clasificaremos: los polinomios cuadráticos en dos variables y las curvas cuadráticas. Finalmente, establecimos las nociones de equivalencia afín y equivalencia isométrica que usaremos para dar nuestra clasificación.

En esta entrada finalmente enunciaremos con toda precisión los teoremas de clasificación que nos interesan. La demostración de estos teoremas no es directa, así que nos tomará algunas entradas más preparar la teoría necesaria para poder hacerlo.

Teoremas de clasificación isométrica

Los primeros teoremas que demostraremos serán bajo la equivalencia dada por las isometrías. Daremos teoremas para clasificar tanto polinomios cuadráticos en dos variables, como curvas cuadráticas.

El resultado para PCDVs es un poco más abstracto. La clasificación es un poco aparatosa, pues habrá muchos posibles parámetros involucrados. Pero tiene la ventaja de que es el que podremos demostrar a partir de las técnicas de matrices que ya conocemos y de algunas más que desarrollaremos sobre la marcha.

El resultado para curvas cuadráticas es muy intuitivo, pues lo podemos pensar en términos puramente geométricos: nos dirá que cualquier curva cuadrática se puede llevar, sin alterar su métrica, a una curva cuadrática mucho más fácil de describir, que viene de una «lista corta» de posibilidades. Como las transformaciones permitidas son las isometrías, esto es lo que más se parece a nuestro entendimiento de «ser la misma figura».

Veamos qué dice cada resultado. El primer teorema clasifica PCDVs a través de isometrías.

Teorema. Cualquier polinomio cuadrático en dos variables es isométricamente equivalente a exactamente alguno de los siguientes polinomios:

  1. A algún polinomio de la forma $\frac{x^2}{a^2}+\frac{y^2}{b^2}-1$ para $a\geq b$ reales distintos de cero
  2. A algún polinomio de la forma $\frac{x^2}{a^2}-\frac{y^2}{b^2}-1$ para $a\geq b$ reales distintos de cero
  3. A algún polinomio de la forma $y^2-cx$ para $c$ real distinto de cero
  4. A algún polinomio de la forma $c^2x^2-y^2$ para $c$ real distinto de cero
  5. A algún polinomio de la forma $c^2x^2-1$ para $c$ real distinto de cero
  6. Al polinomio $x^2$
  7. A algún polinomio de la forma $c^2x^2+y^2$ para $c$ real distinto de cero
  8. A algún polinomio de la forma $\frac{x^2}{a^2}+\frac{x^2}{b^2}+1$ para $a,b$ reales distintos de cero
  9. A algún polinomio de la forma $c^2x^2+1$ para $c$ real distinto de cero

El segundo teorema clasifica curvas cuadráticas bajo isometrías, y será un corolario del teorema anterior.

Teorema. Cualquier curva cuadrática del plano es isométricamente equivalente a exactamente una de las siguientes:

  1. A alguna elipse canónica con centro en $(0,0)$ y focos en el eje $x$
  2. A alguna hipérbola canónica con centro en $(0,0)$ y focos en el eje $x$
  3. A alguna parábola canónica de vértice $(c,0)$ y directriz $y=-c$
  4. A dos rectas que se intersectan en el origen
  5. A dos rectas paralelas de la forma $x=c$ y $x=-c$
  6. A la recta $x=0$
  7. Al origen $(0,0)$
  8. Al conjunto vacío

Teoremas de clasificación afín

Después de realizar la clasificación isométrica, agrandaremos un poco el conjunto de transformaciones que usaremos: permitiremos utilizar cualquier transformación afín. Al hacer esto, tenemos más transformaciones y por lo tanto deberíamos esperar que nuestra clasificación tenga menos posibilidades. En efecto este es el caso.

De hecho, la razón por la cual hacemos esto es que al permitir a todas las transformaciones afines nuestros polinomios cuadráticos en dos variables (o curvas cuadráticas) quedan clasificadas en muy muy pocos tipos: una cantidad finita. A continuación enunciamos los resultados concretos.

El primer teorema es para polinomios cuadráticos en dos variables.

Teorema. Cualquier polinomio cuadrático en dos variables es afínmente equivalente a exactamente uno de los siguientes polinomios:

  1. $x^2+y^2-1$
  2. $x^2-y^2-1$
  3. $y^2-x$
  4. $x^2-y^2$
  5. $x^2+1$
  6. $x^2$
  7. $x^2+y^2$
  8. $x^2+y^2+1$
  9. $x^2+1$

¡Este resultado es fantástico! Existen muchísimas expresiones de la forma $Ax^2+Bxy+Cy^2+Dx+Ey+F$ y el teorema anterior nos dice que, en realidad, podemos «resumirlas» únicamente en nueve posibilidades muy fáciles de enunciar.

Como corolario, obtendremos el segundo resultado para clasificación mediante transformaciones afines: el correspondiente a las curvas cuadráticas.

Teorema. Cualquier curva cuadrática del plano es afínmente equivalente a exactamente una de las siguientes posibilidades:

  1. La circunferencia unitaria
  2. La hipérbola unitaria
  3. La parábola unitaria
  4. Las rectas $y=x$ y $y=-x$
  5. Las rectas $x=1$ y $x=-1$
  6. La recta $x=0$
  7. El origen
  8. El conjunto vacío

Una vez más, es increíble que existiendo tantísimas curvas cuadráticas en el plano, sea posible resumirlas a tan solo ocho posibilidades.

Y, ¿por qué sirve esta clasificación?

En el transcurso de las siguientes entradas nos encontraremos con muchas situaciones concretas en las que clasificar una cónica será de utilidad. Mientras tanto discutimos esto de manera un poco informal. Imagina que comenzamos con el siguiente polinomio cuadrático en dos variables: $$P((x,y))=x^2-5xy-y^2+2x-y+5.$$

Tras hacer una figura en el plano usando alguna herramienta computacional, obtenemos que la curva cuadrática definida por $P$ se ve como en la siguiente figura.

Parece ser que esta es una hipérbola. Una de las ventajas del teorema de clasificación isométrica de curvas cuadráticas es que nos dirá que, en efecto, esto es una hipérbola. De hecho, tendremos una manera práctica de encontrar de manera explícita la transformación $T$ que manda el polinomio $P$ que define esta hipérbola $\mathcal{H}$ a un polinomio isométricamente equivalente $P’$ de una hipérbola canónica $\mathcal{H}’$.

¿Cuáles son los focos de $\mathcal{H}$? ¿Cuál es el centro de $\mathcal{H}$? ¿Cuál es la longitud de sus ejes? Esto no se aprecia claramente a partir del polinomio $P$. Sin embargo, la hipérbola $\mathcal{H}’$ tiene ecuación canónica, así que en $P’$ podemos leer fácilmente los focos, ejes y centro de $\mathcal{H’}$. Y luego usando precisamente la transformación $T$ podemos transferir esta información que sabemos de $\mathcal{H}’$ a $\mathcal{H}$. Por ejemplo, usando que $T$ es isometría obtenemos que $\mathcal{H}$ y $\mathcal{H}’$ tienen la misma longitud de ejes.

Más adelante…

En las siguientes entradas nos enfocaremos en demostrar los teoremas de clasificación aquí enunciados. Antes de hacer esto, debemos desarrollar un poco más de teoría. Por un lado, necesitamos comprender cómo las traslaciones nos pueden ayudar a «eliminar los términos lineales» de algunos polinomios cuadráticos. Luego, necesitamos comprender cómo las rotaciones nos pueden ayudar a «eliminar el término cruzado $xy$».

Las traslaciones las podremos entender fácilmente. Sin embargo, las rotaciones que «eliminan el término cruzado» requerirán que entendamos un nuevo procedimiento para matrices simétricas: el de diagonalizarlas. Esto nos llevará a discutir los eigenvalores, eigenvectores y el polinomio característico de la matriz.

Tarea moral

  1. Demuestra que cualesquiera dos segmentos del plano son afínmente equivalentes.
  2. Demuestra que cualesquiera dos rectángulos del plano son afínmente equivalentes.
  3. Resuelve los siguientes incisos:
    1. Prueba que dos cuadrados del plano son isométricamente equivalentes si y sólo si tienen la misma longitud de lado.
    2. Demuestra que cualquier cuadrado es isométricamente equivalente a algún cuadrado de vértices $(0,0)$, $(c,0)$, $(0,c)$ y $(c,c)$ para $c>0$.
    3. Demuestra que el cuadrado de vértices $(0,0)$, $(c,0)$, $(0,c)$ y $(c,c)$ tiene diagonal de longitud $\sqrt{2}c$.
    4. Usa todo lo anterior para demostrar que en cualquier cuadrado de lado $c$ se tiene que la diagonal mide $\sqrt{2}c$.
  4. En el teorema de clasificación afín de PCDV tenemos que cualquier PCDV es afínmente equivalente a exactamente una de las posibilidades enunciadas. En particular, esto implica que de esos nueve polinomios, no hay dos de ellos que sean afínmente equivalentes entre sí. Demuestra esto.
  5. Enuncia y demuestra un teorema de clasificación isométrico y un teorema de clasificación afín para triángulos en el plano.

Entradas relacionadas

Geometría Analítica I: Parábolas

Por Héctor Morales

Introducción

La última de las secciones cónicas que abordaremos en esta unidad es la parábola. De las tres cónicas que hemos revisado, probablemente es la que conoces mejor de forma intuitiva: ya sea que hayas escuchado sobre «las antenas parabólicas», «los espejos parabólicos» o «el tiro parabólico», estamos tan familiarizados con las propiedades de las parábolas que en esta unidad, más allá de introducir la figura como algo nuevo, nos encargaremos de formalizar sus propiedades .

¿Qué hace que la imagen mental que tenemos de las parábolas corresponda tan bien a la figura que podemos obtener a partir de una definición formal? Podrás recordar de tus clases de mecánica de la preparatoria que la Tierra ejerce una fuerza sobre cada uno de los objetos sobre su superficie que les da una aceleración constante, usualmente denotada por la letra $g$. Entonces, la trayectoria de un objeto, asumiendo condiciones ideales, que se mueve con velocidad constante en el eje horizontal y con movimiento acelerado en el eje vertical está descrita por:

\begin{equation}
\begin{aligned}
&x(t)=v_{0} t \cos (\theta) \
&y(t)=v_{0} t \sin (\theta)-\frac{1}{2} g t^{2}
\end{aligned}
\end{equation}

No es necesario que en este momento entiendas totalmente de dónde vienen estas dos ecuaciones; por el momento quédate con la idea de que es un buen modelo matemático de un proyectil en la Tierra que se mueve sobre un plano; es decir, estas dos ecuaciones describen bastante bien el movimiento de una bala de cañón al ser disparada, una pelota de fútbol después de ser pateada, etc. Resulta que estas dos ecuaciones son la parametrización de una parábola, de modo que una parábola es una descripción bastante buena de la trayectoria de un objeto cuando «lo lanzamos». Entonces, aunque estemos por abordar por primera vez el estudio formal de la parábola, verás que tanto sus elementos, como sus propiedades te resultarán bastante familiares.

240
La trayectoria de un objeto que tiene un movimiento rectilineo y uniforme en $x$ y un movimiento acelerado en $y$ describe una parábola.

Sin más preámbulo, pasaremos a la definición de una parábola: además de la definición como conjunto de puntos, obtendremos una ecuación canónica al igual que como lo hicimos para la elipse y la hipérbola y nos familiarizaremos con sus elementos más importantes. Dejaremos la descripción detallada de todos sus elementos y la exposición de sus propiedades para la siguiente entrada.

Definición de Parábola

Una parábola es el lugar geométrico de los puntos que equidistan de un punto $\mathbf{p}$ (llamado su foco) y una recta $\ell$, llamada su directriz, donde $\mathbf{p} \notin \ell$. Es decir, está definida por la ecuación

\begin{equation}
\mathrm{d}(\boldsymbol{x}, \boldsymbol{p})=\mathrm{d}(\boldsymbol{x}, \ell).
\end{equation}

En el siguiente recuadro interactivo de GeoGebra juega un poco con esta definición. Observa cómo una parábola, a primera vista, podría parecerte una elipse «cortada», pero date cuenta que es una curva que se dibuja a partir de una condición muy específica que se impone a una distancia entre la recta directriz y el foco ¿Puedes encontrar los casos degenerados de la parábola?¿Qué pasa si haces $p=0$?

Tomando un ejemplo sencillo con el foco en el eje $\mathbf{y}$, la directriz paralela al eje $\mathbf{x}$, y que además pase por el origen. Tenemos entonces $\mathbf{p}=(0, \mathrm{c})$, donde $\mathrm{c}>0$ digamos, y $\ell: \mathrm{y}=-\mathrm{c}$; de tal manera que la parábola queda determinada por la ecuación

\begin{equation}
\sqrt{x^{2}+(y-c)^{2}}=|y+c|.
\end{equation}

Como te puedes dar cuenta, lo único que hicimos fue aplicar la definición de norma en $\mathbb{R}^{2}$ tal como la estudiamos en la primera unidad. Como ambos lados de la ecuación son positivos, ésta es equivalente a la igualdad de sus cuadrados que da

\begin{equation}
\begin{aligned}
x^{2}+y^{2}-2 c y+c^{2} &=y^{2}+2 c y+c^{2} \
x^{2} &=4 c y.
\end{aligned}
\end{equation}

De tal manera que la gráfica de la función $x^{2}$ ($y=x^{2}$) es una parábola con foco $(0,\frac{1}{4})$ y directriz $y=-\frac{1}{4}$. Veremos ahora que cualquier parábola cumple la propiedad de «ser gráfica de una función» respecto de su directriz.

Sea $\mathcal{P}$ la parábola con foco p y directriz $\ell$ (donde $\mathbf{p} \notin \ell)$. Dado un punto $\mathbf{y}_{0} \in \ell$, es claro que los puntos del plano cuya distancia a $\ell$ coincide con (o se mide por) su distancia a $\mathbf{y}_{0}$ son precisamente los de la normal a $\ell$ que pasa por $\mathbf{y}_{0}$, llamémosla $v_{0} .$ Ver la figura.

Cualquier parábola cumple la propiedad de ser gráfica de una función respecto a su directriz.

Por otro lado, la mediatriz entre $\mathbf{y}_{0}$ y $\mathbf{p}$, llamémosla $\eta_{0}$, consta de los puntos cuyas distancias a $\mathbf{p}$ y $\mathbf{y}_{0}$ coinciden. Por lo tanto, la intersección de $\eta_{0}$ y $v_{0}$ está en la parábola $\mathcal{P}$, es decir $\boldsymbol{x}_{0}=v_{0} \cap \eta_{0} \in \mathcal{P}$ pues $\mathrm{d}\left(\boldsymbol{x}_{0}, \ell\right)=\mathrm{d}\left(\boldsymbol{x}_{0}, \mathbf{y}_{0}\right)=\mathrm{d}\left(\boldsymbol{x}_{0}, \boldsymbol{p}\right)$. Pero además $\mathbf{x}_{0}$ es el único punto en la normal $v_{0}$ que está en $\mathcal{P}$. Ésta es «la propiedad de la gráfica» a la que nos referíamos.

Podemos concluir aún más: que la mediatriz $\eta_{0}$ es la tangente a $\mathcal{P}$ en $\mathbf{x}_{0}$. Pues para cualquier otro punto $x \in \eta_{0}$ se tiene que su distancia a $\ell$ es menor que su distancia a $\mathbf{y}_{0}$ que es su distancia a $\mathbf{p}\left(\mathrm{d}(\mathbf{x}, \ell)<\mathrm{d}\left(\mathbf{x}, \mathbf{y}_{0}\right)=\mathrm{d}(\mathbf{x}, \mathbf{p})\right)$, y entonces $x \notin \mathcal{P}$. De hecho, la parábola $\mathcal{P}$ parte el plano en dos pedazos, los puntos más cerca de $\mathbf{p}$ que de $\ell$ (lo de adentro, digamos, definidos por la desigualdad $d(\mathbf{x}, \mathbf{p}) \leq d(\mathbf{x}, \ell)$) y los que están más cerca de $\ell$ que de $\mathbb{p}$ (lo de afuera, dado por $d(\mathbf{x}, \ell) \leq d(\mathbf{x}, \mathbf{p})$ en donde está $\eta_{0}$), que comparten la frontera donde estas distancias coinciden (la parábola $\mathcal{P}$). Así que $\eta_{0}$ pasa tangente a $\mathcal{P}$ en $\mathbf{x}_{0}$, pues $\mathbf{x}_{0} \in \eta_{0} \cap \mathcal{P}$ y además $\eta_{0}$ se queda de un lado de $\mathcal{P}$.

En el siguiente recuadro interactivo de GeoGebra familiarizate con la expresión analítica de la parábola y nota una cosa muy importante: ¿qué pasa cuando, contrario al caso «sencillo» que vimos en esta entrada, el vértice de la parábola está fuera del origen? Nota cómo una traslación de nuestro caso sencillo introduce un término lineal en la ecuación de la parábola y date cuenta qué papel juega cada uno de los coeficientes modificando la forma de la parábola.

Más adelante…

En esta entrada iniciamos nuestro estudio de las parábolas: a partir de su definición como el conjunto de puntos que equidistan de una recta y un punto construimos la curva y nos familiarizamos con su expresión analítica. Así como lo hicimos para las cónicas anteriores, le dedicaremos la siguiente sección a estudiar sus propiedades y a nombrar cada uno de sus elementos; posteriormente, haremos algunos ejercicios para tener práctica leyendo la información geométrica que contiene la ecuación de la parábola.

Tarea moral

  • Construye la curva y da el dominio y codominio de las siguientes curvas: $y^{2}=16x$, $x^{2}=-16y$, $x^{2}=10y$, $y^{2}=7x$, $3x^{2}+5y=0$, $5x^{2}-2y=0$, $y^{2}+6x=0$, $x^{2}=11y$.
  • A partir de la definición de parábola, encuentre la ecuación de la parábola de foco $(0,-5)$ y directriz $y=3$.
  • Cuáles son los puntos de intersección de la línea que tiene la ecuación $2x+3y=7$ y la parábola con ecuación $y=-2x^{2}+2x+5$

Entradas relacionadas

  • Ir a Geometría Analítica I
  • Entrada anterior del curso: Problemas con hipérbolas
  • Siguiente entrada del curso: Propiedades de parábolas