この三つはsin,cos,tanの逆関数だから、逆関数の微分の式を使ってもよいし、たとえばy=arcsinxを微分するなら、まずx=sinyとした後、
x=sinydx=cosydydxdy=cosy=±√1−x2dydx=±1√1−x2のように微分を行う。ここで複号±をどうするかが問題となるが、グラフを見るとわかるように、arcsinはこの定義域・値域の中では常に増加する関数であるから、ddxarcsinx=1√1−x2とする値域を変えると、増加する関数とは限らないから、その場合は符号を調整する必要がある。。
arccosの微分も同様に、
x=cosydx=−sinydydxdy=−siny=±√1−x2dydx=±1√1−x2となるが、今度はグラフからわかるように減少関数(右下がり)なので、ddxarccosx=−1√1−x2となる。
最後にarctanの微分はx=tanyからdxdy=1cos2y=1+tan2yとして、
dxdy=1+tan2y=1+x2dydx=11+x2となるので、ddxarctanx=11+x2となる。arctanという「ややこしそうな関数」の割に、微分の結果が単純な11+x2になるというのは面白いところである。
以上をまとめておく。