Wie gesagt es ist die Formel für die Ableitung von arccos und keine Formel für arccos.
Die Ableitungen von Umkehrfunktionen können nach der Formel hier berechnet werden:
(f^{-1} (y)) ' = 1/f ' (x)
Vgl. https://de.wikipedia.org/wiki/Umkehrregel
Dort ist die Ableitung von arcsin vorgerechnet. Diejenige für arccos kannst du bestimmt selbst aus dem dort vorliegenden Text übertragen.
(f^{-1} (y)) ' = 1/f '( x)
x = arccos(y)
arccos(y) ' = 1/ (-sin(x))
Jetzt muss ja rechts y und nicht x vorkommen.
Wir wissen y = cosx
Wegen cos^2 x + sin^2 x = 1 gilt
sin x = √(1 - cos^2 x) |mal angenommen,
| dass wir den Bereich mit sinx >0 und cosx > 0 betrachten.
sin x = √(1 - y^2)
Einsetzen in
arccos(y) ' = 1/ (-sin(x)) = 1/ (-√(1-y^2)) = -1/ √(1-y^2)
Nun noch mit x schreiben:
arccos(x) ' = -1/ √(1-x^2) qed.
Weitere Vorzeichenbereiche allenfalls mit Fallunterscheidungen auch noch beweisen.