Recomendaciones


(01) 'Sobre las proposiciones formalmente indecidibles de los Principia Mathematica y sistemas afines', de Kurt F. Gödel

(02) La creatividad surge de razonar diferente y hallar absurdos, de repensar éstos y brindarles coherencia.

(03) Hackear es experimentar con las limitaciones de la sabiduría convencional, y aprender algo más en su lugar.
Mostrando entradas con la etiqueta Formalizaciones [fundamentación]. Mostrar todas las entradas
Mostrando entradas con la etiqueta Formalizaciones [fundamentación]. Mostrar todas las entradas

jueves, 9 de abril de 2020

TÉCNICA APROPIADA PARA EL LAVADO DE MANOS

La siguiente es una adaptación (en redacción, que no en método) de la técnica estandarizada para el lavado no hospitalario y rutinario de las manos.


1. MOJAR las manos con agua.

2. ENJABONAR las manos y las muñecas con jabón suficiente.
 
3. FROTAR:
 
        * las PALMAS entre sí,

        * la PALMA de una mano contra el DORSO de la mano opuesta,
           y viceversa,
 
        * las PALMAS ENTRELAZANDO LOS DEDOS,

        * el DORSO DE LOS DEDOS de una mano contra la PALMA de la mano
           opuesta, y viceversa,

        * ROTANDO, el PULGAR de una mano contra la PALMA de la mano
           opuesta, y viceversa,

        * ROTANDO, las PUNTAS DE LOS DEDOS de una mano contra la PALMA
           de la mano opuesta, y viceversa.

4. ENJUAGAR las manos con suficiente agua.

5. SECAR las manos, preferentemente con una toalla desechable
.


10 de Abril de 2020


martes, 7 de abril de 2020

SOBRE LA FORMA DISCRETA DEL MODELO EPIDEMIOLÓGICO SIR

El modelo SIR consiste en considerar que los individuos de una población se contagian de un agente infeccioso a partir de la interacción directa entre ellos. Esto se representa mediante el siguiente esquema:

susceptibles (S) + infectados → infectados (I) → inmunes + fallecidos (R)

Las implicaciones probabilísticas de tales consideraciones llevan necesariamente al planteamiento de expresiones matemáticas que producen curvas características para dicho fenómeno. La manera en que se efectúan dichos cálculos puede ser continua (empleando ecuaciones diferenciales) o discreta (empleando sucesiones). Esta última forma presenta mayor precisión numérica y teórica que la continua y es sobre la cual se ahonda en el texto a continuación:


Esta exposición se ha efectuado a partir de la emergencia mundial debida a la CoViD-19 (coronavirus disease o enfermedad por coronavirus). Cabe señalar, muy a tono con el texto presentado, que seguir las medidas que eviten los contagios es fundamental para disminuir el desastre social que la enfermedad pueda representar. Para la CoViD-19 son:
  1. Distanciamiento social
  2. Frecuente lavado de manos
  3. Evitar el contacto de las manos con el rostro
  4. Evitar la dispersión de saliva en el aire
  5. Limpiar las superficies de contacto comunes
Estas medidas son muy similares a aquellas que permiten prevenir el contagio por resfriado común. A título personal he comprobado que son realmente eficientes para los resfriados, logrando limitar el contagio en mi comunidad.

El distanciamiento implica no acudir a sitios muy concurridos, lo mismo que evitar los saludos de mano o de beso.

El lavado de las manos debe ser empleando la técnica apropiada, o en su defecto y sólo en caso de ser necesario, mediante la aplicación de gel antibacterial a base de alcohol (al 70% por lo menos).

Para evitar la dispersión de saliva en el aire cabe aplicar el correcto estornudo y tosido, es decir, sobre el ángulo interno del codo. Estando enfermo, resulta conveniente el uso de marcarillas o cubrebocas.

El contacto con el rostro, lo mismo que las medidas anteriores, evita no sólo enfermedades respiratorias producidas por virus, sino también otras como el acné. La limpieza de superficies como el teléfono o la computadora sirve también para eludir dichas enfermedades.

08 de Abril de 2020

miércoles, 25 de marzo de 2020

SOBRE LA MODELACIÓN MATEMÁTICA DE LAS EPIDEMIAS SEGÚN LA ANALOGÍA DEL CONTAGIO RESPECTO A LA TEORÍA CINÉTICA

A partir de la teoría cinética que describe el comportamiento de las reacciones químicas a través del tiempo es posible generar una adaptación para la descripción de fenómenos poblacionales, tales como las epidemias. El texto a continuación aborda lo anterior.


Esta exposición se ha efectuado a partir de la emergencia mundial debida a la CoViD-19 (coronavirus disease o enfermedad por coronavirus). Cabe señalar, muy a tono con el texto presentado, que seguir las medidas que eviten los contagios es fundamental para disminuir el desastre social que la enfermedad pueda representar. Para la CoViD-19 son:
  1. Distanciamiento social
  2. Frecuente lavado de manos
  3. Evitar el contacto de las manos con el rostro
  4. Evitar la dispersión de saliva en el aire
  5. Limpiar las superficies de contacto comunes
Estas medidas son muy similares a aquellas que permiten prevenir el contagio por resfriado común. A título personal he comprobado que son realmente eficientes para los resfriados, logrando limitar el contagio en mi comunidad.

El distanciamiento implica no acudir a sitios muy concurridos, lo mismo que evitar los saludos de mano o de beso.

El lavado de las manos debe ser empleando la técnica apropiada, o en su defecto y sólo en caso de ser necesario, mediante la aplicación de gel antibacterial a base de alcohol (al 70% por lo menos).

Para evitar la dispersión de saliva en el aire cabe aplicar el correcto estornudo y tosido, es decir, sobre el ángulo interno del codo. Estando enfermo, resulta conveniente el uso de marcarillas o cubrebocas.

El contacto con el rostro, lo mismo que las medidas anteriores, evita no sólo enfermedades respiratorias producidas por virus, sino también otras como el acné. La limpieza de superficies como el teléfono o la computadora sirve también para eludir dichas enfermedades.

24 de Marzo de 2020

sábado, 30 de julio de 2016

INDECIDIBILIDAD DE LA CONJETURA DE GOLDBACH (ESBOZO)

El siguiente es un esbozo sobre la demostración de la indecidibilidad de la conjetura de Goldbach (que no sea posible demostrarla ni cierta ni falsa).

Se conforma de tres etapas de razonamiento. La primera consiste en demostrar que los números primos no pueden calcularse inductivamente (no existe fórmula para calcularlos uno a uno de manera ordenada, con base en los números naturales).

La segunda etapa consiste en relacionar el resultado anterior con los requerimientos mínimos para que la conjetura de Goldbach sea demostrada.

La tercera etapa consiste en generalizar la indecidibilidad de la conjetura observada en la segunda etapa para todos los métodos de deducción potenciales.


*


Primera etapa:

Obsérvese un caso matemático usual, por ejemplo, n(i+1)=n(i)+(i+1) con n(1)=1. Con este esquema de secuencia es posible calcular n(i)=½•i•(i+1), que es la fórmula de inducción correspondiente. Esto es, que n(i) puede calcularse con una fórmula en función únicamente de i.

Si los números primos se calculan de manera suficiente (sin necesidad de otras definiciones) a partir de la criba de Eratóstenes, la determinación de n(i+1) que representa al primo i+1 depende no sólo de n(i) y una función j(i), sino también de n(i-1), n(i-2), etc. hasta n(1)=2.

Como sea un requisito fundamental para la inducción que n(i+1) sólo dependa de n(i) y una función j(i), queda demostrado que no es posible inducir los números primos, o sea, que no hay fórmula que permita calcularlos a partir sólo de su posición en el listado de primos.


*


Segunda etapa:

Demostrar la conjetura de Goldbach requiere de demostrar que existe una paridad (relación biunívoca) forzosa entre al menos algún primo desde 2 hasta n y algún primo desde n hasta 2•n-1.

Esto porque todos los pares 2•n mayores a 2, son susceptibles de descomponerse en la suma de dos números, el primero entre 1 y n, y el segundo entre n y 2•n-1. Dado que para la conjetura de Goldbach sólo son relevantes los casos de pares de sumandos primos, basta para demostrarla con saber que existe siempre al menos un par de primos, uno desde 2 hasta n y otro desde n hasta 2•n-1, que coinciden haciendo en suma el número 2•n.

Para establecer dicha coincidencia se debe hallar una fórmula (si existe) para calcular los primos entre 2 y n, y otra fórmula para hallar los primos entre n y 2•n-1. Esas fórmulas, para obtener una generalización, deben basarse en la posición que representan en el listado de los primos desde 2 hasta n, y desde n hasta 2•n-1.

Esas posiciones se relacionan en una función que permita el cálculo de los pares de primos coincidentes, tales que permitan calcular, sumados, un número par.

La cuestión es que los números primos no son inducibles en forma general (casos particulares son los polinomios que calculan primos) y por ello no es posible establecer un teorema sobre las condiciones que debe cumplir el par de primos respecto a la suma 2•n.

Entonces, por esta forma de análisis del problema, la conjetura de Goldbach resultaría indecidible, es decir, que la conjetura no es demostrable por medios matemáticos ni cierta ni falsa.

Y esto es así porque en la ausencia de una regla que relacione a los primos en cuestión con 2•n no es posible asegurar si siempre habrá primos que sean sus sumandos o no.


*


Tercera etapa:

La indecidibilidad es una propiedad que debe mantenerse para todos los métodos matemáticos, y no sólo para la propuesta de la etapa anterior.

Si no fuera así, se deducirían absurdos: que por unos métodos la conjetura sea, por decir, verdadera y por otros métodos indecidible. Debe quedar en todos los casos indecidible.

Así, sólo basta pensar que la Matemática es coherente en sí misma (aunque no pueda demostrarse matemáticamente) para deducir que la conjetura de Goldbach es indecidible para cualquier propuesta de razonamiento.


*


Nota: Esta demostración es válida siempre y cuando las reglas parciales de inducción para los primos no puedan relacionarse "en cadena" tal que terminen formando una regla general.

Sin embargo, eso es improbable: si la conjetura es así indecidible, también resulta indecidible saber si existen reglas parciales que en conjunto formen una regla general.

30 de Julio de 2016


viernes, 6 de febrero de 2015

EL MÉTODO DE NEWTON-RAPHSON



«Yo, Joseph Raphson de Londres, admito y acuerdo para y con el Presidente, el Consejo y los miembros de la Real Sociedad de Londres la mejora del conocimiento sobre la Naturaleza»

·

Sea una función f(x) continua en todos sus puntos. Se busca de ella el valor de la raíz x = a, es decir, que se cumpla f(a) = 0.

Siendo para g(x) = x-a que g(a) = 0, es posible expresar lo siguiente:

1. límx→a f(x)/g(x) = límx→a fx(x)/gx(x), por la regla de L'Hôpital (Regla de L'Hôpital. Demostración, 1 de Febrero de 2015) en virtud de que f(a) = 0, g(a) = 0 y tanto f como g son continuas en todos sus puntos.

2. límx→a f(x)/(x-a) = límx→a fx(x), porque gx(x) = 1.

3. f(a+δ)/[(a+δ)-a]-ε = fx(a+δ)-ε', calculando los límites representados en 2. [Lo que involucra el límite, 20 de Julio de 2013]

4. f(xk)/(xk-xk+1)-ε = fx(xk)-ε', si se representa xk = a+δ y xk+1 = a, estando xk “antes” que xk+1, de forma convencional.

5. xk+1 = xk-f(xk)/[fx(xk)+ε-ε'], se deduce de la expresión en 4., observando dependiente xk+1 de xk.

6. xk+1 = xk-f(xk)/fx(xk), porque aritméticamente nada impide que ε y ε' sean iguales con algún valor δ.

Esta última expresión indica la posibilidad de calcular un valor xk+1 = a partiendo de otro xk = a+δ distinto al primero. Sin embargo, se desconoce cuál sea el valor xk que dirija inmediatamente el cálculo hacia xk+1 = a, la raíz de f(x).

Por tal motivo se sugiere que siendo xk+1 ≠ a, éste sea considerado como un nuevo xk pretendiendo calcular finalmente xk+1 = a.

Esto porque al existir el caso donde xk permite calcular de forma inmediata xk+1, se observaría la misma tendencia entre cualesquiera xk y xk+1 previos que no presentaran dicha característica, donde |xk+1-a| sea menor que |xk-a|, de manera sucesiva hasta que finalmente |xk+1-a| = 0, el menor valor posible.

Ello es una suposición, no obstante, de ser cierta terminaría por garantizar que se logre observar el caso donde efectivamente xk+1 = a. En otras palabras, porque la sugerencia permite obtener como conclusión la validez en la expresión en 6, es considerada también válida. Y porque existen pruebas sobre la veracidad de la suposición, se asumirá en adelante que es cierta en todos los casos, aunque existe la posibilidad de demostrar en qué casos no sea así, o bien, que efectivamente la sugerencia sea correcta en todos los casos donde f(x) sea continua en todos sus puntos.

Resumiendo: es posible calcular la raíz de una función f(x) continua en todos sus puntos, valiéndose de la expresión en 6., partiendo de un x0 que permita calcular un x1, luego de éste un x2, y así sucesivamente hasta un xk+1 = a, que sería la raíz buscada puesto que f(a) = 0. Esta secuencia de pasos es conocida como el método de Newton-Raphson.

·

Por ejemplo, se calculará el número π hallando una de las raíces de la función f(x) = sen(x), porque se sabe que sen(π) = 0. Así,

1. xk+1 = xk-sen(xk)/cos(xk), retomando la expresión en 6., siendo la derivada fx(x) = cos(x) [La derivada de las funciones seno y coseno, 1 de Febrero de 2015]

2. xk+1 = xk-tan(xk), porque la función tangente está dada convencionalmente como tan(x) = sen(x)/cos(x).

Se partirá de un valor x0 = 3 para calcular x1. Así se selecciona de entre la gran variedad de números reales porque se conoce de antemano que π ronda un valor aproximado de 3. Si se eligiera x0 = 6, el resultado final sería otro, es decir, 2·π.

Esto porque la derivada es un límite que sólo describe el comportamiento de la función f(x) entorno a x por medio de x+h, y mientras h sea cada vez mayor (no cumpliéndose que h→0), la función será descrita deficientemente. [El teorema fundamental del Análisis, 16 de Julio de 2014]. Para el caso, la diferencia entre π (que se conoce aproximadamente como 3.14) y 6 es mucho mayor que la diferencia entre π y 3, y por ello es que x0 = 3 permite calcular π, no así x0 = 6.

3. x1 = x0-tan(x0), o bien, x1 = 3-tan(3) y queda x1 = 3.14255. Nótese que inicialmente se ha calculado la primera aproximación dada de π como 3.14; sin embargo, no es el valor de la raíz buscada porque sen(3.14255) = -0.00095. Entonces se sigue con

4. x2 = x1-tan(x1), o bien, x2 = 3.14255-tan(3.14255) y queda calculado el valor x1 = 3.14159. Porque sen(3.14159) = 0.00000, se dice encontrada la raíz siendo π = 3.14159.

Aquello es sólo de una estimación a 5 dígitos. Con 6 cifras decimales sen(3.14159) = 0.000003, lo cual muestra que el cálculo no es fundamentalmente correcto. Aun así es un valor aproximado aceptable siempre que se requiera conocer únicamente 5 cifras del número π.

Además, este ejemplo evidencia que la naturaleza del método es tal como se predijo.

Del 2 al 7 de Febrero de 2015
A las 00.05


domingo, 1 de febrero de 2015

LA DERIVADA DE LAS FUNCIONES SENO Y COSENO

Teorema 1. La derivada de la función seno es la función coseno.


Demostración.

1. f(x) = sen(x), expresando la función seno.

2. fx(x) = límh→0 [sen(x+h)-sen(x)]/h, porque la derivada se define

fx(x) = límh→0 [f(x+h)-f(x)]/h.

3. fx(x) = límh→0 [sen(x)·cos(h)+sen(h)·cos(x)-sen(x)]/h, desarrollando el seno de la suma, considerando la identidad

sen(a+b)=sen(a)·cos(b)+sen(b)·cos(a)

4. fx(x) = límh→0 {sen(x)·[cos(h)-1]+sen(h)·cos(x)}/h, agrupando términos semejantes.

5. fx(x) = límh→0 {sen(x)·[cos(h)-1]/h+sen(h)·cos(x)/h}, que es equivalente a la anterior.

6. fx(x) = límh→0 sen(x)·[cos(h)-1]/h+límh→0 sen(h)·cos(x)/h, porque el límite de la suma es igual a la suma de límites [Lo que involucra el límite, 20 de Julio de 2013].

7. fx(x) = límh→0 sen(x)·límh→0 [cos(h)-1]/h+
+límh→0 sen(h)/h·límh→0 cos(x),

porque el límite del producto es igual al producto de límites.

8. fx(x) = límh→0 sen(x)·0+1·límh→0 cos(x),

porque límh→0 [cos(h)-1]/h=0 y límh→0 sen(h)/h=1. Posteriormente se demostrará que los límites son correctos.

9. fx(x) = límh→0 cos(x), de acuerdo con lo anterior. Finalmente,

10. fx(x) = cos(x), porque el límite de una constante (cos(x) no depende de h y es constante para dicha variable) es igual a la constante misma. Esto demuestra el Teorema 1.


·

Teorema 2. La derivada de la función coseno
es el recíproco aditivo de la función seno.


Demostración.

1. f(x) = cos(x), expresando la función coseno.

2. fx(x) = límh→0 [cos(x+h)-cos(x)]/h, porque la derivada se define

fx(x) = límh→0 [f(x+h)-f(x)]/h

3. fx(x) = límh→0 [cos(x)·cos(h)-sen(h)·sen(x)-cos(x)]/h, desarrollando el coseno de la suma, considerando la identidad

cos(a+b)=cos(a)·cos(b)-sen(b)·sen(a).

4. fx(x) = límh→0 {cos(x)·[cos(h)-1]-sen(h)·sen(x)}/h, agrupando términos semejantes.

5. fx(x) = límh→0 {cos(x)·[cos(h)-1]/h-sen(h)·sen(x)/h}, que es equivalente a la anterior.

6. fx(x) = límh→0 cos(x)·[cos(h)-1]/h-límh→0 sen(h)·sen(x)/h, porque el límite de la suma es igual a la suma de límites.

7. fx(x) = límh→0 cos(x)·límh→0 [cos(h)-1]/h+
 -límh→0 sen(h)/h·límh→0 sen(x),

porque el límite del producto es igual al producto de límites.

8. fx(x) = límh→0 cos(x)·0-1·límh→0 sen(x),

porque límh→0 [cos(h)-1]/h=0 y límh→0 sen(h)/h=1. Posteriormente se demostrará que los límites son correctos.

9. fx(x) = -límh→0 sen(x), de acuerdo con lo anterior. Finalmente,

10. fx(x) = -sen(x), porque el límite de una constante (sen(x) no depende de h y es constante para dicha variable) es igual a la constante misma. Esto demuestra el Teorema 2.


·

Como se mencionó en 8 para ambos teoremas, se demostrará que los límites mencionados son correctos:

Teorema 3. Se cumple límh→0 [cos(h)-1]/h = 0.


Demostración.

1. f(h) = cos(h)-1, se define. Asimismo, g(h) = h.

2. fh(h) = -sen(h), considerando de f(h) que la derivada de la suma es igual a la suma de las derivadas [La derivada de la función exponencial del límite «e», 27 de Noviembre de 2011; Teorema 2]. Para el caso, la derivada de cos(h) es, según el Teorema 2, -sen(h); aparte, la derivada de -1 es 0.

3. gh(h) = 1, que es la derivada de g(h) = h.

4. límh→0 f(h)/g(h) = límh→0 fh(h)/gh(h), siempre y cuando f(0) = 0 y g(0) = 0, además de que f y g sean continuas en todos sus puntos, según la regla de L'Hôpital [Regla de L'Hôpital. Demostración, 1 de Febrero de 2015]. Por ello, siendo f(h)=cos(h)-1 y g(h)=h se cumplen ambos requisitos y

5. límh→0 [cos(h)-1]/h = límh→0 -sen(h)/1, es válido.

6. límh→0 [cos(h)-1]/h = -sen(0)/1, que es posible porque -sen(h) es continua en todos sus puntos. O bien,

7. límh→0 [cos(h)-1]/h = 0, porque sen(0) = 0. Con ello se demuestra el Teorema 3.


·

Análogamente será para el

Teorema 4. Se cumple límh→0 sen(h)/h = 1.


Demostración.

1. f(h) = sen(h), se define. Asimismo, g(h) = h.

2. fh(h) = cos(h), porque la derivada de sen(h) es, según el Teorema 1, cos(h).

3. gh(h) = 1, que es la derivada de g(h) = h.

4. límh→0 f(h)/g(h) = límh→0 fh(h)/gh(h), siempre y cuando f(0) = 0 y g(0) = 0, además de que f y g sean continuas en todos sus puntos, según la regla de L'Hôpital. Por ello, siendo f(h)=sen(h) y g(h)=h se cumplen ambos requisitos y

5. límh→0 sen(h)/h = límh→0 cos(h)/1, es válido.

6. límh→0 sen(h)/h = cos(0)/1, que es posible porque cos(h) es continua en todos sus puntos. O bien,

7. límh→0 sen(h)/h = 1, porque cos(0) = 1. Con ello se demuestra el Teorema 4.


1 de Febrero de 2015,
a las 19.28
 
 

REGLA DE L'HÔPITAL. DEMOSTRACIÓN


Johannes Bernoullidemostrador
de la regla de L'Hôpital


Teorema. Sean dos funciones f y g continuas
en todos sus puntos, tales que f(a)=0 y g(a)=0.

Entonces

límx→a f(x)/g(x) = límx→a fx(x)/gx(x)
se cumple (Regla de L'Hôpital)

·

Demostración:

1. fx(x)/gx(x) = {límh→0 [f(x+h)-f(x)]/h}/{límh→0 [g(x+h)-g(x)]/h}, por la definición de la derivada [El teorema fundamental del Análisis (o del Cálculo), 16 de Julio de 2014],

2. fx(x)/gx(x) = límh→0 {[f(x+h)-f(x)]/h}/{[g(x+h)-g(x)]/h}; porque el cociente de límites es igual al límite del cociente [Lo que involucra el límite, 20 de Julio de 2013].

3. fx(x)/gx(x) = límh→0 [f(x+h)-f(x)]/[g(x+h)-g(x)], efectuando el cociente, simplificando.

4. límx→a fx(x)/gx(x) = límx→a límh→0 [f(x+h)-f(x)]/[g(x+h)-g(x)], representando el cálculo del límite cuando x→a.

5. límx→a fx(x)/gx(x) = límh→0 límx→a [f(x+h)-f(x)]/[g(x+h)-g(x)], porque se cumple la igualdad

límx→a lím y→b f(x,y) = límy→b lím x→a f(x,y),
27 de Noviembre de 2014; Teorema 3]

6. límx→a fx(x)/gx(x) = límh→0 [f(a+h)-f(a)]/[g(a+h)-g(a)], siempre y cuando existan f(a) y f(a+h), lo mismo que g(a) y g(a+h), no importando el valor de h, situación que se garantiza cuando tanto f como g son continuas en todos sus puntos, de acuerdo a la definición de continuidad [Lo que involucra el límite, 20 de Julio de 2013].

7. límx→a fx(x)/gx(x) = límh→0 f(a+h)/g(a+h), si es que f(a)=0 y g(a)=0 (segunda parte de la condición en la regla de L'Hôpital).

8. límx→a fx(x)/gx(x) = límh→0 límx→a f(x+h)/g(x+h), que es posible porque tanto f como g son continuas en todos sus puntos.

9. límx→a fx(x)/gx(x) = límx→a límh→0 f(x+h)/g(x+h), por lo mencionado en 5.

10. límx→a fx(x)/gx(x) = límx→a f(x)/g(x), nuevamente porque f y g son continuas en todos sus puntos. O,

11. límx→a f(x)/g(x) = límx→a fx(x)/gx(x), que es la regla de L'Hôpital,
sin olvidar las especificaciones necesarias dadas en 6 y 7.


·

Para finalizar, un ejemplo. Se calculará límx→2 (x2-4)/(x-2) de forma independiente a la regla de L'Hôpital y posteriormente haciendo uso de ella, obsérvandose que es realmente válida.

1. límx→2 (x2-4)/(x-2) = límx→2 (x+2)·(x-2)/(x-2), factorizando el numerador.

2. límx→2 (x2-4)/(x-2) = límx→2 (x+2), efectuando el cociente.

3. límx→2 (x2-4)/(x-2) = 4, porque la función x+2 es continua en todos sus puntos, puede solamente sustituirse x por 2; y queda calculado el límite, independientemente de la regla de L'Hôpital.

Aparte, se calculará el mismo límite considerando la regla.

Nótese que f(x) = x2-4, g(x) = x-2, siendo ambas continuas en todos sus puntos (pueden calcularse f, g, y los límites respectivos para cualquier valor de x, además de que los límites son iguales a los valores f y g). Asimismo, f(2) = 0, g(2) = 0, y con lo anterior indica que es posible emplear la regla de L'Hôpital. Entonces

1. límx→2 (x2-4)/(x-2) = límx→2 2·x/1, porque fx(x)=2·x y gx(x)=1, como lo requiere la regla.

2. límx→2 (x2-4)/(x-2) = límx→2 2·x, simplificando, y límx→2 (x2-4)/(x-2) = 2·2, sustituyendo x por 2 dado que 2·x es continua en todos sus puntos. Finalmente,

3. límx→2 (x2-4)/(x-2) = 4, que es idéntico al valor calculado previamente.

1 de Febrero de 2015,
de las 12.51 a las 13.42