Professional Documents
Culture Documents
2018 Mathematics Extension 2 Notes
2018 Mathematics Extension 2 Notes
Table of Contents
1
Important Formulae
Circle: | z − z1 | = k b
Asymptotes: y = ± x
Perpendicular Bisector: | z − z1 | = | z − z2 | a
Ray: arg(z − z1) = θ
Tangent:
x x1 y y1
Complex Roots of Unity Cartesian: − 2 =1
a2 b
If z n = 1 and z = cos θ + i sin θ, x sec θ y tan θ
Parametric: − =1
cos n θ + i sin n θ = cos 2k π + i sin 2k π a b
Normal:
Ellipse
a2 x b2y
b2 Cartesian: + = a2 + b2
Eccentricity: e= 1− x1 y1
a2
ax by
Parametric: + = a2 + b2
x2 y2 x = a cos θ cos θ sin θ
Equations: + = 1 and
a2 b2 y = b sin θ x x 0 y y0
Chord of Contact: − 2 =1
a a2 b
Foci: (± a e, 0) Directrices: x =±
e
Rectangular Hyperbola (e = 2)
Tangent:
x = cp
x x1 y y1 c
Cartesian: + 2 =1 Equations: x y = c2 and y=
a2 b p
x cos θ y sin θ
Parametric: + =1 Foci: (± c 2, ± c 2) Directrices: x + y = ± c 2
a b
Normal: Tangent:
a2 x b2y Cartesian: x y1 + x1 y = 2c 2
Cartesian: − = a2 − b2
x1 y1 Parametric: x + p 2 y = 2cp
ax by Normal:
Parametric: − = a2 − b2
cos θ sin θ Cartesian: x x1 − y y1 = (x1)2 − (y1)2
Parametric: p 3 x − p y = c( p 4 − 1)
x x 0 y y0
Chord of Contact: + 2 =1 Chord of Contact: x y0 + x 0 y = 2c 2
a2 b
2
Integration by t-substitution Circular Motion
(2)
x 2π
If t = tan , and t is defined, then: Period: T =
ω
2 Displacement: ℓ = rθ
dx = dt and
1 + t2
2t 1 − t2 2t Velocity:
sin x = cos x = tan x =
1 + t2 1 + t2 1 − t2 Tangential: v = rω
∫ ∫
Acceleration:
u d v = u v − v du
v2 2
Centripetal: aN = r ω =
r
Properties of Definite Integrals Tangential: aT = r ω·
a a
dθ
∫0 ∫0
f (x) d x = f (a − x) d x Where ω = , expressed in radians/second.
dt
∫a
V= A dh (A is the cross-sectional area)
Volumes by Subtraction
∫a ( outer) ( inner)
2 2
V=π r − r dh
∫a
V = 2π rh dr
dx (2 )
d 1 2 dv dv
x·· = v =v =
dx dt
3
Topic 1: Graphs
Even functions have symmetry about the y-axis. Odd functions have symmetry about the origin.
P(x)
A rational function is a function with a polynomial numerator and denominator, i.e. f (x) = .
Q(x)
Vertical
Horizontal
The equation of the horizontal asymptote(s), if they exist, are given by y = lim f (x).
x→±∞
The limit can be evaluated by dividing both the numerator and denominator by the highest degree of x and
1
using the result lim = 0.
x→±∞ x n
Oblique
An oblique asymptote exists if and only if the degree of numerator is one greater than the degree of
denominator.
P(x)
If f (x) = then a long division may be performed to obtain:
Q(x)
P(x) R(x)
= g(x) +
Q(x) Q(x)
Note: The degree of the asymptote is the difference in the degree between the numerator and
denominator. If the numerator is more than one degree higher than the denominator, then the asymptote
will be quadratic/cubic/quartic etc.
4
Addition/Subtraction of Ordinates
y = f (x) + g(x)
f (x) = —g(x)
y = f (x) g(x) = 0 x
y = g(x)
The graph of f (x) + g(x) can be sketched by taking the graphs of f (x) and g(x) and adding their y values.
The graph of f (x) − g(x) can be sketched by using the graphs of f (x) and −g(x).
• When one of the functions is zero, the sum is the value of the other function.
• When the functions are equal in magnitude and opposite in direction, their sum is zero.
• When the functions are equal, their sum is double the function value.
Multiplication of Ordinates
y = f (x) g(x)
y
y = g(x)
f (x), g(x) different signs
f (x) g(x) negative
The graph of f (x)g(x) can be sketched by taking the graphs of f (x) and g(x) and multiplying their y values.
The graph of f (x) ÷ g(x) can be sketched by using the graphs of f (x) and g(x)−1.
5
Absolute Values
y = f (x) y = | f (x) |
y y
x x
Take the sections of the graph where y < 0 and reflect them across the x-axis.
y = f (x) y = f (|x |)
y y
x x
Discard the part of the graph where x < 0 and mirror the rest of the graph across the y-axis.
y = f (x) | y | = f (x)
y y
x x
Discard the part of the graph where y < 0 and mirror the rest of the graph across the x-axis.
6
Taking the Reciprocal
1
y = f (x) y=
f (x)
y y
b b
a x a x
1 1
As f (x) → ± ∞, → 0±. As f (x) → 0±, → ± ∞.
f (x) f (x)
y = f (x) y= f (x)
y y
x x
• f (x) will have isolated points if f (x) is zero at one point and negative around it.
y = f (x) y= f (x)
y y
x x
7
Integer Powers
y y y
x x x
If n is negative:
The graph of f (x)−n can be taking by graphing f (x)n and taking its reciprocal.
If n is positive:
n y = f (x) y = f (x)n
• If | f (x) | < 1 then | f (x) | < | f (x) | < 1. y y
n
• If | f (x) | > 1 then | f (x) | > | f (x) | .
1 1
n
• If n is even, f (x) is an even function that is always positive.
n
• If n is odd, the sign of f (x) is the same as f (x). x x
Implicit Differentiation
With some equations, it is very tedious to make y the subject when differentiating, e.g. x 2 + x y + y 2.
We may treat y as an unknown function of x and then differentiate normally using the chain rule.
dy
In this way, y 2 becomes 2y ⋅ when differentiated.
dx
dy
x y can be differentiated with the product rule to get x ⋅ + 1 ⋅ y.
dx
8
Topic 2: Complex Numbers
Complex numbers (set notation ℂ) are a superset of the real number system. They consist of a real and
imaginary part. The imaginary unit i is introduced, where i 2 = − 1.
Any complex number can always be written in the Cartesian form a + ib, where a, b ∈ ℝ.
For z = a + ib: The real part of z, Re(z), is a. The imaginary part of z, Im(z), is b. (not ib)
A real number z has Im(z) = 0, and a purely imaginary number z has Re(z) = 0.
Conversely, if two complex numbers are equal, then we can equate their real and imaginary parts.
The Conjugate
The conjugate of a complex number z is denoted z and is obtained by reversing the sign of the imaginary
part. If z = a + ib, then z = a − ib.
1 z
Some important identities: z + z = 2 Re(z) z z = | z |2 ⟹ = (z ≠ 0)
z | z |2
Addition: We can add two complex numbers by adding their real and imaginary parts.
(a + ib) + (c + i d ) = (a + c) + i(b + d )
Division: When dividing two complex numbers, we can “realise the denominator” by
multiplying by its conjugate (similar to rationalising the denominator).
a + ib a + ib c − i d
= ⋅
c + id c + id c − id
Note: i(−i ) = − (i 2 ) = 1.
(a c + b d ) + i(bc − a d )
=
c2 + d 2
9
The Commutativity of Taking the Conjugate
Taking the conjugate is commutative with addition, subtraction, division and multiplication, i.e.
z1 + z2 = z1 + z2 z1 − z2 = z1 − z2 z1 × z2 = z1 × z2 z1 ÷ z2 = z1 ÷ z2 (z )n = z n
(x + i y)2 = a + ib
(x 2 − y 2 ) + i(2x y) = a + ib
Since both x 2 + y 2 and a 2 + b 2 are positive, we may take the positive square root of both sides to get:
x2 − y2 =a
{x 2 + y 2 = a2 + b2
a+ a2 + b2 b
Adding these equations and solving gives x =± and y=
2 2x
Solving Quadratics
General form: a z 2 + bz + c
−b ± b 2 − 4a c
The quadratic formula z = can be used, even if the coefficients are not real.
2a
10
The Argand Diagram (or complex plane)
All complex numbers can be represented on a two dimensional plane with a vertical and horizontal axis.
This plane is called the Argand diagram, and has axes labelled either x and y, or Re and Im.
The modulus r is the distance between a complex number and the origin on the Argand diagram.
The argument θ is the angle (in radians) between the complex number and the positive real axis.
Conventionally, the argument θ that satisfies −π < θ ≤ π is used — this is the principal argument.
z = x + iy z = r (cos θ + i sin θ )
y y
θ
x x
Note: z is z reflected across the x axis, and i z is the rotation of z by 90o anti-clockwise about the origin.
De Moivre’s Theorem
When multiplying two complex numbers together, we can add their arguments and multiply their moduli.
z |z| z
|zw| = |z||w| arg z w = arg z + arg w and = arg = arg z − arg w
w |w| w
From this, we obtain De Moivre’s theorem: [r (cos θ + i sin θ )]n = r n(cos n θ + i sin n θ ).
11
Vectors
Complex numbers can be represented as vectors, which have a magnitude and direction.
can be written as A B .⃗
A B
The vector
Any two vectors with the same magnitude and direction are equal, regardless of where they are.
Vector addition y z2
x
Vector subtraction
y
z1 - z2
For two vectors, the result is the vector drawn from the vector that is subtracted,
to the vector it is subtracted from.
z2
From the diagram, | z1 − z2 | represents the distance between z1 and z2. x
Vector multiplication
• the sum of the lengths of any two sides is greater than or equal to the length of the third.
• the length of any one side is greater than or equal to the difference in lengths of the two other sides.
x
12
Curves and Regions of Complex Numbers
Remember that arg 0 is undefined, so points should be excluded using an open circle, where appropriate.
y y y
z1 z2
k
z1 θ
z1
x x x
( z − z2 )
z − z1
Arc (or interval/rays) arg =θ Note: the arc moves counterclockwise from z1 to z2.
π π π
θ< (acute) θ > (obtuse) θ = θ =π θ =0
2 2 2
y y y y
θ z2
π z1
2
z2 z1 z2 θ z1 z2 z1
x x x x
( z − z2 ) ( z − z1 )
z − z1 z − z2
Negative values of θ: If arg = − θ, then arg = θ.
{sin n θ
cos n θ = cos 2k π 2k π
⟹ θ = The roots of unity are equally spread
= sin 2k π n out across the Argand diagram.
13
Topic 3: Conics
The conic sections are the curves obtained when a “double cone” is sliced.
Most conics can alternatively be defined as the locus of a point such that its distance from a fixed point and
a fixed line is in the ratio e : 1, where e is the eccentricity of the curve (not to be confused with Euler’s
number e = 2.718...).
Note: The circle cannot be defined using the focus and directrix definition.
However, it can be thought of as the limiting case as e approaches zero.
0<e<1
e=1
e=0
e>1
e=∞
14
Ellipse
{y = b sin θ
x2 y2 x = a cos θ
Cartesian: + =1 Parametric:
a2 b2
y
a
a
x = —— x=—
e
e
b
(-ae, 0) (ae, 0)
—a a x
—b
b2
Eccentricity: e= 1− Foci: (± a e, 0)
a2
a
Directrices: x =±
e
y2 x2
Note: We require b < a for the eccentricity to be defined. If b > a, rearrange to get + = 1.
b2 a2
x2 y2
This is the graph of + = 1, but with the values of a and b, x and y swapped.
a2 b2
Cartesian Parametric
dy b2 x dy b cos θ
Gradient: =− 2 =−
dx a y dx a sin θ
x x1 y y1 x cos θ y sin θ
Tangent: + 2 =1 + =1
a2 b a b
a2 x b2y ax by
Normal: − = a2 − b2 − = a2 − b2
x1 y1 cos θ sin θ
x x 0 y y0
Chord of Contact: + 2 =1
a2 b
Note: Use implicit differentiation to find the gradient function in Cartesian form.
15
Hyperbola
{y = b tan θ
x2 y2 x = a sec θ
Cartesian: − =1 Parametric:
a2 b2
a
x = —— a
x=—
e e
(-ae, 0) (ae, 0)
-a a x
b
y = ——x b
y = —x
a a
b2
Eccentricity: e= 1+ 2 Foci: (± a e, 0)
a
a b
Directrices: x =± Asymptotes: y =± x
e a
x2 y2 y2 x2
Note: If given − = − 1, rearrange to get 2 − 2 = 1.
a2 b2 b a
2 2
x y
This is the graph of − = 1, but reflected about the origin and with the values of a and b swapped.
a2 b2
Cartesian Parametric
dy b2 x dy b sec θ
Gradient: = 2 =
dx a y dx a tan θ
x x1 y y1 x sec θ y tan θ
Tangent: − 2 =1 − =1
a2 b a b
a2 x b2y ax by
Normal: + = a2 + b2 + = a2 + b2
x1 y1 cos θ sin θ
x x 0 y y0
Chord of Contact: − 2 =1
a2 b
Note: Use implicit differentiation to find the gradient function in Cartesian form.
16
Rectangular Hyperbola
x = cp
{y =
Cartesian: x y = c2 Parametric: c
p
(c√2̅ , c√2̅ )
x
x + y = c√2̅
(-c√2̅ , -c√2̅ )
x + y = -c√2̅
Eccentricity: e= 2 Foci: (± c 2, ± c 2)
Cartesian Parametric
dy y dy 1
Gradient: =− =− 2
dx x dx p
Tangent: x y1 + x1 y = 2c 2 x + p 2 y = 2cp
Chord of Contact: x y0 + x 0 y = 2c 2
x2 y2
The curve − 2 = 1 or x 2 − y 2 = a 2 is also a rectangular hyperbola.
a 2 a
This hyperbola is oriented differently to x y = c 2. Here, a = c 2.
Note: Use implicit differentiation to find the gradient function in Cartesian form.
17
Geometric Properties of Conic Sections
P R
The ratio of the distance from the curve to the focus, and the distance from S
the curve to the directrix is e : 1, where e is the eccentricity of the curve. PS
__ = e
PR
Ellipse
The sum of focal lengths is (Reflection Property) The normal at The chord of contact from a
constant. any point bisects the angle point on the directrix is a focal
subtended by the foci at that point. chord.
PS + PS′ = 2a
P P
α α P
Sʹ S Sʹ S S
Hyperbola
The difference between focal (Reflection Property) The tangent at The chord of contact from a
lengths is constant. any point bisects the angle point on the directrix is a focal
| PS - PS′ | = 2a subtended by the foci at that point. chord.
P P
α α P
S
Sʹ S Sʹ S
Rectangular Hyperbola
The length of the tangent between the The area of the triangle bounded by
asymptotes is twice the length from the point of the tangent and asymptotes is
contact to the intersection of the asymptotes. constant.
QR = 2OP
Q
P
O R
18
Topic 4: Integration
Substitutions
Trigonometric substitutions
Expression Substitution
x2 + a2 x = a tan θ d x = a sec2 θ d θ
x2 − a2 x = a sec θ d x = a sec θ tan θ d θ Note: this requires x < | a | , or else no value of θ exists.
t-substitutions
x 2
If t = tan , then d x = dt and:
2 1 + t2
2t 1 − t2 2t
sin x = cos x = tan x =
1 + t2 1 + t2 1 − t2
x
Note: this method can only be used when tan is defined, i.e. x cannot be an odd multiple of π.
2
Partial Fractions
P(x)
∫ Q(x)
For integrals of the form d x where the degree of the numerator is less than the denominator,
A(x)
We can decompose polynomial fractions of the form by setting:
B(x) C(x) D(x) . . .
For the fractions on the RHS, the degree of the numerator is one less than the degree of the denominator.
R1(x), R2(x), R3(x) … can be found by equating coefficients or substituting for x to eliminate terms.
Repeated Factors
A(x)
If the denominator has a repeated factor, e.g. ,
B(x) C(x)3
then the decomposition must contain the repeated factor several times, each with reducing multiplicity, e.g.
19
Long Division
P(x)
∫ Q(x)
For integrals of the form d x where the degree of the numerator is greater than the denominator,
P(x) R(x)
= D(x) +
Q(x) Q(x)
P(x) R(x)
∫ Q(x) ∫ ∫ Q(x)
d x = D(x) d x + dx (the degree of R(x) must be less than the degree of Q(x).)
Integration by Parts
∫
For integrals of the form f (x) g(x) d x,
d du dv
We can reverse the product rule (u v) = v +u by integrating it with respect to x, which results in
dx dx dx
∫ ∫
u d v = u v − v du after rearranging.
When choosing u and d v, note that u should usually (but not always) become simpler when differentiated
and d v should not become more complicated after integration.
Setting d v = d x
∫
When the integrand is not a product of two other functions e.g. of the form f (x) d x, we can note that
∫
f (x) = f (x) ⋅ 1 and then set d v = 1 d x ⟹ v = x. This is useful for integrals like sin−1 x d x.
∫
Reduction formulae allow us to easily evaluate integrals In involving an index n (e.g. In = sinn x d x) by
recursively defining the integral in terms of one with a reduced index, for example In−1 or In−2.
π
n−1
∫0
2
e.g. if In = sinn x d x then In = ⋅ In−2 .
n
20
Properties of Definite Integrals
Symmetry
a a
∫−a ∫0
It can be shown that f (x) d x = f (x) + f (−x) d x.
a a 0
∫−a ∫0 ∫−a
Proof: f (x) d x = f (x) d x + f (x) d x
Let u = − x ⟹ du = − d x
a 0
∫0 ∫a
= f (x) d x − f (−u) du
a a
∫0 ∫0
= f (x) d x + f (−x) d x (using dummy variables)
a
∫0
= f (x) + f (−x) d x
a a
∫−a ∫0
Corollaries: If f (x) is even, then f (x) d x = 2 f (x) d x.
∫−a
If f (x) is odd, then f (x) d x = 0.
Reflection
By reflecting the graph in such a way that the area remains the same, we get:
a a
∫0 ∫0
f (x) d x = f (a − x) d x
y f (x) y f (a + b - x)
b b
∫a ∫a
f (x) d x = f (a + b − x) d x
a b x a b x
∫a ∫b
f (x) d x = − f (a + b − u) du
∫a
= f (a + b − u) du
∫a
= f (a + b − x) d x (dummy variables)
21
Topic 5: Volumes
The volume of a solid of revolution can be estimated by breaking up the solid into individual cylinders and
finding a formula for the area of each cross-section. Then the volumes can be calculated and summed.
δV = A δh r
= π r 2 δh
b 𝛿h
2
δh→0 ∑
V = lim π r δh
In this diagram, r = y and 𝛿h = 𝛿x.
h=a
The area is given by A = π y2 .
This is the definition of an integral, so we may rewrite the formula as:
∫a
V=π r2 d h (depending on which axis is used, d h will be replaced with either d x or d y).
Volumes by Subtraction
δV = A δh
= π (r outer) − π (r inner) δh
2 2
∫a ( outer) ( inner)
2 2
∴V=π r − r dh
If the axis of rotation is not the the x or y-axis but some line parallel to them, a shift or reflection can simplify
the problem.
22
Volumes by Cylindrical Shells
In this method, we divide the solid into many hollow cylindrical shells.
Then we calculate the volume of each shell and sum.
h
δV = 2π rh δr
∫a
V = 2π rh dr
r
The volume of each shell is the
circumference times the height.
Integration occurs in the direction perpendicular to the axis of rotation.
δV = A δh l
∫a
V= A dh
𝛿h
b
and determining an expression for A in terms of h.
A = ½ l (a + b)
23
Topic 6: Mechanics
mkv
Start by drawing a free body diagram, showing all the forces acting on an object.
∑F = ma
• Conventionally, the initial direction of motion is taken to be positive.
mg
• The gravitational force is given by mg.
• By Newton’s second law, the sum of all forces ∑ F is equal to m a (or m x ).
··
• By Newton’s third law, if two objects are touching, then they both exert equal forces on each other.
• If a force is not purely horizontal or purely vertical, resolve it into its horizontal and vertical components.
• If two objects are connected by a string then both undergo a tension force in the direction of the other.
• Tension is a non-negative quantity. If it is zero then the string is not taut.
• The tension forces on both objects connected by the same string are equal.
Resisted Motion
dx (2 )
d2x d 1 2 dv dv
x·· = 2 = v =v = (the last two are the most useful with resisted motion)
dt dx dt
Form an equation for acceleration: m x·· = . . . and integrate using one of the above forms.
Find the constant of integration using the initial conditions.
Circular Motion
Displacement
The displacement of a point on a circle is the arc length, which is given by ℓ = r θ, where θ is the angle
swept out by the point. Note that θ itself is also a function of time.
Angular Velocity
Angular velocity is the rate of change of the angle θ swept out by an object (around a point) over time.
It is typically measured in radians per second (this is required for the period formula to work).
· dθ
Angular velocity is usually denoted by ω, where ω = θ = .
dt
v
2π P
Period: The period of motion is given by T = .
ω r 𝓁
Tangential Velocity θ
Tangential velocity is how fast the object is moving around the circle.
It can be obtained by differentiating displacement with respect to time.
d ·
v= (r θ ) = r θ = r ω
dt
24
Acceleration
aT
Given a point P(r cos θ, r sin θ ), we can find acceleration by P (r cos θ, r sin θ)
differentiating the vertical and horizontal components separately.
aN
·
Keeping in mind that θ is a function of t and that ω = θ, θ
applying the chain rule gives:
x = r cos θ y = r sin θ
x· = − r ω sin θ y· = r ω cos θ
x· = − r ω 2 cos θ − r ω· sin θ y· = − r ω 2 sin θ + r ω· cos θ
Tangential Acceleration
aT
Displacement: ℓ = rθ
v2
Acceleration: Centripetal: aN = r ω =2
Tangential: aT = r ω·
r
25
Conical Pendulum
O
In a simple conical pendulum, the only forces acting on the particle P
are the tension T and gravity. α
𝓁
h
If the particle has no vertical acceleration, the sum of vertical forces must be zero,
i.e. T cos α − mg = 0. r
P
Because this motion is circular, the net horizontal force is the centripetal force.
In this case, T sin α = mr ω 2. T
r h
P
Also, sin α = and cos α = .
ℓ ℓ mg
Banked Track
N
A banked track is a slanted track that enables a higher turning speed.
α
Any objects on it experience a normal force (perpendicular to the slant) and the α
gravitational force.
F mg
α
If the object is not moving at a certain speed, it will tend to slip off the track.
If this happens, a lateral force due to friction is introduced, which helps the object stay on the track.
If the object has no vertical acceleration (i.e. its friction prevents slipping), then
net vertical force is zero. i.e. N cos α − F sin α − mg = 0. F
A top-down view.
Because this motion is circular, the net horizontal force is the centripetal force.
In this case, N sin α + F cos α = mr ω 2.
26
Topic 7: Polynomials
A polynomial is an algebraic expression of the form an x n + an−1 x n−1 + an−2 x n−2 + . . . + a 0 for n ∈ ℤ+.
An integer root of any polynomial with integer coefficients is a factor of the constant term.
an β n + an−1 β n−1 + . . . + a1 β + a 0 = 0
an β n + an−1 β n−1 + . . . . . . . . + a1 β = − a 0
β(an β n−1 + an−1 β n−2 + . . . . . . . . + a1) = − a 0
Note: this proof can be generalised to rational roots: if p /q is a rational root of a polynomial, then p
is a factor of the constant term, and q is a factor of the leading coefficient.
If a polynomial P(x) has a root α of multiplicity r (i.e. P(x) has (x − α)r as a factor), then α is also a root of all
derivatives of P(x) up to the (r − 1)th derivative.
Conversely, if α is a root of P(x) and all its derivatives up to the (r − 1)th derivative, then it is a root of
multiplicity r (that is, P(x) has (x − α)r as a factor).
Corollary: If α is a root of a polynomial, then α is a root too. (If P(α) = 0, then P(α ) = P(α) = 0 = 0.)
27
Fundamental Theorem of Algebra
The fundamental theorem of algebra states that every polynomial with a degree of at least one has at least
one zero (which may or may not be real).
To transform the roots of a polynomial P(x) by a function f, replace x with f −1(x) in the polynomial.
Common Transformations:
Addition α →α +k x →x −k
x
Multiplication α → kα x→
k
Squaring α → α2 x→ x
1 1
Reciprocation α→ x→
α x
28
Topic 8: Harder 3 Unit Topics
Inequalities
Inequalities can be added together or subtracted from each other. They can also be multiplied or divided if
the quantities do not change sign.
x1 + x 2 + . . . + xn
≥ n x1 x 2 . . . xn
n
( x− y) > 0
2
x + y − 2 xy > 0
x + y > 2 xy
x +y
> xy
2
(a − b)2 ≥ 0 ⟹ a 2 + b 2 ≥ 2a b
Using Calculus
An inequality such as a > b can be proved by showing that a − b > 0.
This can be done using calculus to analyse the function e.g. showing that the absolute minimum of the
function is zero (or greater).
29
Strong Induction
With normal (“weak”) induction, you prove a statement S(n) to be true by:
• proving a base case,
• assuming S(k) is true for some k, and
• proving that S(k + 1) must then be true.
These additional assumptions provide more information to work with, which may be helpful when
attempting to proves the inductive step.
Note: For many scenarios, it may not be necessary to use ALL preceding statements to prove S(k + 1).
30