Foundations to FrontierReferences and toolsBezhig

Reference sheets: formulas with conditions

On this page
  1. 1. Notation, algebra, and the first calculus chain
  2. 2. Derivatives and their structure
  3. 3. Derivative applications and theorem gates
  4. 4. Integrals: accumulation and geometry
  5. 5. Choosing an integration method
  6. Numerical integration error bounds
  7. 6. Series and approximation: select the claim carefully
  8. 7. Curves, coordinates, and local multivariable change
  9. 8. Multiple integrals and coordinate changes
  10. 9. Vector integrals and orientation
  11. 10. A final method-and-error checklist

Use these pages for retrieval and method selection, not as a replacement for the worked teaching. Cover the right side of a formula, reconstruct it, and explain its restrictions before checking. All variables are real unless stated otherwise; trigonometric derivative formulas use radians.

1. Notation, algebra, and the first calculus chain#

A function ff is a rule with a specified domain. f(a)f(a) is its output at aa; f′(a)f'(a) is its derivative there when a finite derivative exists. f−1f^{-1} means an inverse function, not 1/f1/f. sin⁡−1x\sin^{-1}x conventionally means arcsin⁡x\arcsin x, not csc⁡x\csc x.

f(a+h)−f(a)h(h≠0),f′(a)=lim⁡h→0f(a+h)−f(a)h.\frac{f(a+h)-f(a)}{h}\quad(h\ne0),\qquad f'(a)=\lim_{h\to0}\frac{f(a+h)-f(a)}h.

The quotient is an average rate over the interval with endpoints aa and a+ha+h; the limit is instantaneous. To form f(a+h)f(a+h), replace every input with the whole expression a+ha+h. In subtracting f(a)f(a), distribute the negative sign over every term. Cancel common nonzero factors, not terms of sums.

x2−a2x−a=x+a (x≠a),x2=∣x∣,(x+h)2=x2+2xh+h2.\frac{x^2-a^2}{x-a}=x+a\ (x\ne a),\qquad \sqrt{x^2}=|x|,\qquad (x+h)^2=x^2+2xh+h^2.

Record denominator exclusions before simplifying. Even roots require nonnegative radicands; real logarithms require positive arguments. For a,b>0a,b>0,

ln⁡(ab)=ln⁡a+ln⁡b,ln⁡(a/b)=ln⁡a−ln⁡b,log⁡ba=ln⁡aln⁡b (b>0,b≠1).\ln(ab)=\ln a+\ln b,\quad \ln(a/b)=\ln a-\ln b,\quad \log_b a=\frac{\ln a}{\ln b}\ (b>0,b\ne1).

There is no comparable rule splitting ln⁡(a+b)\ln(a+b) into ln⁡a+ln⁡b\ln a+\ln b.

y−f(a)=f′(a)(x−a),L(x)=f(a)+f′(a)(x−a).\boxed{y-f(a)=f'(a)(x-a)},\qquad \boxed{L(x)=f(a)+f'(a)(x-a)}.

The tangent-line equation is exact as a line. The claim f(x)≈L(x)f(x)\approx L(x) is a local approximation; differentiability says its error divided by ∣x−a∣|x-a| tends to zero. A point’s height equals the vertical-axis intercept only when that point is on the vertical axis. Module 01–Module 08, Module 13.

2. Derivatives and their structure#

For differentiable u,vu,v, where expressions are defined,

(uv)′=u′v+uv′,(uv)′=u′v−uv′v2 (v≠0),(f∘g)′=(f′∘g)g′.(uv)'=u'v+uv',\qquad \left(\frac uv\right)'=\frac{u'v-uv'}{v^2}\ (v\ne0),\qquad (f\circ g)'=(f'\circ g)g'.
f(x)f′(x)f(x)f′(x)xnnxn−1exexaxaxln⁡a (a>0)ln⁡∣x∣1/x (x≠0)sin⁡xcos⁡xcos⁡x−sin⁡xtan⁡xsec⁡2xcot⁡x−csc⁡2xsec⁡xsec⁡xtan⁡xcsc⁡x−csc⁡xcot⁡xarcsin⁡x(1−x2)−1/2arccos⁡x−(1−x2)−1/2arctan⁡x(1+x2)−1arccot⁡x−(1+x2)−1\begin{array}{c|cc|c} f(x)&f'(x)&\qquad f(x)&f'(x)\\\hline x^n&nx^{n-1}&\qquad e^x&e^x\\ a^x&a^x\ln a\ (a>0)&\qquad \ln|x|&1/x\ (x\ne0)\\ \sin x&\cos x&\qquad \cos x&-\sin x\\ \tan x&\sec^2x&\qquad \cot x&-\csc^2x\\ \sec x&\sec x\tan x&\qquad \csc x&-\csc x\cot x\\ \arcsin x&(1-x^2)^{-1/2}&\qquad \arccos x&-(1-x^2)^{-1/2}\\ \arctan x&(1+x^2)^{-1}&\qquad \operatorname{arccot}x&-(1+x^2)^{-1} \end{array}

Inverse sine/cosine derivatives require ∣x∣<1|x|<1. The last inverse-cotangent formula uses the decreasing branch with values in (0,π)(0,\pi). For real powers with noninteger exponent, the safe general derivative statement uses x>0x>0; larger real domains depend on the exponent and branch convention. Trigonometric quotient derivatives hold only away from their poles.

Implicit and inverse differentiation. Differentiate every term of an equation, attaching y′y' when differentiating a yy expression with respect to xx, then solve for y′y'. For a differentiable local inverse,

(f−1)′(b)=1f′(a),f(a)=b,f′(a)≠0,(f^{-1})'(b)=\frac{1}{f'(a)},\qquad f(a)=b,\quad f'(a)\ne0,

under the local invertibility and regularity assumptions taught in Module 11. The input bb of the inverse is the output of the original function.

Method selection. Identify outermost structure first: sum, product, quotient, or composition. In x2esin⁡xx^2e^{\sin x}, the top level is a product and one factor contains a composition. Use a product rule and then a chain rule; do not search for one memorized formula matching the entire expression. Module 09–Module 11.

3. Derivative applications and theorem gates#

For position s(t)s(t), velocity v=s′v=s' and acceleration a=v′a=v'. Speed is ∣v∣|v|, so when v≠0v\ne0, speed increases when va>0va>0 and decreases when va<0va<0. Total distance is ∫∣v∣ dt\int|v|\dd t, not necessarily the magnitude of displacement ∣∫v dt∣\left|\int v\dd t\right|.

Related rates. Draw a time-specific diagram; write a relation valid during the motion; differentiate with respect to time; then substitute the instant’s data. Do not set a changing quantity equal to its instantaneous number before differentiating.

Closed-interval extrema. For continuous ff on [a,b][a,b], evaluate endpoints and every interior critical number (f′=0f'=0 or f′f' undefined where ff exists). Compare function values. For an unbounded or open domain, examine boundary behavior separately; existence of a global extremum is not automatic.

Sign information. On an interval, f′>0f'>0 implies strict increase and f′<0f'<0 implies strict decrease. A strictly increasing function may have derivative zero at isolated points. A sign change of f′f' from ++ to −- gives a local maximum; −- to ++ gives a local minimum. Inflection requires a change of concavity, not merely f′′=0f''=0.

Newton’s method.

xn+1=xn−f(xn)f′(xn).x_{n+1}=x_n-\frac{f(x_n)}{f'(x_n)}.

It requires a usable nonzero denominator at each step and is not guaranteed to converge from every starting value. Check the final residual and, when possible, a bracket or derivative-based error bound.

TheoremCheck before using it
Intermediate ValueContinuity on a closed interval; the target lies between endpoint values. It proves existence, not uniqueness.
Mean ValueContinuity on [a,b][a,b], differentiability on (a,b)(a,b); some cc satisfies f′(c)=[f(b)−f(a)]/(b−a)f'(c)=[f(b)-f(a)]/(b-a).
RolleMean Value hypotheses plus f(a)=f(b)f(a)=f(b). Then some interior derivative is zero.
L’HopitalA quotient with a verified 0/00/0 or infinite-over-infinite limiting form; differentiability on the relevant punctured interval; denominator derivative nonzero there; a derivative-ratio limit that exists in the extended sense. Other forms need an algebraic or logarithmic conversion first.

Limits of derivative ratios are not identities between the original functions. A single application may still leave an indeterminate form. Module 12–Module 15. [O1MVT][O1LH]

4. Integrals: accumulation and geometry#

For continuous ff and an antiderivative FF on [a,b][a,b],

∫abf(x) dx=F(b)−F(a), d dx∫axf(t) dt=f(x).\int_a^b f(x)\dd x=F(b)-F(a),\qquad \frac{\dd}{\dd x}\int_a^x f(t)\dd t=f(x).

For variable limits, continuity of ff and differentiability of u,vu,v give

 d dx∫u(x)v(x)f(t) dt=f(v(x))v′(x)−f(u(x))u′(x).\frac{\dd}{\dd x}\int_{u(x)}^{v(x)}f(t)\dd t =f(v(x))v'(x)-f(u(x))u'(x).

A definite integral can be negative. Geometric area uses ∫∣f∣\int|f| or upper-minus-lower pieces; an average value is (b−a)−1∫abf(b-a)^{-1}\int_a^bf when a<ba<b. An indefinite integral represents a family of antiderivatives, including an arbitrary constant on each connected interval of its domain.

∫xn dx=xn+1n+1+C(n≠−1),∫ dxx=ln⁡∣x∣+C,\int x^n\dd x=\frac{x^{n+1}}{n+1}+C\quad(n\ne-1),\qquad \int\frac{\dd x}{x}=\ln|x|+C,
∫ekx dx=ekxk+C (k≠0),∫ dxa2+x2=1aarctan⁡(x/a)+C (a>0).\int e^{kx}\dd x=\frac{e^{kx}}k+C\ (k\ne0),\quad \int\frac{\dd x}{a^2+x^2}=\frac1a\arctan(x/a)+C\ (a>0).

Real-power domains still matter. Reverse differentiation is the fastest independent check of a proposed antiderivative.

Applications arise from a small contribution.

V=∫A(x) dx,Vwasher=π∫(R2−r2) dx,Vshell=2π∫(radius)(height) dx,V=\int A(x)\dd x,\quad V_{\rm washer}=\pi\int(R^2-r^2)\dd x,\quad V_{\rm shell}=2\pi\int(\text{radius})(\text{height})\dd x,
L=∫1+(f′)2 dx,Srevolution=2π∫(distance to axis) ds,L=\int\sqrt{1+(f')^2}\dd x,\qquad S_{\rm revolution}=2\pi\int(\text{distance to axis})\dd s,
W=∫F∥ dx,Ffluid=∫(ρg depth) dA,xˉ=∫x dm∫ dm.W=\int F_{\parallel}\dd x,\quad F_{\rm fluid}=\int(\rho g\,\text{depth})\dd A,\quad \bar x=\frac{\int x\dd m}{\int\dd m}.

Radii are distances to the actual rotation axis, not automatically xx or yy. Arc/surface formulas require suitable smoothness and no unintended multiple tracing. Work units are force times distance; volume units are length cubed. Module 16–Module 19. [O1FTC][O2Apps]

5. Choosing an integration method#

First simplify. Expand a short polynomial product, split sums, complete a square, or divide an improper rational function. Then inspect structure.

Substitution: look for an inner expression whose derivative appears as a factor. Set u=g(x)u=g(x) and replace the differential as well as the expression. Change definite bounds or return to xx before evaluating—not a mixture of both.

Parts: a product with a factor that simplifies on differentiation, or a lone logarithm/inverse trigonometric function. The product rule gives

∫u dv=uv−∫v du.\int u\dd v=uv-\int v\dd u.

Repeated or cyclic parts may be necessary. The goal is a simpler integral, not loyalty to a mnemonic.

Trigonometric powers: reserve a sine/cosine factor when its power is odd; use sin⁡2x=(1−cos⁡2x)/2\sin^2x=(1-\cos2x)/2 and cos⁡2x=(1+cos⁡2x)/2\cos^2x=(1+\cos2x)/2 for even powers. For tangent/secant, a sec⁡2x dx\sec^2x\dd x or sec⁡xtan⁡x dx\sec x\tan x\dd x factor often reveals a substitution.

Radicals: a2−x2\sqrt{a^2-x^2} suggests x=asin⁡θx=a\sin\theta; a2+x2\sqrt{a^2+x^2} suggests x=atan⁡θx=a\tan\theta; x2−a2\sqrt{x^2-a^2} suggests a secant substitution on a carefully specified branch. Square roots produce absolute values; choose the angle interval so the sign simplification is valid.

Rational functions: divide first if needed, factor the denominator, and use partial fractions with every repeated linear power and a general linear numerator over each irreducible quadratic factor. Integrate on intervals avoiding poles.

No useful elementary simplification: a definite integral may be approximated numerically or expanded by a justified series method. Not finding an elementary antiderivative does not imply that the integral is undefined. Module 20–Module 24.

Numerical integration error bounds#

Let h=(b−a)/nh=(b-a)/n. If ∣f′′∣≤M2|f''|\le M_2 throughout [a,b][a,b] and the needed derivatives are continuous,

∣EM∣≤M2(b−a)324n2,∣ET∣≤M2(b−a)312n2.|E_M|\le\frac{M_2(b-a)^3}{24n^2},\qquad |E_T|\le\frac{M_2(b-a)^3}{12n^2}.

For composite Simpson, nn must be even; with continuous fourth derivative and ∣f(4)∣≤M4|f^{(4)}|\le M_4,

∣ES∣≤M4(b−a)5180n4.|E_S|\le\frac{M_4(b-a)^5}{180n^4}.

The bound is not the actual error. A fine-looking table alone does not supply a derivative bound between nodes. Improper integrals must be split at each singularity and interpreted as separate one-sided limits; finite cancellation across a pole does not establish convergence. [O2Num][O2Improper]

6. Series and approximation: select the claim carefully#

A sequence is a list ana_n. A series is a limit of partial sums ∑n=1Nan\sum_{n=1}^Na_n. The necessary condition an→0a_n\to0 does not suffice for convergence. A convergence test need not determine the value of a convergent sum.

∑n=0∞arn=a1−r(∣r∣<1),∑n=1∞1np converges exactly when p>1.\sum_{n=0}^\infty ar^n=\frac{a}{1-r}\quad(|r|<1),\qquad \sum_{n=1}^\infty\frac1{n^p}\text{ converges exactly when }p>1.
ToolHypothesis and useful conclusion
Direct comparisonEventually 0≤an≤bn0\le a_n\le b_n: convergence of ∑bn\sum b_n forces convergence of ∑an\sum a_n. Reverse the comparison for a divergence argument.
Limit comparisonEventually positive terms and an/bn→L∈(0,∞)a_n/b_n\to L\in(0,\infty): both series have the same convergence behavior.
Integral testEventually continuous, positive, decreasing ff with f(n)=anf(n)=a_n: series and improper integral converge together.
Ratio / rootApply to absolute values. Limit <1<1 gives absolute convergence; >1>1 gives divergence. A limit equal to 11 is inconclusive.
AlternatingPositive magnitudes eventually nonincreasing and tending to zero: convergence, with tail magnitude no larger than the next omitted term once the hypotheses hold.

Absolute convergence implies convergence. Conditional convergence means the signed series converges while its absolute-value series diverges. Endpoint tests for a power series must be done separately after finding its radius.

f(x)=∑n=0∞f(n)(a)n!(x−a)nf(x)=\sum_{n=0}^{\infty}\frac{f^{(n)}(a)}{n!}(x-a)^n

requires the Taylor remainder to tend to zero; existence of all derivatives alone is insufficient. If ff is Cn+1C^{n+1} on the interval between aa and xx and ∣f(n+1)∣≤M|f^{(n+1)}|\le M, then

∣f(x)−Pn(x)∣≤M∣x−a∣n+1(n+1)!.|f(x)-P_n(x)|\le\frac{M|x-a|^{n+1}}{(n+1)!}.

Inside a power series’ radius, termwise differentiation and integration preserve that radius; endpoints may change. Module 26–Module 30. [O2Tests][O2Alt][O2Power][O2Taylor]

7. Curves, coordinates, and local multivariable change#

For a regular parametric plane curve,

 dy dx=y′x′ (x′≠0), d2y dx2= d dt(y′/x′)/x′,L=∫(x′)2+(y′)2 dt.\frac{\dd y}{\dd x}=\frac{y'}{x'}\ (x'\ne0),\qquad \frac{\dd^2 y}{\dd x^2}=\frac{\dd}{\dd t}(y'/x')\bigg/x',\qquad L=\int\sqrt{(x')^2+(y')^2}\dd t.

In polar coordinates, x=rcos⁡θx=r\cos\theta, y=rsin⁡θy=r\sin\theta; signed rr allows multiple representations. For a correctly traced region/curve,

A=12∫r2 dθ,L=∫r2+(r′)2 dθ.A=\frac12\int r^2\dd\theta,\qquad L=\int\sqrt{r^2+(r')^2}\dd\theta.

Between polar boundaries use outer squared radius minus inner squared radius on the angular ranges where both describe the intended region.

For r(t)\vv r(t) in space, v=r′\vv v=\vv r', a=r′′\vv a=\vv r'', speed =∥v∥=\|\vv v\|, and

T=v∥v∥,κ=∥r′×r′′∥∥r′∥3,aT=v⋅a∥v∥,aN=κ∥v∥2.\vv T=\frac{\vv v}{\|\vv v\|},\qquad \kappa=\frac{\|\vv r'\times\vv r''\|}{\|\vv r'\|^3},\qquad a_T=\frac{\vv v\cdot\vv a}{\|\vv v\|},\quad a_N=\kappa\|\vv v\|^2.

These regular-curve formulas require nonzero speed at the point. A singular parametrization need not mean the geometric curve itself is singular.

For differentiable f(x,y)f(x,y),

f(a+h,b+k)=f(a,b)+fx(a,b)h+fy(a,b)k+o(h2+k2),f(a+h,b+k)=f(a,b)+f_x(a,b)h+f_y(a,b)k+o(\sqrt{h^2+k^2}),

where the final error divided by h2+k2\sqrt{h^2+k^2} tends to zero. Existence of partial derivatives alone is not enough. Continuous first partials in a neighborhood are a useful sufficient condition.

Duf=∇f⋅u(∥u∥=1), df dt=fxx′+fyy′+fzz′.D_{\vv u}f=\grad f\cdot\vv u\quad(\|\vv u\|=1),\qquad \frac{\dd f}{\dd t}=f_xx'+f_yy'+f_zz'.

At a nonzero gradient, the maximum unit-direction rate is ∥∇f∥\|\grad f\|, along the gradient. A zero gradient is not automatically an extremum. For two-variable stationary points, D=fxxfyy−fxy2D=f_{xx}f_{yy}-f_{xy}^2: D>0D>0 with fxx>0f_{xx}>0 gives a local minimum, with fxx<0f_{xx}<0 a local maximum; D<0D<0 gives a saddle; D=0D=0 is inconclusive. Use sufficient smoothness. Constrained candidates satisfy ∇f=λ∇g\grad f=\lambda\grad g at regular points of g=cg=c; also inspect singular constraint points and boundaries. Module 31–Module 38.

8. Multiple integrals and coordinate changes#

Draw the region, identify the outer variable’s range, then describe one slice for the inner bounds. Reversing order changes the description, not the region. A Jacobian is part of the area/volume element:

 dA=r dr dθ, dV=r dr dθ dz, dV=ρ2sin⁡ϕ dρ dϕ dθ.\dd A=r\dd r\dd\theta,\quad \dd V=r\dd r\dd\theta\dd z,\quad \dd V=\rho^2\sin\phi\dd\rho\dd\phi\dd\theta.

Here ϕ\phi is measured down from the positive zz axis, 0≤ϕ≤π0\le\phi\le\pi, and

x=ρsin⁡ϕcos⁡θ,y=ρsin⁡ϕsin⁡θ,z=ρcos⁡ϕ.x=\rho\sin\phi\cos\theta,\quad y=\rho\sin\phi\sin\theta,\quad z=\rho\cos\phi.

Under a suitably regular, one-to-one change of variables (apart from harmless boundary exceptions),

 dA=∣det⁡∂(x,y)∂(u,v)∣ du dv.\dd A=\left|\det\frac{\partial(x,y)}{\partial(u,v)}\right|\dd u\dd v.

The absolute value corrects area scaling, not multiple covering. Transform the function and the bounds and the differential. Mass is ∫ρ dV\int\rho\dd V, a first moment is ∫xρ dV\int x\rho\dd V, and an average over a region is the integral divided by its volume. Here density ρ\rho is a different use of the same letter as spherical radius; the context must identify which is meant. Module 39–Module 41. [O3Jac]

9. Vector integrals and orientation#

∫Cf ds=∫f(r(t))∥r′(t)∥ dt,∫CF⋅ dr=∫F(r(t))⋅r′(t) dt.\int_C f\dd s=\int f(\vv r(t))\|\vv r'(t)\|\dd t,\qquad \int_C\vv F\cdot\dd\vv r=\int\vv F(\vv r(t))\cdot\vv r'(t)\dd t.

Reversing orientation leaves a scalar arc-length integral unchanged but reverses the sign of work/circulation. For a parameterized surface,

∬Sf dS=∬Df(r)∥ru×rv∥ du dv,\iint_S f\dd S=\iint_D f(\vv r)\|\vv r_u\times\vv r_v\|\dd u\dd v,
∬SF⋅n dS=∬DF(r)⋅(ru×rv) du dv\iint_S\vv F\cdot\vv n\dd S=\iint_D\vv F(\vv r)\cdot(\vv r_u\times\vv r_v)\dd u\dd v

when the cross product matches the requested orientation. Reversing orientation reverses flux, not scalar surface area. For an upward graph z=g(x,y)z=g(x,y), use vector area (−gx,−gy,1) dA(-g_x,-g_y,1)\dd A, without another square-root factor.

Conservative field. A potential F=∇ψ\vv F=\grad\psi gives work ψ(B)−ψ(A)\psi(B)-\psi(A). For a C1C^1 field, zero curl is necessary for a potential. It is sufficient on an appropriate simply connected open domain, but not on arbitrary domains with holes. Check the domain before replacing a closed-loop integral by zero.

Green. For a positively oriented planar boundary and a C1C^1 field (P,Q)(P,Q) on a neighborhood of the region,

∮CP dx+Q dy=∬D(Qx−Py) dA,∮CP dy−Q dx=∬D(Px+Qy) dA.\oint_C P\dd x+Q\dd y=\iint_D(Q_x-P_y)\dd A, \quad \oint_C P\dd y-Q\dd x=\iint_D(P_x+Q_y)\dd A.

Outer boundaries are counterclockwise; hole boundaries are clockwise so the region remains on the left. The second form is outward flux.

Stokes. For a suitably smooth oriented surface and a C1C^1 field on its neighborhood,

∮∂SF⋅ dr=∬S(∇×F)⋅n dS.\oint_{\partial S}\vv F\cdot\dd\vv r=\iint_S(\grad\times\vv F)\cdot\vv n\dd S.

Match boundary orientation to the normal by the right-hand rule. A singular field on a proposed replacement surface blocks that replacement.

Divergence. For a piecewise smooth closed boundary oriented outward and a C1C^1 field on a neighborhood of the entire solid,

∬∂EF⋅n dS=∭E∇⋅F dV.\iint_{\partial E}\vv F\cdot\vv n\dd S=\iiint_E\grad\cdot\vv F\dd V.

An open cap needs its missing faces added and their signed fluxes subtracted. On a cavity boundary, outward from the material points into the cavity. A field defined only on the outer boundary may fail the theorem’s interior hypothesis. Module 42–Module 46. [O3Conservative][O3Green][O3Stokes][O3Div]

10. A final method-and-error checklist#

Name the object. Number, function, sequence, series, scalar field, vector field, curve, region, or oriented surface? A derivative of a scalar function and a divergence of a vector field are different objects.

Name the requested result. Value, rate, approximation, equation, convergence decision, area, volume, work, circulation, or flux? A convergence proof is not an exact sum, and a line equation is not just its slope.

Check the gate. Domains; nonzero denominators; differentiability; positivity/monotonicity; interval endpoints; theorem neighborhoods; unit directions; regularity; multiplicity; orientation.

Check independently. Substitute algebraic roots; differentiate antiderivatives; insert ODE solutions and initial data; estimate signs and units; compare direct and theorem-based integrals; inspect endpoint behavior; bound an error rather than equating a numerical match with proof.