Archivo de la categoría: Matemáticas

Posts de matemáticas, la ciencia más cercana a las artes.

Cálculo Diferencial e Integral I: Funciones pares e impares

Por Karen González Cárdenas

Introducción

Ahora veremos cuales son las características que debe cumplir una función para ser par o impar. Veremos geométricamente qué ocurre con estas funciones. De igual manera, veremos qué ocurre al realizar operaciones entre ellas.

Definición de función par

Definición: Decimos que $f: A \rightarrow B$ una función es par si y sólo si para todo $x \in A$ ocurre que:
$$f(x)=f(-x)\quad\text{.}$$

Ejemplo

La función $f(x)=x^{2}$ cumple ser par ya que:
$$f(-x)=(-x)^{2}=x^{2}=f(x)$$
para todo $x \in \r$.
De su gráfica observamos que $f$ se refleja respecto al eje $y$:

Definición de función impar

Definición: Decimos que $f: A \rightarrow B$ una función es impar si y sólo si para todo $x \in A$ ocurre que:
$$f(-x)= – f(x)\quad\text{.}$$

Ejemplo

La función $g(x)=x$ cumple ser impar ya que:
$$g(-x)=(-x) = – (x) = -g(x)$$
para todo $x \in \r$.
De su gráfica observamos que $f$ se refleja respecto al origen:

Un teorema importante

Teorema: Cualquier función $f: \r \rightarrow \r$ puede expresarse como la suma de una función par e impar, es decir,
$$f(x)= P(x)+ I(x)$$
para toda $x \in \r$, donde $P(x)$ e $I(x)$ son únicas.
Demostración: Consideremos las funciones $P(x)$ par e $I(x)$ impar como sigue:
\begin{align*}
P(x)&=\frac{f(x)+f(-x)}{2} & I(x)&=\frac{f(x)-f(-x)}{2}
\end{align*}

Vemos que al realizar la suma obtenemos:
\begin{align*}
P(x)+I(x) &= \frac{f(x)+f(-x)}{2} + \frac{f(x)-f(-x)}{2}\\
&= \frac{f(x)+f(-x)+f(x)-f(-x)}{2}\\
&= \frac{2f(x)}{2}\\
&= f(x)
\end{align*}

Ahora nos falta ver qué $P(x)$ e $I(x)$ son únicas. Como ya sabemos que $f(x)= P(x)+ I(x)$ tenemos lo siguiente:
\begin{align}
f(x)&=P(x)+I(x)\\
f(-x)&=P(x)-I(x)\\
\end{align}
Así sumando $(1)$ y $(2)$ obtenemos:
\begin{align*}
f(x)+f(-x) &= 2 P(x)\\
P(x) &= \frac{f(x)+f(-x)}{2}
\end{align*}
Ahora restando $(1)$ y $(2)$ obtenemos:
\begin{align*}
f(x)-f(-x) &= 2 I(x)\\
I(x) &= \frac{f(x)-f(-x)}{2}
\end{align*}
Dado que tenemos la igualdad $f(x)= P(x)+ I(x)$ concluimos que $P(x)$ e $I(x)$ son únicas.

$\square$

Ejercicio

Consideremos las funciones $f,g: \r \rightarrow \r$. ¿Cómo es $f+g$, $fg$ y $f \circ g$ si:

  1. $f$ y $g$ son pares
  2. $f$ y $g$ son impares
  3. $f$ es par y $g$ es impar
  4. $f$ es impar y $g$ es par

es par, impar o no necesariamente alguna de las anteriores?

En la suma de funciones


1. Si $f$ y $g$ son pares $\Rightarrow f+g$ es par.
Demostración:
Vemos que al desarrollar:
\begin{align*}
(f+g)(-x)&= f(-x)+g(-x)\tag{ definición de $f+g$}\\
&= f(x)+g(x)\tag{ por $f$ y $g$ pares}\\
&= (f+g)(x)\tag{ definición de $f+g$}\\
\end{align*}
3. Si $f$ es par y $g$ es impar $\Rightarrow f+g$ no necesariamente es par o impar.
Consideremos $f(x)= x^{2}$ y $g(x)=x$. Luego si $x=1$ entonces:
\begin{align*}
(f+g)(-1)&= f(-1)+g(-1) & (f+g)(1)&= f(1)+g(1)\\
&= 1-1 & &= 1+1\\
&= 0 & &=2
\end{align*}
$\therefore (f+g)(-1) \neq (f+g)(1)$
$\therefore f+g$ no es par.

Además veamos que $-(f+g)(1)=-2$ por lo que:
$$-(f+g)(1) \neq (f+g)(-1)$$
$\therefore f+g$ tampoco es impar.

En el producto de funciones


1. Si $f$ y $g$ son pares $\Rightarrow fg$ es par.
Demostración:
Si tomamos $fg(-x)$ observamos lo siguiente:
\begin{align*}
(fg)(-x)&= f(-x)g(-x) \tag{definción de $fg$}\\
&= f(x)g(x) \tag{por$f$ y $g$ pares}\\
&= (fg)(x)
\end{align*}
$\therefore fg$ es par.

2. Si $f$ y $g$ son impares $\Rightarrow fg$ es par.
Demostración:
Comenzando con $fg(-x)$ y desarrollando tenemos:
\begin{align*}
(fg)(-x)&= f(-x)g(-x) \tag{definción de $fg$}\\
&= (-f(x))(-g(x)) \tag{por$f$ y $g$ impares}\\
&=f(x)g(x)\\
&= (fg)(x)
\end{align*}
$\therefore fg$ es par.

En la composición de funciones


3. Si $f$ es par y $g$ es impar $\Rightarrow f \circ g$ es par.
Demostración:
Realizando la composición $(f \circ g)(-x)$:
\begin{align*}
(f \circ g)(-x)&=f(g(-x)) \tag{definción de $f \circ g$}\\
&= f(-g(x)) \tag{ por $g$ impar}\\
&= f(g(x)) \tag{por $f$ par}\\
&=(f \circ g)(x)
\end{align*}
$\therefore f \circ g$ es par.

4.Si $f$ es impar y $g$ es par $\Rightarrow f \circ g$ es par.
Demostración:
Procediendo análogamente al punto anterior:
\begin{align*}
(f \circ g)(-x)&=f(g(-x)) \tag{definción de $f \circ g$}\\
&= f(g(x)) \tag{ por $g$ par}\\
&=(f \circ g)(x)
\end{align*}
$\therefore f \circ g$ es par.

Los puntos faltantes se dejarán como ejercicios de Tarea moral, para resolverlos se debe proceder como en los incisos anteriores según sea el caso.

Más adelante

En la siguiente entrada, continuaremos con las funciones crecientes y decrecientes. Veremos qué características debe cumplir una función para poder determinar si crece o decrece en un intervalo. También exploraremos qué significa ser una función acotada y algunas pruebas relacionadas con este concepto.

Tarea moral

  • Prueba que las funciones $P(x)$ e $I(x)$ cumplen con ser par e impar respectivamente:
    \begin{align*}
    P(x)&=\frac{f(x)+f(-x)}{2} & I(x)&=\frac{f(x)-f(-x)}{2}
    \end{align*}
  • Demuestra que la función constante cero es la única que cumple ser par e impar.
  • Exprese a las siguientes funciones como suma de una función par y una impar:
    • $f(x)= x^{2}-4x+2$
    • \begin{multline*}h(x)=\frac{1}{1+x^{2}}\end{multline*}
  • Termina los puntos faltantes del ejercicio anterior:
    • Para $f+g$ cuando $f$ y $g$ son impares

    • Para $f+g$ cuando $f$ es impar y $g$ es par.

    • Para $fg$ cuando $f$ es par y $g$ es impar

    • Para $fg$ cuando $f$ es impar y $g$ es par

    • Para $f \circ g$ cuando $f$ y $g$ son pares

    • Para $f \circ g$ cuando $f$ y $g$ son impares

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»

Ecuaciones Diferenciales I: Método de reducción de orden

Por Omar González Franco

La única forma de aprender matemáticas es hacer matemáticas.
– Paul Halmos

Introducción

Hemos comenzado estudiando algunas de las propiedades de las soluciones a ecuaciones diferenciales lineales homogéneas y no homogéneas de orden superior. Como mencionamos en la entrada anterior, es momento de comenzar a desarrollar los distintos métodos de resolución de ecuaciones diferenciales de orden superior, sin embargo, debido a la complejidad que surge de aumentar el orden, en esta entrada sólo consideraremos ecuaciones diferenciales de segundo orden.

En esta entrada desarrollaremos el método de reducción de orden, como su nombre lo indica, lo que haremos básicamente es hacer un cambio de variable o una sustitución adecuada que permita que la ecuación de segundo orden pase a ser una ecuación de primer orden y de esta manera aplicar alguno de los métodos vistos en la unidad anterior para resolver la ecuación.

Hay dos distintas formas de reducir una ecuación de segundo orden, la primera de ellas consiste en hacer el cambio de variable

$$z = \dfrac{dy}{dx}$$

Esta forma se aplica en ecuaciones tanto lineales como no lineales, pero deben satisfacer algunas condiciones, mientras que, por otro lado, la segunda forma se aplica sólo a ecuaciones lineales homogéneas en las que tenemos conocimiento previo de una solución no trivial. En este segundo caso, considerando que conocemos una solución $y_{1}(x)$, haremos la sustitución

$$y_{2}(x) = u(x) y_{1}(x)$$

para reducir de orden a la ecuación y al resolverla obtendremos la función $u(x)$ y, por tanto, la segunda solución $y_{2}(x)$, tal que $\{ y_{1}, y_{2} \}$ forme un conjunto fundamental de soluciones de la ecuación diferencial y de esta manera podamos establecer la solución general.

Comencemos por desarrollar la primer forma bajo un cambio de variable.

Ecuaciones reducibles a ecuaciones de primer orden

Hay cierto tipo de ecuaciones de segundo orden que pueden reducirse a una ecuación de primer orden y ser resueltas por los métodos que ya conocemos, vistos en la unidad anterior. Un primer tipo de ecuación son las ecuaciones lineales en las que la variable dependiente $y$ no aparece explícitamente.

Sabemos que una ecuación diferencial lineal no homogénea de segundo orden tiene la siguiente forma.

$$a_{2}(x) \dfrac{d^{2}y}{dx^{2}} + a_{1}(x) \dfrac{dy}{dx} + a_{0}(x) y = g(x) \label{1} \tag{1}$$

Si la variable dependiente $y$ no se encuentra explícitamente en la ecuación, obtenemos la siguiente forma.

$$a_{2}(x) \dfrac{d^{2}y}{dx^{2}} + a_{1}(x) \dfrac{dy}{dx} = g(x) \label{2} \tag{2}$$

Es quizá natural pensar que una forma de resolver la ecuación (\ref{2}) es integrarla dos veces, es esto lo que haremos considerando el siguiente cambio de variable.

$$z = \dfrac{dy}{dx}; \hspace{1cm} \dfrac{dz}{dx} = \dfrac{d^{2}y}{dx^{2}} \label{3} \tag{3}$$

Sea $a_{2}(x) \neq 0$, definimos las siguientes funciones.

$$P(x) = \dfrac{a_{1}(x)}{a_{2}(x)} \hspace{1cm} y \hspace{1cm} Q(x) = \dfrac{g(x)}{a_{2}(x)}$$

Si sustituimos estas funciones y el cambio de variable (\ref{3}) en la ecuación (\ref{2}) lograremos reducirla a una ecuación lineal de primer orden con $z$ la variable dependiente.

$$\dfrac{dz}{dx} + P(x) z = Q(x) \label{4} \tag{4}$$

En la unidad anterior desarrollamos distintos métodos para resolver este tipo de ecuaciones. Una vez que resolvamos la ecuación (\ref{4}) y regresemos a la variable original veremos que dicho resultado nuevamente corresponde a una ecuación de primer orden que podrá ser resuelta una vez más con los métodos vistos anteriormente. Realicemos un ejemplo.

Ejemplo: Reducir de orden a la ecuación diferencial lineal de segundo orden

$$x \dfrac{d^{2}y}{dx^{2}} -\dfrac{dy}{dx} = x$$

para $x > 0$ y obtener su solución.

Solución: Dividamos toda la ecuación por $x \neq 0$.

$$\dfrac{d^{2}y}{dx^{2}} -\dfrac{1}{x} \dfrac{dy}{dx} = 1$$

Hacemos el cambio de variable (\ref{3}) para obtener la forma (\ref{4}).

$$\dfrac{dz}{dx} -\dfrac{1}{x}z = 1 \label{5} \tag{5}$$

Ya no deberíamos tener problema con resolver esta ecuación. Apliquemos el método para resolver ecuaciones lineales. De la ecuación reducida (\ref{5}) notamos que

$$P(x) = -\dfrac{1}{x} \hspace{1cm} y \hspace{1cm} Q(x) = 1$$

El factor integrante, es este caso, es

$$\mu(x) = e^{\int {P(x)} dx} = e^{-\int \frac{1}{x} dx} = e^{-\ln(x)} = \dfrac{1}{x}$$

Esto es,

$$\mu(x) = \dfrac{1}{x}$$

Multipliquemos la ecuación (\ref{5}) por el factor integrante,

$$\dfrac{1}{x} \dfrac{dz}{dx} -\dfrac{z}{x^{2}} = \dfrac{1}{x}$$

e identificamos que

$$\dfrac{d}{dx} \left( \dfrac{z}{x} \right) = \dfrac{1}{x} \dfrac{dz}{dx} -\dfrac{z}{x^{2}}$$

De ambas ecuaciones se tiene

$$\dfrac{d}{dx} \left( \dfrac{z}{x} \right) = \dfrac{1}{x}$$

Ahora podemos integrar ambos lados de la ecuación con respecto a $x > 0$.

\begin{align*}
\int \dfrac{d}{dx} \left( \dfrac{z}{x} \right) dx &= \int \dfrac{1}{x} dx \\
\dfrac{z}{x} &= \ln (x) + c_{1} \\
z(x) &= x \ln (x) + xc_{1}
\end{align*}

Hemos resuelto la ecuación para la variable $z$, regresemos a la variable original para resolver la nueva ecuación de primer orden.

$$\dfrac{dy}{dx} = x \ln(x) + xc_{1} \label{6} \tag{6}$$

Esta ecuación puede ser resuelta por separación de variables en su versión simple de integración directa (la ecuación ya esta separada), integremos ambos lados de la ecuación con respecto a $x$,

\begin{align*}
\int \dfrac{dy}{dx} dx &= \int x \ln(x) dx + \int xc_{1} dx \\
y(x) &= \int x \ln(x) dx + c_{1} \dfrac{x^{2}}{2}
\end{align*}

Para resolver la integral que nos falta apliquemos integración por partes, hagamos

$$u(x) = \ln(x) \hspace{1cm} y \hspace{1cm} \dfrac{dv}{dx} = x$$

Así mismo,

$$\dfrac{du}{dx} = \dfrac{1}{x} \hspace{1cm} y \hspace{1cm} v(x) = \dfrac{x^{2}}{2}$$

Entonces,

\begin{align*}
\int{x \ln(x) dx} &= \dfrac{x^{2}}{2} \ln(x) -\int{\dfrac{x}{2} dx} \\
&= \dfrac{x^{2}}{2} \ln(x) -\dfrac{x^{2}}{4} + c_{2}
\end{align*}

Sustituimos en la función $y(x)$.

$$y(x) = \dfrac{x^{2}}{2} \ln(x) -\dfrac{x^{2}}{4} + c_{1} \dfrac{x^{2}}{2} + c_{2}$$

Por lo tanto, la solución general de la ecuación diferencial

$$x \dfrac{d^{2}y}{dx^{2}} -\dfrac{dy}{dx} = x$$

es

$$y(x) = \dfrac{x^{2}}{2} \left( \ln(x) -\dfrac{1}{2} \right) + c_{1} \dfrac{x^{2}}{2} + c_{2} \label{7} \tag{7}$$

De tarea moral verifica que es la solución general ya que el conjunto

$$S = \left\{ y_{1}(x) = \dfrac{x^{2}}{2}, y_{2}(x) = 1 \right\}$$

es un conjunto fundamental de soluciones de la ecuación homogénea asociada y

$$y_{p}(x) = \dfrac{x^{2}}{2} \left( \ln(x) -\dfrac{1}{2} \right)$$

es una solución particular de la ecuación no homogénea.

$\square$

Reducción de orden en ecuaciones no lineales

Es posible aplicar un método similar en ecuaciones de segundo orden que pueden ser tanto lineales como no son lineales, en este caso, a diferencia del caso anterior, la variable dependiente $y$ puede aparecer en la ecuación, sin embargo es necesario que la variable independiente $x$ sea la que no aparezca explícitamente. Este tipo de ecuaciones también pueden reducirse a una ecuación de primer orden, pero tomando el siguiente cambio de variable.

$$\dfrac{dy}{dx} = z; \hspace{1cm} \dfrac{d^{2}y}{dx^{2}} = z \dfrac{dz}{dy} \label{8} \tag{8}$$

Donde la segunda expresión se deduce de aplicar la regla de la cadena

$$\dfrac{d^{2}y}{dx^{2}} = \dfrac{dz}{dx} = \dfrac{dz}{dy} \dfrac{dy}{dx} = z \dfrac{dz}{dy}$$

Realicemos un ejemplo con una ecuación no lineal.

Ejemplo: Reducir de orden a la ecuación diferencial no lineal de segundo orden

$$\dfrac{d^{2}y}{dx^{2}} -2y \left( \dfrac{dy}{dx}\right)^{3} = 0$$

y obtener su solución.

Solución: Es importante notar que es no lineal debido a que la primer derivada es de tercer grado y además esta multiplicada por la función $y$, lo cual no debe ocurrir en el caso lineal.

La ecuación a resolver es

$$\dfrac{d^{2}y}{dx^{2}} -2y \left( \dfrac{dy}{dx}\right)^{3} = 0$$

Hacemos el cambio de variable (\ref{8}) y separamos variables.

\begin{align*}
z \dfrac{dz}{dy} -2yz^{3} &= 0 \\
\dfrac{dz}{dy} &= 2yz^{2} \\
\dfrac{1}{z^{2}} \dfrac{dz}{dy} &= 2y
\end{align*}

Integramos ambos lados de la ecuación con respecto a $y$.

\begin{align*}
\int{\dfrac{1}{z^{2}} \dfrac{dz}{dy} dy} &= \int{2y dy} \\
\int{\dfrac{dz}{z^{2}}} &= 2 \int{y dy} \\
-\dfrac{1}{z} &= y^{2} + c_{1} \\
z &= -\dfrac{1}{y^{2} + c_{1}}
\end{align*}

Regresamos a la variable original y separamos de nuevo las variables.

\begin{align*}
\dfrac{dy}{dx} &= -\dfrac{1}{y^{2} + c_{1}} \\
(y^{2} + c_{1}) \dfrac{dy}{dx} &= -1
\end{align*}

Integramos ambos lados de la ecuación con respecto a $x$.

\begin{align*}
\int{(y^{2} + c_{1}) \dfrac{dy}{dx} dx} &= -\int{dx} \\
\int{y^{2} dy} + \int{c_{1} dy} &= -\int{dx} \\
\dfrac{y^{3}}{3} + c_{1}y &= -x + c_{2}
\end{align*}

Por lo tanto, la solución implícita de la ecuación diferencial

$$\dfrac{d^{2}y}{dx^{2}} -2y \left( \dfrac{dy}{dx}\right)^{3} = 0$$

es

$$\dfrac{y^{3}}{3} + c_{1}y = c_{2} -x$$

$\square$

Realicemos un ejemplo más con una ecuación lineal.

Ejemplo: Encontrar la solución general de la ecuación diferencial

$$4 \dfrac{d^{2}y}{dx^{2}} + \dfrac{dy}{dx} = 0$$

Solución: Como la ecuación no contiene explícitamente a la función $y$ ni a la variable independiente $x$, entonces podemos aplicar cualquier cambio de variable, ya sea (\ref{3}) u (\ref{8}). Vamos a resolverla aplicando ambos casos.

Primero consideremos el cambio de variable (\ref{8}).

\begin{align*}
4z \dfrac{dz}{dy} + z &= 0 \\
4 \dfrac{dz}{dy} &= -1 \\
\dfrac{dz}{dy} &= -\dfrac{1}{4}
\end{align*}

Integremos ambos lados de la ecuación con respecto a $y$.

\begin{align*}
\int{\dfrac{dz}{dy} dy} &= -\int{\dfrac{1}{4} dy} \\
\int{dz} &= -\dfrac{1}{4} \int{dy} \\
z &= -\dfrac{1}{4} y + c_{1}
\end{align*}

Regresemos a la variable original.

\begin{align*}
\dfrac{dy}{dx} &= -\dfrac{1}{4} y + c_{1} \\
\dfrac{dy}{dx} + \dfrac{y}{4} &= c_{1}
\end{align*}

Resolvamos esta ecuación por factor integrante.

$$\mu(x) = e^{\int {P(x)} dx} = e^{\int \frac{1}{4} dx} = e^{x/4}$$

Esto es,

$$\mu(x) = e^{x/4}$$

Multipliquemos ambos lados de la ecuación por el factor integrante.

\begin{align*}
e^{x/4} \dfrac{dy}{dx} + e^{x/4} \dfrac{y}{4} &= e^{x/4} c_{1} \\
\dfrac{d}{dx}\left( y e^{x/4} \right) &= c_{1} e^{x/4}
\end{align*}

Integramos ambos lados con respecto a $x$.

\begin{align*}
\int{\dfrac{d}{dx}\left( y e^{x/4} \right) dx} &= \int{c_{1} e^{x/4} dx} \\
y e^{x/4} &= c_{1} \int{e^{x/4} dx} \\
y e^{x/4} &= c_{1} 4 e^{x/4} + c_{2} \\
y(x) &= c_{2} e^{-x/4} + 4c_{1}
\end{align*}

Renombrando a las constantes concluimos que la solución general de la ecuación diferencial

$$4 \dfrac{d^{2}y}{dx^{2}} + \dfrac{dy}{dx} = 0$$

es

$$y(x) = k_{1} e^{-x/4} + k_{2}$$

Resolvamos de nuevo la ecuación, pero ahora aplicando el cambio de variable (\ref{3}),

\begin{align*}
4 \dfrac{dz}{dx} + z &= 0 \\
\dfrac{1}{z} \dfrac{dz}{dx} &= -\dfrac{1}{4}
\end{align*}

Integremos ambos lados con respecto a $x$.

\begin{align*}
\int{\dfrac{1}{z} \dfrac{dz}{dx} dx} &= -\int{\dfrac{1}{4} dx} \\
\int{\dfrac{dz}{z}} &= -\dfrac{1}{4}\int{dx} \\
\ln|z| &= -\dfrac{x}{4} + c_{1} \\
z &= c_{2}e^{-x/4}
\end{align*}

Con $c_{2} = e^{c_{1}}$. Regresemos a la variable original.

$$\dfrac{dy}{dx} = c_{2}e^{-x/4}$$

Integremos ambos lados con respecto a $x$.

\begin{align*}
\int{\dfrac{dy}{dx} dx} = \int{c_{2} e^{-x/4} dx} \\
\int{dy} = c_{2} \int{e^{-x/4} dx} \\
y = -c_{2}4 e^{-x/4} + c_{3}
\end{align*}

Si renombramos las constantes obtenemos nuevamente que

$$y(x) = k_{1} e^{-x/4} + k_{2}$$

$\square$

Es posible reducir una ecuación diferencial de segundo orden a una de primer orden si previamente conocemos una solución de la ecuación. Usualmente este método es mayor recurrido que el anterior y también recibe el nombre de método de reducción de orden.

Reducción de orden conocida una solución

Es posible reducir una ecuación diferencial lineal homogénea de segundo orden

$$a_{2}(x) \dfrac{d^{2}y}{dx^{2}} + a_{1}(x) \dfrac{dy}{dx} + a_{0}(x) y = 0 \label{9} \tag{9}$$

a una ecuación diferencial de primer orden siempre que se conozca previamente una solución no trivial $y_{1}(x)$. Recordemos de la entrada anterior que una ecuación de la forma (\ref{9}) tiene como solución general la combinación lineal

$$y(x) = c_{1}y_{1}(x) + c_{2}y_{2}(x) \label{10} \tag{10}$$

con $y_{1}$ y $y_{2}$ funciones que forman un conjunto fundamental de soluciones en cierto intervalo $\delta$. Si conocemos $y_{1}$ podremos reducir la ecuación a una de primer orden y resolverla para obtener la solución $y_{2}$ y, por tanto, obtener la solución general.

Este método también es conocido como método de reducción de orden, pues tiene el mismo propósito que los casos anteriores, reducir de orden a una ecuación diferencial. La idea general del método es la siguiente.

Comenzaremos con el conocimiento previo de una solución no trivial $y_{1}(x)$ de la ecuación homogénea (\ref{9}) definida en un intervalo $\delta$. Lo que buscamos es una segunda solución $y_{2}(x)$, tal que $y_{1}$ y $y_{2}$ formen un conjunto fundamental de soluciones en $\delta$, es decir, que sean soluciones linealmente independientes entre sí. Recordemos que si ambas soluciones son linealmente independientes, entonces el cociente $\dfrac{y_{2}}{y_{1}}$ no es constante en $\delta$, es decir

$$\dfrac{y_{2}(x)}{y_{1}(x)} = u(x)$$

o bien,

$$y_{2}(x) = u(x) y_{1}(x) \label{11} \tag{11}$$

Como queremos encontrar $y_{2}$ y previamente conocemos $y_{1}$, entonces debemos determinar la función $u(x)$, dicha función se determina al sustituir (\ref{11}) en la ecuación diferencial dada, esto reducirá a dicha ecuación a una de primer orden donde la variable dependiente será $u$.

Desarrollemos el método de manera general para encontrar la expresión de $u(x)$ y, por tanto, de $y_{2}(x)$ y finalmente realicemos un ejemplo.

Método de reducción de orden

Este método se aplica a las ecuaciones diferenciales de la forma

$$a_{2}(x) \dfrac{d^{2}y}{dx^{2}} + a_{1}(x) \dfrac{dy}{dx} + a_{0}(x) y = 0$$

Si dividimos esta ecuación por $a_{2}(x) \neq 0$ obtenemos la forma estándar

$$\dfrac{d^{2}y}{dx^{2}} + P(x) \dfrac{dy}{dx} + Q(x)y = 0 \label{12} \tag{12}$$

Con

$$P(x) = \dfrac{a_{1}(x)}{a_{2}(x)} \hspace{1cm} y \hspace{1cm} Q(x) = \dfrac{a_{0}(x)}{a_{2}(x)}$$

ambas continuas en algún intervalo $\delta$. Supongamos además que $y_{1}(x)$ es una solución conocida de (\ref{12}) en $\delta$ y que $y_{1}(x) \neq 0 $ para toda $x \in \delta$. Si se define

$$y(x) = u(x) y_{1}(x)$$

derivando se tiene

$$\dfrac{dy}{dx} = u \dfrac{dy_{1}}{dx} + y_{1} \dfrac{du}{dx} \label{13} \tag{13}$$

Derivando una segunda ocasión se tiene

$$\dfrac{d^{2}y}{dx^{2}} = u \dfrac{d^{2}y_{1}}{dx^{2}} + 2\dfrac{dy_{1}}{dx} \dfrac{du}{dx} + y_{1} \dfrac{d^{2}u}{dx^{2}} \label{14} \tag{14}$$

Sustituyendo (\ref{13}) y (\ref{14}) en la forma estándar (\ref{12}) obtenemos lo siguiente.

\begin{align*}
\dfrac{d^{2}y}{dx^{2}} + P\dfrac{dy}{dx} + Qy &= \left[ u \dfrac{d^{2}y_{1}}{dx^{2}} + 2\dfrac{dy_{1}}{dx} \dfrac{du}{dx} + y_{1} \dfrac{d^{2}u}{dx^{2}} \right] + P \left[ u \dfrac{dy_{1}}{dx} + y_{1} \dfrac{du}{dx} \right] + Q \left[ u y_{1}\right] \\
&= u \left[ \dfrac{d^{2}y_{1}}{dx^{2}} + P\dfrac{dy_{1}}{dx} + Qy_{1} \right] + y_{1} \dfrac{d^{2}u}{dx^{2}} + \left( 2 \dfrac{dy_{1}}{dx} + Py_{1} \right) \dfrac{du}{dx} \\
&= 0
\end{align*}

Como $y_{1}(x)$ es solución sabemos que

$$\dfrac{d^{2}y_{1}}{dx^{2}} + P\dfrac{dy_{1}}{dx} + Qy_{1} = 0$$

Entonces el resultado anterior se reduce a lo siguiente.

$$y_{1} \dfrac{d^{2}u}{dx^{2}} + \left( 2 \dfrac{dy_{1}}{dx} + Py_{1} \right) \dfrac{du}{dx} = 0 \label{15} \tag{15}$$

Consideremos el cambio de variable

$$w = \dfrac{du}{dx} \hspace{1cm} y \hspace{1cm} \dfrac{dw}{dx} = \dfrac{d^{2}y}{dx^{2}}$$

Entonces la ecuación (\ref{15}) se puede escribir como

$$y_{1} \dfrac{dw}{dx} + \left( 2 \dfrac{dy_{1}}{dx} + Py_{1} \right) w = 0 \label{16} \tag{16}$$

Esta ecuación es tanto lineal como separable. Separando las variables e integrando, se obtiene

\begin{align*}
\dfrac{1}{w}\dfrac{dw}{dx} + 2\dfrac{1}{y_{1}} \dfrac{dy_{1}}{dx} &= -P \\
\int{\dfrac{dw}{w}} + 2\int{\dfrac{dy_{1}}{y_{1}}} &= -\int{P dx} \\
\ln |w| + 2 \ln|y_{1}| + k &= -\int{P dx} \\
\ln |w y^{2}_{1}| + k &= -\int{P dx} \\
wy^{2}_{1} &= k_{1}e^{-\int{P dx}}
\end{align*}

Despejando a $w$ de la última ecuación, usando $w = \dfrac{du}{dx}$ e integrando nuevamente, se tiene

\begin{align*}
\dfrac{du}{dx} &= \dfrac{k_{1}e^{-\int{P dx}}}{y^{2}_{1}} \\
\int{du} &= \int{\dfrac{k_{1}e^{-\int{P dx}}}{y^{2}_{1}} dx} \\
u &= k_{1} \int{\dfrac{e^{-\int{P} dx}}{y^{2}_{1}} dx} + k_{2}
\end{align*}

Eligiendo $k_{1} = 1$ y $k_{2} = 0$ obtenemos la expresión para la función $u(x)$,

$$u(x) = \int{\dfrac{e^{-\int{P} dx}}{y^{2}_{1}} dx} \label{17} \tag{17}$$

Si sustituimos en

$$y(x) = y_{2}(x) = u(x)y_{1}(x)$$

obtenemos que la segunda solución de la ecuación diferencial (\ref{12}) es

$$y_{2}(x) = y_{1}(x) \int{\dfrac{e^{-\int{P(x)} dx}}{y^{2}_{1}(x)} dx} \label{18} \tag{18}$$

De tarea moral puedes probar que la función $y_{2}$ satisface la ecuación diferencial y que $y_{1}$ y $y_{2}$ son linealmente independientes en algún intervalo en el que $y_{1}$ no es cero.

Realicemos un ejemplo en el que apliquemos este método.

Ejemplo: Encontrar la solución general de la ecuación diferencial

$$\dfrac{d^{2}y}{dx^{2}} + 16y = 0$$

dada la solución no trivial

$$y_{1}(x) = \cos(4x)$$

Solución: En esta ocasión apliquemos directamente la expresión (\ref{18}) para obtener la solución $y_{2}(x)$.

La ecuación diferencial a resolver es

$$\dfrac{d^{2}y}{dx^{2}} + 16y = 0$$

Si la comparamos con la forma estándar (\ref{12}) notamos que

$$P(x) = 0 \hspace{1cm} y \hspace{1cm}Q(x) = 16$$

Sustituyendo en (\ref{18}), se tiene

\begin{align*}
y_{2}(x) &= \cos(4x) \int{\dfrac{e^{0}}{\cos^{2}(4x)} dx} \\
&= \cos(4x) \int{\dfrac{1}{\cos^{2}(4x)} dx}
\end{align*}

Para resolver la integral consideremos el cambio de variable $s = 4x$, $ds = 4 dx$.

$$\int{\dfrac{1}{\cos^{2}(4x)} dx} = \dfrac{1}{4} \int{\sec^{2}(s) ds}$$

Sabemos que

$$\int{\sec^{2}(s) ds} = \tan(s)$$

Así

$$y_{2}(x) = \cos(4x) \left( \dfrac{1}{4} \tan(4x) + k_{1} \right)$$

Hacemos $k_{1} = 0$.

$$y_{2}(x) = \dfrac{\cos(4x)}{4} \left( \dfrac{\sin(4x)}{\cos(4x)} \right) = \dfrac{\sin(4x)}{4}$$

Como la solución general corresponde a la combinación lineal (\ref{10}), en las constantes $c_{1}$ y $c_{2}$ se pueden englobar todas las constantes que pudieran aparecer, por ello es que podemos tomar $k_{1} = 0$ y además podemos evitar la constante $\dfrac{1}{4}$ de $y_{2}$ y considerar que

$$y_{2}(x) = \sin(4x)$$

Veamos que efectivamente satisface la ecuación diferencial.

$$\dfrac{dy_{2}}{dx} = 4 \cos(4x) \hspace{1cm} \Rightarrow \hspace{1cm} \dfrac{d^{2}y_{2}}{dx^{2}} = -16 \sin(4x)$$

Sustituyendo en la ecuación diferencial.

$$\dfrac{d^{2}y}{dx^{2}} + 16y = -16 \sin(4x) + 16 \sin(4x) = 0$$

Cumple con la ecuación diferencial, lo mismo podemos verificar con la solución dada

$$y_{1}(x) = \cos(4x)$$

Tenemos,

$$\dfrac{dy_{1}}{dx} = -4 \sin(4x) \hspace{1cm} \Rightarrow \hspace{1cm} \dfrac{d^{2}y_{1}}{dx^{2}} = -16 \cos(4x)$$

Sustituyendo en la ecuación diferencial.

$$\dfrac{d^{2}y}{dx^{2}} + 16y = -16 \cos(4x) + 16 \cos(4x) = 0$$

Como ambas soluciones son linealmente independientes, entonces forman un conjunto fundamental de soluciones. Otra forma de verificarlo es mostrando que el Wronskiano es distinto de cero y lo es ya que

$$W(y_{1}, y_{2}) = 4 \neq 0$$

Por lo tanto, la solución general de la ecuación diferencial

$$\dfrac{d^{2}y}{dx^{2}} + 16y = 0$$

corresponde a la combinación lineal

$$y(x) = c_{1} \cos(4x) + c_{2} \sin(4x)$$

$\square$

Con esto concluimos esta entrada sobre un primer método para resolver algunas ecuaciones diferenciales de segundo orden. En la siguiente entrada desarrollaremos un nuevo método.

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso, pero servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.

  1. Obtener la solución general de las siguientes ecuaciones diferenciales lineales.
  • $x \dfrac{d^{2}y}{dx^{2}} + \dfrac{dy}{dx} = 0$
  • $(x-1) \dfrac{d^{2}y}{dx^{2}} -\dfrac{dy}{dx} = 0$
  1. Resolver las siguientes ecuaciones diferenciales no lineales.
  • $(y -1)\dfrac{d^{2}y}{dx^{2}} = \left( \dfrac{dy}{dx} \right)^{2} $
  • $\left( \dfrac{dy}{dx} \right)^{2} -2 \dfrac{d^{2}y}{dx^{2}} = 0$
  1. Dada una solución no trivial de las siguientes ecuaciones diferenciales, hallar la segunda solución, tal que ambas formen un conjunto fundamental de soluciones y determina la solución general.
  • $\dfrac{d^{2}y}{dx^{2}} -4 \dfrac{dy}{dx} + 4y = 0; \hspace{1cm} y_{1}(x) = e^{2x}$
  • $\dfrac{d^{2}y}{dx^{2}} -25y = 0; \hspace{1cm} y_{1}(x) = e^{5x}$
  1. Demostrar que la función $$y_{2}(x) = y_{1}(x) \int{\dfrac{e^{-\int{P(x)} dx}}{y^{2}_{1}(x)} dx}$$ Satisface la ecuación diferencial $$\dfrac{d^{2}y}{dx^{2}} + P(x) \dfrac{dy}{dx} + Q(x)y = 0$$ Siempre que $y_{1}(x)$ sea solución de la misma ecuación.
  1. Usando el inciso anterior, demostrar que $$S = \left \{ y_{1}(x), y_{1}(x) \int{\dfrac{e^{-\int{P(x)} dx}}{y^{2}_{1}(x)} dx} \right \}$$ es un conjunto fundamental de soluciones de la ecuación diferencial $$\dfrac{d^{2}y}{dx^{2}} + P(x) \dfrac{dy}{dx} + Q(x)y = 0$$

Más adelante…

En esta entrada desarrollamos un método de reducción de orden basado en un cambio de variable para ecuaciones lineales y no lineales de segundo orden que satisfacen algunas condiciones y desarrollamos el método de reducción de orden para ecuaciones diferenciales lineales homogéneas en el caso en el que previamente conocemos una solución no trivial.

En la siguiente entrada estudiaremos otro método para resolver un tipo particular de ecuaciones diferenciales, éstas son las ecuaciones diferenciales lineales homogéneas con coeficientes constantes, de la forma

$$a \dfrac{d^{2}y}{dx^{2}} + b \dfrac{dy}{dx} + cy = 0$$

Con $a, b$ y $c$ constantes.

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»

Álgebra Moderna I: Teoremas sobre subgrupos y el Subgrupo generado por $ X $

Por Cecilia del Carmen Villatoro Ramos

Introducción

Ya vimos qué es un grupo cíclico. Ahora nos preguntamos si, teniendo $G$ un grupo cíclico y tomando cualquier subgrupo $H \subseteq G$ ¿será cierto que $H$ también es cíclico?

Ilustremos esto con un ejemplo. Consideremos $\z$ con la suma, en este caso $\z = \left<1\right>$,

$$\dots, -3, -2, -1, 0, 1, 2, 3, \dots.$$

Entre posibles subgrupos podemos encontrar:

\begin{align*}
\dots,& -6, -4, -2, 0, 2, 4, 6, \dots \\ \\
\dots,& -9, -6, -3, 0, 3, 6, 9, \dots
\end{align*}

Es decir $\left<2\right>$ y $\left<3\right>$ respectivamente. Pero también podemos observar que tanto $2$ como $3$ son la mínima potencia de $1$ que aparece en sus respectivos generados. Es decir, aunque el $1$ no esté en un subgrupo cíclico de $\z$, el subgrupo será generado por la mínima potencia de $1$ que sí sea elemento del subgrupo. En esta entrada, comenzaremos probando este resultado.

En la segunda parte de esta entrada regresaremos a la problemática inicial planteada en la entrada Orden de un elemento y grupo cíclico. Si tenemos un subconjunto $X \subseteq G$, con $G$ un grupo, ¿cuál es el mínimo subgrupo $H$ de $G$ tal que $H$ contenga a $X$?

Podemos estar de acuerdo en que es posible que $X$ esté contenido en más de un subgrupo, podemos considerar la familia de subgrupos de $G$ que contienen a $X$. A estos subgrupos los denotaremos como $H_i$ con $i \in I$. Como $X\subseteq H_i$ para toda $i$, sabemos que $\displaystyle X \subseteq \bigcap_{i \in I}H_i$ y éste resultará ser el menor subgrupo de $G$ que contiene a $X$. Esto será lo que desarrollaremos en la segunda parte de la entrada.

Los subgrupos de un grupo cíclico, son cíclicos.

Teorema. Todo subgrupo de un grupo cíclico, es cíclico.

Demostración.
Sean $G$ un grupo cíclico y $H \leq G$.
Como $G$ es cíclico, entonces $G = \left< a \right>$ para algún $a \in G$.

Para ver que $H$ es cíclico tenemos que proponer un generador de $H$, este generador tiene que ser una potencia de $a$, porque $H \subseteq G$ y $G$ es cíclico. Por lo que dijimos en la introducción, elegiremos la potencia de $a$ con el menor exponente positivo, que esté en $H$. Pero, para ello, tenemos que asegurarnos primero que en $H$ existen potencias de $a$ con exponentes positivos. Así, consideraremos dos casos.

Si $H = \{e\} = \left< e \right>$ que es cíclico.

Si $H \neq \{e\}$, sea $h \in H\setminus\{e\}$. Entonces como $H \leq G$, $h \in G = \left<a\right>$. Así $h = a^k$ para algún $k \in \z$ y como $h \neq e$ entonces $k \neq 0$.

Tenemos que $h^{-1} = a^{-k} \in H$ pues $H$ es subgrupo.

Así $a^k$, $a^{-k} \in H$ (con $k \in \z \setminus\{0\}$), entonces no importa si $k$ es positivo o negativo, siempre habrá un elemento en $H$ que se obtiene elevando $a$ a un entero positivo, es decir,

$$\{n \in \z^+ | a^n \in H\} \neq \emptyset.$$

Sea $m = \text{mín } \{n \in \z^+|a^n\in H\}$.
P.D. $H = \left< a^m \right>$

$\supseteq]$
Por la elección de $m$, $a^m \in H$ y como $H$ es un subgrupo entonces $\left< a^m \right> \subseteq H$.

$\subseteq]$
Sea $h \in H$. Como $H \leq G = \left<a\right>$, entonces $h = a^k$ para algún $k \in \z$.

Por el algoritmo de la división existen $q,r \in \z$ tales que $k = mq+r$ con $0 \leq r < m$.
Entonces $h = a^k = a^{mq+r} = (a^m)^q a^r$. Esto implica que

$$(a^m)^{-q}h = a^r.$$

Pero $a^m \in H$, $h \in H$ y $H$ es subgrupo, entonces $a^r = (a^m)^{-q}h \in H$ con $0 \leq r < m$. Para no contradecir la elección de $m$ concluimos que $r=0$.

Así $h = a^{mq} = (a^m)^q \in \left< a^m \right>$.
Por lo tanto $H = \left< a^m \right>$ y $H$ es cíclico.

$\blacksquare$

El menor subgrupo que contiene a cualquier subconjunto $X$

Teorema. La intersección de una familia no vacía de subgrupos de un grupo $G$ es un subgrupo de $G$.

Cuando decimos familia no vacía nos referimos a que haya al menos un grupo en la familia, con el fin de que haya al menos un grupo a intersecar. Ésta es una condición que se pide para que a nivel conjuntista no haya problemas con la intersección.

Demostración.
Sean $G$ un grupo y $\{H_i | i \in I\}$ una familia de subgrupos de $G$.
P.D. $\displaystyle \bigcap_{i \in I} H_i \leq G$.

Como $H_i \leq G$ para toda $i \in I$, entonces $e \in H_i$ para toda $i \in I$ y así $\displaystyle e \in \bigcap_{i \in I} H_i$.

Sean $\displaystyle a, b \in \bigcap_{i \in I}$. Tenemos que $a,b \in H_i$ para toda $i \in I$.
Como $H_i \leq G$ para toda $i \in I$, entonces $ab^{-1} \in H_i$ para toda $i \in I$ y así $a b^{-1} \in \displaystyle \bigcap_{i \in I}H_i$.

Por lo tanto $\displaystyle \bigcap_{i \in I} H_i \leq G$.

$\blacksquare$

Corolario. Sean $G$ un grupo y $X$ un subconjunto de $G$. Existe un subgrupo de $G$ que contiene a $X$ y que estará contenido en cualquier subgrupo de $G$ que contenga a $X$.

Demostración.
Sean $G$ un grupo y $X$ subconjunto de $G$.
$G$ es un subgrupo de $G$ que contiene a $X$ y entonces la familia $\{H \leq G | X \subseteq H\}$ es no vacía. Entonces sí existen subgrupos de $G$ que contienen a $X$.

Consideremos $\displaystyle \bigcap_{\substack{H \leq G \\ X \subseteq H}} H$. Por el teorema anterior esta intersección es un subgrupo de $G$ y por construcción $X \subseteq \displaystyle \bigcap_{\substack{H \leq G \\ X \subseteq H}} H$.

Ahora, si $\hat{H}$ es un subgrupo de $G$ que contiene a $X$, entonces $\hat{H} \in \{H \leq G | X \subseteq H \}$, y al ser uno de los intersecandos, obtenemos

$\displaystyle \bigcap_{\substack{H \leq G \\ X \subseteq H}} H \subseteq \hat{H}$.

Así, $\displaystyle \bigcap_{\substack{H \leq G \\ X \subseteq H}} H$ es un subgrupo de $G$ que contiene a $X$ y que está contenido en cualquier subgrupo de $G$ que contenga a $X.$

$\blacksquare$

El subgrupo de $G$ generado por $X$

Para concluir esta entrada, daremos una definición que resume lo visto.

Definición. Sean $G$ un grupo y $X$ un subconjunto de $G$. El conjunto

\begin{align*}
\bigcap_{\substack{H \leq G \\ X \subseteq H}} H
\end{align*}

es el subgrupo de $G$ generado por $X$ y se denota por $\left< X \right>$.

Decimos que $X$ genera a $G$ si $\left< X \right> = G$.

Observación. Sean $G$ un grupo y $a \in G$. Entonces

\begin{align*} \left< \{a\} \right> = \left< a \right>. \end{align*}

Demostración. Se quedará como tarea moral.

Notación. Para $a_1,\dots, a_n \in G$, el subgrupo $\left< \{a_1,\dots, a_n\}\right>$ se denota por $\left< a_1, \dots, a_n \right>$.

Tarea moral

  1. Sea $G$ un grupo tal que todos sus subgrupos propios son cíclicos. Entonces $G$ es cíclico. Demuestra este enunciado o encuentra un contraejemplo.
  2. Considera a los enteros con la suma. Describe a los subgrupos:
    1. $\left<\{10, 15\}\right>$ (se denota por $\left<10,15\right>$).
    2. $\left<\{9, 20\}\right>$ (se denota por $\left<9,20\right>$).
  3. Demuestra la última observación: Sean $G$ un grupo y $a \in G$. Entonces $\left< \{a\} \right> = \left< a \right>$. Sugerencia: Usa la doble contención y el teorema anterior.

Más adelante…

Ya estudiamos a los elementos de la forma $a^k$ con $a \in G$, $k \in \z$ y $G$ un grupo. En la siguiente entrada combinaremos varios elementos de esa forma. Estudiaremos qué son y algunas propiedades de las llamadas palabras. Además, la siguiente entrada es la última de esta unidad, ¡sigue avanzando! ya casi acabas.

Entradas relacionadas

Cálculo Diferencial e Integral I: Suma, producto, cociente y composición de funciones

Por Karen González Cárdenas

Introducción

Ya que hemos visto el concepto de función, en esta entrada veremos cómo están definidas las operaciones de suma, producto y cociente. De igual modo, definiremos la composición entre un par de funciones. Para dejar más claras dichas operaciones, daremos ejemplos.

Operaciones de funciones

Definición (operaciones): Sean $f: D_{f}\subseteq \r \rightarrow \r$, $\quad g: D_{g}\subseteq \r \rightarrow \r$. Definimos las siguientes operaciones como:

  • $f+g: D_{f} \cap D_{g} \subseteq \r \rightarrow \r$
    $$(f+g)(x)= f(x)+g(x)\quad \text{.}$$
  • $\alpha f: D_{f}\subseteq \r \rightarrow \r \quad$ y $\quad \alpha \in \r$
    $$(\alpha f)(x)= \alpha f(x)\quad \text{.}$$
  • $fg: D_{f} \cap D_{g} \subseteq \r \rightarrow \r$
    $$(fg)(x)= f(x)g(x)\quad \text{.}$$
  • $\begin{multline*} \frac{f}{g}: D_{f/g} \subseteq \r \rightarrow \r \end{multline*}$
    \begin{equation*}
    \left(\frac{f}{g}\right)(x)=\frac{f(x)}{g(x)}\quad \text{.}
    \end{equation*}
    donde $D_{f/g}=D_{f} \cap (D_{g} – \left\{x \in D_{g}: g(x)=0 \right\})$

Notación: Cuando escribamos $f-g$ hacemos referencia a:
$$f-g=f+ (-g) \quad \text{.}$$

Ejemplos

Consideremos a las siguientes funciones:
\begin{align*}
f: \r – \left\{-1\right\} &\rightarrow \r & g: \r &\rightarrow \r & h: \r &\rightarrow \r^{+}
\end{align*}
\begin{align*}
f(x)&= \frac{1}{x+1}& g(x)&= x^{3}+3 & h(x)&=x^{2}+2x+1
\end{align*}
Notación: Usamos $\r^{+}$ para referirnos al conjunto de los números reales positivos.

Realizaremos las siguientes operaciones para ejemplificar lo visto anteriormente:

  • $$(f+g)(x)= f(x)+g(x)= \frac{1}{x+1} + x^{3}+3$$
    con $D_{f+g}=D_{f} \cap D_{g}= \r \cap (\r- \left\{-1\right\})= \r- \left\{-1\right\}$
  • $$(fg)(x)= f(x)g(x)=\left(\frac{1}{x+1}\right)(x^{3}+3)=\frac{x^{3}+3}{x+1}$$
    con $D_{fg}=D_{f} \cap D_{g}= \r \cap (\r- \left\{-1\right\})= \r- \left\{-1\right\}$
  • Si $\alpha = – 4$:
    $$(\alpha g)(x)= \alpha g(x)= -4(x^{3}+3)=-4x^{3}-12$$
    con $D_{\alpha g}= D_{g}= \r$
  • $$\left(\frac{g}{h}\right)(x)=\frac{g(x)}{h(x)}=\frac{x^{3}+3}{x^{2}+2x+1}$$
    como $D_{g/h}=D_{g} \cap (D_{h} – \left\{x \in D_{h}: h(x)=0 \right\})$
    Observemos que $x^{2}+2x+1 = (x+1)^{2}$ por lo que $(x+1)^{2}=0$ cuando $x=-1$.
    Así el dominio sería:
    $$D_{g/h}=\r \cap (\r- \left\{-1 \right\})= \r – \left\{-1\right\}$$
  • $$(h-g)(x)=h(x)-g(x)=x^{2}+2x+1-(x^{3}+3)=x^{2}+2x+1-x^{3}-3$$
    con $D_{h-g}= D_{h} \cap D_{g}= \r \cap \r= \r$

Composición de funciones

Definición (composición): Consideremos a las funciones $g: A \rightarrow B$ y $f: B \rightarrow C$ definimos a la composición de $g$ seguida de $f$ como:

$$f \circ g: A \rightarrow C$$
$$(f \circ g)(x)= f(g(x)),$$
observamos que la composición sólo está definida si $Im_g \subseteq D_f$, por lo que $g(x) \in B$.
En el siguiente diagrama podemos ver más claramente cómo funciona la composición $f \circ g$:

PASO 1

Primero tomamos $x \in A$ a la cual le aplicamos la función $g$ para así obtener $g(x) \in B$.

PASO 2

Ahora tomamos a $g(x) \in B$ para aplicarle la función $f$ y finalmente obtener $f(g(x)) \in C$.

DIAGRAMA PARA $f \circ g$

Así la composición de $f \circ g$ se vería como en el diagrama anterior.

Observación: La composición no es conmutativa, es decir, ocurre que:
$$f \circ g \neq g \circ f\quad \text{.}$$

Ejemplos

Retomando las funciones:
\begin{align*}
f(x)&= \frac{1}{x+1}& g(x)&= x^{3}+3 & h(x)&=x^{2}+2x+1
\end{align*}

Realicemos las siguientes composiciones de funciones para tener más claro cómo funciona lo antes explicado:

  • Ejemplo 1:
    \begin{align*}
    (g \circ f)(x)&= g(f(x))\\
    &= g\left(\frac{1}{x+1} \right)\\
    &= \left( \frac{1}{x+1} \right)^{3} +3\\
    &= \frac{1}{(x+1)^{3}}+3
    \end{align*}
    Así tenemos que la composición obtenida es:
    \begin{equation*}
    (g \circ f)(x)=\frac{1}{(x+1)^{3}}+3
    \end{equation*}
  • Ejemplo 2:
    \begin{align*}
    (f \circ h)(x)&= f(h(x))\\
    &= f((x^{2}+2x+1))\\
    &= \frac{1}{(x^{2}+2x+1)+1}\\
    &=\frac{1}{x^{2}+2x+2}
    \end{align*}
    Por lo que la composición quedaría como:
    \begin{equation*}
    (f \circ h)(x) = \frac{1}{x^{2}+2x+2}
    \end{equation*}

Más adelante

Ahora que ya hemos definido las operaciones entre funciones y la composición, en la siguiente entrada veremos qué características debe cumplir una función para poder determinar si es inyectiva, sobreyectiva o biyectiva. Del mismo modo, examinaremos el concepto de función inversa, donde haremos uso de la composición de funciones y algunas condiciones.

Tarea moral

  • Si tenemos a las funciones $f : \r \rightarrow \r$ y $g : \r \rightarrow \r^{+}$ definidas como siguen:
    $$ f(x) = x-8$$
    $$g(x)= x^{4}$$
    Realiza las siguientes operaciones:
    • $f + g$
    • $f – g$
    • $fg$
    • $\frac{g}{f}$
    • $g \circ f$
  • Da una función $f$ y una función $g$ que ejemplifiquen que la composición no es conmutativa:
    $$f \circ g \neq g \circ f\quad \text{.}$$
  • Demuestra que la composición es asociativa, es decir,
    $$f\circ (g \circ h)= (f\circ g) \circ h\quad \text{.}$$

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 Moderna I: Teorema de Casey

Por Rubén Alexander Ocampo Arellano

Introducción

En esta ocasión demostraremos el teorema generalizado de Ptolomeo conocido como teorema de Casey, el cual nos dice que los vértices del cuadrilátero cíclico, al que hace mención el teorema de Ptolomeo, pueden ser considerados como circunferencias de radio distinto de cero, y los lados o diagonales del cuadrilátero cíclico se pueden pensar como segmentos tangentes entre dos circunferencias.

Tangente común a dos circunferencias

Proposición 1. Sean $(O_{1}, R_{1})$, $(O_{2}, R_{2})$, dos circunferencias tal que ninguna contiene a la otra y $P_{1}$, $P_{2}$ los puntos en que una recta es tangente a ambas circunferencias, entonces:

$i)$ Si $P_{1}P_{2}$ es exterior, es decir, no cruza el segmento $O_{1}O_{2}$ (figura 1),
$P_{1}P_{2}^2 = O_{1}O_{2}^2 – (R_{1} – R_{2})^2$,
$ii)$ Si $P_{1}P_{2}$ es interior, es decir, interseca al segmento $O_{1}O_{2}$ (figura 2),
$P_{1}P_{2}^2 = O_{1}O_{2}^2 – (R_{1} + R_{2})^2$.

Demostración. Sin pérdida de generalidad supongamos $R_{1} \geq R_{2}$.

$i)$ Sean $A$ la intersección de $O_{1}P_{1}$ con la paralela a $O_{1}O_{2}$ desde $P_{2}$, $B$ la intersección de $O_{2}P_{2}$ con la paralela a $O_{1}O_{2}$ desde $P_{1}$.

Figura 1

Como $O_{1}P_{1} \perp P_{1}P_{2}$ y $O_{2}P_{2} \perp P_{1}P_{2}$ entonces $O_{1}P_{1} \parallel O_{2}P_{2}$.

Por lo tanto, $\square P_{1}O_{1}O_{2}B$, $\square P_{1}AP_{2}B$ y $\square AO_{1}O_{2}P_{2}$ son paralelogramos.

En consecuencia,
$P_{1}B = O_{1}O_{2}$ y $P_{2}B = AP_{1} = R_{1} -AO_{1} = R_{1} – R_{2}$.

Como $\angle BP_{2}P_{1} = \dfrac{\pi}{2}$ podemos aplicar el teorema de Pitágoras a $\triangle BP_{2}P_{1}$.

$P_{1}P_{2}^2 = P_{1}B^2 – P_{2}B^2 = O_{1}O_{2}^2 – (R_{1} – R_{2})^2$.

$\blacksquare$

$ii)$ Sea $C$ la intersección de $O_{2}P_{2}$ con la paralela a $P_{1}P_{2}$ desde $O_{1}$.

Como $O_{1}C \parallel P_{1}P_{2}$ y $P_{1}P_{2} \perp O_{2}P_{2}$ entonces $\angle O_{1}CO_{2} = \dfrac{\pi}{2}$, además $\square CO_{1}P_{1}P_{2}$ es un rectángulo.

Por lo tanto,
$CO_{1} = P_{1}P_{2}$ y $CP_{2} = O_{1}P_{1} = R_{1}$.

Figura 2

Como resultado de aplicar el teorema de Pitágoras a $\triangle O_{1}CO_{2}$ obtenemos,

$P_{1}P_{2}^2 = CO_{1}^2 = O_{1}O_{2}^2 – CO_{2}^2$
$= O_{1}O_{2}^2 – (CP_{2} + P_{2}O_{2})^2 = O_{1}O_{2}^2 – (R_{1} + R_{2})^2$.

$\blacksquare$

Teorema de Casey

Proposición 2. Sean $(O_{1}, R_{1})$, $(O_{2}, R_{2})$, dos circunferencias tangentes a una tercera circunferencia $(O, R)$, en dos puntos distintos $A$ y $B$ respectivamente, considera $P_{1}$, $P_{2}$ los puntos en que una recta es tangente a $(O_{1}, R_{1})$ y a $(O_{2}, R_{2})$, entonces:

$i)$ Si $(O_{1}, R_{1})$, $(O_{2}, R_{2})$, son interiores a $(O, R)$ y $P_{1}P_{2}$ es exterior (figura 3),
$P_{1}P_{2} = \dfrac{AB}{R} \sqrt{(R – R_{1})(R – R_{2})}$,
$ii)$ Si $(O_{1}, R_{1})$, $(O_{2}, R_{2})$, son exteriores a $(O, R)$ y $P_{1}P_{2}$ es exterior (figura 4),
$P_{1}P_{2} = \dfrac{AB}{R} \sqrt{(R + R_{1})(R + R_{2})}$,
$iii)$ Si $(O_{1}, R_{1})$ es exterior, $(O_{2}, R_{2})$ es interior a $(O, R)$ y $P_{1}P_{2}$ es interior (figura 5),
$P_{1}P_{2} = \dfrac{AB}{R} \sqrt{(R + R_{1})(R –  R_{2})}$.

Figura 3

Demostración. Sea $\phi = \angle AOB$.
$i)$ Aplicamos la ley de cosenos a $\triangle O_{1}OO_{2}$ y a $\triangle AOB$,

$O_{1}O_{2}^2 = O_{1}O^2 + O_{2}O^2 – 2O_{1}O \times O_{2}O \cos \phi$
$\begin{equation} = (R – R_{1})^2 + (R – R_{2})^2 – 2(R – R_{1})(R – R_{2})\cos \phi. \end{equation}$

$AB^2 = AO^2 + BO^2 – 2AO \times BO \cos \phi = 2R^2 – 2R^2\cos \phi$
$\Leftrightarrow$
$\begin{equation} \cos \phi = 1 – \dfrac{AB^2}{2R^2}. \end{equation}$

Por la proposición anterior parte $i)$ y de las ecuaciones $(1)$ y $(2)$ tenemos

$P_{1}P_{2}^2 = O_{1}O_{2}^2 – (R_{1} – R_{2})^2$
$= (R – R_{1})^2 + (R – R_{2})^2 – 2(R – R_{1})(R – R_{2})(1 – \dfrac{AB^2}{2R^2}) – (R_{1} – R_{2})^2$
$= R^2 – 2RR_{1} + R_{1}^2 + R^2 – 2RR_{2} + R_{2}^2 – 2(R^2 – RR_{2} – RR_{1} + R_{1}R_{2})$
$+ 2(R – R_{1})(R – R_{2})\dfrac{AB^2}{2R^2} – (R_{1} – R_{2})^2$
$= (R – R_{1})(R – R_{2})(\dfrac{AB^2}{R^2})$.

Por lo tanto,
$P_{1}P_{2} = \dfrac{AB}{R} \sqrt{(R – R_{1})(R – R_{2})}$.

$ii)$ y $iii)$ se muestran con un razonamiento similar.

$\blacksquare$

Figura 4
Figura 5

Teorema de Casey. Sean $(O_{i}, R_{i})$, $i = 1, 2, 3, 4$ circunferencias tangentes a una quinta circunferencia $(O, R)$, respectivamente en los puntos $A$, $B$, $C$ y $D$, en ese orden (figura 6), y denotemos como $\delta_{ij}$ a la medida de la tangente común a $(O_{i}, R_{i})$ y $(O_{j}, R_{j})$ la cual tomaremos como exterior si ambas circunferencias son interiores a $(O, R)$ o si ambas son exteriores a $(O, R)$, pero si una es interior y la otra es exterior a $(O, R)$ entonces tomaremos el segmento de la tangente interior a ambas circunferencias.

Bajo estas condiciones se verifica la siguiente igualdad
$\delta_{12} \delta_{34}  + \delta_{14}\delta_{23}  = \delta_{13}\delta_{24}$.

Demostración. Mostraremos el caso en que dos circunferencias son interiores y dos son exteriores a $(O, R)$, todos los demás casos son análogos.

Figura 6

Tenemos que sustituir el valor de cada segmento de tangente de acuerdo a la proposición 2 y recordar que por el teorema de Ptolomeo, $AB \times CD + AD \times BC = AC \times BD$.

$\delta_{12} \delta_{34}  + \delta_{14}\delta_{23}$ 
$= \dfrac{AB}{R} \sqrt{(R + R_{1})(R –  R_{2})} \dfrac{CD}{R} \sqrt{(R + R_{4})(R –  R_{3})}$
$+ \dfrac{BC}{R} \sqrt{(R – R_{2})(R – R_{3})} \dfrac{AD}{R} \sqrt{(R + R_{1})(R + R_{4})}$
$= \dfrac{ AB \times CD + AD \times BC }{R} \sqrt{(R + R_{1})(R –  R_{2})(R + R_{4})(R –  R_{3})}$
$=\dfrac{ AC \times BD }{R} \sqrt{(R + R_{1})(R –  R_{2})(R + R_{4})(R –  R_{3})}$
$= \dfrac{AC}{R} \sqrt{(R + R_{1})(R –  R_{3})} \dfrac{BD}{R} \sqrt{(R + R_{4})(R –  R_{2})}$
$= \delta_{13}\delta_{24}$.

$\blacksquare$

Notemos que cuando las 4 circunferencias tangentes a $(O, R)$ tienen radio igual a $0$, el resultado es el teorema de Ptolomeo.

En la siguiente figura se ilustran todos los posibles casos del teorema de Casey.

Figura 7

Problemas

Problema 1. Sean $\Gamma_{1}$, $\Gamma_{2}$, dos circunferencias tangentes entre si (exteriormente) en $I$ y al mismo tiempo son tangentes a una tercera circunferencia $\Gamma$ (interiormente), consideremos la recta tangente a $\Gamma_{1}$, $\Gamma_{2}$ por $I$ y su intersección, $A$, con $\Gamma$ y otra tangente exterior común a $\Gamma _{1}$, $\Gamma _{2}$, en $X$, $Y$ respectivamente la cual interseca a $\Gamma$ en $B$ y $C$ (figura 8). Entonces $I$ es el incentro de $\triangle ABC$.

Figura 8

Demostración. Sea $D = BC \cap AI$, entonces $DX = DI = DY$.

Consideremos los puntos $A$, $B$  y $C$ como circunferencias de radio $0$.

Como resultado de aplicar el teorema de Casey a $(A, 0)$, $\Gamma_{1}$, $(B, 0)$, y $(C, 0)$ tangentes a $\Gamma$, obtenemos,

$\begin{equation} AI \times BC + BX \times AC = AB \times XC = AB \times (2DI + CY). \end{equation}$

Hacemos lo mismo con los círculos $(A, 0)$, $(B, 0)$, $(C, 0)$ y $\Gamma_{2}$ tangentes a $\Gamma$.

$\begin{equation} AB \times CY + AI \times BC = AC \times BY = AC \times (BX + 2DI). \end{equation}$

Restamos $(4)$ a $(3)$
$BX \times AC – AB \times CY = 2 AB \times DI + AB \times CY – 2 AC \times DI – AC \times BX$
$\Leftrightarrow AC \times DI + AC \times BX = AB \times DI + AB \times CY$
$\Leftrightarrow AC \times BD = AC(DI + BX) = AB(DI + CY) = AB \times CD$.

En consecuencia,
$\begin{equation} \dfrac{BD}{CD} = \dfrac{AB}{AC}. \end{equation}$

Por el reciproco del teorema de la bisectriz, la última igualdad nos dice que $AD$ es bisectriz de $\angle A$.

Ahora sumamos $(4)$ y $(3)$
$2AI \times BC + BX \times AC + AB \times CY$
$= 2AB \times DI + AB \times CY + 2AC \times DI + AC \times BX$
$\Leftrightarrow AI \times BC = AB \times DI + AC \times DI$.

En consecuencia,
$\dfrac{AI}{DI} = \dfrac{AB + AC}{BC}$.

Por otra parte, de $(5)$ tenemos
$\dfrac{BD}{CD} = \dfrac{AB}{AC}$
$\Leftrightarrow \dfrac{BC}{CD}  = \dfrac{BD + CD}{CD} = \dfrac{AB + AC}{AC}$
$\Leftrightarrow \dfrac{AC}{CD} = \dfrac{AB + AC}{BC}$.

Por lo tanto, $\dfrac{AI}{DI} = \dfrac{AC}{CD}$, se sigue que $CI$ es bisectriz de $\angle C$.

Como resultado, $I$ es el incentro de $\triangle ABC$.

$\blacksquare$

Problema 2. Sea $\square ABCD$ un cuadrado y $(O, R)$ un círculo en el interior de $\square ABCD$, y consideremos $(O_{i}, R_{i})$, $i = 1,2,3,4$ cuatro circunferencias cada una tangente a dos lados del cuadrado y a $(O, R)$ al mismo tiempo, encuentra una representación del lado del cuadrado en términos de los $R_{i}$, con $i = 1,2,3,4$.

Figura 9

Solución. Por construcción, cada lado del cuadrado es tangente a dos circunferencias así que si $\delta_{ij}$ denota la longitud del segmento tangente común a dos circunferencias entonces,

$\delta_{12} = AB – R_{1} – R_{2}$,
$\delta_{23} = AB – R_{2} – R_{3}$,
$\delta_{34} = AB – R_{3} – R_{4}$,
$\delta_{14} = AB – R_{1} – R_{4}$.

Para calcular $\delta_{13}$ consideremos $P$ la intersección de la perpendicular a $BC$ por $O_{1}$, con la perpendicular a $AB$ por $O_{3}$ entonces $\triangle O_{1}PO_{3}$ es rectángulo y por el teorema de Pitágoras

$O_{1}O_{3}^2 = 2(AB – R_{1} – R_{3})^2$.

Por la proposición 1 parte $i)$ tenemos que
$\delta_{13}^2 = O_{1}O_{3}^2 – (R_{1} – R_{3})^2 = 2(AB – R_{1} – R_{3})^2 – (R_{1} – R_{3})^2$.

Por lo tanto,
$\delta_{13} = \sqrt{2(AB – R_{1} – R_{3})^2– (R_{1} – R_{3})^2}$.

Igualmente vemos que $\delta_{24} = \sqrt{2(AB – R_{2} – R_{4})^2 – (R_{2} – R_{4})^2}$.

Aplicamos el teorema de Casey a $(O_{i}, R_{i})$ $i = 1, 2, 3, 4$ tangentes a $(O, R)$
$\delta_{12}\delta_{34} + \delta_{14}\delta_{32} = \delta_{13}\delta_{24}$
$= (AB – R_{1} – R_{2})( AB – R_{3} – R_{4}) + (AB – R_{2} – R_{3})( AB – R_{1} – R_{4})$
$= \sqrt{2(AB – R_{1} – R_{3})^2 – (R_{1} – R_{3})^2}\sqrt{2(AB – R_{2} – R_{4})^2 – (R_{2} – R_{4})^2}$.

Despejando $AB$ se puede llegar a la expresión
$AB = \dfrac{2(R_{1}R_{3} – R_{2}R_{4}) + \sqrt{2(R_{1} – R_{2}) (R_{1} – R_{4}) (R_{3} – R_{2}) (R_{3} – R_{4}) }}{R_{1} – R_{2} + R_{3} – R_{4}}$.

No se desarrollará este último procedimiento por ser largo, para llegar al resultado solo hay que desarrollar los productos y después reagrupar para despejar $AB$.

$\blacksquare$

Problema 3. Sean $\triangle ABC$ un triángulo rectángulo con $\angle BAC =\dfrac{\pi}{2}$, $(O, R)$ su circuncírculo, considera dos circunferencias $\Gamma_{1}$ tangente a $OA$ en $P$, a $OB$ y a $(O, R)$ (internamente) y $\Gamma_{2}$ tangente a $OA$ en $Q$, a $OC$ y a $(O, R)$ (internamente). Muestra que $\dfrac{AB}{AC} = \dfrac{AP}{AQ}$.

Figura 10

Demostración. Sean $P’$ y $Q’$ los puntos de tangencia de $\Gamma_{1}$ y $\Gamma_{2}$ con $OB$ y $OC$ respectivamente, entonces $OP = OP’$ por ser segmentos tangentes a $\Gamma_{1}$ trazados desde $O$.

Igualmente vemos que $OQ = OQ’$.

Como $\triangle ABC$ es rectángulo y $BC$ es la hipotenusa, entonces $O$ es el punto medio de $BC$.

Por lo tanto, $R = OB = OA = OC$.

Como resultado obtenemos, $AP = BP’$ y $AQ = CQ’$.

Ahora aplicamos el teorema de Casey a los círculos $(A, 0)$, $\Gamma_{1}$, $(B, 0)$ y $\Gamma_{2}$ tangentes a $(O, R)$.

$AP \times BQ’ + AQ \times BP’ = AB \times P’Q’$
$\Leftrightarrow AP(BQ’ + AQ) = AB \times P’Q’$

Por lo tanto,
$\begin{equation} AP \times BC = AB \times P’Q’. \end{equation}$

Hacemos lo mismo para $A$, $\Gamma_{1}$, $C$ y $\Gamma_{2}$ tangentes a $(O, R)$.

$AP \times CQ’ + AQ \times CP’ = AC \times P’Q’$
$\Leftrightarrow AQ(AP + CP’) = AC \times P’Q’$.

Por lo tanto,
$\begin{equation} AQ \times BC = AC \times P’Q’. \end{equation}$

Haciendo el cociente de $(6)$ sobre $(7)$ obtenemos el resultado buscado, $\dfrac{AP}{AQ} = \dfrac{AB}{AC}$.

$\blacksquare$

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. Completa la prueba de la proposición 2 parte $ii)$ y $iii)$.
  2. Sean $l_{1}$ y $l_{2}$ dos rectas paralelas y tangentes a una circunferencia $(O, R)$, considera otras dos circunferencias, $(O_{1}, R_{1})$ tangente a $l_{1}$ y a $(O, R)$, y $(O_{2}, R_{2})$ tangente a $l_{2}$, y a las primeras dos circunferencias $(O, R)$, $(O_{1}, R_{1})$. Muestra que $R = 2 \sqrt{R_{1}R_{2}}$.
  3. Sean $AB$ el diámetro de una circunferencia $\Gamma$, $P$, $Q \in \Gamma$ en arcos distintos respecto de $AB$, trazamos $C$ el pie de la perpendicular a $AB$ trazada desde $Q$ y considera $\Gamma_{1}$, $\Gamma_{2}$ dos circunferencias de diámetro $AC$ y $CB$ respectivamente. Sean $PE$ y $PF$ segmentos tangentes a $\Gamma_{1}$ y $\Gamma_{2}$ respectivamente. Prueba que $PE + PF = PQ$.
Figura 11
  1. Sean $\triangle ABC$ y $\Gamma$ su circuncírculo con $AB = c$, $BC = a$ y $AC = b$, considera $\Gamma_{1}$, $\Gamma_{2}$ y $\Gamma_{3}$ círculos tangentes a $AB$, $BC$ y $AC$ respectivamente en sus puntos medios y al mismo tiempo tangentes al arco $\overset{\LARGE{\frown}}{AB}$, $\overset{\LARGE{\frown}}{BC}$ y $\overset{\LARGE{\frown}}{CA}$ respectivamente, denota $\delta_{ij}$ al segmento de tangente exterior y común a $\Gamma_{i}$, $\Gamma_{j}$. Muestra que $\delta_{ij} = \dfrac{a + b + c}{4}$, $i, j = 1, 2, 3$, $i \neq j$.
Figura 12
  1. Considera $\triangle ABC$ y su circuncírculo $\Gamma$, sea $\Gamma_{1}$ una circunferencia tangente a $AB$ en $P$, a $AC$ en $Q$ y a $\Gamma$ internamente, muestra que el punto medio de $PQ$ es el incentro de $\triangle ABC$.
  2. Sean $\triangle ABC$ y $\Gamma$ su circuncírculo con $AC > AB$. Una circunferencia $\Gamma_{1}$ es tangente a $AB$, $AC$ y al circuncírculo internamente, $P$ es el punto medio del arco $\overset{\LARGE{\frown}}{BC}$ y $\overline{PQ}$ es un segmento tangente a $\Gamma_{1}$. Muestra que $\dfrac{PQ}{PA} = \dfrac{AC – AB}{AC + AB}$.
Figura 13

Entradas relacionadas

Fuentes

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»