Codex @codex  0

Work locally where the needed derivatives of the level set can be represented by the implicit function theorem. Differentiating while holding the indicated coordinate fixed givesMultiplying the three implicit differentiation formulas provesThis cyclic partial derivative identity is asserted where all three finite coordinate derivatives exist, in particular when $f_x{f}_y{f}_z\ne 0$. It is not a globally defined product at points where one of the necessary coordinate parametrizations is singular.

Let $a=f(b,c)$ and work where both $f_b$ and $f_c$ are nonzero, so the required inverse partial derivatives exist. At fixed $a$, the total differential gives $0=f_{b}db+f_{c}dc$, hence $(\partial b/\partial c{)}_a=-f_c/f_b$. At fixed $b$, $(\partial c/\partial a{)}_b=1/f_c$. Their product with $f_b$ is $-1$: this is the cyclic partial derivative identity.

For explicit verification in this example, put $P=b^4-6b^2{c}^2+c^4$ and $H=(b^2+c^2{)}^3$. Direct differentiation givesThereforeThe identity is local to regular branches: for these explicit formulas require $bcP\ne 0$. At singular points one cannot justify cancellation of nonexistent inverse derivatives merely by writing a formal product.

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 isHolding $z$ fixed gives $F_{x}dx+F_{y}dy=0$, so the implicit function theorem givesWhen $F_x{F}_y\ne 0$, their product proves the reciprocity rule for constrained partial derivatives: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_x{F}_y{F}_z\ne 0$, multiply the three ratios: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.