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 cos2 x + sin2 x = 1 gilt
sin x = √(1 - cos2 x) |mal angenommen,
| dass wir den Bereich mit sinx >0 und cosx > 0 betrachten.
sin x = √(1 - y2)
Einsetzen in
arccos(y) ' = 1/ (-sin(x)) = 1/ (-√(1-y2)) = -1/ √(1-y2)
Nun noch mit x schreiben:
arccos(x) ' = -1/ √(1-x2) qed.
Weitere Vorzeichenbereiche allenfalls mit Fallunterscheidungen auch noch beweisen.