lunes, 17 de septiembre de 2018

Ejemplos de uso del lenguaje matemático

ENUNCIADO. Exprésese en el lenguaje natural la siguiente proposición $$(\dot{2}) \cap (\dot{3}) = (\dot{6})$$

Nota: Denotamos por $(\dot{n})$ el conjunto de los números enteros múltiplos de $n$, siendo $n$ un número entero.

SOLUCIÓN. La igualdad entre los conjuntos de ambos miembros viene a decir que si para $x\in \mathbb{Z}$ tal que $x \in ((\dot{2}) \cap (\dot{3}))$, entonces $x \in (\dot{6})$; y, recíprocamente, si $x \in \mathbb{Z}$ es tal que $x \in (\dot{6})$, entonces $x \in ((\dot{2}) \cap (\dot{3}))$

En el lenguaje natural, tal como se pide, esto se expresa diciendo que todo número entero no negativo que sea múltiplo de $2$ y también de $3$ ha de ser, a su vez, múltiplo de $6$; y, recíprocamente, todo número entero múltiplo de $6$ ha de ser un múltiplo de $2$ y, también, un múltiplo de $3$
$\square$

jueves, 13 de septiembre de 2018

Otro ejercicio de cálculo de límites

ENUNCIADO. Calcúlese el siguiente límite $$\displaystyle \lim_{x\rightarrow \pi/2}\,(\tan(x))^{\cos(x)}$$

SOLUCIÓN. Al pasar al límite, nos encontramos con una indeterminación del tipo $\infty^0$, por lo que procedemos a emplear la mimsa técnica que en el ejercicio anterior: sea $L$ el valor de dicho límite ( suponemos que existe ) $$\displaystyle \lim_{x\rightarrow \pi/2}\,(\tan(x))^{\cos(x)}=L$$ entonces, sacando logaritmos en ambos miembros de la igualdad anterior, $$\displaystyle \ln\,(\lim_{x\rightarrow \pi/2}\,(\tan(x))^{\cos(x)})=\ln\,L$$ con lo cual $$\displaystyle L=e^{\ln\,( \displaystyle \lim_{x\rightarrow \pi/2}\,(\tan(x))^{\cos(x)})} \quad \quad (1)$$ Procedamos ahora a calcular $$\displaystyle \ln\,( \displaystyle \lim_{x\rightarrow \pi/2}\,(\tan(x))^{cos(x)})$$ Sabemos que ( propiedad ) $$\displaystyle \ln\,( \displaystyle \lim_{x\rightarrow \pi/2}\,(\tan(x))^{\cos(x)})=\lim_{x\rightarrow \pi/2}\,(\ln\, (\tan(x))^{\cos(x)})$$ lo cual se desarrolla del siguiente modo $$\displaystyle \lim_{x\rightarrow \pi/2}\,(\ln\, (\tan(x))^{\cos(x)})=\displaystyle \lim_{x\rightarrow \pi/2}\,\cos(x)\,\ln\,(\tan(x))=\displaystyle \lim_{x\rightarrow \pi/2}\,\dfrac{\ln\,\tan(x)}{1/\cos(x)}\overset{\dfrac{\infty}{\infty} \rightarrow \text{l'Hôpital}}{=}$$
$$=\displaystyle \lim_{x\rightarrow \pi/2}\,\dfrac{(\ln\,\tan(x))'}{(1/\cos(x))'}=\displaystyle \lim_{x\rightarrow \pi/2}\,\dfrac{((1/\tan(x))\cdot (1/\cos^{2}(x))}{(-1/cos^{2}(x)\cdot (-\sin(x))}=\displaystyle \lim_{x\rightarrow \pi/2}\,\dfrac{1/\tan(x)}{\sin(x)}=$$
$$=\displaystyle \lim_{x\rightarrow \pi/2}\,\dfrac{\cos(x)}{\sin^{2}(x)}=\dfrac{0}{1}=0$$ Así pues, sustituyendo en (1) obtenemos el siguiente resultado $$\displaystyle L=e^{\ln\,( \displaystyle \lim_{x\rightarrow 0}\,(\tan(x))^{\cos(x)})}=e^0=1$$
$\square$

Cálculo de límites de funciones

ENUNCIADO. Calcúlese el siguiente límite $$\displaystyle \lim_{x\rightarrow 0}\,(\cos(x))^{1/\sin(x)}$$

SOLUCIÓN. Al pasar al límite, nos encontramos con una indeterminación del tipo $1^\infty$, por lo que procedemos a emplear la técnica habitual para resolverla: sea $L$ el valor de dicho límite ( suponemos que existe ) $$\displaystyle \lim_{x\rightarrow 0}\,(\cos(x))^{1/\sin(x)}=L$$ entonces, sacando logaritmos en ambos miembros de la igualdad anterior, $$\displaystyle \ln\,(\lim_{x\rightarrow 0}\,(\cos(x))^{1/\sin(x)})=\ln\,L$$ con lo cual $$\displaystyle L=e^{\ln\,( \displaystyle \lim_{x\rightarrow 0}\,(\cos(x))^{1/\sin(x)})} \quad \quad (1)$$ Procedamos ahora a calcular $$\displaystyle \ln\,( \displaystyle \lim_{x\rightarrow 0}\,(\cos(x))^{1/\sin(x)})$$ Sabemos que ( propiedad ) $$\displaystyle \ln\,( \displaystyle \lim_{x\rightarrow 0}\,(\cos(x))^{1/\sin(x)})=\lim_{x\rightarrow 0}\,(\ln\, (\cos(x))^{1/\sin(x)})$$ lo cual se desarrolla del siguiente modo $$\displaystyle \lim_{x\rightarrow 0}\,(\ln\, (\cos(x))^{1/\sin(x)})=\displaystyle \lim_{x\rightarrow 0}\,(\dfrac{1}{\sin(x)}\ln\, (\cos(x)))=\displaystyle \lim_{x\rightarrow 0}\,\dfrac{\ln\,\cos(x)}{\sin(x)}\overset{\dfrac{0}{0} \rightarrow \text{l'Hôpital}}{=}$$
$$=\displaystyle \lim_{x\rightarrow 0}\,\dfrac{(\ln\,\cos(x))'}{(\sin(x))'}=\displaystyle \lim_{x\rightarrow 0}\,\dfrac{(-\sin(x)/\cos(x)}{\cos(x)}=\displaystyle \lim_{x\rightarrow 0}\,\dfrac{(-\sin(x)}{\cos^{2}(x)}=-\dfrac{0}{1}=0$$ Así pues, sustituyendo en (1) obtenemos el siguiente resultado $$\displaystyle L=e^{\ln\,( \displaystyle \lim_{x\rightarrow 0}\,(\cos(x))^{1/\sin(x)})}=e^0=1$$
$\square$