Estoy haciendo 18.01 SC del MIT OCW y se quedó atascado en esta pregunta (pset1, 1J-2).
Calcular $$\lim_{x\to \pi/2} {\cos x \over x - \pi/2}$$ 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.