Simple application of Implicit function theorem.... I am almost there

222 Views Asked by At

consider the surfaces $S_1$ and $S_2$ in $\mathbb{R}^3$ defined by

$$x^2 -xy +yz^2 = 1$$ $$ xz^2 +y^2 -2yz = 0$$ We need to show that there is a smooth map from an interval aboutt $0 \in \mathbb{R}$ to $S_1 \cap S_2$ taking $0$ to $(1,1,1)$

My attempt

I just know that $F(x,y,z) = (x^2 -xy +yz^2 - 1, xz^2 +y^2 -2yz )$ then $F(1,1,1) = 0$ and I have by taking jacobian $\frac{\partial F}{\partial x \partial z}\Big|_{(1,1,1)}$ $$ \left|\begin{matrix} 1 & 2 \\ 1 & 0 \notag \end{matrix}\right| = -2 \neq 0 $$ Then by Implicit function theorem $x$, $z$ can be expressed in terms of $y$ and we have $C^1$ functions '$x$,$z$' with $x(1)= 1$, $z(1) = 1$ with $F(x(y),y,z(y)) = (0,0,0)$

My question is if this approach is right how to proceed from here to get smooth map about $0$?