Sendo f(x)=cos x, seja g a função inversa de f, ou seja g(x)=arccos x.

Sabemos que:


Precisamos saber quanto vale sen(arccos x).

Para tanto, seja y=arccos x, .

Cabe aqui observar que, como estamos procurando a derivada, devemos considerar . Além disso, pela condição de existência da função inversa, temos que x=cos y, sendo .

Nosso problema é o de calcular sen y, ou melhor ainda, -sen y.

Sabemos que ; então:

mas como , sen y>0.

Logo, , ou seja,

e, portanto, .