Satz von der differenzierbarkeit der Umkehrfunktion
beinhaltet den ersten Teil der Aussage.
und liefert für f-1 = arccos und f(x) = y= cos(x) die Aussage
arccos' ( y) = 1 / - sin(x) und wegen sin(x) = wurzel( 1-cos^2(x) ) = wurzel( 1-y^2 )
ist also arccos' ( y) = = 1 / - wurzel ( 1 -y^2 ) = -1 / wurzel( 1-y^2 ) q.e.d.