He aquí un boceto:
Si $Df(x,y)=0$ para todos los $(x,y)\in\mathbb{R}^2,$ a continuación, hemos terminado. Así, supongamos que en lugar de que exista $(a,b)$ , de modo que $Df(a,b)\neq 0,$ y supongamos, WLOG, que $D_1f(a,b)\neq 0.$ Uso la continuidad de $D_1 f$ para conseguir que no es cero durante un vecindario $U$ de $(a,b).$ Ahora, definir $g(x,y)=(f(x,y),y)$ de $U$ a $\mathbb{R}^2.$ Se puede aplicar el teorema de la función inversa (marque este) para conseguir abrir conjuntos de $V$ contiene $(a,b)$ e $W$ contiene $g(a,b)$ , de modo que $g:V\rightarrow W$ es un bijective con $C^1$ inversa. Desde $W$ está abierto, usted puede encontrar $t\neq b$ , de modo que $(f(a,b),t)\in W.$ Si dejamos $(c,d)=g^{-1}(f(a,b),t),$ entonces podemos ver que $$(f(a,b),t)=g(c,d)\neq g(a,b)=(f(a,b),b),$$ which implies that $(c,d)\neq (a,b).$ However, $$(f(a,b),t)=g(c,d)=(f(c,d),d),$$ so we must have that $f(c,d)=f(a,b)$. Thus, $f$ no es inyectiva.