Estoy haciendo 18.01 SC del MIT OCW y se quedó atascado en esta pregunta (pset1, 1J-2).
Calcular lim by relating it to a value of (\cos x)' .
No resolver esta pregunta después de varios intentos, me miró con sus soluciones y encontré este:
\lim_{x\to \pi/2} {\cos x \over x - \pi/2} = \lim_{x\to \pi/2} {\cos x - \cos(\pi / 2) \over x - \pi/2} = \left.{d \over dx} (\cos x) \right| _{x = \pi/2} = -1
No entiendo la transición de la segunda parte de la ecuación anterior para el tercero. A pesar de que sé cómo calcular la derivada de una función a partir de su diferencia cociente, soy incapaz de comprender cómo la segunda ecuación puede ser el resultado de la derivada de \cos x al x = \pi/2 . Por favor, que me explique cómo funciona esto.
Gracias por su ayuda.