Skip to content
  1. IB Question Bank
  2. Maths AA
  3. Number & Algebra
Topic 1.14 · HL only

Proof by mathematical induction: notes and practice questions

Summary
  • Mathematical induction proves a statement PnP_n is true for all integers $$n

less a$$.

  • Basis Step: Verify PnP_n for the smallest integer (usually n=1n=1).
  • Assumption Step: Assume PkP_k is true for an arbitrary integer $$k

less a$$.

  • Inductive Step: Prove that if PkP_k is true, then Pk+1P_{k+1} must also be true, using the assumption.
  • Conclusion: State that PnP_n is true for all required integers by the principle of mathematical induction.
  • Strategies vary for summations, divisibility, inequalities, sequences, derivatives, and De Moivre's Theorem/matrices.

How it is examined

Induction is marked on structure, not just on algebra: state the proposition, prove the base case, assume for n=kn = k, prove for n=k+1n = k+1, and write a conclusion that names the base case and the inductive step. Examiners award a mark for that final sentence and students routinely drop it. 6 to 8 marks, Paper 1.

Key ideas
  • Proof by mathematical induction.
  • Proof by contradiction.
  • Use of a counterexample to show that a statement is not always true.

Linking questions

  • Other contexts: the four-colour theorem.
  • TOK: what is the difference between the inductive method in science and proof by induction in mathematics?

Practice questions

25 questions · 14 medium · 11 hard
Showing 20 of 20

Question 1

MediumPaper 1 · no calculator7 marks

Use the principle of mathematical induction to prove that ∑r=1nr(r!)=(n+1)!−1\sum_{r=1}^{n} r(r!) = (n+1)! - 1 for all n∈Z+n \in \mathbb{Z}^+

Question 2

HardPaper 1 · no calculator14 marks
(a)

(a) Prove by mathematical induction that dndxn(xe−x)=(−1)n(x−n)e−x\frac{d^n}{dx^n}(xe^{-x}) = (-1)^n (x-n)e^{-x} for n∈Z+n \in \mathbb{Z}^+.

[7]
(b)

(b) Hence or otherwise, determine the Maclaurin series of f(x)=xe−xf(x) = xe^{-x} in ascending powers of xx, up to and including the term in x4x^4.

[3]
(c)

(c) Hence or otherwise, determine the value of lim⁡x→0(xe−x−x)2x4\lim_{x\to0} \frac{(xe^{-x} - x)^2}{x^4}.

[4]

Question 3

MediumPaper 1 · no calculator6 marks

Use the principle of mathematical induction to prove that ∑r=1nr(r+1)!=1−1(n+1)!∑_{r=1}^{n} \frac{r}{(r+1)!} = 1 - \frac{1}{(n+1)!} for all n∈Z+n ∈ Z^{+}

Question 4

HardPaper 1 · no calculator19 marks
(a)

Let f(x)=11−2xf(x) = \frac{1}{\sqrt{1-2x}} for x<12x < \frac{1}{2}.

(a) Show that f′′(x)=3(1−2x)−52f''(x) = 3(1-2x)^{-\frac{5}{2}}.

[3]
(b)

(b) Use mathematical induction to prove that f(n)(x)=(2n)!2nn!(1−2x)−2n+12f^{(n)}(x) = \frac{(2n)!}{2^n n!} (1-2x)^{-\frac{2n+1}{2}} for n∈Z,n≥2n \in \mathbb{Z}, n \ge 2.

[9]
(c)

Let g(x)=ln⁡(1+kx)g(x) = \ln(1+kx), where kk is a real constant.

Consider the function hh defined by h(x)=f(x)×g(x)h(x) = f(x) \times g(x) for x<12x < \frac{1}{2}.

It is given that the coefficient of the x2x^2 term in the Maclaurin series for h(x)h(x) is −4-4.

(c) Find the possible values of kk.

[7]

Question 5

MediumPaper 2 · calculator9 marks
(a)

Solve the inequality 4x2−2x−3>04x^2 - 2x - 3 > 0.

[2]
(b)

Use mathematical induction to prove that 3n>2n2+n3^n > 2n^2 + n for n∈Z,n≥3n \in \mathbb{Z}, n \ge 3.

[7]

Question 6

HardPaper 1 · no calculator20 marks
(a)

Let f(x)=11+2xf(x) = \frac{1}{\sqrt{1+2x}} for x>−12x > -\frac{1}{2}.

(a) Show that f′′(x)=3(1+2x)−52f''(x) = 3(1+2x)^{-\frac{5}{2}}.

[3]
(b)

(b) Use mathematical induction to prove that f(n)(x)=(−1)n(2n)!2nn!(1+2x)−2n+12f^{(n)}(x) = (-1)^n \frac{(2n)!}{2^n n!} (1+2x)^{-\frac{2n+1}{2}} for n∈Z,n≥1n \in \mathbb{Z}, n \ge 1.

[9]
(c)

Let g(x)=emx,m∈Rg(x) = e^{mx}, m \in \mathbb{R}.

Consider the function hh defined by h(x)=f(x)×g(x)h(x) = f(x) \times g(x) for x>−12x > -\frac{1}{2}.

It is given that the x2x^2 term in the Maclaurin series for h(x)h(x) has a coefficient of 33.

(c) Find the possible values of mm.

[8]

Question 7

MediumPaper 2 · calculator7 marks

Use the principle of mathematical induction to prove that 2n>n22^n > n^2 for all integers n≥5n \ge 5.

Question 8

HardPaper 1 · no calculator14 marks
(a)

(a) Prove by mathematical induction that dndxn(xe−x)=(−1)n(x−n)e−x\frac{d^n}{dx^n}(xe^{-x}) = (-1)^n(x-n)e^{-x} for n∈Z+n \in \mathbb{Z}^+.

[7]
(b)

(b) Hence or otherwise, find the Maclaurin series of f(x)=xe−xf(x) = xe^{-x} in ascending powers of xx, up to and including the term in x5x^5.

[3]
(c)

(c) Hence or otherwise, determine the value of lim⁡x→0xe−x−x+x2x3\lim_{x\to0} \frac{xe^{-x} - x + x^2}{x^3}.

[4]

Question 9

MediumPaper 1 · no calculator7 marks

Use the principle of mathematical induction to prove that ∏r=1n(1−1r+1)=1n+1\prod_{r=1}^{n} \left(1 - \frac{1}{r+1}\right) = \frac{1}{n+1} for all integers n≥1n \ge 1.

Question 10

HardPaper 1 · no calculator14 marks
(a)

(a) Prove by mathematical induction that dndxn(x1−x)=n!(1−x)−(n+1)\frac{d^n}{dx^n}\left(\frac{x}{1-x}\right) = n!(1-x)^{-(n+1)} for n∈Z+n \in \mathbb{Z}^+.

[7]
(b)

(b) Hence or otherwise, determine the Maclaurin series of f(x)=x1−xf(x) = \frac{x}{1-x} in ascending powers of xx, up to and including the term in x4x^4.

[3]
(c)

(c) Hence or otherwise, determine the value of lim⁡x→0(x1−x−x)2x4\lim_{x\to0} \frac{\left(\frac{x}{1-x} - x\right)^2}{x^4}.

[4]

Question 11

MediumPaper 1 · no calculator7 marks

Prove by mathematical induction that 32n+1+2n+23^{2n+1} + 2^{n+2} is divisible by 7 for all n∈Z+n \in \mathbb{Z}^+.

Question 12

HardPaper 1 · no calculator7 marks

Prove by mathematical induction that 32n+1+2n+23^{2n+1} + 2^{n+2} is divisible by 7 for all n∈Z+n \in \mathbb{Z}^+.

Question 13

MediumPaper 1 · no calculator6 marks
(a)

Consider a geometric sequence with first term 2 and common ratio 3.

SnS_n is the sum of the first nn terms of the sequence.

(a) Find an expression for SnS_n, in the form an+ba^n+b, where a,b∈Za, b \in \mathbb{Z}.

[2]
(b)

(b) Hence, show that S1+S2+S3+⋯+Sn=3n+1−2n−32S_1 + S_2 + S_3 + \dots + S_n = \frac{3^{n+1}-2n-3}{2}.

[4]

Question 14

HardPaper 1 · no calculator16 marks
(a)

The following diagram shows the graph of y=arctan⁡(x−32)−π4y = \arctan\left(\frac{x-3}{2}\right) -\frac{\pi}{4} for x∈Rx \in \mathbb{R}, with asymptotes at y=−3π4y = -\frac{3\pi}{4} and y=π4y = \frac{\pi}{4}.

Graph of y = arctan((x-3)/2) - pi/4 with asymptotes

Describe a sequence of transformations that transforms the graph of y=arctan⁡xy = \arctan x to the graph of y=arctan⁡(x−32)−π4y = \arctan\left(\frac{x-3}{2}\right) -\frac{\pi}{4} for x∈Rx \in \mathbb{R}.

[3]
(b)

Show that arctan⁡p+arctan⁡q=arctan⁡(p+q1−pq)\arctan p + \arctan q = \arctan\left(\frac{p+q}{1-pq}\right) where p,q>0p, q > 0 and pq<1pq < 1.

[4]
(c)

Using mathematical induction and the result from part (b), prove that

∑r=1narctan⁡(1r2+r+1)=arctan⁡(nn+2)\sum_{r=1}^{n} \arctan\left(\frac{1}{r^2+r+1}\right) = \arctan\left(\frac{n}{n+2}\right) for n∈Z+n \in \mathbb{Z}^+.

[9]

Question 15

MediumPaper 1 · no calculator7 marks
(a)

A student claims that 2n>n22^n > n^2 for all integers n≥5n \ge 5.

(a) Show that 2n2>(n+1)22n^2 > (n+1)^2 for all integers n≥3n \ge 3.

[2]
(b)

(b) Use mathematical induction and the result from part (a) to prove that the student's claim is valid for all integers n≥5n \ge 5.

[5]

Question 16

HardPaper 1 · no calculator7 marks

Use the principle of mathematical induction to prove that ∑r=2nrC2=n+1C3\sum_{r=2}^n {^rC_2} = {^{n+1}C_3} for all integers n≥2n \ge 2.

Question 17

MediumPaper 1 · no calculator7 marks

Use the principle of mathematical induction to prove that

∑r=1nr⋅r!=(n+1)!−1\sum_{r=1}^{n} r \cdot r! = (n+1)! - 1

for all n∈Z+n \in \mathbb{Z}^+.

Question 18

HardPaper 1 · no calculator21 marks
(a)

Let f(x)=ln⁡(1+ax)f(x) = \ln(1+ax), where ax>−1,a≠0ax > -1, a \neq 0.

The nthn^{\text{th}} derivative of f(x)f(x) is denoted by f(n)(x)f^{(n)}(x), for n∈Z+n \in \mathbb{Z}^+.

Prove by induction that f(n)(x)=(−1)n−1(n−1)!an(1+ax)−nf^{(n)}(x) = (-1)^{n-1} (n-1)! a^n (1+ax)^{-n}, for n∈Z+n \in \mathbb{Z}^+.

[8]
(b)

Hence or otherwise, find the Maclaurin series for f(x)=ln⁡(1+ax)f(x) = \ln(1+ax) up to and including the x3x^3 term.

[3]
(c)

Hence, find the series expansion of ln⁡(1+2x1−3x)\ln\left(\frac{1+2x}{1-3x}\right) up to and including the x3x^3 term.

[4]
(d)

State the restriction which must be placed on xx for the approximation in part (c) to be valid.

[2]
(e)

Use a suitable value of xx to determine an approximate value for ln⁡(2)\ln(2).

Give your answer as a rational number.

[4]

Question 19

MediumPaper 1 · no calculator6 marks

Use the principle of mathematical induction to prove that n3+5nn^3 + 5n is divisible by 6 for all n∈Z+n \in \mathbb{Z}^+ .

Question 20

HardPaper 1 · no calculator8 marks

Prove, by mathematical induction, that 32n+1+2n+23^{2n+1} + 2^{n+2} is divisible by 7 for all n∈Z+n \in \mathbb{Z}^+.

5 more Proof by mathematical induction questions in the app

Every answer is marked mark by mark, IB-style, and the AI tutor helps when you are stuck.

Where marks are lost

  • Using your own wrong value after failing a "show that".
Free. Every IB subject.
No card, no trial that runs out. Just a free account.
  • 50 marked answers a month
    Marked mark by mark, IB-style
  • Hints and mark schemes
    On every part of every question
  • 3,000+ questions
    All 6 subjects, SL and HL, mapped to the syllabus
  • Progress that adapts
    Your Study Profile picks what to practise next

Practise this topic as a session

Pick a difficulty and paper, and FourtyFive tracks your progress on this topic as you go.

or with email
FAQ

Questions,
answered.

Can't find what you're looking for? Email our student team.

What does Proof by mathematical induction cover in IB Maths AA?

Mathematical induction proves a statement P_n is true for all integers $$n. less a$$. Basis Step: Verify P_n for the smallest integer (usually n=1).

Is Proof by mathematical induction SL or HL?

Proof by mathematical induction is HL only. SL students are not examined on it.

How do I revise Proof by mathematical induction for IB Maths AA?

Start from the core idea: mathematical induction proves a statement P_n is true for all integers $$n. In the exam: induction is marked on structure, not just on algebra: state the proposition, prove the base case, assume for n = k, prove for n = k+1, and write a conclusion that names the base case and the inductive step. Examiners award a mark for that final sentence and students routinely drop it. Then practise exam-style questions, easiest first, writing out every step of your working before you check it.

How does FourtyFive help me practise Proof by mathematical induction?

FourtyFive has 25 Proof by mathematical induction questions. Every answer you write is marked mark by mark, IB-style, and you see where each mark was won or lost. Every part has a hint, the AI tutor helps you through the step you are stuck on, and your Study Profile picks what to practise next.

Is FourtyFive free for Proof by mathematical induction practice?

Yes. A free account gives you 50 marked answers a month, and you do not need a card to sign up.

Can I handwrite Proof by mathematical induction answers on an iPad?

Yes. In the FourtyFive iPad app you write your working by hand with Apple Pencil, the way you would on paper, and it is marked the same way.

Start with the IB question
bank built for you.

Free to start, no card needed. Thousands of syllabus-mapped questions, AI Examiner marking, your weakest topics first.