# Exercici 11.1

kill(all)$

f1(x,y):= sin(x+y^3);   
f2(x,y):= cos(x)-exp(y);
f(x,y):=[f1(x,y) , f2(x,y)];

Les funcions components són de tipus C1 en el seu camp d'existència  i, en conseqüència, ho serà la funció f(x,y)=(f1,f2)

'f1(0,0)=f1(0,0);
'f2(0,0)=f2(0,0);

Per tant es compleix que si a=(0,0), aleshores b=f(a)=(0,0)

'Jf(x,y)=Jfxy: jacobian( f(x,y) , [x,y]);

'Jf(0,0)=Jf00:subst([x=0, y=0], Jfxy) ;

detJf00 = determinant(Jf00);

Per tant, f és localment invertible i la inversa és diferenciable.

El calcul de la matriu jacobiana de la funció inversa es farà sabent que:
Jf^{-1}(b) = (Jf(a))^{-1}

'invJf(0,0) = invJf00: invert(Jf00);