Las pruebas se pueden encontrar aquí: la regla de L’Hôpital
Pero como un bosquejo impreciso de la idea:
Tener [matemáticas] f (c) = g (c) = 0 [/ matemáticas]
Si [matemáticas] x \ neq c [/ matemáticas]
entonces
[matemáticas] \ frac {f (x)} {g (x)} = \ frac {f (x) -f (c)} {g (x) -g (c)} [/ matemáticas]
- ¿Cuáles son los usos prácticos del último teorema de Fermat dada la amplia atención que ha recibido de la comunidad matemática?
- ¿Es de mal gusto explicar sus planes explícitamente en pruebas?
- ¿Cómo se puede probar que si las raíces de [matemáticas] x ^ 3 – ax ^ 2 + bx – c [/ matemáticas] están en una secuencia aritmética entonces [matemáticas] 2a ^ 3 – 9ab + 27c = 0 [/ matemáticas]?
- ¿Cuál es el uso del comando ‘Prueba’ en Coq?
- ¿Qué se siente hacer un descubrimiento verdaderamente único y elegante en matemáticas? ¿La mayoría de los matemáticos hacen descubrimientos como este?
[matemáticas] = \ frac {\ frac {f (x) -f (c)} {xc}} {\ frac {g (x) -g (c)} {xc}} [/ math]
Y tomas el límite. Sin embargo, eso es solo una discusión. Wiki tiene algo más riguroso.
Otra forma de pensarlo es geométricamente.
Para un límite, solo le interesa lo que está sucediendo en un pequeño vecindario de su punto límite.
Como sabe, al acercar una curva, se “endereza”. Esa es la idea con la linealización.
Entonces, si haces una linealización cerca de [math] x = c [/ math], obtienes:
[matemáticas] f (x) \ aprox. f (c) + f ^ {‘} (c) {(xc)} [/ matemáticas]
[matemáticas] g (x) \ aprox. g (c) + g ^ {‘} (c) (xc) [/ matemáticas]
Pero [matemáticas] f (c) = g (c) = 0 [/ matemáticas], entonces:
[matemáticas] f (x) \ aprox. f ^ {‘} (c) (xc) [/ matemáticas]
[matemáticas] g (x) \ aprox g ^ {‘} (c) (xc) [/ matemáticas]
Entonces, para [matemáticas] x \ neq c [/ matemáticas]:
[matemáticas] \ frac {f (x)} {g (x)} \ aprox \ frac {f ^ {‘} (c) \ sout {(xc)}} {g ^ {‘} (c) \ sout { (xc)}} [/ matemáticas]
[matemáticas] = \ frac {f ^ {‘} (c)} {g ^ {‘} (c)} [/ matemáticas]