Archivo de la etiqueta: Geometría analítica

Geometría Analítica I: Intersección de rectas en forma normal

Por Leonardo Ignacio Martínez Sandoval

Introducción

Una pregunta geométrica muy natural es determinar cómo es la intersección de dos objetos geométricos, es decir, cuales son aquellos puntos que pertenecen a ambos. En el caso de las rectas, eso tiene una respuesta sencilla: la intersección de dos rectas puede ser vacía (cuando son paralelas), o bien un único punto, o bien una recta (cuando son la misma recta).

Como veremos a continuación, esto es sencillo de formalizar utilizando la forma normal de las rectas. Más aún, la forma normal nos ayudará a detectar mediante una cuenta sencilla exactamente en cuál de los casos anteriores nos encontramos. Así mismo, en caso de estar en la caso de que la intersección sea un único punto, también nos dará un procedimiento para encontrar sus coordenadas.

¿Cuándo dos vectores son paralelos?

Antes de estudiar concretamente la intersección de dos rectas, vamos a apoyarnos de la intuición que hemos desarrollado. Si tenemos rectas en forma normal correspondientes a vectores normales $u$ y $v$, entonces sabemos que las rectas son perpendiculares, respectivamente a los vectores $u$ y $v$. Si estos vectores están en la misma dirección, entonces las rectas también. Por ello, las rectas serán paralelas y entonces la intuición nos dice que o bien no se intersectarán, o bien serán la misma recta. Parece ser entonces importante encontar un criterio algebraico para saber cuándo dos vectores son paralelos o no.

Consideremos dos vectores no nulos $u=(u_1,u_2)$ y $v=(v_1,v_2)$. ¿Cuándo estos vectores son paralelos? Como los vectores están anclados en el origen, esto sucede únicamente cuando o bien $u$ es múltiplo escalar de $v$, o bien $v$ es múltiplo escalar de $u$. De esto sale el siguiente criterio algebraico:

Proposición. Tomemos dos vectores no nulos $u=(u_1,u_2)$ y $v=(v_1,v_2)$. Estos vectores son paralelos si y sólo si la expresión $u_1v_2-u_2v_1$ es igual a cero.

Demostración. Demostraremos la proposición en ambas direcciones.

$(\Rightarrow)$ Supongamos que los vectores $u=(u_1,u_2)$ y $v=(v_1,v_2)$ son paralelos. Si $u$ y $v$ son paralelos, entonces uno es un múltiplo escalar del otro. Sin pérdida de generalidad, supongamos que $u = k v$ para algún escalar $k \in \mathbb{R}$. Esto significa que:

$$u_1 = kv_1 \quad \text{y} \quad u_2 = kv_2.$$

Sustituyendo estas expresiones en $u_1v_2-u_2v_1$, obtenemos:

\begin{align*} u_1v_2-u_2v_1 &= (kv_1)v_2 – (kv_2)v_1 \\ &= kv_1v_2 – kv_2v_1 \\ &= 0. \end{align*}

Por lo tanto, si $u$ y $v$ son paralelos, entonces $u_1v_2-u_2v_1 = 0$.

$(\Leftarrow)$ Ahora supongamos que $u_1v_2-u_2v_1 = 0$. Queremos demostrar que $u$ y $v$ son paralelos. La condición $u_1v_2-u_2v_1 = 0$ se puede reescribir como $u_1v_2 = u_2v_1$.

Como $v$ no es el vector nulo, tenemos los siguientes casos:

  • Caso 1: $v_1 \neq 0$. De la igualdad $u_1v_2 = u_2v_1$, podemos despejar $u_2$ como $u_2 = \frac{u_1v_2}{v_1}$. Definamos $k = \frac{u_1}{v_1}$. Entonces, $u_1 = kv_1$. Sustituyendo $u_1$ en la expresión para $u_2$: $$u_2 = \frac{(kv_1)v_2}{v_1} = kv_2.$$ Así, tenemos $u_1 = kv_1$ y $u_2 = kv_2$, lo que implica que $$u = (u_1, u_2) = (kv_1, kv_2) = k(v_1, v_2) = kv.$$ Por lo tanto, $u$ es un múltiplo escalar de $v$, y son paralelos.
  • Caso 2: $v_1 = 0$. Dado que $v \neq (0,0)$, si $v_1 = 0$, entonces $v_2 \neq 0$. La condición $u_1v_2 = u_2v_1$ se convierte en $u_1v_2 = u_2 \cdot 0$, lo que implica $u_1v_2 = 0$. Como $v_2 \neq 0$, debemos tener $u_1 = 0$. En este subcaso, los vectores son $v=(0,v_2)$ y $u=(0,u_2)$. Estos vectores son paralelos pues ambos están en el eje $y$. Más concretamente, $u=\frac{u_2}{v_2} v$.

En ambos casos, si $u_1v_2-u_2v_1 = 0$, los vectores $u$ y $v$ son paralelos.

$\square$

Así, la expresión $u_1v_2-u_2v_1$ parece ser muy importante para nuestro problema de determinar la intersección de dos rectas. En efecto, en las siguientes secciones volverá a aparecer.

Intersección de rectas en forma normal

La siguiente proposición nos dice exactamente cómo es la intersección de dos rectas una vez que las tenemos en forma normal.

Proposición. Sean $a_1,a_2$ vectores no nulos de $\mathbb{R}^2$ y $b_1,b_2$ número reales. Consideremos las siguientes dos rectas en forma normal:

\begin{align*}
\ell_1 &= \{(x,y) \in \mathbb{R}^2: a_1 \cdot (x,y) = b_1\} \\
\ell_2 &= \{(x,y) \in \mathbb{R}^2: a_2 \cdot (x,y) = b_2\}.
\end{align*}

La intersección de estas rectas tiene las siguientes posibilidades:

  • Si $a_1$ y $a_2$ no son vectores paralelos, entonces la intersección de $\ell_1$ y $\ell_2$ es única.
  • Si $a_1$ y $a_2$ son vectores paralelos, entonces $a_1=ka_2$ para algún real $k$:
    • Si $b_1=kb_2$, entonces ambas ecuaciones representan la misma recta y entonces la intersección es ella misma.
    • Si $b_1\neq kb_2$, entonces las rectas son distintas y paralelas y por lo tanto tienen intersección vacía.

Demostración. Vayamos por casos. Nombremos $a_1=(a_{11},a_{12})$ y $a_2=(a_{21},a_{22})$.

Las ecuaciones de las rectas son:

$$
\begin{cases}
a_{11}x + a_{12}y = b_1 \\
a_{21}x + a_{22}y = b_2
\end{cases}
$$

Esto es un sistema de ecuaciones lineales. Analicemos las posibilidades:

  • Caso 1: $a_1$ y $a_2$ no son vectores paralelos. Según la proposición anterior, dos vectores $a_1=(a_{11},a_{12})$ y $a_2=(a_{21},a_{22})$ no son paralelos si y sólo si la expresión $a_{11}a_{22}-a_{12}a_{21}$ es distinta de cero. Multiplicando la primera ecuación por $a_{21}$ y la segunda ecuación por $a_{11}$ obtenemos lo siguiente:
    \begin{align*} a_{21}(a_{11}x + a_{12}y) &= a_{21}b_1 \\ a_{11}(a_{21}x + a_{22}y) &= a_{11}b_2 \end{align*}
    Lo que resulta en el sistema equivalente:
    \begin{align*} a_{11}a_{21}x + a_{12}a_{21}y &= a_{21}b_1 \\ a_{11}a_{21}x + a_{11}a_{22}y &= a_{11}b_2 \end{align*}
    Restando la primera ecuación de la segunda, eliminamos $x$ y obtenemos:
    \begin{align*} (a_{11}a_{21}x + a_{11}a_{22}y) – (a_{11}a_{21}x + a_{12}a_{21}y) &= a_{11}b_2 – a_{21}b_1 \\ (a_{11}a_{22} – a_{12}a_{21})y &= a_{11}b_2 – a_{21}b_1 \end{align*}
    Dado que $a_{11}a_{22}-a_{12}a_{21} \neq 0$, podemos despejar $y$ para obtener un valor único. De manera análoga, se puede encontrar un valor único para $x$. Esto demuestra que existe una única solución $(x,y)$ para el sistema, lo que significa que la intersección de $\ell_1$ y $\ell_2$ es única.
  • Caso 2: $a_1$ y $a_2$ son vectores paralelos, y $b_1=kb_2$ para algún $k \in \mathbb{R}$. Si $a_1$ y $a_2$ son paralelos, entonces $a_1 = ka_2$ para algún escalar $k \in \mathbb{R}$ (ya que $a_1$ y $a_2$ son vectores no nulos). Esto implica que $a_{11} = ka_{21}$ y $a_{12} = ka_{22}$. La ecuación de la recta $\ell_1$ es $a_{11}x + a_{12}y = b_1$. Sustituyendo las expresiones para $a_{11}$ y $a_{12}$ en esta ecuación, obtenemos: \begin{align*} (ka_{21})x + (ka_{22})y &= b_1 \\ k(a_{21}x + a_{22}y) &= b_1 \end{align*} Sabemos que para los puntos en $\ell_2$, se cumple $a_{21}x + a_{22}y = b_2$. Sustituyendo esto en la ecuación anterior, obtenemos $kb_2 = b_1$. Si se cumple la condición $b_1=kb_2$, entonces la ecuación de $\ell_1$ se convierte en $k(a_{21}x + a_{22}y) = kb_2$. Dado que $a_1$ es no nulo, $k$ no puede ser cero. Podemos dividir por $k$ para obtener $a_{21}x + a_{22}y = b_2$. Esta es exactamente la ecuación de la recta $\ell_2$. Por lo tanto, ambas ecuaciones representan la misma recta, y su intersección es la recta completa.
  • Caso 3: $a_1$ y $a_2$ son vectores paralelos, y $b_1 \neq kb_2$ para algún $k \in \mathbb{R}$. Similar al Caso 2, si $a_1$ y $a_2$ son paralelos, entonces $a_1 = ka_2$ para algún $k \in \mathbb{R}$. Esto lleva a que la ecuación de $\ell_1$ pueda escribirse como $k(a_{21}x + a_{22}y) = b_1$. Si existiera un punto $(x,y)$ en la intersección de $\ell_1$ y $\ell_2$, debería satisfacer ambas ecuaciones. Es decir, $a_{21}x + a_{22}y = b_2$ (por ser un punto de $\ell_2$) y $k(a_{21}x + a_{22}y) = b_1$ (por ser un punto de $\ell_1$). Sustituyendo la primera en la segunda, obtendríamos $kb_2 = b_1$. Sin embargo, la condición de este caso es que $b_1 \neq kb_2$. Esto significa que no puede haber ningún punto $(x,y)$ que satisfaga ambas ecuaciones simultáneamente. Por lo tanto, las rectas son paralelas y distintas, y su intersección es vacía.

$\square$

Ejemplo de rectas iguales

Veamos ahora ejemplos de cada una de estas posibilidades:

Ejemplo. Encuentra la intersección de las rectas dadas por las siguientes ecuaciones.

\begin{align*}
(1,-2)\cdot (x,y) = 3\\
(-2,4) \cdot (x,y) = -6.
\end{align*}

Solución. Identifiquemos los vectores normales $a_1$ y $a_2$, y los escalares $b_1$ y $b_2$:

$$a_1 = (1,-2), \quad b_1 = 3$$

$$a_2 = (-2,4), \quad b_2 = -6$$

Primero, verificamos si los vectores normales $a_1$ y $a_2$ son paralelos. Calculamos la expresión $a_{11}a_{22}-a_{12}a_{21}$:

\begin{align*} a_{11}a_{22}-a_{12}a_{21} &= (1)(4) – (-2)(-2) \\ &= 4 – 4 \\ &= 0. \end{align*}

Dado que la expresión es cero, los vectores $a_1$ y $a_2$ son paralelos. De hecho, por inspección notamos que $(1,-2) = -\frac{1}{2}(-2,4)$.

Notemos que también sucede que $b_1=3=-\frac{1}{2}6$. Según la proposición, las rectas son entonces la misma. Por lo tanto, la intersección de las dos rectas es la recta misma, $\ell_1$. Podemos escribir la solución como el conjunto de puntos $(x,y)$ que satisfacen $x – 2y = 3$.

$\triangle$

Ejemplo de rectas que no se intersectan

Ejemplo. Encuentra la intersección de las rectas dadas por las siguientes ecuaciones:

\begin{align*}
(3,-4)\cdot (x,y) = 3\\
(-6,8) \cdot (x,y) = -2.
\end{align*}

Solución. Identifiquemos los vectores normales $a_1$ y $a_2$, y los escalares $b_1$ y $b_2$:

$$a_1 = (3,-4), \quad b_1 = 3$$

$$a_2 = (-6,8), \quad b_2 = -2$$

Primero, verificamos si los vectores normales $a_1$ y $a_2$ son paralelos. Calculamos la expresión $a_{11}a_{22}-a_{12}a_{21}$:

\begin{align*} a_{11}a_{22}-a_{12}a_{21} &= (3)(8) – (-4)(-6) \\ &= 24 – 24 \\ &= 0 \end{align*}

Como obtenemos cero, los vectores $a_1$ y $a_2$ son paralelos. Esto significa que $a_1 = ka_2$ para algún escalar $k$. En efecto, $a_1= -\frac{1}{2} a_2$. Sin embargo, ahora $-\frac{1}{2} b_2 = 1 \neq 3 = b_1$. Esto significa que las rectas son paralelas y distintas.

Por lo tanto, la intersección de las dos rectas es vacía.

$\triangle$

La siguiente figura muestra ambas rectas. En efecto, las rectas parecen ser paralelas.

Ejemplo de rectas que se intersectan en un único punto

Ejemplo. Determina dónde se intersectan la recta paralela a $(3,1)$ que pasa por el punto $(1,1)$ y la recta perpendicular a $(2,2)$ que pasa por el punto $(5,-3)$.

Solución. Para poder usar los resultados de esta entrada, primero pasaremos cada una de estas ecuaciones a forma normal $a \cdot (x,y) = b$.

Recta 1: Paralela a $(3,1)$ y pasa por $(1,1)$.

Si la recta es paralela al vector $(3,1)$, su vector normal $a_1$ debe ser perpendicular a $(3,1)$. Un vector perpendicular a $(3,1)$ es, por ejemplo, $a_1 = (-1,3)$.

La ecuación de la recta es de la forma $-x + 3y = b_1$. Para encontrar $b_1$, sustituimos el punto $(1,1)$ por el que pasa la recta:

$$b_1= -(1) + 3(1) = 2.$$

Así, la primera recta en forma normal es $\ell_1 =\{(-1,3) \cdot (x,y) = 2\}$, correspondiente a la ecuación $-x+3y=2$.

Recta 2: Perpendicular a $(2,2)$ y pasa por $(5,-3)$.

Si la recta es perpendicular al vector $(2,2)$, entonces su vector normal $a_2$ es $(2,2)$.

La ecuación de la recta es de la forma $2x + 2y = b_2$. Para encontrar $b_2$, sustituimos el punto $(5,-3)$ por el que pasa la recta:

$$b_2 = 2(5)+2(-3)=4.$$

Así, la segunda recta en forma normal corresponde a la ecuación $2x+y=4$, que es equivalente a $x+y=2$. Así, podemos ponerle en forma normal como $\ell_2=\{(1,1) \cdot (x,y) = 2\}$.

De este modo, encontrar los puntos de intersección de las rectas corresponde a resolver el siguiente sistema de ecuaciones:

$$\begin{cases} -x + 3y = 2\\ x + y = 2. \end{cases}$$

Identificamos los vectores normales $a_1 = (-1,3)$ y $a_2 = (1,1)$. Veamos si $a_1$ y $a_2$ son paralelos. Para ello, calculamos la expresión $a_{11}a_{22}-a_{12}a_{21}$:

\begin{align*} a_{11}a_{22}-a_{12}a_{21} &= (-1)(1) – (3)(1) \\ &= -1 – 3 \\ &= -4. \end{align*}

Dado que el resultado no es cero, los vectores $a_1$ y $a_2$ no son paralelos. Según la proposición, esto significa que la intersección de las dos rectas es un punto único, que podemos encontrar resolviendo el sistema de ecuaciones. Sumando la primera ecuación con la segunda:

\begin{align*} (-x + 3y) + (x + y) &= 2 + 2 \\ 4y &= 4 \\ y &= 1. \end{align*}

Como $y$ es $1$, entonces de la segunda igualdad concluimos que $x=1$ también. Por lo tanto, las rectas se intersecan en el punto $(1,1)$.

$\triangle$

La siguiente figura muestra ambas rectas. La visualización coincide con lo que demostramos formalmente.

Más adelante…

Hemos entendido cómo se ve la intersección de rectas a partir de su forma normal. Pero la forma normal de una recta no sólo nos ayuda a hablar de la recta misma. Una pequeña variación nos permite hablar también de cada uno de los dos pedazos en los que queda dividido el plano por la recta. A cada uno de estos pedazos le llamamos semiplano. ¿Cómo se verá la intersección de semiplanos? Daremos una introducción a estas ideas en la siguiente entrada.

Tarea moral

  1. De la siguiente lista de vectores, identifica todos aquellos $u$ y $v$ que cumplan que $u$ es paralelo a $v$:
    \begin{align*}&(1,1), (3,3), (5,2), (2,5), (10,4), \\&(-5,-2), (-3,3), (2,-2), (4,0), (5,1).\end{align*}
  2. Encuentra la intersección de las siguientes parejas de rectas:
    • $2x+3y=1$ y $3x+2y=2$.
    • $15+20y=12$ y $-6x-8y=7$.
    • $x+y=1$ y $-x-y=-1$.
  3. En los resultados de esta entrada hemos pedido que los vectores $u$ y $v$ sean no nulos para que las rectas en forma normal estén bien definidas. Pero si alguno de estos vectores es cero, todavía se pueden plantear un sistema de dos ecuaciones. ¿Qué posibilidades hay para estos sistemas de ecuaciones?
  4. Si tenemos vectores $u$, $v$ y $w$ en el plano, muestra que están en una misma línea si y sólo si $u-v$ y $w-v$ son paralelos.
  5. Toma tres vectores $u$, $v$ y $w$ de modo que no estén en una misma línea. La altura desde $u$ es la recta por $u$, perpendicular a $v-w$. De manera análoga se definen las alturas por $v$ y $w$.
    • Encuentra la intersección de la altura por $u$ y la altura por $v$.
    • Encuentra la intersección de la altura por $u$ y la altura por $w$.
    • Demuestra analíticamente, con las técnicas que hemos platicado aquí, que las tres alturas pasan por un mismo punto.

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: Recordatorio de funciones

Por Paola Berenice García Ramírez

Introducción

En la entrada anterior [Enlace entrada anterior] se introdujo la esencia del concepto de transformaciones y que estaremos viendo diversos tipos de transformaciones, pero para que no trabajemos en un espacio desconocido, en ésta entrada hablaremos de nociones básicas de funciones que debemos tener presentes para luego definir formalmente el concepto de qué es una transformación.

Funciones

Sean $E$ y $F$ dos conjuntos no vacíos, denominaremos función de un conjunto $E$ en un conjunto $F$ (o función definida en $E$ con valores en $F$) a una regla o ley $f$ que a todo elemento $x \in E$ le pone en correspondencia un determinado elemento $f(x) \in F$.

Al conjunto de los elementos $x \in E$ les llamamos dominio o argumento de la función $f$ y normalmente su notación es $Dom(f)$. Al conjunto de los elementos $f(x) \in F$ le llamamos rango o imagen y se denota por $Im(f)$. Además se encuentra el conjunto $F$ del contradominio, el cual contiene al rango.

A una función la designamos por lo general con la letra $f$ o con el símbolo $f: E \longrightarrow F$, que nos señala que $f$ aplica el conjunto $E$ en $F$. También podemos emplear la notación $x \mapsto f(x)$ para indicarnos que al elemento $x$ le corresponde el elemento $f(x)$. Cabe mencionar que en la mayoría de los casos las funciones se definen mediante igualdades, las cuales describen la ley de correspondencia.

Ejemplo 1. Podemos decir que la función $f$ está definida mediante la igualdad $f(x) = \sqrt{ x^2 + 1}$, $x \in [a,b]$. Si $y$ es la notación general de los elementos del conjunto $F$, o sea $F = \{y\}$, la aplicación $f: E \longrightarrow F$ se escribe en forma de la igualdad $y = f(x)$, y decimos entonces que la función se encuentra dada en su forma explícita.

Ejemplo 2. Mediante la siguiente imagen vamos a obtener $Domf$, $Imf$ y el $Codf$.

Podemos ver que $Domf$ es el conjunto formado por $\{1, -2, 2, -3, 3, 4\} $. La $Imf$ es $\{2, -4, 4, -6, 6, 8\}$ y el $Codf$ es $\{-2,2,-4,4,-6,6,8,-8\}$. Podemos darnos cuenta que no necesariamente la $Imf$ debe coincidir siempre con el $Codf$.

Ejemplo 3. Sea la función definida por la ecuación $y = \sqrt{3 – 9x}$. Debido a que la función es una raíz cuadrada, $y$ es función de $x$ sólo para $3-9x \geq 0$; pues para cualquier $x$ que satisfaga esta desigualdad, se determina un valor único de $y$. Procedemos a resolver la desigualdad:

\begin{align*}
3-9x & \geq 0,\\
3 & \geq 9x,\\
\dfrac{3}{9} & \geq x,\\
\dfrac{1}{3} & \geq x.
\end{align*}

Sin embargo si $x > \dfrac{1}{3}$, obtenemos la raíz cuadrada de un número negativo y en consecuencia no existe un número real $y$. Por tanto $x$ debe estar restringida a $\dfrac{1}{3} \geq x $. Concluimos que el $Domf$ es el intervalo $\left(- \infty, \dfrac{1}{3}\right]$ y la $Imf$ es $[0, + \infty).$

Gráfica de $f(x) = \sqrt{3-9x}$

Función inyectiva, sobreyectiva y biyectiva

Definición. Una función $f: E \longrightarrow F$ se denomina:

  • Inyectiva si $f(x) = f(x’)$ implica que $x = x’$. Otra forma de expresarlo es que no existen dos elementos de $E$ con una misma imagen ($x \neq x $ implica que $f(x) \neq f(x’)$).
  • Suprayectiva o sobreyectiva si $\forall y \in F$ existe $x \in E$ tal que $f(x)=y$. Es decir que todos los elementos del conjunto $F$ son imagen de algún elemento de $E$.
  • Biyectiva si la función cumple ser inyectiva y suprayectiva.

Problema 1. Consideren la función $f: \mathbb{R} \longrightarrow \mathbb{R} $ definida por $f(x) = \dfrac{3x-1}{x+3}$ y determinen su dominio y si es biyectiva.

Solución. Veamos el dominio de la función, para que la función racional $f(x) = \dfrac{3x-1}{x+3}$ no se indetermine debe cumplirse que:

\begin{align*}
x+3 & \neq 0,\\
x & \neq -3,\\
\therefore Domf & = \mathbb{R} – \{-3 \}.\\
\end{align*}

Ahora veamos si $f$ es biyectiva. Sean $a,b \in \mathbb{R} – \{ -3 \}$, para que $f$ sea inyectiva debe cumplir que $f(x) = f(x’)$ implica que $x = x’$, por ello:

\begin{equation*}
f(a) = f(b) \hspace{0.5cm} \Longrightarrow \hspace{0.5cm} \dfrac{3a-1}{a+3} = \dfrac{3b-1}{b+3}.\\
\end{equation*}

Resolviendo:

\begin{align*}
(3a-1)(b+3) &= (3b-1)(a+3),\\
3ab + 9a – b -3 &= 3ab +9b -a -3,\\
10a &= 10b,\\
a &= b.
\end{align*}

Por tanto $f$ es inyectiva. Ahora veamos si $f$ es suprayectiva, sean $x, y \in E$ entonces:

\begin{align*}
f(x) = f(y) \hspace{0.5cm} &\Longrightarrow \hspace{0.5cm} y = \dfrac{3x-1}{x+3},\\
\end{align*}

Resolviendo

\begin{align*}
y(x+3) &= 3x-1,\\
yx +3y &= 3x-1,\\
yx-3x &= -3y-1,\\
x(y-3) &= -3y-1,
\end{align*}

y despejando a $x$

\begin{align*}
x &= \dfrac{-3y-1}{y-3},\\
x &= \dfrac{3y+1}{3-y},
\end{align*}

y como $3-y \neq 0$, entonces $y \neq 3$. En consecuencia $y \in \mathbb{R} – \{3 \}$. Pero al estar definida $f$ por $f: \mathbb{R} \longrightarrow \mathbb{R}$, tenemos que $f$ no es suprayectiva.

\begin{align*}
\therefore f \text{ no es biyectiva}.
\end{align*}

Composición de funciones y funciones inversas.

Definición. Dadas las funciones $f: A \longrightarrow B$ y $g: B \longrightarrow C$ , donde la imagen de $f$ está contenida en el dominio de $g$, se define la función composición $(g \circ f): A \longrightarrow C$ como $(g \circ f)(x) = g(f(x)),$ para todos los elementos $x$ de $A$.

La composición de funciones se realiza aplicando dichas funciones en orden de derecha a izquierda, de manera que en $(g \circ f)(x)$ primero actúa la función $f$ y luego la $g$ sobre $f(x)$.

Ejemplo 4. Sean las funciones $f$ y $g$ tales que $f(x)=x+1$ y $g(x) = x^2 +2$, calcularemos las funciones composición $(g \circ f)(x)$ y $(f \circ g)(x)$. Tenemos para $(g \circ f)(x)$

\begin{align*}
(g \circ f)(x) = g[f(x)] &= g(x+1),\\
&= (x+1)^2 + 2,\\
&= x^2 +2x +1 +2,\\
&= x^2 + 2x +3.
\end{align*}

Y para $(f \circ g)(x)$

\begin{align*}
(f \circ g)(x) = f[g(x)] &= f(x^2+2),\\
&= (x^2 + 2) + 1,\\
&= x^2 + 3.\\
\end{align*}

Observemos que la composición no es conmutativa pues las funciones $(f \circ g)$ y $(g \circ f)$ no son iguales.

Definición. Llamaremos función inversa de $f$ a otra función $f^{-1}$ que cumple que si $f(x)=y$, entonces $f^{-1}(y)=x$.

Sólo es posible determinar la función inversa $f^{-1}: B \longrightarrow A$ si y sólo si $f: A \longrightarrow B$ es biyectiva.

Notemos que la función inversa $f^{-1}: B \longrightarrow A$ también es biyectiva y cumple:

\begin{align*}
f^{-1}(f(x)) &= x, \hspace{0.2cm} \forall x \in A,\\
f(f^{-1}(y)) &= y, \hspace{0.2cm} \forall y \in B.
\end{align*}

Dicho de otro modo,

\begin{align*}
f^{-1} \circ f &= id_{A},\\
f \circ f^{-1} &= id_{B},
\end{align*}

donde $id_{A}$ e $id_{B}$ son las funciones identidad de $A$ y $B$ respectivamente. Es decir, son las funciones $id_{A}: A \longrightarrow A$ definida por $id_{A}(x) = x$ e $id_{B}: B \longrightarrow B$ definida por $id_{B}(y) = y$.

Concepto formal de transformación

Ahora hemos llegado a la definición de nuestro interés.

Definición. Una transformación en un plano A es una función biyectiva $f: A \longrightarrow A$ del plano en sí mismo.

Llamaremos transformación en el plano, a toda función que hace corresponder a cada punto del plano, otro punto del mismo.

Tarea moral

Vamos a realizar unos par de ejercicios para repasar y practicar los conceptos que vimos en esta entrada.

Ejercicio 1. Consideren la siguiente función $f: \mathbb{R} \longrightarrow \mathbb{R}$ definida por $f(x) = \dfrac{3x-1}{x+3}$ y determinen su dominio, si ella es inyectiva, suprayectiva y la inversa de $f$.

Ejercicio 2. Sean $f: X \longrightarrow Y$ y $g: Y \longrightarrow Z$ funciones, demuestren que

(1) Si $f$ y $g$ son inyectivas, entonces $g \circ f$ es inyectiva.

(2) Si $g \circ f$ es suprayectiva, entonces $g$ es suprayectiva.

Más adelante

En esta entrada vimos las nociones básicas de funciones que nos llevaron a definir formalmente el concepto de una transformación. Dicho concepto nos permitirá comenzar a trabajar en la siguiente entrada con unos primeros conjuntos cuyas propiedades hacen que tengan un nombre especial: los grupos de transformaciones.

Enlaces

  • Página principal del curso:
  • Entrada anterior del curso:
  • Siguiente entrada del curso:

Seminario de Resolución de Problemas: Geometría analítica

Por Fabian Ferrari

Introducción

La geometría analítica se puede considerar la fusión de las ideas de la geometría euclidiana y el álgebra. Una de las funcionalidades de la geometría analítica es resolver problemas de geometría de una manera analítica, partiendo de la ubicación de los objetos geométricos en el plano cartesiano. A continuación veremos algunos problemas de la geometría analítica.

Un problema de rectas y puntos notables de un triángulo

Problema: Dado el triangulo $\triangle ABC$ inscrito en una circunferencias. Denotemos como $P$ a su baricentro y como $O$ a su circuncentro. Además, supongamos que $A(0,0)$, $B(a,0)$ y $C(b,c)$.
Expresa las coordenadas de $P$ y $O$ en términos de $a$, $b$ y $c$.

Solución: Tenemos que el baricentro $P$ es la intersección de las medianas del triángulo. Basta con que encontremos las ecuaciones de dos de las medianas para establecer un sistema de ecuaciones y encontrar las coordenadas de $P$.

Para obtener las medianas tenemos que determinar los puntos medios de los lados del triángulo.

Consideraremos los puntos los puntos medios de $AB$ y de $AC$, los cuales son $P_{m_{AB}}(\frac{a}{2},0)$ y $P_{m_{AC}}(\frac{b}{2},\frac{c}{2})$ respectivamente.

Ahora, determinamos la ecuación de la mediana que pasa por el punto medio de $AC$ y el vértice $B$


\begin{equation*}
\begin{align*}
y-\frac{c}{2}&=\frac{-\frac{c}{2}}{\frac{2a-b}{2}}(x-\frac{b}{2})\\
2y-c&=-\frac{c}{2a-b}(2x-b)\\
(2a-b)(2y-c)&=-2cx+bx\\
2(2a-b)y-2ac+bc&=-2cx+bc\\
2cx+2(2a-b)y&=2ac\\
cx+(2a-b)y&=ac
\end{alig*}
\end{equation*}

Para la mediana que pasa por el vértice $C$ y por el punto medio de $AB$, tenemos que

\begin{equation*}
\begin{align*}
y&=\frac{c}{\frac{2b-a}{2}}(x-\frac{a}{2})\\
(2b-a)y&=2cx-ac\\
2cx+(a-2b)y&=ac
\end{align*}
\end{equation*}

Establecemos el sistema de ecuaciones

\begin{equation*}
\begin{align*}
cx+(2a-b)y  &=ac \\
2cx + (a-2b)y &=ac
\end{align*}
\end{equation*}

Cuya solución es $x=\frac{ac+bc}{3}$ y $y=\frac{c}{3}$

Por lo tanto el punto del baricentro está dado por

\begin{equation*}
P\left(\frac{ac+bc}{3}, \frac{c}{3}\right)
\end{equation*}

Para obtener la coordenada del circuncentro tenemos que determinar las ecuaciones de las mediatrices y con ello calcular su intersección.

Tenemos que como la pendiente del segmento $AB$ es igual a $0$, tenemos entonces que la mediatriz del segmento es

\begin{equation*}
x=\frac{a}{2}
\end{equation*}

Por otro lado tenemos que la pendiente del segmento $AC$ es igual a $\frac{c}{b-a}$ con lo que la pendiente de la mediatriz de $AC$ es $\frac{a-b}{c}$, con lo que su ecuación está dada por

\begin{equation*}
\begin{align*}
y-\frac{c}{2}&=\frac{a-b}{c}(x-\frac{b}{2})\\
y&=\frac{2(a-b)(x-\frac{b}{2}+c^2}{2c}
\end{align*}
\end{equation*}

Sustituyendo $x=\frac{a}{2}$, tenemos que

\begin{equation*}
y=\frac{(a-b)^2+c^2}{2c}
\end{equation*}

Así, podemos concluir que el punto del circuncentro está dado por $O\left(\frac{a}{2},\frac{(a-b)^2+c^2}{2c}\right)$

$\square$

Recta tangente a una circunferencia


Problema: Encuentra la relación entre los parámetros $a$, $b$ y $c$ tales que la línea recta $l:\frac{x}{a}+\frac{y}{b}=1$ sea tangente a la circunferencia $C: x^2+y^2=c^2$.

Solución: Tenemos que la circunferencia está centrada el el origen $O(0,0)$ y tiene radio $r=c$.

Así, se debe cumplir que la distancia de la recta al origen debe de ser igual a $c$ para que se cumpla que sea tangente a la circunferencia.

i.e.

\begin{equation*}
\d(l,O)=\frac{|\frac{0}{a}+\frac{0}{b}-1|}{\sqrt{\frac{1}{a}+\frac{1}{b}}}=c
\end{equation*}

Tenemos entonces que

\begin{equation*}
\begin{align*}
\frac{|-1|}{\sqrt{\frac{1}{a}+\frac{1}{b}}}&=c\\
c^2\left(\frac{a+b}{ab}\right)&=1\\
\frac{a+b}{ab}&=\frac{1}{c^2}
\end{align*}
\end{equation*}

Concluimos que la condición que deben de cumplir los parámetros para que se cumpla que la recta $l$ sea tangente a la circunferencia $C$ es

\begin{equation*}
c^2=\frac{ab}{a+b}
\end{equation*}

$\square$

Circunferencia que pasa por tres puntos

Problema: Consideremos una circunferencia con centro en el origen y radio $1$. Si $M$ es un punto de la circunferencia, $N$ un punto diametralmente opuesto a $M$ y $A(2,3)$ un punto fuera de la circunferencia. Determina el lugar geométrico formado por los centros de las circunferencias que pasan por $M$, $N$ y $A$ al variar $M$

Solución: Sea $M(a,b)$, tenemos que $N$ por ser diametralmente opuesto está dado por $N(-a,-b)$. Si denotamos como $C_1(x,y)$ al centro de la circunferencia que pasa por $M$, $N$ y $A$, tenemos que las distancias desde los puntos dados al centro $C_1(x,y)$ son todas iguales.

\begin{equation*}
d(C_1,M)=d(C_1,N)=d(C_1,A)
\end{equation*}

Además,

\begin{equation*}
\begin{align*}
&d(C_1,M)=\sqrt{(x-a)^2+(y-b)^2}\\
&d(C_1,N)=\sqrt{(x+a)^2+(y+b)^2}\\
&d(C_1,A)=\sqrt{(x-2)^2+(y-3)^2}
\end{align*}
\end{equation*}

Como $d(C_1,M)=d(C_1,N)$ tenemos que

\begin{equation*}
\begin{align*}
(x-a)^2+(y-b)^2&=\sqrt{(x+a)^2+(y+b)^2}\\
-2ax-2by&=2ax+2by\\
ax+by&=0
\end{align*}
\end{equation*}

Por otro lado tenemos que $d(C_1,N)=d(C_1,M)$, entonces

\begin{equation*}
\begin{align*}
(x-a)^2+(y-b)^2&=(x-2)^2+(y-3)^2\\
-2ax-2by+a^2+b^2&=-4x-6y+2^2+3^2\\
-2ax-2by+1&=-4x-6y+4+9\\
-2ax-2by&=-4x-6y+12\\
-ax-by&=-2x-3y+6\\
(a-2)x+(b-3)y&=-6
\end{align*}
\end{equation*}

Al hacer la diferencia de esta última ecuación con la primera que obtuvimos, tenemos la ecuación:

\begin{equation*}
\begin{align*}
2x+3y&=6\\
2x+3y-6&=0
\end{align*}
\end{equation*}

Lo cual nos describe una línea recta

Por lo tanto, el lugar geométrico formado por los centros de las circunferencias que pasan por $M$, $N$ y $A$ al variar $M$, es la recta con ecuación general $2x+3y-6=0$

$\square$


Más problemas

Puedes encontrar más problemas de Geometría Analítica en la sección 8.2 del libro Problem Solving through Problems de Loren Larson.