IB Maths AA

Practice by topic

Proof by mathematical induction practice questions — IB Maths AA

10 free multiple-choice problems on proof by mathematical induction, ordered to match IB Maths AA difficulty, each with a full worked solution. No account needed — and there's a fresh problem set every day.

Problems & worked solutions

Problem #0349 International

Problem 1Proof by mathematical induction

By induction one can show that n3nn^3 - n is divisible by 66 for every nNn \in \mathbb{N}. Compute 103106\dfrac{10^3 - 10}{6}.

Show answer & worked solution
  1. A. 165165✓ correct
  2. B. 166166
  3. C. 100100
  4. D. 200200

10310=99010^3 - 10 = 990, and 990/6=165990 / 6 = 165. The induction proof factors n3n=(n1)n(n+1)n^3 - n = (n-1)n(n+1), which is the product of three consecutive integers and is therefore divisible by both 22 and 33, hence by 66.

Problem #0350 International

Problem 2Proof by mathematical induction

Show by induction that 12+23++n(n+1)=n(n+1)(n+2)31 \cdot 2 + 2 \cdot 3 + \cdots + n(n+1) = \dfrac{n(n+1)(n+2)}{3} for every n1n \ge 1. Using this, compute 12+23+34+451 \cdot 2 + 2 \cdot 3 + 3 \cdot 4 + 4 \cdot 5.

Show answer & worked solution
  1. A. 3030
  2. B. 4040✓ correct
  3. C. 5050
  4. D. 6060

4563=1203=40\dfrac{4 \cdot 5 \cdot 6}{3} = \dfrac{120}{3} = 40. (Direct: 2+6+12+20=402 + 6 + 12 + 20 = 40.)

Problem #0343 International

Problem 3Proof by mathematical induction

Which statement is logically equivalent to "if n2n^2 is even, then nn is even"?

Show answer & worked solution
  1. A. If nn is even, then n2n^2 is even
  2. B. If nn is odd, then n2n^2 is odd✓ correct
  3. C. If n2n^2 is odd, then nn is even
  4. D. nn is even if and only if n2n^2 is odd

The contrapositive of "n2n^2 even \Rightarrow nn even" is "nn odd \Rightarrow n2n^2 odd". A statement and its contrapositive always have the same truth value.

Problem #0348 International

Problem 4Proof by mathematical induction

By induction, 1+3+5++(2n1)=n21 + 3 + 5 + \cdots + (2n - 1) = n^2. Compute this sum for n=9n = 9.

Show answer & worked solution
  1. A. 4949
  2. B. 6464
  3. C. 8181✓ correct
  4. D. 100100

1+3+5++17=92=811 + 3 + 5 + \cdots + 17 = 9^2 = 81. (Direct check: 1+3+5+7+9+11+13+15+17=811+3+5+7+9+11+13+15+17 = 81.)

Problem #0342 International

Problem 5Proof by mathematical induction

The negation of "for every real number xx, x2+1>0x^2 + 1 > 0" is:

Show answer & worked solution
  1. A. For every real xx, x2+10x^2 + 1 \le 0
  2. B. There exists a real xx such that x2+10x^2 + 1 \le 0✓ correct
  3. C. There exists a real xx such that x2+1>0x^2 + 1 > 0
  4. D. For every real xx, x2+1<0x^2 + 1 < 0

Negation of \forall is \exists; negation of >> is \le. So the negation is xR: x2+10\exists x \in \mathbb{R}:\ x^2 + 1 \le 0. (This statement is itself false, but the question asked for the negation, not its truth value.)

Problem #0346 International

Problem 6Proof by mathematical induction

Assume 1+2++k=k(k+1)21 + 2 + \cdots + k = \dfrac{k(k+1)}{2} (induction hypothesis). To complete the inductive step we must show that 1+2++(k+1)1 + 2 + \cdots + (k+1) equals:

Show answer & worked solution
  1. A. (k+1)(k+2)2\dfrac{(k+1)(k+2)}{2}✓ correct
  2. B. k(k+1)2+1\dfrac{k(k+1)}{2} + 1
  3. C. (k+1)22\dfrac{(k+1)^2}{2}
  4. D. (k+1)(k+2)(k+1)(k+2)

The target formula at n=k+1n = k+1 is (k+1)((k+1)+1)2=(k+1)(k+2)2\dfrac{(k+1)\big((k+1)+1\big)}{2} = \dfrac{(k+1)(k+2)}{2}. (And indeed k(k+1)2+(k+1)=(k+1)(k+2)2\dfrac{k(k+1)}{2} + (k+1) = \dfrac{(k+1)(k+2)}{2}, completing the step.)

Problem #0347 International

Problem 7Proof by mathematical induction

The formula 13+23++n3=[n(n+1)2]21^3 + 2^3 + \cdots + n^3 = \left[\dfrac{n(n+1)}{2}\right]^2 holds for all n1n \ge 1. Compute 13+23+33+431^3 + 2^3 + 3^3 + 4^3.

Show answer & worked solution
  1. A. 100100✓ correct
  2. B. 144144
  3. C. 3636
  4. D. 10241024

[452]2=102=100\left[\dfrac{4 \cdot 5}{2}\right]^2 = 10^2 = 100. (Verify directly: 1+8+27+64=1001 + 8 + 27 + 64 = 100.)

Problem #0341 International

Problem 8Proof by mathematical induction

Let pp: "every prime number is odd" and qq: "3+4=73 + 4 = 7". The truth value of pqp \wedge q is:

Show answer & worked solution
  1. A. True
  2. B. False✓ correct
  3. C. Cannot be determined
  4. D. Both true and false

pp is false (since 22 is prime and even), qq is true. From the truth table for conjunction, falsetrue=false\text{false} \wedge \text{true} = \text{false}.

Problem #0345 International

Problem 9Proof by mathematical induction

Verify the base case n=1n = 1 for the formula 1+2++n=n(n+1)21 + 2 + \cdots + n = \dfrac{n(n+1)}{2}. What is the value of the right-hand side at n=1n = 1?

Show answer & worked solution
  1. A. 00
  2. B. 11✓ correct
  3. C. 22
  4. D. n+1n + 1

At n=1n = 1: 122=1\dfrac{1 \cdot 2}{2} = 1, which equals the left-hand side 11. The base case holds.

Problem #0344 International

Problem 10Proof by mathematical induction

Let A={1,2,3,5}A = \{1, 2, 3, 5\} and B={2,3,5,7}B = \{2, 3, 5, 7\}. Then ABA \cap B equals:

Show answer & worked solution
  1. A. {1,2,3,5,7}\{1, 2, 3, 5, 7\}
  2. B. {2,3,5}\{2, 3, 5\}✓ correct
  3. C. {1,7}\{1, 7\}
  4. D. \emptyset

ABA \cap B contains the elements common to both sets: {2,3,5}\{2, 3, 5\}.

Not sure where you stand? Take the free 10-question placement test — no account, ~15 minutes.