Let for for integers and . This implies

If we assume that the derivative exists then derive the formula

using the formula for the derivative of an integer power and implicit differentiation.

Starting with the equation we differentiate each side with respect to (where is a function of so we need to use the chain rule).

Should we say that we assume y is not 0?