La primera de sus identidades hace algunos supuestos implícitos: se debe leer como
$$
x^2+f(x)^2=1
$$
donde $f$ algunos (todavía por determinar) de la función. Si nosotros asumimos $f$ a ser diferenciable, entonces podemos diferenciar ambos lados:
$$
2x+2f(x)f'(x)=0
$$
porque se supone que la función de $g$ definido por $g(x)=x^2+f(x)^2$ es constante.
A partir de esto podemos derivar
$$
f'(x)=-\frac{x}{f(x)}
$$
al menos en los puntos donde se $f(x)\ne0$, lo que excluye $x=1$ $x=-1$ desde el dominio donde $f$ es diferenciable.
Por lo tanto, lo que se consigue es que asumiendo $f$ existe y es diferenciable, entonces, para $x\ne1$ y $x\ne 1$, $f'$ satisface la anterior relación.
¿Por qué es la relación escrita de esa manera? La respuesta es que a menudo se nos ha dado un lugar geométrico definido por algunos ecuación en dos variables: es el conjunto de puntos de $(x,y)$ tal que $h(x,y)=0$ y tratamos de encontrar una forma explícita para el locus, que es una relación $y=f(x)$ o $x=g(y)$ , por lo que
$$
h(x,f(x))=0\qquad\text{ o }\qquad h(g(y),y)=0
$$
tiene por $x$ en un barrio de $x_0$ o $y$ en un barrio de $y_0$ donde $(x_0,y_0)$ pertenece a la legitimación.
Tomemos, por ejemplo, la capa delgada Cartesii, $x^3+y^3-3xy=0$. Si diferenciamos con respecto a $x$, obtenemos
$$
3x^2+3y^2y'-3y-3xy'=0
$$
lo que da
$$
y'=\frac{y-x^2}{y^2-x}
$$
Somos capaces de encontrar donde la derivada es cero mediante el establecimiento $y=x^2$ y enchufar en la ecuación original
$$
x^3+x^6-3x^3=0
$$
que es $x=0$ (que no puede ser utilizado) o $x^3=2$, aún sin saber la "forma explícita" $y=f(x)$.