Loading web-font TeX/Main/Regular

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