Reciprocal rule

In calculus, the reciprocal rule gives the derivative of the reciprocal of a function f in terms of the derivative of f. The reciprocal rule can be used to show that the power rule holds for negative exponents if it has already been established for positive exponents. Also, one can readily deduce the quotient rule from the reciprocal rule and the product rule.

The reciprocal rule states that if f is differentiable at a point x and f(x) ≠ 0 then g(x) = 1/f(x) is also differentiable at x and

g'(x)=-{\frac {f'(x)}{f(x)^{2}}}.

Proof[edit]

This proof relies on the premise that $f$ is differentiable at $x,$ and on the theorem that $f$ is then also necessarily continuous there. Applying the definition of the derivative of $g$ at $x$ with $f(x)\neq 0$ gives

{\begin{aligned}g'(x)={\frac {d}{dx}}\left({\frac {1}{f(x)}}\right)&=\lim _{h\to 0}\left({\frac {{\frac {1}{f(x+h)}}-{\frac {1}{f(x)}}}{h}}\right)\\&=\lim _{h\to 0}\left({\frac {f(x)-f(x+h)}{h\cdot f(x)f(x+h)}}\right)\\&=\lim _{h\to 0}\left(-{\frac {f(x+h)-f(x)}{h}}\cdot {\frac {1}{f(x)f(x+h)}}\right).\end{aligned}}

The limit of this product exists and is equal to the product of the existing limits of its factors:

\left(\lim _{h\to 0}-{\frac {f(x+h)-f(x)}{h}}\right)\cdot \left(\lim _{h\to 0}{\frac {1}{f(x)\cdot f(x+h)}}\right).

Because of the differentiability of

f

at

x

the first limit equals

-f'(x),

and because of

f(x)\neq 0

and the continuity of

f

at

x

the second limit equals

1/f(x)^{2},

thus yielding

g'(x)=-f'(x)\cdot {\frac {1}{f(x)^{2}}}=-{\frac {f'(x)}{f(x)^{2}}}.

A weak reciprocal rule that follows algebraically from the product rule[edit]

It may be argued that since

f(x)\cdot {\frac {1}{f(x)}}=1,

an application of the product rule says that

f'(x)\left({\frac {1}{f}}\right)(x)+f(x)\left({\frac {1}{f}}\right)'(x)=0,

and this may be algebraically rearranged to say

\left({\frac {1}{f}}\right)'(x)={\frac {-f'(x)}{f(x)^{2}}}.

However, this fails to prove that 1/f is differentiable at x; it is valid only when differentiability of 1/f at x is already established. In that way, it is a weaker result than the reciprocal rule proved above. However, in the context of differential algebra, in which there is nothing that is not differentiable and in which derivatives are not defined by limits, it is in this way that the reciprocal rule and the more general quotient rule are established.

Application to generalization of the power rule[edit]

Often the power rule, stating that ${\tfrac {d}{dx}}(x^{n})=nx^{n-1}$ , is proved by methods that are valid only when n is a nonnegative integer. This can be extended to negative integers n by letting $n=-m$ , where m is a positive integer.

{\begin{aligned}{\frac {d}{dx}}x^{n}&={\frac {d}{dx}}\,\left({\frac {1}{x^{m}}}\right)\\&=-{\frac {{\frac {d}{dx}}x^{m}}{(x^{m})^{2}}},{\text{ by the reciprocal rule}}\\&=-{\frac {mx^{m-1}}{x^{2m}}},{\text{ by the power rule applied to the positive integer }}m,\\&=-mx^{-m-1}=nx^{n-1},{\text{ by substituting back }}n=-m.\end{aligned}}

Application to a proof of the quotient rule[edit]

The reciprocal rule is a special case of the quotient rule, which states that if f and g are differentiable at x and g(x) ≠ 0 then

{\frac {d}{dx}}\,\left[{\frac {f(x)}{g(x)}}\right]={\frac {g(x)f\,'(x)-f(x)g'(x)}{[g(x)]^{2}}}.

The quotient rule can be proved by writing

{\frac {f(x)}{g(x)}}=f(x)\cdot {\frac {1}{g(x)}}

and then first applying the product rule, and then applying the reciprocal rule to the second factor.

{\begin{aligned}{\frac {d}{dx}}\left[{\frac {f(x)}{g(x)}}\right]&={\frac {d}{dx}}\left[f(x)\cdot {\frac {1}{g(x)}}\right]\\&=f'(x)\cdot {\frac {1}{g(x)}}+f(x)\cdot {\frac {d}{dx}}\left[{\frac {1}{g(x)}}\right]\\&=f'(x)\cdot {\frac {1}{g(x)}}+f(x)\cdot \left[{\frac {-g'(x)}{g(x)^{2}}}\right]\\&={\frac {f'(x)}{g(x)}}-{\frac {f(x)g'(x)}{[g(x)]^{2}}}\\&={\frac {f'(x)g(x)-f(x)g'(x)}{[g(x)]^{2}}}.\end{aligned}}

Application to differentiation of trigonometric functions[edit]

By using the reciprocal rule one can find the derivative of the secant and cosecant functions.

For the secant function:

{\begin{aligned}{\frac {d}{dx}}\sec x&={\frac {d}{dx}}\,\left({\frac {1}{\cos x}}\right)={\frac {-{\frac {d}{dx}}\cos x}{\cos ^{2}x}}={\frac {\sin x}{\cos ^{2}x}}={\frac {1}{\cos x}}\cdot {\frac {\sin x}{\cos x}}=\sec x\tan x.\end{aligned}}

The cosecant is treated similarly:

{\begin{aligned}{\frac {d}{dx}}\csc x&={\frac {d}{dx}}\,\left({\frac {1}{\sin x}}\right)={\frac {-{\frac {d}{dx}}\sin x}{\sin ^{2}x}}=-{\frac {\cos x}{\sin ^{2}x}}=-{\frac {1}{\sin x}}\cdot {\frac {\cos x}{\sin x}}=-\csc x\cot x.\end{aligned}}

References[edit]

v t e Calculus
Precalculus	Binomial theorem Concave function Continuous function Factorial Finite difference Free variables and bound variables Graph of a function Linear function Radian Rolle's theorem Secant Slope Tangent
Limits	Indeterminate form Limit of a function One-sided limit Limit of a sequence Order of approximation (ε, δ)-definition of limit
Differential calculus	Derivative Second derivative Partial derivative Differential Differential operator Mean value theorem Notation Leibniz's notation Newton's notation Rules of differentiation linearity Power Sum Chain L'Hôpital's Product General Leibniz's rule Quotient Other techniques Implicit differentiation Inverse functions and differentiation Logarithmic derivative Related rates Stationary points First derivative test Second derivative test Extreme value theorem Maximum and minimum Further applications Newton's method Taylor's theorem Differential equation Ordinary differential equation Partial differential equation Stochastic differential equation
Integral calculus	Antiderivative Arc length Riemann integral Basic properties Constant of integration Fundamental theorem of calculus Differentiating under the integral sign Integration by parts Integration by substitution trigonometric Euler Tangent half-angle substitution Partial fractions in integration Quadratic integral Trapezoidal rule Volumes Washer method Shell method Integral equation Integro-differential equation
Vector calculus	Derivatives Curl Directional derivative Divergence Gradient Laplacian Basic theorems Line integrals Green's Stokes' Gauss'
Multivariable calculus	Divergence theorem Geometric Hessian matrix Jacobian matrix and determinant Lagrange multiplier Line integral Matrix Multiple integral Partial derivative Surface integral Volume integral Advanced topics Differential forms Exterior derivative Generalized Stokes' theorem Tensor calculus
Sequences and series	Arithmetico-geometric sequence Types of series Alternating Binomial Fourier Geometric Harmonic Infinite Power Maclaurin Taylor Telescoping Tests of convergence Abel's Alternating series Cauchy condensation Direct comparison Dirichlet's Integral Limit comparison Ratio Root Term
Special functions and numbers	Bernoulli numbers e (mathematical constant) Exponential function Natural logarithm Stirling's approximation
History of calculus	Adequality Brook Taylor Colin Maclaurin Generality of algebra Gottfried Wilhelm Leibniz Infinitesimal Infinitesimal calculus Isaac Newton Fluxion Law of Continuity Leonhard Euler Method of Fluxions The Method of Mechanical Theorems
Lists	Differentiation rules List of integrals of exponential functions List of integrals of hyperbolic functions List of integrals of inverse hyperbolic functions List of integrals of inverse trigonometric functions List of integrals of irrational functions List of integrals of logarithmic functions List of integrals of rational functions List of integrals of trigonometric functions Secant Secant cubed List of limits Lists of integrals
Miscellaneous topics	Complex calculus Contour integral Differential geometry Manifold Curvature of curves of surfaces Tensor Euler–Maclaurin formula Gabriel's horn Integration Bee Proof that 22/7 exceeds π Regiomontanus' angle maximization problem Steinmetz solid