Il y a plusieurs mfaçons de faire . Mais moi , celle que je préfère ....
c'est la suivante .
Soit u : définie par u(x) := 2x/(1 + x²)
Comme u() = [-1 , +1] on peut composer Arcsin et u ( u d'abord !) et noter f l'application Arcsin o u .
f est continue et dérivable en tout point x tel que u(x) [-1 , 1} donc sur l'ouvert V := \ {-1 , +1 } qui est réunion des intervalles A := ]- , -1[ , B ;= ]-1 , +1[ et C := ]1 , + [ .
On a f ' = (2Arctan )' donc f - 2Arctan est constante sur chacun des intervalles A , B , C .Mais sa continuité implique qu'elle l'est sur et comme f(0) = 0 = 2Arctan(0) on a finalement f = 2Arctan .