Archivo de la etiqueta: traslaciones

Geometría Analítica I: Repaso de conceptos geométricos elementales

Por Leonardo Ignacio Martínez Sandoval

Deja un comentario

Introducción

En esta entrada empezamos a hacer un repaso de algunos conceptos geométricos elementales que probablemente has encontrado a lo largo de tu formación. Por un lado, esto puede ayudarte a recordar objetos geométricos específicos y resultados con los que ya te has encontrado. Además, es importante revisar nuevamente estos conceptos pues a partir de ahora necesitamos ser muy precisos con el lenguaje. Por ejemplo, será necesario que distingamos apropiadamente los segmentos, rectas y rayos entre ellos. Finalmente, esta entrada te ayudará a acostumbrarte a la notación que usamos en geometría, es decir, qué tipos de etiquetas le ponemos a cada tipo de objeto geométrico.

Antes de comenzar, hay una aclaración importante por hacer. El repaso que haremos de geometría es un repaso intuitivo. Más adelante, cuando asignemos coordenadas al plano y comencemos a hablar de vectores, entonces ahora sí ya estaremos definiendo nuestros conceptos geométricos de manera formal y tendremos que ser más cuidadosos con la argumentación lógica.

Objetos geométricos básicos

Puedes pensar a un punto como lo que obtienes al colocar la punta del lapiz sobre el papel. Es una figura que tiene una única posición. A los puntos usualmente los denotaremos con letras mayúsculas: $A$, $B$, $C$, $P$, $Q$, $R$, etc.

Un segmento es lo que se obtiene al unir dos puntos directamente el uno al otro. Otra manera de pensarlo es que se tiene que ir de un punto al otro de la manera «más rápida» o «más derecha» posible. A los dos puntos les llamamos los extremos del segmento. Si los nombres de los extremos de un segmento son $A$ y $B$, entonces al segmento lo nombramos $\overline{AB}$. En caso de tener que referirnos al segmento sin usar sus extremos, le podemos dar nombre con letra minúscula, por ejemplo $r, s, t$, etc.

Cuando extendemos un segmento indefinidamente más allá de los dos puntos que lo definen, obtenemos una recta. Una recta queda definida por cualesquiera dos puntos distintos en ella. Si una recta tiene a los puntos distintos $A$ y $B$, entonces llamamos $AB$ a la recta. Aunque sea imposible de apreciarlo en el papel, en pizarrón o en la pantalla de una computadora, las rectas se extienden indefinidamente. Cuando no queremos usar puntos para referirnos a las rectas, las podemos llamar con letras minúsculas como $a,b,c,\ell$, etc.

Si sólo extendemos el segmento más allá de sólo uno de los puntos que lo definen, entonces a la figura que obtenemos le llamamos un rayo. Observa que si tenemos dos puntos $A$ y $B$, entonces es distinto el rayo que extiende al segmento más allá de $B$, que el que extiende al segmento más allá de $A$. Al primero le llamamos el rayo desde $A$ por $B$ (como el que se muestra en la figura). Al segundo le llamamos el rayo desde $B$ por $A$. A los rayos, como a los segmentos, los podemos llamar con letras minúsculas como $r,s,t$,etc.

Cuando dos rectas, segmentos o rayos pasan por un mismo punto, decimos que se intersectan en dicho punto. En la siguiente figura, las rectas $\ell$ y $m$ se intersectan en el punto $P$.

Si $P$ es un punto de intersección de dos rectas distintas $\ell$ y $m$, entonces alrededor de $P$ se forman cuatro regiones. A cada una de las $4$ aperturas entre ambas rectas les llamamos un ángulo entre ellas. De manera similar podemos definir ángulos entre segmentos o rayos que se intersecten, o cualquier mezcla de estos objetos. Los ángulos usualmente los denotamos con letras griegas, como $\alpha, \beta, \gamma, \theta$, etc. (alpha, beta, gamma, theta, etc.).

También podemos referirnos a ellos mediante un punto $A$ en $\ell$, el punto $B$ de intersección y un punto $C$ en $m$, en cuyo caso nos referiremos al ángulo como $\angle ABC$.

Triángulos

Es sumamente inusual que al colocar tres puntos $A$, $B$ y $C$ suceda que haya una misma recta que pase por los tres. Cuando esto pasa, decimos que los puntos están alineados o que son colineales.

Si tomamos tres puntos no alineados $A$, $B$ y $C$, entonces podemos dibujar tres segmentos $BC$, $CA$ y $AB$. A la figura conformada por los tres puntos y los tres segmentos le llamamos un triángulo y usualmente lo denotamos por $\triangle ABC$. A $A$, $B$ y $C$ les llamamos los vértices del triángulo. A los segmentos $BC$, $CA$ y $AB$ les llamamos los lados del triángulo. Usualmente nombramos a estos lados $a,b,c$ para que cada lado use la misma letra que el vértice opuesto (pero en minúscula). A los ángulos dentro del triángulo en $A$, $B$ y $C$ les llamamos usualmente $\alpha, \beta, \gamma$.

Si quisiéramos insistir en llamar triángulo al caso en el que $A$, $B$ y $C$ están una misma recta, insistiremos en llamarlo un triángulo degenerado. En este caso, el triángulo está «apachurrado» y los segmentos que definen los puntos se enciman entre sí.

Mediciones

Parte de la raiz etimológica de la palabra geometría está relacionada con medir. En geometría, nos interesan ciertas magnitudes geométricas asociadas a objetos geométricos. Por el momento, apelaremos a la intuición que has desarrollado con anterioridad para definir estos conceptos pero, como mencionamos arriba, más adelante los formalizaremos.

La distancia entre dos puntos $A$ y $B$ es una magnitud que mide qué tan alejados están los puntos entre sí. Mientras más alejados, mayor distancia entre ellos. Un punto $A$ está a distancia $0$ de sí mismo. Es lo que solías medir con una regla: si colocas un punto en el $0$ de la regla y el otro cae en el número $d$ de la regla, entonces la distancia entre ambos puntos será $d$. Podemos referirnos a la distancia con la letra $d$ y haciendo referencia a los puntos así: $d(A,B)$.

Una magnitud estrechamente relacionada con la distancia es la longitud de un segmento, y se puede pensar exactamente como la distancia entre sus extremos. Mientras más largo sea un segmento (intuitivamente, mientras más tengamos que dibujar para hacerlo), mayor será su longitud. Nos referiremos a la longitud de un segmento $AB$ con la expresión $|AB|$.

Otra medida importante es la de ángulo, que nos indica qué tan abierta la región del msimo nombre definida por dos rectas (o segmentos, o rayos), como la definimos arriba. A mayor apertura en el vértice del ángulo, mayor será la magnitud que le asociamos. Así, típicamente no hacemos distinción entre la región y su apertura, ni en nombre, ni en notación.

Finalmente, también nos interesa una medida de qué tan grande es la región contenida en una figura geométrica en el plano. A esta medida le llamamos el área de la región.

Transformaciones geométricas

Otra noción muy importante en la geometría analítica es la de «transformación». Esto se refiere a alterar nuestros objetos geométricos de alguna manera. Típicamente, esta manera es «amigable» en algún sentido, por ejemplo, respeta distancias o proporciones. Las siguientes son las transformaciones geométricas con las que debes estar más familiarizado de manera intuitiva.

Las traslaciones consisten en mover un objeto de lugar, pero simplemente desplazándolo, sin girarlo.

Las rotaciones consisten en girar un objeto geométrico alrededor de un punto que llamamos el centro de rotación. Para saber cuánto rotamos, usamos un ángulo de rotación. En la siguiente figura puedes ver una rotación con centro $O$ y ángulo $\alpha$.

Las reflexiones consisten en tomar una recta $\ell$ y usarla como espejo, para reflejar en él el objeto que nos interesa.

También consideraremos los reescalamientos, que pueden ser expansiones o contracciones. Tras aplicarlas, obtenemos un objeto geométrico más grande o más pequeño, pero que preserva las proporciones. Para definirlas, usualmente necesitamos un centro de reescalamiento $O$ y un factor de reescalamiento $r$. A continuación se muestran algunos ejemplos con con reescalamientos $2$, $1/2$ y $-1$, con la figura de sombreado claro como el objeto original. ¡El reescalamiento de $-1$ voltea la figura alrededor de $O$!

Hay más transformaciones geométricas, como las proyecciones o cizallamientos. Sin embargo, por ahora no hablaremos de ellas.

Aunque ahora hemos platicado lo que le hace una transformación a un objeto geométrico particular, usualmente nos interesará lo que le hace a todo el plano.

Más adelante…

En esta entrada repasamos varias nociones básicas de la geometría de una manera intuitiva. Es importante que tengas esta entrada como referencia, pues los nombres que usamos ahora para objetos geométricos, propiedades geométricas y transformaciones, serán los que usaremos más adelante. En las siguientes entradas continuaremos con un repaso de los resultados geométricos principales. Este repaso seguirá siendo intuitivo. Más adelante introduciremos formalidad en nuestro estudio de la geometría analítica.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

  1. Repasa la diferencia entre rectas, segmentos y rayos.
  2. Explora la interfaz de GeoGebra para asegurarte de que sepas trazar todo lo que hemos platicado. En caso de que no encuentres la funcionalidad, averigua cómo hacerlo mediante una búsqueda en línea o mediante algún video explicativo.
  3. Copia la siguiente figura en una hoja de papel. Luego, realiza manualmente una rotación de 90 grados alrededor del punto $O$.
  1. Copia la siguiente figura en una hoja de papel. Luego, realiza manualmente una reflexión de la figura con respecto a la recta $\ell$.
  1. Ahora vamos a trasladar al gato y a la casa. Pero tienes que hacerlo repetidamente. Haz la figura en tu cuaderno de modo que quede dentro de un cuadrado de 4cm de lado. Luego, repetidamente traslada ese cuadrado 5cm a la derecha para poner todas las copias que puedas de la figura hasta que se te acabe la hoja. Entonces, las transformaciones geométricas las podemos aplicar una y otra vez.

Entradas relacionadas

Geometría Analítica I: Introducción a resultados de clasificación

Por Leonardo Ignacio Martínez Sandoval

2 respuestas

Introducción

En tu formación matemática muchas veces te encontrarás con resultados de clasificación. Pero, ¿qué es clasificar en este contexto? A grandes rasgos, consiste en poder decir de manera sencilla cómo son todos los objetos matemáticos que se estén estudiando en un contexto dado.

En esta entrada hablaremos un poco más del problema de clasificar ciertos objetos matemáticos. Iniciaremos con un ejemplo «de juguete» muy básico. Luego, hablaremos de cómo en las clasificaciones geométricas podemos usar transformaciones. Finalmente, daremos un ejemplo sencillo de cómo usar estas ideas en la clasificación de los segmentos del plano.

Ejemplo básico de clasificación

Cuando queremos hacer una clasificación, en el sentido matemático, lo que queremos hacer es tomar algunos objetos matemáticos y decir, bajo algún criterio cómo son todos los «tipos posibles» que existen para esos objetos. Esto puede ser respondido de muchas formas, así que es fundamental acordar dos cosas con precisión:

  1. ¿Cuáles son los objetos que queremos clasificar?
  2. ¿Bajo qué criterio diremos que dos de esos objetos son «del mismo tipo»?

Al final del proceso, nos gustaría tener una lista relativamente fácil de escribir de todas las posibilidades. Esto puede ayudar posteriormente a resolver otros problemas matemáticos o bien a desarrollar más teoría.

Comencemos con un ejemplo «de juguete». Será muy sencillo, pero nos permitirá hablar de algunas de las sutilezas que nos encontraremos en contextos más abstractos. Considera la siguiente figura en la que hay varias figuras geométricas.

Imagina que nos piden «clasificar todas las figuras que están aquí». Lo que nos gustaría obtener al final es una lista con la clasificación, es decir con «todas las posibilidades» de figuras que hay. Si sólo nos dan esta instrucción, entonces estaríamos en problemas: hay muchas formas de clasificar estos objetos.

Una posible clasificación es por forma. Si consideramos equivalentes a dos de estas figuras cuando tienen la misma forma, entonces nuestra lista de posibilidades se reduce a tres: triángulos, cuadrados y círculos. Nuestro teorema de clasificación se vería así:

Teorema. Cualquier figura de la imagen tiene alguna de las siguientes formas:

  1. Triángulo
  2. Cuadrado
  3. Círculo

Este teorema de clasificación está padre. Pero puede ser inútil en algunos contextos. Por ejemplo, imagina que las figuras son muestras que está regalando una tienda de pinturas para que puedas llevarlas a tu casa y usarlas para ver si te gustaría pintar una pared con el color dado. Para estos fines es (prácticamente) lo mismo que te den un cuadrado azul o un triángulo azul. Lo único que importa es el color.

Pensar de esta manera nos da otra manera de clasificar a las figuras: por color. Si usamos esta noción de equivalencia, entonces nuestro resultado de clasificación sería muy distinto.

Teorema. Cualquier figura de la imagen es de alguno de los siguientes colores:

  1. Rojo
  2. Naranja
  3. Amarillo
  4. Verde
  5. Azul

Pero podríamos querer ser mucho más estrictos y querer clasificar considerando ambos criterios: tanto la forma como el color. Quizás uno podría pensar que como hay tres figuras y cinco colores, entonces hay $3\cdot 5=15$ posibilidades en esta clasificación. Obtendríamos el siguiente resultado.

Teorema. Cualquier figura de la imagen es de alguno de los siguientes 15 tipos: triángulo rojo, triángulo naranja, triángulo amarillo, triángulo verde, triángulo azul, cuadrado rojo, cuadrado naranja, cuadrado amarillo, cuadrado verde, cuadrado azul, círculo rojo, círculo naranja, círculo amarillo, círculo verde, círculo azul.

Estrictamente hablando, este resultado es correcto: cualquier figura es de alguno de esos tipos. Pero el teorema tiene algo incómodo: nos está dando posibilidades que no suceden. Por ejemplo, no hay cuadrados amarillos, ni círculos azules.

Una clasificación con forma y color que nos dejaría más satisfecho sería la siguiente:

Teorema. Cualquier figura de la imagen es de alguno de los siguientes 11 tipos:

  1. Triángulo rojo
  2. Triángulo naranja
  3. Triángulo amarillo
  4. Triángulo azul
  5. Cuadrado rojo
  6. Cuadrado naranja
  7. Cuadrado azul
  8. Círculo rojo
  9. Círculo naranja
  10. Círculo amarillo
  11. Círculo verde

Más aún, cualquiera de estas posibilidades sucede.

Este resultado se siente mucho más satisfactorio. Por un lado, no está agregando a la lista «opciones de más». Por otro lado, a partir de él podemos demostrar proposiciones sin tener que volver a ver la figura. Algunos ejemplos son los siguientes:

  • Ningún círculo de nuestra figuras es azul.
  • Todas las figuras verdes son círculos.
  • Ninguna figura amarilla es un cuadrado.

Para mostrar cualquiera de estas, basta ver nuestra clasificación.

¿Podemos dar una clasificación mucho más estricta? Sí, por supuesto. Por ejemplo, podemos considerar dos figuras iguales sólo cuando tienen exactamente la misma figura, color y posición. En este caso nuestro teorema de clasificación tendría un tipo por cada una de las 19 figuras. Esta clasificación también se siente un poco insatisfactoria pues en realidad no estamos «agrupando» figuras, sino simplemente «poniendo a cada una en su propio grupo». Pero bueno, es una clasificación válida también.

Uso de relaciones de equivalencia y particiones

Una manera de formalizar una clasificación es a partir de relaciones de equivalencia y particiones. Recordemos las siguientes dos definiciones:

Definición. Una relación de equivalencia en un conjunto $X$ es una colección de parejas $(x,y)$ en $X\times X$ tales que:

  • (Reflexividad) Para cualquier $x$ en $X$ la pareja $(x,x)$ está en la colección.
  • (Simetría) Si para algunos $x,y$ en $X$ se cumple que la pareja $(x,y)$ está en la colección, entonces la pareja $(y,x)$ también está en la colección.
  • (Transitividad) Si para algunos $x,y,z$ en $X$ se cumple que tanto las parejas $(x,y)$ como $(y,z)$ están en la colección, entonces la pareja $(x,z)$ también está.

Las relaciones de equivalencia nos ayudan a decir cuándo dos objetos de $X$ «son iguales» o «son el mismo» bajo algún criterio usualmente más relajado que la igualdad.

Definición. Una partición de un conjunto $X$ es una colección de conjuntos $(A_i)_{i \in I}$ para algún conjunto de índices $I$ tal que ninguno de los $A_i$ es vacío, cualesquiera dos de ellos tienen intersección vacía y $X=\cup_{i\in I}A_i$.

Un resultado clásico de teoría de conjuntos dice que «una relación de equivalencia da una partición, y viceversa». Formalmente, dada una relación de equivalencia $R$ en un conjunto $X$, podemos crear la clase de equivalencia de un elemento $x$ en $X$ como sigue: $$\overline(x):=\{y \in X: (x,y)\in R\}.$$ El conjunto $\{\overline{x}:x\in X\}$ da una colección de conjuntos que es una partición de $X$. Y viceversa, si tenemos una partición $(A_i)_{i \in I}$, entonces podemos considerar las parejas $(x,y)$ de elementos tales que $x$ y $y$ están en un mismo $A_i$, de donde obtenemos una relación de equivalencia.

Regresando a la idea de clasificar, podemos realizar una clasificación a través de una relación de equivalencia o de una partición. Las clases de equivalencia son los «tipos» de objetos que tenemos. Podemos dar un representante «sencillo» dentro de cada clase de equivalencia para hacer nuestra lista de los posibles «tipos» que existen.

Ejemplo. En los números enteros podemos decir que dos enteros $x$ y $y$ están relacionados cuando $x-y$ es un número par. Es fácil mostrar que esto da una relación de equivalencia y que las clases de equivalencia en este caso son los conjuntos:

\begin{align*}
P&=\{\ldots,-4,-2,0,2,4,\ldots\},
Q&=\{\ldots,-3,-1,1,3,\ldots\}.
\end{align*}

Tenemos que $P$ y $Q$ forman una partición del conjunto $\mathbb{Z}$ de números enteros. Así, esta relación clasifica a los enteros en dos tipos: los pares y los impares. Otra forma de dar esta clasificación es diciendo que «Cualquier entero es equivalente al $0$ o al $1$», o más explícitamente, «Para cualquier entero $z$ se tiene que o bien $z$ es par, o bien $z-1$ es par».

$\triangle$

Clasificación de segmentos del plano con transformaciones

Hacia donde queremos ir es hacia una clasificación relacionada con la geometría. Por esta razón, las relaciones de equivalencia, particiones o «tipos» de objetos que obtendremos estarán relacionados con nociones geométricas. Una manera de hacer esto es mediante las transformaciones que estuvimos estudiando en la unidad anterior: transformaciones afines, traslaciones, isometrías, transformaciones ortogonales, etc.

Por ejemplo, pensemos en que estamos hablando de los segmentos cerrados y acotados en el plano cartesiano. Es decir, de acuerdo a lo que estudiamos en la primera unidad, para cualesquiera dos puntos distintos $P$ y $Q$ en el plano estamos considerando el conjunto $$\overline{PQ}=\{pP+qQ:0\leq p \leq 1, 0 \leq q \leq 1, p+q=1\}.$$ En la siguiente figura puedes ver algunos de los (muchos) segmentos que hay en el plano:

Familia de segmentos

¿Cómo podemos clasificar a todos los segmentos que hay en el plano? Antes de cualquier cosa, tenemos que ponernos de acuerdo en la clasificación. Una manera de hacer esto es mediante transformaciones del plano. Veamos un par de ejemplos.

Ejemplo. Una primer opción es que digamos que dos segmentos son del mismo tipo cuando podamos trasladar uno de ellos al otro. Si hacemos esto, casi todos los segmentos de la siguiente figura serían del mismo tipo.

Familia de segmentos

El único que no es del mismo tipo que los demás sería el segmento punteado que, aunque lo dibujamos intencionalmente de la misma longitud que los demás, no resulta ser equivalente pues es imposible trasladarlo a alguno de los otros segmentos. Con esta noción de segmentos equivalentes, ¿qué posibilidades tendríamos? Es más o menos fácil convencerse de que para que dos segmentos sean del mismo tipo con esta clasificación necesitamos que a) sean paralelos y b) tengan la misma longitud. Por ello mismo, no es tampoco difícil convencerse del siguiente teorema de clasificación.

Teorema. Cualquier segmento del plano es equivalente bajo traslaciones a un segmento tal que uno de sus extremos es el origen.

$\square$

Veamos otra manera de clasificar los segmentos del plano.

Ejemplo. Diremos que dos segmentos son del mismo tipo si podemos llevar uno al otro a través de una isometría. Si hacemos esto entonces ahora sí todos los segmentos de la siguiente figura son equivalentes (pensando en que el segmento punteado tiene la misma longitud que los otros).

De hecho, por lo que sabemos de las isometrías podemos afirmar que bajo este criterio dos segmentos son del mismo tipo si y sólo si tienen la misma longitud. Esto nos llevaría a un teorema de clasificación un poco distinto.

Teorema. Cualquier segmento se puede mediante isometrías a un segmento que sale del origen y termina en un punto del la forma $(x,0)$ con $x>0$. Más aún, todos estos segmentos son de distinto tipo.

$\square$

En los dos ejemplos anteriores hemos sido un poco informales, pues dejamos varias cosas sin demostrar. Seguramente podrás detectarlas e intentar completar los argumentos que faltan. Algunas de estas cosas faltantes están en los ejercicios.

Más adelante…

En esta entrada hablamos de la noción de «clasificar» de manera muy general, con el fin de entenderla y ver algunas de las sutilezas que nos encontraremos más adelante. A partir de ahora nos enfocaremos en probar resultados de clasificación muy específicos, relacionados con las cónicas.

Sin embargo, queremos ser muy precisos con respecto a la clasificación que daremos. Por esta razón, en las siguientes dos entradas hablaremos de los objetos específicos que queremos clasificar y de las nociones de equivalencia que permitiremos.

Tarea moral

  1. Verifica que en nuestro ejemplo de juguete la relación «tener el mismo color» es una relación de equivalencia.
  2. Para cada una de las clasificaciones que dimos en nuestro ejemplo de juguete encuentra cuántas de las figuras originales hay en cada una de las clases.
  3. Demuestra que la relación en $\mathbb{Z}$ en la cual tenemos a $(x,y)$ si y sólo si $x-y$ es un número par es una relación de equivalencia. Muestra que en este caso la partición consiste en el conjunto de los números pares, y el conjunto de los números impares.
  4. Sea $S$ el conjunto de segmentos en el plano. Diremos un elemento $s_1$ de $S$ es traslacionalmente equivalente a otro elemento $s_2$ de $S$ si existe una traslación $T$ de $\mathbb{R}^2$ tal que $T(s_1)=s_2$. Demuestra que «ser traslacionalmente equivalente a» es una relación de equivalencia en $S$.
  5. Da teoremas de clasificación de las rectas en $\mathbb{R}$ usando transformaciones para cada una de las siguientes posibilidades:
    1. Dos rectas son del mismo tipo si se puede llevar una a otra mediante una traslación.
    2. Dos rectas son del mismo tipo si se puede llevar una a la otra mediante una rotación.
    3. Dos rectas son del mismo tipo si se puede llevar una a la otra mediante una isometría.

Entradas relacionadas

Geometría Analítica I: Encontrar el centro y los ejes de una cónica

Por Paola Lizeth Rojas Salazar

Deja un comentario

Introducción

En esta entrada, continuaremos con el estudio de las cónicas, pero en esta ocasión, vamos a encontrar su centro y ejes, a partir de dos grupos de isometrías que ya son familiares para nosotros, las rotaciones y traslaciones y usando otro tema que ya ha sido estudiado con anterioridad, la equivalencia de polinomios y reducción de términos lineales y cuadráticos.

Encontrando el centro de las traslaciones

Para cualquier vector $h \in \mathbb R^2$, consideremos la traslación $g(x)=x+h$ y veamos cómo se escribe el polinomio $P \circ g$ con $P(x)=x*Ax+k*x+f$:

\begin{equation}\left(P\circ g\right)(x)= P(x+h)=(x+h)*A(x+h)+k*(x+h)+f\end{equation}

Factorizando y desarrollando un poco la expresión anterior, obtenemos:

\begin{equation}\left(P\circ g\right)(x)=x*Ax+x*Ah+h*Ax+k*x+(h*Ah+k*h+f)\end{equation}

Donde $h*Ah+k*h+f=P(h)$

Lo que nos lleva, finalmente, a:

\begin{equation}\left(P\circ g\right)(x)=x*Ax+x*Ah+h*Ax+k*x+P(h)\end{equation}

La pregunta ahora es, ¿hay una forma de encontrar el centro de la traslación g a partir de esta expresión? Lo que, por muy extraño que parezca, es cierto, pero, ¿cómo?

Enunciemos unos lemas que nos ayudarán a encontrar la respuesta a la pregunta anterior.

Lema 4.4: Dadas $A$ y $B$ dos matrices que se puedan multiplicar, se cumple que $(AB)^T=B^TA^T$

Lema 4.5: Si tenemos una matriz simétrica $A$ (recordemos que una matriz $A$ es simétrica si $A=A^T$), entonces, para todo par de vectores $x,y$ en $\mathbb R$, se cumple que $x*Ay=Ax*y$

Demostración

Sean $x,y$ vectores, recordemos que $x=x^T$ y que $y=y^T$, por esto y el lema anterior, tenemos que:

\begin{equation}x*Ay=x^TAy=\left(x^TAy\right)^T=\left(Ay\right)^T\left(x^T\right)^T=y^TA^Tx=y*Ax=Ax*y\end{equation}

Ahora sí podemos encontrar el centro de la traslación considerando:

\begin{equation}\left(P\circ g\right)(x)=x*Ax+x*Ah+h*Ax+k*x+P(h)\end{equation}

Ya que, considerando el lema anterior, podemos simplificar $\left(P\circ g\right)(x)$ de la siguiente manera:

\begin{equation}\left(P\circ g\right)(x)=x*Ax+x*Ah+h*Ax+k*x+P(h)=2(Ah*x)+k*x+P(h)\end{equation}

Y, finalmente:

\begin{equation}\left(P\circ g\right)(x)=(2Ah+k)*x+P(h)\end{equation}

Donde $(2Ah+k)*x$ es la parte lineal de esta composición por lo que, si podemos encontrar una $h \in \mathbb R^2$ que cumpla que $2Ah+k=0$, entonces habremos encontrado una traslación que no contenga la parte lineal del polinomio. Si esta $h$ existe, es el centro de la traslación (en el caso de este capítulo, estaremos hablando de traslaciones de cónicas).

Lo anterior lo podemos resumir en el siguiente lema:

Lema 4.6: Sea $P(x)=x*Ax+k*x+f$ un polinomio cuadrático (es decir que $A=A^T$) tal que $det(A)\neq 0$. Si definimos $c:=-\frac{A^{-1}}{k}$, $c$ es el centro de la curva asociada al polinomio $P$, $C(P)$ donde:

\begin{equation}P(x+c)=x*Ax+P(c)\end{equation}

Como buena conclusión de este apartado, observa que las traslaciones afectan la parte lineal de los polinomios cuadráticos.

Encontrando los ejes de las rotaciones

Ahora considera la rotación $g(x)=Bx$ con $B$ en el general lineal de $\mathbb R^2$, es decir, $B \in Gl(2)$ y $P$ el polinomio cuadrático general. Entonces:

\begin{equation}(P\circ g)(x) = P(Bx)=(Bx)*A(Bx)+k(Bx)+f\end{equation}

Si desarrollamos y simplificamos esta expresión, obtenemos:

\begin{equation}(P\circ g)(x) = x*(B^TAB)x+(B^Tk)*x+f\end{equation}

La pregunta en este caso es, ¿existe una forma de encontrar los ejes de la rotación a partir de esta expresión? La respuesta es sí.

A diferencia de las traslaciones, en las que se afectaba la parte lineal, para las rotaciones nos vamos a enfocar en la parte cuadrática. Debemos encontrar una manera de simplificar la expresión $B^TAB$.

Considera a $B$ como matriz ortogonal $(B \in O(2))$, esto implica que $B^TAB=B^{-1}AB$ que es la matriz que expresa la función $A$ en la base de las columnas de $B$.

Finalmente, toma a $u,v$ columnas de $B$ que forman una base ortonormal y que $A$ alarga estas columnas en factores $\lambda, \mu$, es decir, que $Au=\lambda u$ y $Av=\mu v$. Entonces, las siguientes igualdades se cumplen:

\begin{equation}A=\begin{pmatrix} \lambda & 0 \\
0 & \mu\end{pmatrix}\end{equation}

\begin{equation}B^TAB=\begin{pmatrix} u,&v \end{pmatrix}^T*A\begin{pmatrix} u,&v \end{pmatrix}=\begin{pmatrix} u^TAu & u^TAv\\ v^TAu & v^TAv\end{pmatrix}\end{equation}

Si desarrollamos esta última igualdad, obtenemos:

\begin{equation}B^TAB=\begin{pmatrix} \lambda & 0 \\
0 & \mu\end{pmatrix}\end{equation}

Si encontramos una matriz B que cumpla $(3)$, podemos eliminar el término mixto del polinomio $P$ y acercarnos a los polinomios canónicos.

Tarea moral

  1. Demuestra el Lema 4.4.
  2. Demuestra que, para $A,B,C$ matrices que se pueden multiplicar, se tiene que: $\left(ABC\right)^T=C^TB^TA^T$
  3. Encuentra el centro, si es que tienen, de las curvas asociadas a los siguientes polinomios:
    • $xy-3x-2y-2$,
    • $x^2+2y^2-6x+4y+3$
    • $9x^2-4xy+6y^2-58x+24y+59$

Más adelante…

Continuaremos con el estudio de la equivalencia y reducción de polinomios, con valores y vectores propios.

Geometría Analítica I: Rotaciones y traslaciones

Por Paola Lizeth Rojas Salazar

Deja un comentario

Introducción

En este apartado, vamos a continuar con el estudio de las isometrías que se empezaron a analizar en la unidad anterior, las rotaciones y traslaciones.

Encontrando un punto fijo

Recuerda que ya definimos la rotación de un ángulo $\theta$ con centro en $c$ ($\rho_{\theta,c}$), en función de la traslación de $c$ al origen $\tau_c$ y la rotación de $\theta$ en el origen $\rho_\theta$, como: $\rho_{\theta,c}=\tau_c\circ \rho_\theta \circ \tau_{-c}$. Usando matrices, esta expresión se convierte en:

\begin{equation}\rho_{\theta,c}(x)= R_\theta (x-c)+c=R_\theta x+(c-R_\theta c)\end{equation}

Observa que esta expresión es de la forma $Ax+b$ con $b$ constante, por lo que $\rho_{\theta,c} \in Iso^+ (2).

Por otro lado, si el problema se invierte y ahora queremos ver que una función $f(x)=Ax+b \in Iso^+ (2)$ es la rotación de una función en algún centro, debemos encontrar un punto fijo $c$ para el que $f(c)=c$. Es decir:

\begin{equation}c=Ac+b\end{equation}

\begin{equation}c-Ac=b\end{equation}

Esto quiere decir, que debemos encontrar una solución a la ecuación $x-Ax=b$, que se puede reescribir como:

\begin{equation}(I-A)x=b\end{equation}

Por lo que has visto en los capítulos anteriores, esperamos que, al ver esta expresión, hayas recordado que este sistema tiene solución única si y solo si su determinante es distinto de cero, donde su determinante es:

\begin{equation}det(I-R_\theta)=det\begin{pmatrix} 1-\cos(\theta) & \sin(\theta) \\
-\sin(\theta) & 1-\cos(\theta)\end{pmatrix}\end{equation}

Donde puedes comprobar que $det(I-R_\theta)=2(1-\cos(\theta))$.

Lo anterior implica que, si $\theta\neq 0$, entonces $det(I-R_\theta)\neq 0)$, lo que resulta en una solución única para el sistema resultante que es $A=R_\theta$ el punto fijo que estábamos buscando. Finalmente, podemos concluir que $f$ es una rotación.

Centro de rotación para composición de rotaciones

Lo anterior implica el siguiente corolario:

Corolario A: La composición de rotaciones es una nueva rotación.

La nueva pregunta que surge es, ¿cuál es el centro de rotación de la composición de rotaciones? Las siguientes líneas, las dedicaremos a encontrar este nuevo centro de rotación.

Considera $\rho_{\alpha,a}$ y $\rho_{\beta,b}$ las rotaciones de ángulos $\alpha$ y $beta$ y centros en $a$ y $b$ respectivamente. La composición de estas dos rotaciones tiene un ángulo $\alpha + \beta$, pero su centro depende del orden de composición.

Para encontrar el centro de rotación, de forma geométrica, para $\rho_{\beta,b} \circ \rho_{\alpha,a}$, se trazan las líneas que van de $a$ a $b$, después, midiendo los ángulos a partir de esta recta, la línea que pasa por $a$ con ángulo $-\frac{\alpha}{2}$ y la que pasa por $b$ con ángulo $\frac{\beta}{2}$. La intersección de las últimas dos líneas es el nuevo centro de rotación $c$.

Observa que, para la composición $\rho_{\alpha,a} \circ \rho_{\beta,b}$, su nuevo centro de rotación es el reflejado de $c$ respecto de la línea que pasa por $a$ y $b$.

Tarea moral

  1. Verifica que, efectivamente, se cumple que $det(I-R_\theta)=2(1-\cos(\theta))$.
  2. Demuestra el Corolario A.
  3. Como veremos más delante, las homotecias, son transformaciones de la forma $f(x)=kx+b$ donde $k\neq 0$ se conoce como el factor de expansión. Demuestra que las homotecias con $k\neq 1$ tienen un punto fijo (este punto fijo se llama centro de expansión).

Más adelante…

En la siguiente entrada de esta unidad, hablaremos sobre otro tipo de isometrías que ya estudiamos en la unidad anterior, las reflexiones.