Conditions for Two Functions in the Plane to be Functionally Related

Theorem

A necessary and sufficient condition for functionsandto be related by the function F withis

Proof

Suppose thatthen using the chain rule gives

and(1)

Since {{partial F} over {partial f}} and {{partial F} over {partial y}} are not both zero, the equations (1) are consistent only if the determinant of the coeefient matrix

Butso