Bonjour à tout le monde

j' aimerais avoir la solution de cet exo:
soit f(x)=1/Cos(x) une fonction bijective de ]0;pi/2[ Vers ]1;+infini[
montrer que La dérivéé de la reciproque de f est egale à:1/(Y(racine[y²-1])