Definition
Quotient rule
Differentiation of f/g at a point where g is nonzero.
If are differentiable at and , then stays nonzero near and
This follows by applying the product rule to and the chain rule to the reciprocal. The same formula holds for each partial derivative.
Vanishing denominators
The formula does not define a quotient at a zero of . A separate extension argument may remove a particular singularity, for example for smooth . Such cancellation must be established before claiming regularity on the axis.