= Solution
Assume $F$ is <continuously differentiable> near the point of interest on $F=0$, and that the relevant denominators below are nonzero. The <total differential> on the surface is
$$
dF=F_x\,dx+F_y\,dy+F_z\,dz=0.
$$
Holding $z$ fixed gives $F_x\,dx+F_y\,dy=0$, so the <implicit function theorem> gives
$$
\left(\frac{\partial y}{\partial x}\right)_z=-\frac{F_x}{F_y},\qquad
\left(\frac{\partial x}{\partial y}\right)_z=-\frac{F_y}{F_x}.
$$
When $F_xF_y\ne0$, their product proves the <reciprocity rule for constrained partial derivatives>:
$$
\boxed{\left(\frac{\partial y}{\partial x}\right)_z
\left(\frac{\partial x}{\partial y}\right)_z=1.}
$$
Similarly, holding $y$ or $x$ fixed gives $(\partial x/\partial z)_y=-F_z/F_x$ and $(\partial z/\partial y)_x=-F_y/F_z$. With $F_xF_yF_z\ne0$, multiply the three ratios:
$$
\boxed{\left(\frac{\partial y}{\partial x}\right)_z
\left(\frac{\partial x}{\partial z}\right)_y
\left(\frac{\partial z}{\partial y}\right)_x
=\left(-\frac{F_x}{F_y}\right)\left(-\frac{F_z}{F_x}\right)\left(-\frac{F_y}{F_z}\right)=-1.}
$$
This is the <cyclic partial derivative identity>. Nonzero denominators and local differentiable coordinate representations are substantive assumptions: at a singular coordinate representation, a formal cancellation of zero or infinite factors is not a valid proof.
Back to article page
