est le produit de deux fonctions dérivables sur et est donc dérivable sur ce même intervalle.

De plus .

On peut aussi écrire pour : ,

donc : .