Mini MathematicsMini Education

https://www.minimathematics.com/pre-university/a-level-mathematics/formula-sheet

A-Level Mathematics formula sheet

Look up and print the algebra, calculus, geometry and statistics results provided in A-Level Mathematics examinations, including Further Mathematics.

More
Reading settings

Read offline with Premium

Save lessons and figures on this device with Premium.

Connect at least once every 30 days to confirm Premium. Topic checks, coaching and sync need a connection.

On this page

Reading settings

Appearance and reading tools for your lessons.

Live preview

Take a moment to read at your own pace. Choose the font and spacing that feel comfortable for you.

Pause after each idea, then explain it in your own words before moving on.

Narrower lines take effect when the screen has room.

Colour theme
Reading font
Line spacing
Reading width
Section links
Worked examples

Open example banners when a lesson starts. Hints and solutions stay closed until you open them.

Checking Premium access…

Explore Premium
Revision Mode

Hide questions, activities and worked examples to read the notes. Turn off to show the full lesson.

Checking Premium access…

Explore Premium

Enlarged diagram

This is Mini Mathematics’ own reference for H1, H2 and H3 Mathematics and H2 Further Mathematics. It covers the results the exam provides in SEAB’s MF27. It is not an official SEAB publication or an endorsement. Your syllabus determines which results you need.

Use the page outline to find a result. You can also print this page on A4. Angles in calculus and power series are in radians. Inverse trigonometric notation means an inverse function, not a reciprocal.

Summarise paired data and samples

Estimate population variance

For a random sample x₁,…,xₙ, with n > 1 and sample mean x bar, the unbiased variance estimate is

s² = (∑ᵢ₌₁ⁿ(xᵢ-x bar)²)/(n-1) = (1/(n-1))(∑ᵢ₌₁ⁿ xᵢ²-((∑ᵢ₌₁ⁿ xᵢ)²)/n).

Measure linear association

For paired observations (xᵢ,yᵢ) and their means x bar,y bar, the sample product moment correlation coefficient has two equivalent forms:

r = (∑(xᵢ-x bar)(yᵢ-y bar))/(square root of (∑(xᵢ-x bar)²∑(yᵢ-y bar)²)),
r = (∑ xᵢ yᵢ-(∑ xᵢ)(∑ yᵢ)/n)/(square root of ([∑ xᵢ²-(∑ xᵢ)²/n] [∑ yᵢ²-(∑ yᵢ)²/n])).

Both variables must have nonzero sample variation. The least-squares line predicting y from x is

y-y bar = b(x-x bar), b = (∑(xᵢ-x bar)(yᵢ-y bar))/(∑(xᵢ-x bar)²).

The slope needs nonzero variation in x.

Use signed ranks

For the Wilcoxon signed rank test, let R₊ total the ranks of positive differences and R₋ total the ranks of negative differences. Then

T = min(R₊,R₋).

Here n counts the nonzero differences being ranked. The critical values below use distinct absolute differences and equally likely independent signs under the null hypothesis. Reject when T is at most the critical value. For a one-sided alternative, the small rank sum must also be in the direction of that alternative. A dash means that even T = 0 cannot reach that significance level.

Each row pairs a one-sided significance level with its corresponding two-sided level. The entries are critical values, not probabilities.

One-sided / two-sidedn = 678910111213
5% / 10%235810131721
2.5% / 5%02358101317
1% / 2%—01357912
0.5% / 1%——013579
One-sided / two-sidedn = 14151617181920
5% / 10%25303541475360
2.5% / 5%21252934404652
1% / 2%15192327323743
0.5% / 1%12151923273237

Choose a probability model

Count successes in a fixed number of trials

For X∼B(n,p), where n is a nonnegative integer and 0 ≤ p ≤ 1,

Pr(X = k) = (n choose k) p^k(1-p)^(n-k), k = 0,1,…,n,
E(X) = np, Var(X) = np(1-p).

At p = 0 or p = 1, read the probabilities by their limiting values.

Count events with a Poisson model

For X∼Po(λ), where λ > 0,

Pr(X = k) = (e^(-λ)λ^k)/(k!), k = 0,1,2,…,
E(X) = λ, Var(X) = λ.

Count trials up to the first success

For X∼Geo(p), where 0 < p ≤ 1, count the successful trial as well:

Pr(X = k) = (1-p)^(k-1)p, k = 1,2,3,…,
E(X) = 1/p, Var(X) = (1-p)/p².

Model an exponential waiting time

With rate λ > 0, the exponential density is zero for x < 0 and, for x ≥ 0,

fX(x) = λ e^(-λ x), E(X) = 1/λ, Var(X) = 1/λ².

Rewrite and expand expressions

Separate rational terms

The constants on the right are chosen to make each identity hold. Denominators must be nonzero; the linear factors shown separately are distinct, with nonzero leading coefficients. For the last form, c > 0.

(u x + v)/((a x + b)(d x + e)) = A/(a x + b) + B/(d x + e).
(u x² + v x + w)/((a x + b)(d x + e)²) = A/(a x + b) + B/(d x + e) + C/((d x + e)²).
(u x² + v x + w)/((a x + b)(x² + c²)) = A/(a x + b) + (B x + C)/(x² + c²).

Expand a positive integer power

For a positive integer m,

(u + v)^m = ∑ⱼ₌₀^m(m choose j) u^(m-j)v^j, (m choose j) = m!/(j!(m-j)!) (0 ≤ j ≤ m).

Expand about zero

A Maclaurin representation is

g(t) = ∑ⱼ₌₀^∞(g^((j))(0)/(j!))t^j.

Use it where the function equals its convergent Taylor series; differentiability alone does not guarantee that equality.

For real α and |t| < 1,

(1 + t)^α = 1 + α t + ∑ⱼ₌₂^∞((α(α-1)…(α-j + 1))/(j!))t^j.

For every real t,

e^t = ∑ⱼ₌₀^∞t^j/(j!),
sin t = ∑ⱼ₌₀^∞((-1)^j t^(2j + 1))/((2j + 1)!), cos t = ∑ⱼ₌₀^∞((-1)^j t^2j)/((2j)!).

For -1 < t ≤ 1,

ln(1 + t) = ∑ⱼ₌₁^∞((-1)^(j + 1)t^j)/j.

Work with angles and inverse functions

Combine or double angles

Choose the upper signs together, or the lower signs together. Tangent formulas apply only where every term is defined.

sin(u± v) = sin u cos v± cos u sin v,
cos(u± v) = cos u cos v∓ sin u sin v,
tan(u± v) = (tan u± tan v)/(1∓ tan u tan v).
sin(2u) = 2 sin u cos u,
cos(2u) = cos² u- sin² u = 2 cos² u-1 = 1-2 sin² u,
tan(2u) = (2 tan u)/(1- tan² u).

Select the principal inverse value

For -1 ≤ t ≤ 1,

-π/2 ≤ arcsin t ≤ π/2, 0 ≤ arccos t ≤ π.

For real t,

-π/2 < arctan t < π/2.

Differentiate the listed trigonometric functions

For |t| < 1 in the first two formulas, and real t in the third,

d/(dt) arcsin t = 1/(square root of (1-t²)), d/(dt) arccos t = -1/(square root of (1-t²)),
d/(dt) arctan t = 1/(1 + t²).

On intervals where the functions are defined,

d/(dt) sec t = sec t tan t, d/(dt) csc t = - csc t cot t.

Find antiderivatives

Take a > 0 throughout this section. Each expression includes an arbitrary integration constant C.

Rational and square-root forms

For real t,

∫dt/(t² + a²) = 1/a arctan t/a + C.

For |t| < a,

∫dt/(square root of (a²-t²)) = arcsin t/a + C,
∫dt/(a²-t²) = 1/(2a) ln(a + t)/(a-t) + C.

For t > a,

∫dt/(t²-a²) = 1/(2a) ln(t-a)/(t + a) + C.

Trigonometric forms

For |t| < π/2,

∫ tan t dt = ln(sec t) + C, ∫ sec t dt = ln(sec t + tan t) + C.

For 0 < t < π,

∫ cot t dt = ln(sin t) + C, ∫ csc t dt = - ln(csc t + cot t) + C.

Approximate values and solutions

Estimate an integral from function values

For one interval with endpoints a < b, the trapezium estimate is

∫ₐ^b g(t) dt ≈ (b-a)/2 [g(a) + g(b)].

Using the midpoint as well gives Simpson’s two-strip estimate:

∫ₐ^b g(t) dt ≈ (b-a)/6 [g(a) + 4g ((a + b)/2) + g(b)].

Take a root-finding step

For g(t) = 0, Newton–Raphson updates an estimate tₖ by

tₖ₊₁ = tₖ-g(tₖ)/(g'(tₖ)).

The derivative in the denominator must be nonzero.

Step along a differential equation

For dy/dx = F(x,y) and xₖ₊₁ = xₖ + h, Euler’s step is

yₖ₊₁ = yₖ + hF(xₖ,yₖ).

Improved Euler first predicts y tilde ₖ₊₁, then averages two slopes:

y tilde ₖ₊₁ = yₖ + hF(xₖ,yₖ),
yₖ₊₁ = yₖ + (h/2)[F(xₖ,yₖ) + F(xₖ₊₁,y tilde ₖ₊₁)].

Approximate a function near a point in the plane

For a sufficiently smooth g near (a,b), write h = x-a and k = y-b. The quadratic approximation is

g(x,y) ≈ g(a,b) + gₓ(a,b)h + gy(a,b)k; + (1/2)gₓₓ(a,b)h² + g_xy(a,b)hk; + (1/2)g_yy(a,b)k².

Subscripts denote partial derivatives; every derivative here is evaluated at (a,b).

Calculate with points, vectors and curves

Divide a line segment

If A and B have position vectors p and q, the point with AP:PB = r:s has position vector

(sp + rq)/(r + s).

For internal division, r,s > 0.

Form a cross product

With components in a right-handed Cartesian frame,

u × v = (u₂v₃-u₃v₂; u₃v₁-u₁v₃; u₁v₂-u₂v₁).

Measure a curve or a rotated surface

For a smooth curve y = g(x) on a ≤ x ≤ b, its arc length is

L = ∫ₐ^b square root of (1 + [g'(x)]²) dx.

For g(x) ≥ 0, rotating that curve about the x-axis gives surface area

S = 2π∫ₐ^b g(x) square root of (1 + [g'(x)]²) dx.

Bound quantities and count unions

Compare arithmetic and geometric means

For m nonnegative real numbers z₁,…,zₘ, with positive integer m,

1/m∑ᵢ₌₁^m zᵢ ≥ (∏ᵢ₌₁^m zᵢ)^(1/m).

Equality occurs exactly when all the zᵢ are equal.

Bound a sum of products

For real lists (u₁,…,uₘ) and (v₁,…,vₘ), Cauchy–Schwarz gives

(∑ᵢ₌₁^m uᵢvᵢ)² ≤ (∑ᵢ₌₁^m uᵢ²)(∑ᵢ₌₁^m vᵢ²).

Equality occurs when the two vectors are linearly dependent, including when either vector is zero.

Bound the magnitude of a sum

For real z₁,…,zₘ,

|∑ᵢ₌₁^m zᵢ| ≤ ∑ᵢ₌₁^m|zᵢ|.

In particular, equality holds when every zᵢ is nonnegative.

Count overlapping finite sets

For finite sets A₁,…,Aₘ, inclusion–exclusion is

|bigcupᵢ₌₁^m Aᵢ| = ∑_(varnothing ≠ J⊆{1,…,m}) (-1)^(|J| + 1)|bigcap_(j∈ J)Aⱼ|.

The sum takes every nonempty choice J of set indices: add single-set sizes, subtract pair intersections, then continue with alternating signs.

Questions

Open the discussion

Back to top