So I'm a set of practice problems regarding this but I don't quite understand how to think about this...
Example of a problem:
$x^3 (y^3 +z^3 )=0$ and $(x-y)^3 -z^2 -7=0$
A point lies on the surfaces $(1,-1,1)$
Show that in a neighborhood of this point, the curve of intersection of the surfaces can be described by a pair of equations $y=f(x)$, $z=g(x)$.
Now we just covered the inverse function theorem and implicit function theorem for multi-variable vector-valued functions.
I believe somehow I need to use the implicit function theorem..... but I don't know how.... for instance:
let $F(x,y,z)= (x^3 (y^3 +z^3) , (x-y)^3 -z^2 -7)$
Using the implicit function theorem:
$$\frac{\partial (f_1,f_2)}{\partial y\partial z}= \begin{bmatrix} ∂f_1/∂y & ∂f_1/∂z \\∂f_2/∂y & ∂f_2/∂z \end{bmatrix}$$Now: $\det [∂(f_1,f_2)/∂y∂z] = -6(x^3 y^2 z)+(9z^2 x^3 (x-y)^2 )$.Evaluated at the point $(1,-1,1)$ we find determinant not equal to zero.
Thus we may apply the Implicit Function theorem.
And now I'm confused. I feel that I should somehow set $z,y$ equal to something but its not clear what I should set equal to what... My book's proof of the theorem (which oddly enough contains no examples of application in this context) using cramer's rule [linear algebra tool which I understand] but I don't see how this would help.
So I know I should be apply use to the implicit function theorem to find a $y=f(x)$ and $z=g(x)$ but I really don't see how.