Demostrar que la derivada de la función 𝒇(𝒙) = 𝒄𝒐𝒔 𝒙 𝒆𝒔 𝒇′ (𝒙) = −𝒔𝒆𝒏 𝒙

Primeramente desglosemos cada parte de la definición

1) 𝑓(𝑥0 ) = 𝑐𝑜𝑠 𝑥0
2) 𝑓(𝑥0 + ∆𝑥) = 𝑐𝑜𝑠(𝑥0 + ∆𝑥), 𝑎𝑝𝑙𝑖𝑞𝑢𝑒𝑚𝑜𝑠 𝑙𝑎 𝑖𝑑𝑒𝑛𝑡𝑖𝑑𝑎𝑑 𝑡𝑟𝑖𝑔𝑜𝑛𝑜𝑚𝑒𝑡𝑟𝑖𝑐𝑎
𝑓(𝑥0 + ∆𝑥) = 𝑐𝑜𝑠(𝑥0 )𝑐𝑜𝑠(∆𝑥) − 𝑠𝑒𝑛( 𝑥0 )𝑠𝑒𝑛(∆𝑥)

Sustituyamos (1) y (2) en la definición

𝑓(𝑥0 + ∆𝑥) − 𝑓(𝑥0 )

lim =
∆𝑥→0 ∆𝑥
𝑐𝑜𝑠(𝑥0 )𝑐𝑜𝑠(∆𝑥) − 𝑠𝑒𝑛 (𝑥0 )𝑠𝑒𝑛 (∆𝑥) − cos 𝑥0
= lim =
∆𝑥→0 ∆𝑥

Extraemos el factor común

𝑐𝑜𝑠(𝑥0 )[𝑐𝑜𝑠(∆𝑥) − 1]) − 𝑠𝑒𝑛 (𝑥0 )𝑠𝑒𝑛 (∆𝑥)
= lim =
∆𝑥→0 ∆𝑥

Separemos las expresiones

(𝑐𝑜𝑠(∆𝑥) − 1) 𝑠𝑒𝑛(∆𝑥)
= lim cos(𝑥0 ) − lim 𝑠𝑒𝑛 (𝑥0 )
∆𝑥→0 ∆𝑥 ∆𝑥→0 ∆𝑥

Apliquemos las propiedades

cos 𝑥 − 1
lim =0
∆𝑥→0 ∆𝑥

𝑠𝑒𝑛(∆𝑥)
lim =1
∆𝑥→0 ∆𝑥
= 0 cos(𝑥0 ) − 1𝑠𝑒𝑛 (𝑥0 ) = 0 − 𝑠𝑒𝑛(𝑥0 ) = −𝑠𝑒𝑛(𝑥0 ) = −𝑠𝑒𝑛 𝑥