Geometría Analítica I: Las cónicas que existen

Por Paola Lizeth Rojas Salazar

Deja un comentario

Introducción

Anteriormente, ya vimos la definición de «clasificación», ahora, usaremos esta definición para clasificar a las cónicas.

Para realizar esta clasificación, lo primero que debemos observar es que podemos hablar de las curvas asociadas a los polinomios de la siguiente manera:

Considera a un polinomio cuadrático como una función $P: \mathbb R^2 \to \mathbb R$ que a cada punto $x \in \mathbb R^2$, le asigna el número $P(x)$. Entonces, la curva asociada al polinomio P, o los ceros del polinomio P, son el siguiente subconjunto de $\mathbb R^2$:

\begin{equation} C(P)=\{x \in \mathbb R^2| P(x)=0\} \end{equation}

Además, vamos a decir que un subconjunto $C\subset \mathbb R^2$ es una curva cuadrática si, para algún polinomio cuadrático $P$, se tiene que $C=C(P)$

En conclusión, cualquier curva cuadrática, será equivalente a alguna de las cónicas que se muestran a continuación.

Las cónicas canónicas

  • El círculo unitario

El polinomio $x^2+y^2-1$, tiene como ceros el círculo unitario.

  • La hipérbola unitaria

El polinomio $x^2-y^2-1$, tiene como ceros a la hipérbola unitaria.

  • La parábola canónica

El polinomio $x^2-y$, tiene como ceros a una parábola.

Estas transformaciones afines, pueden mandar a muchas otras, por ejemplo, las elipses se pueden obtener del círculo unitario.

Conjuntos formados por polinomios cuadráticos

  • El círculo imaginario

El polinomio $x^2+y^2+1$, no tiene ningún cero en los reales, pero sí tiene solución en los números complejos, por lo que, a su curva cuadrática, la llamaremos «círculo imaginario».

  • Par de rectas

El polinomio $x^2-y^2$ tiene como conjunto de ceros a la unión de las dos rectas $x+y=0$ y $x-y=0$

  • El círculo de radio cero

El polinomio $x^2+y^2$ es el caso límite de círculos cuyos radios se hacen $0$. También las podemos llamar par rectas imaginarias, porque al factorizar el polinomio, resulta en valores complejos.

  • Rectas paralelas

El polinomio $x^2-1$ da dos rectas paralelas en $x=1$ y $x=-1$

  • Rectas paralelas imaginarias

El polinomio $x^2+1$ define dos rectas paralelas imaginarias en $x=i$ y $x=-i$

  • Recta doble

El polinomio dado por $x^2$, aunque solo consiste de una recta en $x=0$, se le llama doble por el polinomio que la define.

Tarea moral

  1. Realiza un dibujo en el plano euclidiano (si es posible), para cada una de las cónicas canónicas y curvas que se obtienen con los polinomios cuadráticos que mencionamos en esta entrada.
  2. Muestra que, efectivamente, los ceros de cada uno de los polinomios mostrados en la entrada, son los que mencionamos.

Más adelante…

En las siguientes entradas, estudiaremos la equivalencia y reducción de polinomios para después continuar con el análisis de las cónicas.

Cálculo Diferencial e Integral I: Derivabilidad y continuidad

Por Juan Manuel Naranjo Jurado

1 respuesta

Introducción

En esta sección ligaremos el concepto de continuidad con el de derivabilidad; tal relación no presentará ninguna sorpresa considerando el ejemplo de la función valor absoluto revisada en la entrada anterior. Adicionalmente, nos enfocaremos en la demostración de algunas propiedades básicas de la derivada.

Relación entre derivabilidad y continuidad

Proposición. Sean $A \subset \RR$, $f: A \to \RR$ y $x_0 \in A$, si $f$ es derivable en $x_0$, entonces $f$ es continua en $x_0$.

Demostración.

\begin{align*}
\lim_{x \to x_0} f(x) & = \lim_{x \to x_0} \left( f(x) – f(x_0) + f(x_0) \right) \\ \\
& = \lim_{x \to x_0} \left[ \left( \frac{f(x)-f(x_0)}{x-x_0} \right) (x-x_0)+f(x_0) \right] \\ \\
& = f'(x_0) \cdot 0+f(x_0) \text{, pues }f \text{ es derivable}\\ \\
& = f(x_0).
\end{align*}

$$\therefore \lim_{x \to x_0} f(x) = f(x_0).$$

Por tanto, $f$ es continua en $x_0$.

$\square$

Veremos que el regreso no es cierto, es decir, si $f$ es continua en $x_0$ no necesariamente es derivable en $x_0$.

Ejemplo 1. Consideremos $f: \RR \to \RR$, $f(x) = |x|.$

Primero probaremos que $f$ es continua en $x_0 = 0$.

Demostración.

Sea $\varepsilon > 0$.

Consideremos $\delta = \varepsilon$.

Si $|x-0| < \delta$, entonces

\begin{align*}
|f(x)-0| & = |f(x)| \\
& = ||x|| \\
& = |x| \\
& < \delta \\
& = \varepsilon.
\end{align*}

$$\therefore |f(x)-0| < \varepsilon.$$

Con esto, hemos probado que $f$ es continua en $x_0 = 0$, sin embargo, en la entrada anterior vimos que no era derivable en tal punto.

$\square$

Para continuar, revisaremos algunas propiedades básicas de la derivada, tal como qué sucede con la derivada de la suma o producto de funciones, y sus demostraciones se obtienen directamente de la definición, razón por la cual será conveniente tenerla presente.

Derivada de la suma de funciones

Proposición. Sean $A \subset \RR$, $f: A \to \RR$, $g: A \to \RR$ y $x_0 \in A$ tales que $f$ y $g$ son derivables en $x_0$, es decir, $f'(x_0)$ y $g'(x_0)$ sí existen. Entonces

  1. $f+g$ es derivable en $x_0$, además $$(f+g)'(x_0) = f'(x_0) + g'(x_0).$$
  2. Si $c \in \RR$ es una constante, $cf$ es derivable en $x_0$, además $$(cf)'(x_0) = cf'(x_0).$$
  3. $f-g$ es derivable en $x_0$, además $$(f-g)'(x_0) = f'(x_0) – g'(x_0).$$

Demostración.

$(1)$

\begin{align*}
(f+g)'(x_0) & = \lim_{x \to x_0} \frac{(f(x)+g(x))-(f(x_0)+g(x_0))}{x-x_0} \\ \\
& = \lim_{x \to x_0} \frac{f(x)+g(x)-f(x_0)-g(x_0)}{x-x_0} \\ \\
& = \lim_{x \to x_0} \frac{ ( f(x)-f(x_0) ) + ( g(x)-g(x_0) )}{x-x_0} \\ \\
& = \lim_{x \to x_0} \left( \frac{f(x)-f(x_0)}{x-x_0} + \frac{g(x)-g(x_0)}{x-x_0} \right) \\ \\
& = \lim_{x \to x_0} \frac{f(x)-f(x_0)}{x-x_0} + \lim_{x \to x_0} \frac{g(x)-g(x_0)}{x-x_0} \text{, pues $f$ y $g$ son derivables en $x_0$}. \\ \\
& = f'(x_0) + g'(x_0)
\end{align*}

$$\therefore (f+g)'(x_0) = f'(x_0) + g'(x_0).$$

$(2) \text{ y } (3)$ quedarán como tarea moral.

$\square$

Derivada del producto de funciones

Proposición. Sean $A \subset \RR$, $f: A \to \RR$, $g: A \to \RR$ y $x_0 \in A$ tales que $f$ y $g$ son derivables en $x_0$, es decir, $f'(x_0)$ y $g'(x_0)$ sí existen. Entonces

  1. $f \cdot g$ es derivable en $x_0$, además $$(f \cdot g)'(x_0) = f(x_0)g'(x_0) + f'(x_0) g(x_0).$$
  2. Si $g(x_0) \neq 0$, entonces $\frac{1}{g}$ es derivable en $x_0$, además $$\left( \frac{1}{g} \right)’ (x_0) = -g(x_0) \left( \frac{1}{(g(x_0))^2} \right).$$
  3. Si $g(x_0) \neq 0$, entonces $\frac{f}{g}$ es derivable en $x_0$, además $$\left( \frac{f}{g} \right)’ (x_0) = \frac{-f(x_0)g'(x_0) + g(x_0)f'(x_0)}{(g(x_0))^2}.$$

Demostración.

$(1)$

\begin{align*}
(f\cdot g)’ (x_0) & = \lim_{x \to x_0} \frac{f(x)g(x)-f(x_0)g(x_0)}{x-x_0} \\ \\
& = \lim_{x \to x_0} \frac{f(x)g(x)-f(x_0)g(x)+f(x_0)g(x)-f(x_0)g(x_0)}{x-x_0} \\ \\
& = \lim_{x \to x_0} \left( \frac{f(x)-f(x_0)}{x-x_0} \cdot g(x) + f(x_0) \cdot \frac{g(x)-g(x_0)}{x-x_0} \right) \\ \\
& = f'(x_0)g(x_0) + f(x_0)g'(x_0).
\end{align*}

Notemos que en el último paso se utiliza que $f$ y $g$ son derivables, y eso en particular implica que $g$ es continua por lo cual podemos aplicar el límite.

$$\therefore (f \cdot g)'(x_0) = f(x_0)g'(x_0) + f'(x_0) g(x_0).$$

$(2)$

\begin{align*}
\left(\frac{1}{g}\right)’ (x_0) & = \lim_{x \to x_0} \frac{ \left( \frac{1}{g} \right) (x) – \left( \frac{1}{g} \right) (x_0) }{x- x_0} \\ \\
& = \lim_{x \to x_0} \frac{\frac{1}{g(x)}-\frac{1}{g(x_0)}}{x-x_0} \\ \\
& = \lim_{x \to x_0} \frac{\frac{g(x_0)-g(x)}{g(x) \cdot g(x_0)}}{x-x_0} \\ \\
& = \lim_{x \to x_0} \left( -\frac{g(x)-g(x_0)}{x-x_0} \right) \cdot \left( \frac{1}{g(x) \cdot g(x_0)} \right) \\ \\
& = -g(x_0) \left( \frac{1}{(g(x_0))^2} \right) \text{, pues $g$ es derivable (y continua).}
\end{align*}

$$\therefore \left( \frac{1}{g} \right)’ (x_0) = -g(x_0) \left( \frac{1}{(g(x_0))^2} \right).$$

$(3)$

\begin{align*}
\left( \frac{f}{g} \right)’ (x_0) & = \left( f \cdot \left( \frac{1}{g} \right) \right)’ (x_0) \\ \\
& = f(x_0) \left( \frac{1}{g} \right)’ (x_0) + f'(x_0) \left( \frac{1}{g} \right) (x_0) \text{, por (1)}\\ \\
& = f(x_0) \left( \frac{-g'(x_0)}{(g(x_0))^2} \right) + \frac{f'(x_0)}{g(x_0)} \text{, por (2)} \\ \\
& = \frac{-f(x_0)g'(x_0) + g(x_0)f'(x_0)}{(g(x_0))^2}.
\end{align*}

$$\therefore \left( \frac{f}{g} \right)’ (x_0) = \frac{-f(x_0)g'(x_0) + g(x_0)f'(x_0)}{(g(x_0))^2}.$$

$\square$

Un par de ejemplos

Lo siguiente será revisar un par de ejemplos para aplicar las propiedades revisadas. Recordemos que gracias a la entrada anterior ya conocemos la derivada de algunas funciones:

\begin{gather*}
f_1(x) = ax+b, &\qquad f’_1(x) = a.\\
f_2(x) = x^2, & \qquad f’_2(x) = 2x. \\
f_3(x) = c, & \qquad f’_3(x) = 0. \\
f_4(x) = \sqrt{x}, & \qquad f’_4(x) = \frac{1}{2\sqrt{x}}.
\end{gather*}

Ejemplo 2. Encuentra la derivada de la función $f(x)=\sqrt{x}+x^2-10$.

Notemos que $f(x) = f_4(x) + f_2(x) – f_3(x)$. Sabemos que la derivada de una suma (resta) de funciones es la suma (resta) de sus respectivas derivadas, así tenemos que

\begin{align*}
f'(x) & = f’_4(x) + f’_2(x) – f’_3(x) \\
& = \frac{1}{2\sqrt{x}} + 2x.
\end{align*}

Ejemplo 3. Encuentra la derivada de la función $f(x)=\frac{\sqrt{x}}{5x+30}$.

Notemos que $f(x)=\frac{f_4(x)}{f_1(x)}$. Usando la propiedad de la derivada del cociente de funciones, tenemos que

\begin{align*}
f'(x) & = \frac{-f_4(x_0)f’_1(x_0) + f_1(x_0)f’_4(x_0)}{(f_1(x_0))^2} \\ \\
& = \frac{-\sqrt{x} \cdot 5 + (5x+30) (\frac{1}{2\sqrt{x}})}{ (5x+30)^2} \\
& = \frac{- 5 \sqrt{x} + (\frac{5x+30}{2\sqrt{x}})}{ (5x+30)^2} \\ \\
& = \frac{ \frac{-10x+ 5x+30}{2 \sqrt{x}} }{ 25\cdot (x+6)^2} \\ \\
& = \frac{5(6-x)}{50 \sqrt{x} (x+6)^2} \\ \\
& = \frac{6-x}{10 \sqrt{x} (x+6)^2}.
\end{align*}

Más adelante…

Después de haber revisado qué sucede cuando se deriva la suma, el producto y el cociente de funciones surge una pregunta natural en términos de las operaciones disponibles para las funciones: ¿qué pasa con la composición de funciones?

En la siguiente entrada responderemos esta pregunta y estudiaremos la famosa Regla de la Cadena.

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.

  • Sean $A \subset \RR$, $f: A \to \RR$, $g: A \to \RR$ y $x_0 \in A$ tales que $f$ y $g$ son derivables en $x_0$, es decir, $f'(x_0)$ y $g'(x_0)$ sí existen. Prueba que:
    • Si $c \in \RR$ es una constante, $cf$ es derivable en $x_0$, además $$(cf)'(x_0) = cf'(x_0).$$
    • $f-g$ es derivable en $x_0$, además $$(f-g)'(x_0) = f'(x_0) – g'(x_0).$$
  • Prueba que si $f_1$, $f_2$, $\ldots$, $f_n$ son funciones derivables en $x_0 \in A \subset \RR$, entonces
    • La función $f_1+f_2+\ldots+f_n$ es derivable en $x_0$ y $(f_1+f_2+\ldots+f_n)'(x_0) = f’_1(x_0)+f_2′(x_0)+\ldots+f_n'(x_0).$
    • La función $f_1 \cdot f_2 \cdot \ldots \cdot f_n$ es derivable en $x_0$ y
      \begin{align*}
      (f_1 \cdot f_2 \cdot \ldots \cdot f_n)'(x_0) = & f_1′(x_0) \cdot f_2(x_0) \cdot \ldots \cdot f_n(x_0)+f_1(x_0) \cdot f_2′(x_0) \cdot \ldots \cdot f_n(x_0) \\
      & + \ldots + f_1(x_0) \cdot f_2(x_0) \cdot \ldots \cdot f_n'(x_0).
      \end{align*}
  • Empleando las propiedades revisadas en esta entrada, encuentra la derivada de las siguientes funciones:
    • $f(x) = \frac{1}{\sqrt{x}}.$
    • $g(x) = \frac{x-1}{5-2x+x^2}.$

Entradas relacionadas

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Geometría Analítica I: ¿Qué es clasificar?

Por Paola Lizeth Rojas Salazar

Deja un comentario

Introducción

En entradas anteriores, ya hemos hablado las cónicas que son lugares geométricos de puntos en el plano euclidiano que cumplen cierta propiedad dada en términos de distancias. En esta ocasión, nos interesa clasificar a las cónicas, por lo que comenzaremos respondiendo la siguiente pregunta: ¿qué es clasificar?

Definición

«Clasificar» es describir o enumerar las clases de equivalencia de un conjunto de objetos geométricos que cumplen ciertos «criterios».

Por lo anterior, lo primero que debemos hacer es establecer una noción de equivalencia, que es con lo que vamos a definir las condiciones que vamos a aceptar para decir que dos objetos son equivalentes.

Objetos equivalentes

Formalicemos lo anterior.

Recuerda que una figura plana es cualquier subconjunto $F\subset \mathbb R^2$. Considera a $G$ un grupo de transformaciones de $\mathbb R^2$.

Decimos que dos figuras $F_1, F_2 \subset \mathbb R^2$ son $G$-equivalentes ($F_1 \sim^GF_2$), si existe $g \in G$ tal que $g(F_1)=F_2$.

Veamos que $\sim^G$ es una relación de equivalencia.

Demostración

  • P.D. $\sim^G$ es reflexiva ($F\sim^GF)

Como $id(F)=F$ e $id$ está en $G$, entonces $\sim^G$ es reflexiva.

  • P.D. $\sim^G$ es simétrica (Si $F_1\sim^G F_2 \Rightarrow F_2\sim^G F_1$)

Si existe $g\in G$ tal que $g(F_1)=F_2$, entonces existe $g^{-1}\in G$ tal que $g^{-1}(F_2)=F_1$. Lo que implica que $\sim^G$ es simétrica.

  • P.D. $\sim^G$ es transitiva (Si $F_1\sim^G F_2 y F_2\sim^G F_3 \Rightarrow F_1\sim^G F_3$)

Si $g_1(F_1)=F_2$ y $g_2(F_2)=F_3$ con $g_1,g_2\in G$, entonces, $(g_2 \circ g_1)\in G$ y, además, $(g_2 \circ g_1)(F_1)=F_3. Entonces, $\sim^G$ es transitiva.

Por lo tanto, $\sim^G$ es una relación de equivalencia

Finalmente, observa que estas relaciones de «anidan» siguiendo la contención de grupos, esto quiere decir que, si $H\subset G$, entonces $F_1\sim^H F_2 \Rightarrow F_1\sim^G F_2$.

Tarea moral

  1. Describe, de forma matemática, la clasificación de triángulos.

Más adelante

A continuación, como ya sabemos a qué nos referimos con clasificar, vamos a ver los diferentes tipos de cónicas que existen.

Geometría Analítica I: Homotecias y semejanzas

Por Paola Lizeth Rojas Salazar

Deja un comentario

Introducción

En esta ocasión, vamos a estudiar dos transformaciones importantes en las matemáticas, que ya hemos mencionado en entradas anteriores, pero que no hemos definido. Estas transformaciones son las semejanzas y las homotecias.

Homotecias

Las homotecias son las transformaciones que hacen que una figura aumente o disminuya de tamaño (como si aplicáramos un «zoom» a la figura). El cuánto aumenta o disminuye esta figura, es lo que llamaremos «factor de expansión», que tendrá un centro que se va a mantener mientras la figura aumenta o disminuye de tamaño, a este centro lo llamaremos «centro de expansión».

Cuando el centro de expansión es el origen, tenemos una transformación lineal con la siguiente matriz asociada:

\begin{equation}kI=\begin{pmatrix} k & 0 \\ 0 & k\end{pmatrix}\end{equation}

Con $k>0$.

Si $k>1$, tenemos un aumento y, si $k<1$, tenemos una disminución.

Si ahora componemos esta matriz con una traslación por $b \in \mathbb R^2$, obtenemos una homotecia de factor $k$ con centro de expansión $c$ que es el punto fijo que se obtiene resolviendo la siguiente ecuación:

\begin{equation}kx+b=x \end{equation}

Semejanzas

Las semejanzas son transformaciones que preservan ángulos.

Observa que las homotecias y las isometrías son semejanzas. Lo anterior muestra que las tres transformaciones están relacionadas, a continuación hablaremos más a fondo de esta relación.

Teorema 3.25: Si $f:\mathbb R^2 \to \mathbb R^2$ es una semejanza, entonces existen $k>0$, $A\in O(2)$ y $b \in \mathbb R^2$ tales que:

\begin{equation} f(x)=kAx+b \end{equation}

Demostración

Considera la transformación lineal $g(x)=f(x)-b$, con $b:=f(0)$. Esta transformación es una traslación, por lo que preserva ángulos.

También considera a $B=(u,v)$, la matriz asociada a $g$, donde $u$ y $v$ son ortogonales con la misma norma $(*)$.

Finalmente, sean $k=|u|=|v|$ y $A=\frac{B}{k}$.

Observa que $A\in O(2)$ porque sus columnas son ortonormales y que, además:

\begin{equation} f(x)=g(x)+b=Bx+b=k Ax+b\end{equation}

Lo que concluye la demostración.

Tarea moral

  1. Demuestra, en $(*)$, que $u$ y $v$ son ortogonales con la misma norma.
  2. Encuentra la expresión de la homotecia de factor de expansión $k$ y centro $c$.
  3. Demuestra que una transformación $f:\mathbb R^2 \to \mathbb R^2$ es una semejanza si y solo si, existe $k>0$ tal que $d(f(x),f(y))=kd(x,y)$ para todo $x,y \in \mathbb R^2$.

Más adelante…

No te pierdas la siguiente entrada en la que hablaremos de un nuevo tema, la clasificación.

Geometría Analítica I: Reflexiones y pasos

Por Paola Lizeth Rojas Salazar

Deja un comentario

Introducción

En entradas anteriores, ya estudiamos algunas isometrías, en esta ocasión, dedicaremos esta sección al estudio de las isometrías que cambian de orientación, es decir, de las que son de la forma $f(x)= E_\theta x+b$ con $E_\theta$ una matriz de reflexión.

Algunas definiciones informales

Antes de empezar con este capítulo, es importante entender a qué nos referimos con reflexiones y «pasos».

  • Reflexiones: Como ya hemos estado estudiando en otras entradas, se tiene una reflexión cuando hay un comportamiento similar a un espejo, es decir, que se tiene exactamente lo mismo y a la misma altura, pero de forma «reflejada».
  • Pasos: Entenderemos por «pasos» a la acción que realizamos al caminar y avanzar. Y, a los pasos con traslación trivial, a los que damos reflejando nuestros pasos con una línea recta.

Un teorema importante

Teorema 3.24: Una isometría que invierte orientación es un paso (con traslación trivial) o una reflexión.

Demostración

La isometría que invierte orientación, como ya mencionamos al inicio, es de la forma $f(x)= E_\theta x+b$ con $E_\theta$ matriz de reflexión.

  • Puntos fijos

Primero vamos a ver si hay puntos fijos, para esto, debemos analizar el siguiente determinante:

\begin{equation}det(I-E_\theta)=det\begin{pmatrix} 1-\cos(2\theta) & – \sin(2\theta) \\
– \sin(2\theta) & 1+\cos(2\theta)\end{pmatrix}\end{equation}

De donde obtenemos:

\begin{equation}det(I-E_\theta)=1-\cos^2(2\theta)-\sin^2(2\theta)=1-1=0\end{equation}

Esto significa que no hay una solución única, es decir, que no tiene solución o tiene muchas soluciones.

  • Análisis de soluciones

Si $b=0$, entonces $f$ es una reflexión y las soluciones son los puntos de la recta espejo: l.

Veamos cuáles son los puntos de la recta l satisfacen la ecuación anterior que encontramos. Si $u=(\cos(\theta),\sin(\theta))$ es el vector unitario que genera a l, entonces:

\begin{equation}E_\theta u=\begin{pmatrix} \cos(2\theta) & \sin(2\theta) \\
\sin(2\theta) & -\cos(2\theta)\end{pmatrix}\begin{pmatrix} \cos(\theta)\\
\sin(\theta) \end{pmatrix}\end{equation}

Donde, después de aplicar las funciones trigonométricas, llegamos a:

\begin{equation}E_\theta u=\begin{pmatrix} \cos(2\theta-\theta)\\
\sin(2\theta-\theta) \end{pmatrix}=u\end{equation}

Esto implica que $E_\theta(tu)=t(E_\theta u)=tu$ son todos los puntos de la recta l que satisfacen que $(I-E_\theta) x=0$.

Si para alguna $b$, el sistema $(I-E_\theta)x=b tiene una solución en particular, $c$, entonces toda la recta l$+c$ tiene soluciones para el sistema y se trata de una reflexión con espejo l$+c$, es decir, se trata de un «paso».

Pero, ¿cuáles son estas $b$ para las que hay solución?

Encontremos estas $b$ pensando de forma geométrica.

Observemos que, para cualquier $x \in \mathbb R^2$, la expresión $(I-E_\theta)x=x-E_\theta x$ indica el vector que va de $E_\theta x$ a $x$ y que es perpendicular al «espejo».

Si vemos a $(I-E_\theta)$ como función, encontraremos que es la proyección ortogonal a $l^T$, lo que implica que su imagen sea $l^T$.

De lo anterior, podemos concluir que la isometría $f(x)=E_\theta x+b$ solo tiene puntos fijos si $b\in l^T$

  • Otra forma de escribir la isometría

Finalmente, observemos que, cualquier $b \in \mathbb R^2$ puede ser escrito como suma de sus componentes respecto a la base normal $u, u^T$, es decir, como: $b-b1+b2$

Entonces podemos escribir la la isometría como:

\begin{equation}f(x)=(E_\theta x+b_2)+b_1\end{equation}

Con lo que concluimos la demostración.

Tarea moral

  1. Demuestra que si $f$ es una isometría que invierte orientación, entonces $f^2=f\circ f$ es una traslación.
  2. Con la notación usada en esta sección, demuestra usando coordenadas e identidades trigonométricas, que $(I-E_\theta) u^T=2u^T$
  3. Si $f(x)=E_\theta x+b$. Encuentra y argumenta geométricamente una expresión para $f^{-1}$.

Más adelante…

No te pierdas la siguiente sección de estudio en la que analizaremos las homotecias y semejanzas.