Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge / 2018 / Paper 2 / 20 / b

On a smooth implicit branch, put $Q=x+z^2$ and require $Q\ne 0$. This is exactly the implicit function theorem condition, since the defining equation has vertical partial derivative $3Q$. Differentiating the cubic relation in $x$ and $y$ givesFor a second derivative, the dependence of $Q$ on $z$ must also be included: $Q_x=1+2z{z}_x$ and $Q_y=2z{z}_y$. ThusThe required cancellation follows immediately:The verification is local to smooth branches with $x+z^2\ne 0$; the implicit relation does not guarantee a differentiable function at its singular points.