bonsoir
l'intitutler est :
étudier les variations de la fonction f définie sur [o;pi/2[ par f'x)=tan x-x(rac2).
on désignera par alpha le réel unique de ]o;pi/2[ vérifiant tan alpha= (rac(rac2)-1)

j'ai fait la dérivé de la fonction mais je suis bloqué à là
f'(x)=(1/cos²x)-(rac2)
j'ai pensé a utilisé l'identité remarquable (a+b)(a-b)=a²-b² mais ça me fait des racine de racine donc je me dis que c'est pas la bonne solution.
merci de votre aide