est la composée de la fonction et de la fonction racine carrée, dérivable sur .

Or pour appartenant à , on a , donc .

Donc pour appartenant à , appartient à l'ensemble de dérivabilité de la fonction racine.

est donc dérivable sur comme composée de deux fonctions dérivables.