On a va utiliser la définition d'u nombre dérivée en
a d'une fonction dérivable en ce point. On a alors :
f′(a)=x⟶alimx−af(x)−f(a)Ainsi, comme la fonction sinus est dérivable sur
R, on va écrire que :
x⟶alima−xsin(ax)−sin(x2)=−x⟶alimx−asin(ax)−sin(x2)On obtient donc :
x⟶alima−xsin(ax)−sin(x2)=−x⟶alimx−asin(ax)−sin(x2)=x⟶alimx−asin(x2)−sin(ax)=x⟶alimx−asin(x2)−sin(ax)+sin(a2)−sin(a2)=x⟶alimx−asin(x2)−sin(a2)−sin(ax)+sin(a2)Puis, en réorganisant les termes, on trouve que :
x⟶alima−xsin(ax)−sin(x2)=x⟶alim(x−asin(x2)−sin(a2)−x−asin(ax)−sin(a2))=x⟶alimx−asin(x2)−sin(a2)−x⟶alimx−asin(ax)−sin(a2) Donc, en introduisant les nombres dérivées, on obtient :
x⟶alima−xsin(ax)−sin(x2)=(sin(x2))′(x=a)−(sin(ax))′(x=a)Avec :
∙(sin(x2))′=(x2)′sin′(x2)=2xcos(x2)⟹(sin(x2))′(x=a)=2acos(a2)∙(sin(ax))′=(ax)′sin′(ax)=acos(ax)⟹(sin(ax))′(x=a)=acos(aa)=acos(a2)Ce qui nous donne donc :
x⟶alima−xsin(ax)−sin(x2)=2acos(a2)−acos(a2)Finalement, on trouve que :
x⟶alima−xsin(ax)−sin(x2)=acos(a2)