{"id":65275,"date":"2026-07-30T12:04:46","date_gmt":"2026-07-30T11:04:46","guid":{"rendered":"https:\/\/blog-admin.thethinkacademy.com\/?p=65275"},"modified":"2026-07-30T12:04:48","modified_gmt":"2026-07-30T11:04:48","slug":"math-induction-proof-guide","status":"publish","type":"post","link":"https:\/\/blog-admin.thethinkacademy.com\/blog\/2026\/07\/30\/math-induction-proof-guide\/","title":{"rendered":"Mathematical Induction: A Complete Guide with Worked Examples"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">Mathematical induction is one of the most powerful and elegant proof techniques in mathematics \u2014 and one of the most important to master for students aiming at the Euclid Contest, the COMC, or any senior-level mathematics competition. A math induction proof allows you to prove that a statement is true for all positive integers (or all integers beyond some starting value) by proving just two things: that it is true for the first case, and that if it is true for any case k, it must also be true for the next case k + 1.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">This guide covers the complete method, from the three-step structure through worked examples at increasing difficulty, common mistakes, and how math induction proof appears in competition mathematics.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">What Is Mathematical Induction?<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Mathematical induction<\/strong> is a proof technique used to prove that a statement P(n) is true for all positive integers n (or for all integers n \u2265 some starting value n\u2080).<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The logic is often compared to a domino chain:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>If the first domino falls (base case), and<\/li>\n\n\n\n<li>If every domino that falls causes the next one to fall (inductive step),<\/li>\n\n\n\n<li>Then all dominoes will eventually fall (the statement is true for all n).<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">The method does not check every case individually \u2014 it proves that the truth of any one case forces the next to be true, and that the chain starts at n = 1 (or wherever the base case is set).<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>When to use a math induction proof:<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Proving formulas for sums or series (e.g. 1 + 2 + &#8230; + n = n(n+1)\/2)<\/li>\n\n\n\n<li>Proving divisibility statements (e.g. 3\u207f \u2212 1 is always divisible by 2)<\/li>\n\n\n\n<li>Proving inequalities that hold for all n<\/li>\n\n\n\n<li>Proving properties of sequences defined recursively<\/li>\n\n\n\n<li>Proving combinatorial identities<\/li>\n<\/ul>\n\n\n\n<figure class=\"wp-block-image size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"520\" src=\"https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-11_58_37-AM-1-1024x520.png\" alt=\"math induction proof image cta\" class=\"wp-image-65277\" srcset=\"https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-11_58_37-AM-1-1024x520.png 1024w, https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-11_58_37-AM-1-300x152.png 300w, https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-11_58_37-AM-1-768x390.png 768w, https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-11_58_37-AM-1-1536x780.png 1536w, https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-11_58_37-AM-1-1300x660.png 1300w, https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-11_58_37-AM-1.png 1760w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">Many students can repeat the three steps of mathematical induction\u2014but struggle when they&#8217;re asked to apply them in unfamiliar questions.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">A free assessment shows whether your child genuinely understands proof techniques before they appear on tests and exams.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong><a href=\"https:\/\/www.thinkacademy.ca\/free-assessment?source_id=6721&amp;source_type=9&amp;utm_medium=website&amp;utm_source=pc_blog\">\u2192 Get your free personalised feedback report<\/a><\/strong><\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">The Three Steps of a Math Induction Proof<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Every math induction proof has exactly three parts, always in this order:<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">Math Induction Proof Step 1: Base Case<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">Prove that P(n) is true for the smallest value of n in the claim \u2014 usually n = 1, but sometimes n = 0 or n = 2 or another starting value.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The base case is a direct calculation or verification. You substitute the specific value and check that the statement holds. This is usually the shortest part of the proof.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">Math Induction Proof Step 2: Inductive Hypothesis<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">Assume that P(k) is true for some arbitrary positive integer k \u2265 1 (or whatever the starting value is).<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">This is an assumption \u2014 you are not proving P(k) here, you are assuming it. State it clearly and explicitly: &#8220;Assume P(k) is true, i.e., [write out what P(k) says with k substituted].&#8221;<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">This assumption is what you are allowed to use in Step 3.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">Math Induction Proof Step 3: Inductive Step<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">Using the inductive hypothesis (that P(k) is true), prove that P(k+1) must also be true.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">This is the heart of the proof and the part that requires mathematical skill. The approach varies by problem type:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>For sum formulas: start from the P(k) assumption, add the (k+1)th term to both sides, and manipulate algebraically to reach the P(k+1) form<\/li>\n\n\n\n<li>For divisibility: express the (k+1) case in terms of the k case and show the divisibility follows<\/li>\n\n\n\n<li>For inequalities: use the inductive hypothesis and algebraic manipulation to establish the inequality for k+1<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Conclusion:<\/strong> State clearly that by the principle of mathematical induction, P(n) is true for all positive integers n (or for all n \u2265 n\u2080, as appropriate).<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Can your child remember the three steps\u2014or explain why they work?<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">That&#8217;s the difference between memorising a proof and understanding one.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong><a href=\"https:\/\/www.thinkacademy.ca\/free-assessment?source_id=6721&amp;source_type=9&amp;utm_medium=website&amp;utm_source=pc_blog\">Take our free assessment \u2192<\/a><\/strong><\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">Worked Examples: Math Induction Proof<\/h2>\n\n\n\n<h3 class=\"wp-block-heading\">Example 1 \u2014 Sum Formula (Classic, Grade 11\/12 level)<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Claim:<\/strong> For all positive integers n, <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mn>1<\/mn><mo>+<\/mo><mn>2<\/mn><mo>+<\/mo><mn>3<\/mn><mo>+<\/mo><mo>\u22ef<\/mo><mo>+<\/mo><mi>n<\/mi><mo>=<\/mo><mfrac><mrow><mi>n<\/mi><mo stretchy=\"false\">(<\/mo><mi>n<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><\/mrow><mn>2<\/mn><\/mfrac><\/mrow><annotation encoding=\"application\/x-tex\">1 + 2 + 3 + \\cdots + n = \\frac{n(n+1)}{2}<\/annotation><\/semantics><\/math>1+2+3+\u22ef+n=2n(n+1)\u200b<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Step 1 \u2014 Base Case (n = 1):<\/strong> LHS = 1 RHS = 1(1+1)\/2 = 2\/2 = 1 LHS = RHS \u2713 Base case holds.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Step 2 \u2014 Inductive Hypothesis:<\/strong>Assume the statement is true for some k \u2265 1: <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mn>1<\/mn><mo>+<\/mo><mn>2<\/mn><mo>+<\/mo><mn>3<\/mn><mo>+<\/mo><mo>\u22ef<\/mo><mo>+<\/mo><mi>k<\/mi><mo>=<\/mo><mfrac><mrow><mi>k<\/mi><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><\/mrow><mn>2<\/mn><\/mfrac><\/mrow><annotation encoding=\"application\/x-tex\">1 + 2 + 3 + \\cdots + k = \\frac{k(k+1)}{2}<\/annotation><\/semantics><\/math>1+2+3+\u22ef+k=2k(k+1)\u200b<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Step 3 \u2014 Inductive Step:<\/strong>We want to prove P(k+1): that <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mn>1<\/mn><mo>+<\/mo><mn>2<\/mn><mo>+<\/mo><mo>\u22ef<\/mo><mo>+<\/mo><mi>k<\/mi><mo>+<\/mo><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><mo>=<\/mo><mfrac><mrow><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>2<\/mn><mo stretchy=\"false\">)<\/mo><\/mrow><mn>2<\/mn><\/mfrac><\/mrow><annotation encoding=\"application\/x-tex\">1 + 2 + \\cdots + k + (k+1) = \\frac{(k+1)(k+2)}{2}<\/annotation><\/semantics><\/math>1+2+\u22ef+k+(k+1)=2(k+1)(k+2)\u200b<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Starting from the left side: <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mn>1<\/mn><mo>+<\/mo><mn>2<\/mn><mo>+<\/mo><mo>\u22ef<\/mo><mo>+<\/mo><mi>k<\/mi><mo>+<\/mo><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><\/mrow><annotation encoding=\"application\/x-tex\">1 + 2 + \\cdots + k + (k+1)<\/annotation><\/semantics><\/math>1+2+\u22ef+k+(k+1) <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mo>=<\/mo><mfrac><mrow><mi>k<\/mi><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><\/mrow><mn>2<\/mn><\/mfrac><mo>+<\/mo><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><mspace width=\"1em\"><\/mspace><mtext>(by&nbsp;inductive&nbsp;hypothesis)<\/mtext><\/mrow><annotation encoding=\"application\/x-tex\">= \\frac{k(k+1)}{2} + (k+1) \\quad \\text{(by inductive hypothesis)}<\/annotation><\/semantics><\/math>=2k(k+1)\u200b+(k+1)(by&nbsp;inductive&nbsp;hypothesis) <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mo>=<\/mo><mfrac><mrow><mi>k<\/mi><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><\/mrow><mn>2<\/mn><\/mfrac><mo>+<\/mo><mfrac><mrow><mn>2<\/mn><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><\/mrow><mn>2<\/mn><\/mfrac><\/mrow><annotation encoding=\"application\/x-tex\">= \\frac{k(k+1)}{2} + \\frac{2(k+1)}{2}<\/annotation><\/semantics><\/math>=2k(k+1)\u200b+22(k+1)\u200b <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mo>=<\/mo><mfrac><mrow><mi>k<\/mi><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><mo>+<\/mo><mn>2<\/mn><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><\/mrow><mn>2<\/mn><\/mfrac><\/mrow><annotation encoding=\"application\/x-tex\">= \\frac{k(k+1) + 2(k+1)}{2}<\/annotation><\/semantics><\/math>=2k(k+1)+2(k+1)\u200b <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mo>=<\/mo><mfrac><mrow><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>2<\/mn><mo stretchy=\"false\">)<\/mo><\/mrow><mn>2<\/mn><\/mfrac><\/mrow><annotation encoding=\"application\/x-tex\">= \\frac{(k+1)(k+2)}{2}<\/annotation><\/semantics><\/math>=2(k+1)(k+2)\u200b<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">This is exactly P(k+1). \u2713<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Conclusion:<\/strong> By the principle of mathematical induction, 1 + 2 + &#8230; + n = n(n+1)\/2 for all positive integers n. \u25a1<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h3 class=\"wp-block-heading\">Example 2 \u2014 Sum of Squares (Grade 12 \/ Euclid level)<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Claim:<\/strong> For all positive integers n, <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><msup><mn>1<\/mn><mn>2<\/mn><\/msup><mo>+<\/mo><msup><mn>2<\/mn><mn>2<\/mn><\/msup><mo>+<\/mo><msup><mn>3<\/mn><mn>2<\/mn><\/msup><mo>+<\/mo><mo>\u22ef<\/mo><mo>+<\/mo><msup><mi>n<\/mi><mn>2<\/mn><\/msup><mo>=<\/mo><mfrac><mrow><mi>n<\/mi><mo stretchy=\"false\">(<\/mo><mi>n<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><mo stretchy=\"false\">(<\/mo><mn>2<\/mn><mi>n<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><\/mrow><mn>6<\/mn><\/mfrac><\/mrow><annotation encoding=\"application\/x-tex\">1^2 + 2^2 + 3^2 + \\cdots + n^2 = \\frac{n(n+1)(2n+1)}{6}<\/annotation><\/semantics><\/math>12+22+32+\u22ef+n2=6n(n+1)(2n+1)\u200b<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Step 1 \u2014 Base Case (n = 1):<\/strong> LHS = 1\u00b2 = 1 RHS = 1(2)(3)\/6 = 6\/6 = 1 \u2713<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Step 2 \u2014 Inductive Hypothesis:<\/strong>Assume for some k \u2265 1: <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><msup><mn>1<\/mn><mn>2<\/mn><\/msup><mo>+<\/mo><msup><mn>2<\/mn><mn>2<\/mn><\/msup><mo>+<\/mo><mo>\u22ef<\/mo><mo>+<\/mo><msup><mi>k<\/mi><mn>2<\/mn><\/msup><mo>=<\/mo><mfrac><mrow><mi>k<\/mi><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><mo stretchy=\"false\">(<\/mo><mn>2<\/mn><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><\/mrow><mn>6<\/mn><\/mfrac><\/mrow><annotation encoding=\"application\/x-tex\">1^2 + 2^2 + \\cdots + k^2 = \\frac{k(k+1)(2k+1)}{6}<\/annotation><\/semantics><\/math>12+22+\u22ef+k2=6k(k+1)(2k+1)\u200b<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Step 3 \u2014 Inductive Step:<\/strong>Want to show: <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><msup><mn>1<\/mn><mn>2<\/mn><\/msup><mo>+<\/mo><msup><mn>2<\/mn><mn>2<\/mn><\/msup><mo>+<\/mo><mo>\u22ef<\/mo><mo>+<\/mo><msup><mi>k<\/mi><mn>2<\/mn><\/msup><mo>+<\/mo><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><msup><mo stretchy=\"false\">)<\/mo><mn>2<\/mn><\/msup><mo>=<\/mo><mfrac><mrow><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>2<\/mn><mo stretchy=\"false\">)<\/mo><mo stretchy=\"false\">(<\/mo><mn>2<\/mn><mi>k<\/mi><mo>+<\/mo><mn>3<\/mn><mo stretchy=\"false\">)<\/mo><\/mrow><mn>6<\/mn><\/mfrac><\/mrow><annotation encoding=\"application\/x-tex\">1^2 + 2^2 + \\cdots + k^2 + (k+1)^2 = \\frac{(k+1)(k+2)(2k+3)}{6}<\/annotation><\/semantics><\/math>12+22+\u22ef+k2+(k+1)2=6(k+1)(k+2)(2k+3)\u200b<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Starting from the left: <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mfrac><mrow><mi>k<\/mi><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><mo stretchy=\"false\">(<\/mo><mn>2<\/mn><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><\/mrow><mn>6<\/mn><\/mfrac><mo>+<\/mo><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><msup><mo stretchy=\"false\">)<\/mo><mn>2<\/mn><\/msup><mspace width=\"1em\"><\/mspace><mtext>(inductive&nbsp;hypothesis)<\/mtext><\/mrow><annotation encoding=\"application\/x-tex\">\\frac{k(k+1)(2k+1)}{6} + (k+1)^2 \\quad \\text{(inductive hypothesis)}<\/annotation><\/semantics><\/math>6k(k+1)(2k+1)\u200b+(k+1)2(inductive&nbsp;hypothesis) <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mo>=<\/mo><mfrac><mrow><mi>k<\/mi><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><mo stretchy=\"false\">(<\/mo><mn>2<\/mn><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><\/mrow><mn>6<\/mn><\/mfrac><mo>+<\/mo><mfrac><mrow><mn>6<\/mn><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><msup><mo stretchy=\"false\">)<\/mo><mn>2<\/mn><\/msup><\/mrow><mn>6<\/mn><\/mfrac><\/mrow><annotation encoding=\"application\/x-tex\">= \\frac{k(k+1)(2k+1)}{6} + \\frac{6(k+1)^2}{6}<\/annotation><\/semantics><\/math>=6k(k+1)(2k+1)\u200b+66(k+1)2\u200b <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mo>=<\/mo><mfrac><mrow><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><mo stretchy=\"false\">[<\/mo><mi>k<\/mi><mo stretchy=\"false\">(<\/mo><mn>2<\/mn><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><mo>+<\/mo><mn>6<\/mn><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><mo stretchy=\"false\">]<\/mo><\/mrow><mn>6<\/mn><\/mfrac><\/mrow><annotation encoding=\"application\/x-tex\">= \\frac{(k+1)[k(2k+1) + 6(k+1)]}{6}<\/annotation><\/semantics><\/math>=6(k+1)[k(2k+1)+6(k+1)]\u200b <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mo>=<\/mo><mfrac><mrow><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><mo stretchy=\"false\">[<\/mo><mn>2<\/mn><msup><mi>k<\/mi><mn>2<\/mn><\/msup><mo>+<\/mo><mi>k<\/mi><mo>+<\/mo><mn>6<\/mn><mi>k<\/mi><mo>+<\/mo><mn>6<\/mn><mo stretchy=\"false\">]<\/mo><\/mrow><mn>6<\/mn><\/mfrac><\/mrow><annotation encoding=\"application\/x-tex\">= \\frac{(k+1)[2k^2 + k + 6k + 6]}{6}<\/annotation><\/semantics><\/math>=6(k+1)[2k2+k+6k+6]\u200b <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mo>=<\/mo><mfrac><mrow><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><mo stretchy=\"false\">(<\/mo><mn>2<\/mn><msup><mi>k<\/mi><mn>2<\/mn><\/msup><mo>+<\/mo><mn>7<\/mn><mi>k<\/mi><mo>+<\/mo><mn>6<\/mn><mo stretchy=\"false\">)<\/mo><\/mrow><mn>6<\/mn><\/mfrac><\/mrow><annotation encoding=\"application\/x-tex\">= \\frac{(k+1)(2k^2 + 7k + 6)}{6}<\/annotation><\/semantics><\/math>=6(k+1)(2k2+7k+6)\u200b <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mo>=<\/mo><mfrac><mrow><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>+<\/mo><mn>2<\/mn><mo stretchy=\"false\">)<\/mo><mo stretchy=\"false\">(<\/mo><mn>2<\/mn><mi>k<\/mi><mo>+<\/mo><mn>3<\/mn><mo stretchy=\"false\">)<\/mo><\/mrow><mn>6<\/mn><\/mfrac><\/mrow><annotation encoding=\"application\/x-tex\">= \\frac{(k+1)(k+2)(2k+3)}{6}<\/annotation><\/semantics><\/math>=6(k+1)(k+2)(2k+3)\u200b<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">This is exactly P(k+1). \u2713<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Conclusion:<\/strong> By mathematical induction, the formula holds for all positive integers n. \u25a1<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h3 class=\"wp-block-heading\">Example 3 \u2014 Divisibility Proof (Euclid\/COMC level)<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Claim:<\/strong> For all positive integers n, 7\u207f \u2212 1 is divisible by 6.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Step 1 \u2014 Base Case (n = 1):<\/strong> 7\u00b9 \u2212 1 = 6 = 6 \u00d7 1. Divisible by 6. \u2713<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Step 2 \u2014 Inductive Hypothesis:<\/strong> Assume 7\u1d4f \u2212 1 is divisible by 6 for some k \u2265 1. i.e., 7\u1d4f \u2212 1 = 6m for some integer m.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Step 3 \u2014 Inductive Step:<\/strong> Show 7^(k+1) \u2212 1 is divisible by 6.<math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><msup><mn>7<\/mn><mrow><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><\/mrow><\/msup><mo>\u2212<\/mo><mn>1<\/mn><mo>=<\/mo><mn>7<\/mn><mo>\u22c5<\/mo><msup><mn>7<\/mn><mi>k<\/mi><\/msup><mo>\u2212<\/mo><mn>1<\/mn><\/mrow><annotation encoding=\"application\/x-tex\">7^{k+1} &#8211; 1 = 7 \\cdot 7^k &#8211; 1<\/annotation><\/semantics><\/math>7k+1\u22121=7\u22c57k\u22121 <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mo>=<\/mo><mn>7<\/mn><mo>\u22c5<\/mo><msup><mn>7<\/mn><mi>k<\/mi><\/msup><mo>\u2212<\/mo><mn>7<\/mn><mo>+<\/mo><mn>7<\/mn><mo>\u2212<\/mo><mn>1<\/mn><\/mrow><annotation encoding=\"application\/x-tex\">= 7 \\cdot 7^k &#8211; 7 + 7 &#8211; 1<\/annotation><\/semantics><\/math>=7\u22c57k\u22127+7\u22121 <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mo>=<\/mo><mn>7<\/mn><mo stretchy=\"false\">(<\/mo><msup><mn>7<\/mn><mi>k<\/mi><\/msup><mo>\u2212<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><mo>+<\/mo><mn>6<\/mn><\/mrow><annotation encoding=\"application\/x-tex\">= 7(7^k &#8211; 1) + 6<\/annotation><\/semantics><\/math>=7(7k\u22121)+6 <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mo>=<\/mo><mn>7<\/mn><mo stretchy=\"false\">(<\/mo><mn>6<\/mn><mi>m<\/mi><mo stretchy=\"false\">)<\/mo><mo>+<\/mo><mn>6<\/mn><mspace width=\"1em\"><\/mspace><mtext>(by&nbsp;inductive&nbsp;hypothesis,&nbsp;<\/mtext><msup><mn>7<\/mn><mi>k<\/mi><\/msup><mo>\u2212<\/mo><mn>1<\/mn><mo>=<\/mo><mn>6<\/mn><mi>m<\/mi><mtext>)<\/mtext><\/mrow><annotation encoding=\"application\/x-tex\">= 7(6m) + 6 \\quad \\text{(by inductive hypothesis, } 7^k &#8211; 1 = 6m\\text{)}<\/annotation><\/semantics><\/math>=7(6m)+6(by&nbsp;inductive&nbsp;hypothesis,&nbsp;7k\u22121=6m) <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mo>=<\/mo><mn>6<\/mn><mo stretchy=\"false\">(<\/mo><mn>7<\/mn><mi>m<\/mi><mo stretchy=\"false\">)<\/mo><mo>+<\/mo><mn>6<\/mn><\/mrow><annotation encoding=\"application\/x-tex\">= 6(7m) + 6<\/annotation><\/semantics><\/math>=6(7m)+6 <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mo>=<\/mo><mn>6<\/mn><mo stretchy=\"false\">(<\/mo><mn>7<\/mn><mi>m<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><\/mrow><annotation encoding=\"application\/x-tex\">= 6(7m + 1)<\/annotation><\/semantics><\/math>=6(7m+1)<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Since 7m + 1 is an integer, 7^(k+1) \u2212 1 is divisible by 6. \u2713<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Conclusion:<\/strong> By mathematical induction, 7\u207f \u2212 1 is divisible by 6 for all positive integers n. \u25a1<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h3 class=\"wp-block-heading\">Example 4 \u2014 Inequality Proof (COMC level)<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Claim:<\/strong> For all integers n \u2265 4, 2\u207f &gt; n\u00b2.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Note:<\/strong> The base case here is n = 4, not n = 1 (since the inequality is false for n = 1, 2, 3).<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Step 1 \u2014 Base Case (n = 4):<\/strong> 2\u2074 = 16, 4\u00b2 = 16. But wait \u2014 2\u2074 = 4\u00b2, not 2\u2074 &gt; 4\u00b2.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><em>Actually: 2\u2074 = 16 and 4\u00b2 = 16. They are equal at n = 4, so the strict inequality fails here too.<\/em><\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><em>This illustrates an important point: always check the base case carefully before proceeding. If the claim as stated is false at n = 4, we need n \u2265 5.<\/em><\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Revised claim:<\/strong> For all integers n \u2265 5, 2\u207f &gt; n\u00b2.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Step 1 \u2014 Base Case (n = 5):<\/strong> 2\u2075 = 32, 5\u00b2 = 25. 32 &gt; 25. \u2713<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Step 2 \u2014 Inductive Hypothesis:<\/strong> Assume 2\u1d4f &gt; k\u00b2 for some k \u2265 5.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Step 3 \u2014 Inductive Step:<\/strong> Show 2^(k+1) &gt; (k+1)\u00b2.<math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><msup><mn>2<\/mn><mrow><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><\/mrow><\/msup><mo>=<\/mo><mn>2<\/mn><mo>\u22c5<\/mo><msup><mn>2<\/mn><mi>k<\/mi><\/msup><mo>&gt;<\/mo><mn>2<\/mn><msup><mi>k<\/mi><mn>2<\/mn><\/msup><mspace width=\"1em\"><\/mspace><mtext>(by&nbsp;inductive&nbsp;hypothesis)<\/mtext><\/mrow><annotation encoding=\"application\/x-tex\">2^{k+1} = 2 \\cdot 2^k &gt; 2k^2 \\quad \\text{(by inductive hypothesis)}<\/annotation><\/semantics><\/math>2k+1=2\u22c52k&gt;2k2(by&nbsp;inductive&nbsp;hypothesis)<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">It remains to show 2k\u00b2 \u2265 (k+1)\u00b2 = k\u00b2 + 2k + 1.<math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mn>2<\/mn><msup><mi>k<\/mi><mn>2<\/mn><\/msup><mo>\u2212<\/mo><mo stretchy=\"false\">(<\/mo><msup><mi>k<\/mi><mn>2<\/mn><\/msup><mo>+<\/mo><mn>2<\/mn><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><mo>=<\/mo><msup><mi>k<\/mi><mn>2<\/mn><\/msup><mo>\u2212<\/mo><mn>2<\/mn><mi>k<\/mi><mo>\u2212<\/mo><mn>1<\/mn><mo>=<\/mo><mo stretchy=\"false\">(<\/mo><mi>k<\/mi><mo>\u2212<\/mo><mn>1<\/mn><msup><mo stretchy=\"false\">)<\/mo><mn>2<\/mn><\/msup><mo>\u2212<\/mo><mn>2<\/mn><\/mrow><annotation encoding=\"application\/x-tex\">2k^2 &#8211; (k^2 + 2k + 1) = k^2 &#8211; 2k &#8211; 1 = (k-1)^2 &#8211; 2<\/annotation><\/semantics><\/math>2k2\u2212(k2+2k+1)=k2\u22122k\u22121=(k\u22121)2\u22122<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">For k \u2265 5: (k\u22121)\u00b2 \u2265 16 &gt; 2, so (k\u22121)\u00b2 \u2212 2 &gt; 0. Therefore 2k\u00b2 &gt; (k+1)\u00b2.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Combining: 2^(k+1) &gt; 2k\u00b2 &gt; (k+1)\u00b2. \u2713<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Conclusion:<\/strong> By mathematical induction, 2\u207f &gt; n\u00b2 for all integers n \u2265 5. \u25a1<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><em>Note: Example 4 illustrates that a careful base case check is not just a formality \u2014 it sometimes reveals that the claim needs adjustment.<\/em><\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h3 class=\"wp-block-heading\">Example 5 \u2014 Geometric Series Formula (Euclid level)<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Claim:<\/strong> For all positive integers n and r \u2260 1: <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mn>1<\/mn><mo>+<\/mo><mi>r<\/mi><mo>+<\/mo><msup><mi>r<\/mi><mn>2<\/mn><\/msup><mo>+<\/mo><mo>\u22ef<\/mo><mo>+<\/mo><msup><mi>r<\/mi><mi>n<\/mi><\/msup><mo>=<\/mo><mfrac><mrow><msup><mi>r<\/mi><mrow><mi>n<\/mi><mo>+<\/mo><mn>1<\/mn><\/mrow><\/msup><mo>\u2212<\/mo><mn>1<\/mn><\/mrow><mrow><mi>r<\/mi><mo>\u2212<\/mo><mn>1<\/mn><\/mrow><\/mfrac><\/mrow><annotation encoding=\"application\/x-tex\">1 + r + r^2 + \\cdots + r^n = \\frac{r^{n+1} &#8211; 1}{r &#8211; 1}<\/annotation><\/semantics><\/math>1+r+r2+\u22ef+rn=r\u22121rn+1\u22121\u200b<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Step 1 \u2014 Base Case (n = 1):<\/strong> LHS = 1 + r RHS = (r\u00b2 \u2212 1)\/(r \u2212 1) = (r+1)(r\u22121)\/(r\u22121) = r + 1 \u2713<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Step 2 \u2014 Inductive Hypothesis:<\/strong>Assume for k \u2265 1: <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mn>1<\/mn><mo>+<\/mo><mi>r<\/mi><mo>+<\/mo><msup><mi>r<\/mi><mn>2<\/mn><\/msup><mo>+<\/mo><mo>\u22ef<\/mo><mo>+<\/mo><msup><mi>r<\/mi><mi>k<\/mi><\/msup><mo>=<\/mo><mfrac><mrow><msup><mi>r<\/mi><mrow><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><\/mrow><\/msup><mo>\u2212<\/mo><mn>1<\/mn><\/mrow><mrow><mi>r<\/mi><mo>\u2212<\/mo><mn>1<\/mn><\/mrow><\/mfrac><\/mrow><annotation encoding=\"application\/x-tex\">1 + r + r^2 + \\cdots + r^k = \\frac{r^{k+1} &#8211; 1}{r &#8211; 1}<\/annotation><\/semantics><\/math>1+r+r2+\u22ef+rk=r\u22121rk+1\u22121\u200b<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Step 3 \u2014 Inductive Step:<\/strong><math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mn>1<\/mn><mo>+<\/mo><mi>r<\/mi><mo>+<\/mo><mo>\u22ef<\/mo><mo>+<\/mo><msup><mi>r<\/mi><mi>k<\/mi><\/msup><mo>+<\/mo><msup><mi>r<\/mi><mrow><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><\/mrow><\/msup><mo>=<\/mo><mfrac><mrow><msup><mi>r<\/mi><mrow><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><\/mrow><\/msup><mo>\u2212<\/mo><mn>1<\/mn><\/mrow><mrow><mi>r<\/mi><mo>\u2212<\/mo><mn>1<\/mn><\/mrow><\/mfrac><mo>+<\/mo><msup><mi>r<\/mi><mrow><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><\/mrow><\/msup><\/mrow><annotation encoding=\"application\/x-tex\">1 + r + \\cdots + r^k + r^{k+1} = \\frac{r^{k+1} &#8211; 1}{r &#8211; 1} + r^{k+1}<\/annotation><\/semantics><\/math>1+r+\u22ef+rk+rk+1=r\u22121rk+1\u22121\u200b+rk+1 <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mo>=<\/mo><mfrac><mrow><msup><mi>r<\/mi><mrow><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><\/mrow><\/msup><mo>\u2212<\/mo><mn>1<\/mn><mo>+<\/mo><msup><mi>r<\/mi><mrow><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><\/mrow><\/msup><mo stretchy=\"false\">(<\/mo><mi>r<\/mi><mo>\u2212<\/mo><mn>1<\/mn><mo stretchy=\"false\">)<\/mo><\/mrow><mrow><mi>r<\/mi><mo>\u2212<\/mo><mn>1<\/mn><\/mrow><\/mfrac><\/mrow><annotation encoding=\"application\/x-tex\">= \\frac{r^{k+1} &#8211; 1 + r^{k+1}(r-1)}{r &#8211; 1}<\/annotation><\/semantics><\/math>=r\u22121rk+1\u22121+rk+1(r\u22121)\u200b <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mo>=<\/mo><mfrac><mrow><msup><mi>r<\/mi><mrow><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><\/mrow><\/msup><mo>\u2212<\/mo><mn>1<\/mn><mo>+<\/mo><msup><mi>r<\/mi><mrow><mi>k<\/mi><mo>+<\/mo><mn>2<\/mn><\/mrow><\/msup><mo>\u2212<\/mo><msup><mi>r<\/mi><mrow><mi>k<\/mi><mo>+<\/mo><mn>1<\/mn><\/mrow><\/msup><\/mrow><mrow><mi>r<\/mi><mo>\u2212<\/mo><mn>1<\/mn><\/mrow><\/mfrac><\/mrow><annotation encoding=\"application\/x-tex\">= \\frac{r^{k+1} &#8211; 1 + r^{k+2} &#8211; r^{k+1}}{r &#8211; 1}<\/annotation><\/semantics><\/math>=r\u22121rk+1\u22121+rk+2\u2212rk+1\u200b <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" display=\"block\"><semantics><mrow><mo>=<\/mo><mfrac><mrow><msup><mi>r<\/mi><mrow><mi>k<\/mi><mo>+<\/mo><mn>2<\/mn><\/mrow><\/msup><mo>\u2212<\/mo><mn>1<\/mn><\/mrow><mrow><mi>r<\/mi><mo>\u2212<\/mo><mn>1<\/mn><\/mrow><\/mfrac><\/mrow><annotation encoding=\"application\/x-tex\">= \\frac{r^{k+2} &#8211; 1}{r &#8211; 1}<\/annotation><\/semantics><\/math>=r\u22121rk+2\u22121\u200b<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">This is P(k+1). \u2713 \u25a1<\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><a href=\"https:\/\/www.thinkacademy.ca\/free-assessment?source_id=6721&amp;source_type=9&amp;utm_medium=website&amp;utm_source=pc_blog\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"512\" src=\"https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-11_59_55-AM-1-1024x512.png\" alt=\"\" class=\"wp-image-65278\" srcset=\"https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-11_59_55-AM-1-1024x512.png 1024w, https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-11_59_55-AM-1-300x150.png 300w, https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-11_59_55-AM-1-768x384.png 768w, https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-11_59_55-AM-1-1536x768.png 1536w, https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-11_59_55-AM-1-1300x650.png 1300w, https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-11_59_55-AM-1.png 1774w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/a><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">Understanding an example is very different from writing a proof independently.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Our free assessment identifies exactly where students struggle\u2014whether that&#8217;s setting up the induction, handling algebra, or completing the inductive step.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong><a href=\"https:\/\/www.thinkacademy.ca\/free-assessment?source_id=6721&amp;source_type=9&amp;utm_medium=website&amp;utm_source=pc_blog\">\u2192 Get your free feedback report<\/a><\/strong><\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">Strong Induction<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Strong induction<\/strong> (also called complete induction) is a variant where the inductive hypothesis assumes P(j) is true for all j with 1 \u2264 j \u2264 k, rather than just P(k).<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>When to use strong induction:<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>When the (k+1) case depends on several earlier cases, not just the immediately preceding one<\/li>\n\n\n\n<li>Fibonacci sequences and similar recursive definitions<\/li>\n\n\n\n<li>Proofs involving the Fundamental Theorem of Arithmetic<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Example structure (strong induction):<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Base case: Verify P(1) (and sometimes P(2) if the step requires two prior cases).<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Inductive hypothesis: Assume P(j) is true for all 1 \u2264 j \u2264 k.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Inductive step: Prove P(k+1) using any of P(1), P(2), &#8230;, P(k) as needed.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Strong induction is logically equivalent to ordinary induction \u2014 a statement provable by one method is provable by the other. The choice of which to use depends on which is more natural for the specific problem.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">Common Mistakes in Math Induction Proof<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Mistake 1: Skipping the base case or treating it as unimportant.<\/strong> The base case is not a formality \u2014 it is what anchors the chain. A proof that shows P(k) \u2192 P(k+1) without a valid base case proves nothing. There exist mathematical statements that satisfy the inductive step for all k but are false for every specific n (because the base case fails).<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Mistake 2: Assuming what you are trying to prove.<\/strong> In the inductive step, students sometimes write the conclusion they want and work backwards \u2014 which is circular reasoning, not a proof. Always start from P(k) (which you are allowed to assume) and derive P(k+1) (which you must prove).<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Mistake 3: Using P(k+1) in the inductive step before proving it.<\/strong> A variant of the above. The inductive hypothesis allows you to use P(k). You cannot use P(k+1) \u2014 that is what you are trying to establish.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Mistake 4: Not stating the inductive hypothesis clearly.<\/strong> Write out explicitly what P(k) says with k substituted. Vague statements lead to vague proofs. Markers at the Euclid and COMC level expect explicit, clear hypothesis statements.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Mistake 5: Wrong base case for inequality proofs.<\/strong> As shown in Example 4: always verify the base case before writing the proof. If the stated starting value makes the claim false, either the claim is wrong or the starting value needs adjustment. Catching this before writing saves significant time on competitions.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Mistake 6: Incomplete algebraic manipulation in the inductive step.<\/strong> The most common place to lose marks on a competition math induction proof \u2014 the algebraic steps from P(k) to P(k+1) need to be complete and clearly laid out. Skipping steps or writing &#8220;&#8230;and this simplifies to P(k+1)&#8221; without showing the algebra will not earn full marks.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">Math Induction Proof in Competition Mathematics<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Mathematical induction appears at multiple levels of the Canadian competition mathematics circuit.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Euclid Contest (CEMC, Grade 12)<\/strong> Induction is a legitimate and effective proof technique for Part C questions on the Euclid. Questions involving sum formulas, divisibility patterns, or recursive sequences are natural induction candidates. The Euclid rewards complete, clearly written proofs \u2014 a well-structured math induction proof with all three steps explicitly stated earns more partial credit than a clever but incomplete argument. See our <a href=\"https:\/\/blog-admin.thethinkacademy.com\/blog\/2026\/05\/18\/euclid-math-contest-preparation-guide-canada\/\">Euclid math contest guide<\/a>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>COMC (Canadian Open Mathematics Competition)<\/strong> Part C of the COMC regularly includes problems where induction is the intended proof method \u2014 particularly divisibility claims and sum identities involving all positive integers. Strong induction appears occasionally for problems involving recursive structures. See our <a href=\"https:\/\/blog-admin.thethinkacademy.com\/blog\/comc-math-contest-guide\/\">COMC math contest guide<\/a>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>General competition strategy for induction:<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Identify the claim and whether it involves &#8220;all positive integers&#8221; or &#8220;all integers n \u2265 k&#8221; \u2014 this determines your base case<\/li>\n\n\n\n<li>Write the three steps in labelled sections: Base Case, Inductive Hypothesis, Inductive Step<\/li>\n\n\n\n<li>Show all algebraic steps \u2014 competition markers award partial credit step by step<\/li>\n\n\n\n<li>State the conclusion explicitly: &#8220;Therefore by mathematical induction&#8230;&#8221;<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">For the broader proof technique landscape at competition level, see our <a href=\"https:\/\/blog-admin.thethinkacademy.com\/blog\/2026\/06\/16\/math-proof-by-contradiction\/\">proof by contradiction guide<\/a>.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">Practice Problems<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Work through these before checking the answers.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Set A \u2014 Sum formulas<\/strong><\/p>\n\n\n\n<ol class=\"wp-block-list\">\n<li>Prove by induction: 2 + 4 + 6 + &#8230; + 2n = n(n+1)<\/li>\n\n\n\n<li>Prove by induction: 1 + 3 + 5 + &#8230; + (2n\u22121) = n\u00b2<\/li>\n\n\n\n<li>Prove by induction: 1\u00b2 + 2\u00b2 + &#8230; + n\u00b2 = n(n+1)(2n+1)\/6 (follow Example 2)<\/li>\n<\/ol>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Set B \u2014 Divisibility<\/strong><\/p>\n\n\n\n<ol start=\"4\" class=\"wp-block-list\">\n<li>Prove by induction: 4\u207f \u2212 1 is divisible by 3 for all n \u2265 1<\/li>\n\n\n\n<li>Prove by induction: n\u00b3 \u2212 n is divisible by 6 for all n \u2265 1<\/li>\n\n\n\n<li>Prove by induction: 5\u207f \u2212 1 is divisible by 4 for all n \u2265 1<\/li>\n<\/ol>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Set C \u2014 Inequalities and mixed<\/strong><\/p>\n\n\n\n<ol start=\"7\" class=\"wp-block-list\">\n<li>Prove by induction: 2\u207f \u2265 n + 1 for all n \u2265 1<\/li>\n\n\n\n<li>Prove by induction: n! \u2265 2^(n\u22121) for all n \u2265 1<\/li>\n\n\n\n<li>Prove by induction: the sum 1\/(1\u00d72) + 1\/(2\u00d73) + &#8230; + 1\/(n(n+1)) = n\/(n+1)<\/li>\n<\/ol>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Proof outlines (Set A, Q1 \u2014 full proof):<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Claim:<\/strong> 2 + 4 + 6 + &#8230; + 2n = n(n+1)<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Base case (n=1):<\/strong> 2(1) = 2; 1(2) = 2. \u2713<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Inductive hypothesis:<\/strong> Assume 2 + 4 + &#8230; + 2k = k(k+1).<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Inductive step:<\/strong> Show 2 + 4 + &#8230; + 2k + 2(k+1) = (k+1)(k+2).<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">LHS = k(k+1) + 2(k+1) = (k+1)(k+2). \u2713 \u25a1<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><em>For problems 2\u20139, apply the same three-step structure. The algebraic manipulation in the inductive step is the key skill to develop.<\/em><\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">Frequently Asked Questions<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>What is a math induction proof?<\/strong> Mathematical induction is a proof technique for showing a statement P(n) is true for all positive integers n. It works by proving two things: (1) the base case \u2014 P(1) is true; and (2) the inductive step \u2014 if P(k) is true for some k, then P(k+1) is also true. Together these establish P(n) for all n.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>What are the three steps of mathematical induction?<\/strong> Base case (verify P(n\u2080) directly), inductive hypothesis (assume P(k) is true), inductive step (prove P(k+1) follows from P(k)). Always conclude by stating that the result holds for all n by the principle of mathematical induction.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>When should I use strong induction instead of regular induction?<\/strong> When the proof of P(k+1) requires knowledge of more than just P(k) \u2014 for example, when it requires P(k\u22121) or P(k\u22122) as well. Strong induction assumes all previous cases are true, giving more to work with in the inductive step.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>How is mathematical induction different from assuming what you want to prove?<\/strong> The inductive hypothesis assumes P(k) \u2014 a specific individual case \u2014 is true. This is a legitimate assumption in the chain of logic. You are not assuming the conclusion (that P(n) is true for all n) \u2014 you are building that conclusion step by step. The base case ensures the chain has a valid starting point.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Does mathematical induction appear on the Euclid Contest?<\/strong> Yes. The Euclid Part C questions are full-solution proofs where induction is a legitimate and often effective technique \u2014 particularly for sum formulas, divisibility proofs, and sequence properties. A clearly written three-step math induction proof with full algebraic working is one of the strongest ways to earn full marks on these questions.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>What is the most common mistake in a math induction proof?<\/strong> Circular reasoning in the inductive step \u2014 using P(k+1) to prove P(k+1). The inductive step must start from P(k) (assumed true) and derive P(k+1) through logical steps. Any argument that begins by assuming the conclusion is not a valid proof.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<p class=\"wp-block-paragraph\"><em>See our related guides: <a href=\"https:\/\/blog-admin.thethinkacademy.com\/blog\/2026\/05\/18\/euclid-math-contest-preparation-guide-canada\/\">Euclid math contest guide<\/a> \u00b7 <a href=\"https:\/\/blog-admin.thethinkacademy.com\/blog\/comc-math-contest-guide\/\">COMC math contest guide<\/a> \u00b7 <a href=\"https:\/\/blog-admin.thethinkacademy.com\/blog\/2026\/06\/16\/math-proof-by-contradiction\/\">proof by contradiction guide<\/a> \u00b7 <a href=\"https:\/\/blog-admin.thethinkacademy.com\/blog\/canadian-senior-math-contest-guide\/\">Canadian Senior Math Contest guide<\/a> \u00b7 <a href=\"https:\/\/blog-admin.thethinkacademy.com\/blog\/mcr3u-grade-11-functions-ontario\/\">MCR3U complete guide<\/a> \u00b7 <a href=\"https:\/\/blog-admin.thethinkacademy.com\/blog\/2026\/07\/09\/mhf4u-advanced-functions\/\">MHF4U Advanced Functions guide<\/a> \u00b7 <a href=\"https:\/\/blog-admin.thethinkacademy.com\/blog\/2026\/06\/23\/math-competition-canada\/\">math competitions in Canada<\/a> \u00b7 <a href=\"https:\/\/www.thinkacademy.ca\/blog\/blog\/2026\/04\/20\/waterloo-math-competition-canada-guide\/\">Waterloo math competition guide<\/a><\/em><\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Mathematical induction is a Part C skill. Build it before the contest \u2014 not during it.<\/strong><\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"512\" src=\"https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-12_02_50-PM-1-1024x512.png\" alt=\"\" class=\"wp-image-65279\" srcset=\"https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-12_02_50-PM-1-1024x512.png 1024w, https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-12_02_50-PM-1-300x150.png 300w, https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-12_02_50-PM-1-768x384.png 768w, https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-12_02_50-PM-1-1536x768.png 1536w, https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-12_02_50-PM-1-1300x650.png 1300w, https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-12_02_50-PM-1.png 1774w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">Mathematical induction becomes much easier when students understand the reasoning behind each step\u2014not just the structure.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">In a free online trial lesson, one of our experienced teachers will show your child how to approach induction proofs confidently and avoid the mistakes that cost marks on MHF4U assessments.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong><a href=\"https:\/\/www.thinkacademy.ca\/trialclass_en?source_id=6721&amp;source_type=9&amp;utm_medium=website&amp;utm_source=pc_blog\">\u2192 Book your free trial lesson<\/a><\/strong><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Mathematical induction is one of the most powerful and elegant proof techniques in mathematics \u2014 and &hellip; <a title=\"Mathematical Induction: A Complete Guide with Worked Examples\" class=\"hm-read-more\" href=\"https:\/\/blog-admin.thethinkacademy.com\/blog\/2026\/07\/30\/math-induction-proof-guide\/\"><span class=\"screen-reader-text\">Mathematical Induction: A Complete Guide with Worked Examples<\/span>Read more<\/a><\/p>\n","protected":false},"author":1,"featured_media":65276,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[5907,17135,17160,17232],"tags":[],"class_list":["post-65275","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-education","category-study-tips-and-tools","category-math-skills","category-math-competitions"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v28.4 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Math Induction Proof: Complete Guide with Worked Examples<\/title>\n<meta name=\"description\" content=\"Math induction proof explained \u2014 steps, examples from simple to advanced, common mistakes and how it appears in the Euclid and COMC contests.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/blog-admin.thethinkacademy.com\/blog\/2026\/07\/30\/math-induction-proof-guide\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Math Induction Proof: Complete Guide with Worked Examples\" \/>\n<meta property=\"og:description\" content=\"Math induction proof explained \u2014 steps, examples from simple to advanced, common mistakes and how it appears in the Euclid and COMC contests.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/blog-admin.thethinkacademy.com\/blog\/2026\/07\/30\/math-induction-proof-guide\/\" \/>\n<meta property=\"og:site_name\" content=\"Think Academy Canada Blog\" \/>\n<meta property=\"article:published_time\" content=\"2026-07-30T11:04:46+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2026-07-30T11:04:48+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-11_53_11-AM-1.png\" \/>\n\t<meta property=\"og:image:width\" content=\"1536\" \/>\n\t<meta property=\"og:image:height\" content=\"1024\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"author\" content=\"Think Academy\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Think Academy\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"15 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/blog\\\/2026\\\/07\\\/30\\\/math-induction-proof-guide\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/blog\\\/2026\\\/07\\\/30\\\/math-induction-proof-guide\\\/\"},\"author\":{\"name\":\"Think Academy\",\"@id\":\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/#\\\/schema\\\/person\\\/5e5752520edd7febcc1056443eab8850\"},\"headline\":\"Mathematical Induction: A Complete Guide with Worked Examples\",\"datePublished\":\"2026-07-30T11:04:46+00:00\",\"dateModified\":\"2026-07-30T11:04:48+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/blog\\\/2026\\\/07\\\/30\\\/math-induction-proof-guide\\\/\"},\"wordCount\":2764,\"commentCount\":0,\"image\":{\"@id\":\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/blog\\\/2026\\\/07\\\/30\\\/math-induction-proof-guide\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/wp-content\\\/uploads\\\/2026\\\/07\\\/ChatGPT-Image-Jul-30-2026-11_53_11-AM-1.png\",\"articleSection\":[\"Education\",\"Study Tips And Tools\",\"Math Skills\",\"Math Competitions\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/blog\\\/2026\\\/07\\\/30\\\/math-induction-proof-guide\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/blog\\\/2026\\\/07\\\/30\\\/math-induction-proof-guide\\\/\",\"url\":\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/blog\\\/2026\\\/07\\\/30\\\/math-induction-proof-guide\\\/\",\"name\":\"Math Induction Proof: Complete Guide with Worked Examples\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/blog\\\/2026\\\/07\\\/30\\\/math-induction-proof-guide\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/blog\\\/2026\\\/07\\\/30\\\/math-induction-proof-guide\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/wp-content\\\/uploads\\\/2026\\\/07\\\/ChatGPT-Image-Jul-30-2026-11_53_11-AM-1.png\",\"datePublished\":\"2026-07-30T11:04:46+00:00\",\"dateModified\":\"2026-07-30T11:04:48+00:00\",\"author\":{\"@id\":\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/#\\\/schema\\\/person\\\/5e5752520edd7febcc1056443eab8850\"},\"description\":\"Math induction proof explained \u2014 steps, examples from simple to advanced, common mistakes and how it appears in the Euclid and COMC contests.\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/blog\\\/2026\\\/07\\\/30\\\/math-induction-proof-guide\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/blog\\\/2026\\\/07\\\/30\\\/math-induction-proof-guide\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/blog\\\/2026\\\/07\\\/30\\\/math-induction-proof-guide\\\/#primaryimage\",\"url\":\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/wp-content\\\/uploads\\\/2026\\\/07\\\/ChatGPT-Image-Jul-30-2026-11_53_11-AM-1.png\",\"contentUrl\":\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/wp-content\\\/uploads\\\/2026\\\/07\\\/ChatGPT-Image-Jul-30-2026-11_53_11-AM-1.png\",\"width\":1536,\"height\":1024},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/blog\\\/2026\\\/07\\\/30\\\/math-induction-proof-guide\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Mathematical Induction: A Complete Guide with Worked Examples\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/#website\",\"url\":\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/\",\"name\":\"Think Academy Canada Blog\",\"description\":\"\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/#\\\/schema\\\/person\\\/5e5752520edd7febcc1056443eab8850\",\"name\":\"Think Academy\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/f79e3f7bff09863820040f04b26b5731542ae3733cf505c30733842df6e7ff82?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/f79e3f7bff09863820040f04b26b5731542ae3733cf505c30733842df6e7ff82?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/f79e3f7bff09863820040f04b26b5731542ae3733cf505c30733842df6e7ff82?s=96&d=mm&r=g\",\"caption\":\"Think Academy\"},\"sameAs\":[\"https:\\\/\\\/blog-admin.thethinkacademy.com\"],\"url\":\"https:\\\/\\\/blog-admin.thethinkacademy.com\\\/blog\\\/author\\\/thinkacademy\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Math Induction Proof: Complete Guide with Worked Examples","description":"Math induction proof explained \u2014 steps, examples from simple to advanced, common mistakes and how it appears in the Euclid and COMC contests.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/blog-admin.thethinkacademy.com\/blog\/2026\/07\/30\/math-induction-proof-guide\/","og_locale":"en_US","og_type":"article","og_title":"Math Induction Proof: Complete Guide with Worked Examples","og_description":"Math induction proof explained \u2014 steps, examples from simple to advanced, common mistakes and how it appears in the Euclid and COMC contests.","og_url":"https:\/\/blog-admin.thethinkacademy.com\/blog\/2026\/07\/30\/math-induction-proof-guide\/","og_site_name":"Think Academy Canada Blog","article_published_time":"2026-07-30T11:04:46+00:00","article_modified_time":"2026-07-30T11:04:48+00:00","og_image":[{"width":1536,"height":1024,"url":"https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-11_53_11-AM-1.png","type":"image\/png"}],"author":"Think Academy","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Think Academy","Est. reading time":"15 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/blog-admin.thethinkacademy.com\/blog\/2026\/07\/30\/math-induction-proof-guide\/#article","isPartOf":{"@id":"https:\/\/blog-admin.thethinkacademy.com\/blog\/2026\/07\/30\/math-induction-proof-guide\/"},"author":{"name":"Think Academy","@id":"https:\/\/blog-admin.thethinkacademy.com\/#\/schema\/person\/5e5752520edd7febcc1056443eab8850"},"headline":"Mathematical Induction: A Complete Guide with Worked Examples","datePublished":"2026-07-30T11:04:46+00:00","dateModified":"2026-07-30T11:04:48+00:00","mainEntityOfPage":{"@id":"https:\/\/blog-admin.thethinkacademy.com\/blog\/2026\/07\/30\/math-induction-proof-guide\/"},"wordCount":2764,"commentCount":0,"image":{"@id":"https:\/\/blog-admin.thethinkacademy.com\/blog\/2026\/07\/30\/math-induction-proof-guide\/#primaryimage"},"thumbnailUrl":"https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-11_53_11-AM-1.png","articleSection":["Education","Study Tips And Tools","Math Skills","Math Competitions"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/blog-admin.thethinkacademy.com\/blog\/2026\/07\/30\/math-induction-proof-guide\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/blog-admin.thethinkacademy.com\/blog\/2026\/07\/30\/math-induction-proof-guide\/","url":"https:\/\/blog-admin.thethinkacademy.com\/blog\/2026\/07\/30\/math-induction-proof-guide\/","name":"Math Induction Proof: Complete Guide with Worked Examples","isPartOf":{"@id":"https:\/\/blog-admin.thethinkacademy.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/blog-admin.thethinkacademy.com\/blog\/2026\/07\/30\/math-induction-proof-guide\/#primaryimage"},"image":{"@id":"https:\/\/blog-admin.thethinkacademy.com\/blog\/2026\/07\/30\/math-induction-proof-guide\/#primaryimage"},"thumbnailUrl":"https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-11_53_11-AM-1.png","datePublished":"2026-07-30T11:04:46+00:00","dateModified":"2026-07-30T11:04:48+00:00","author":{"@id":"https:\/\/blog-admin.thethinkacademy.com\/#\/schema\/person\/5e5752520edd7febcc1056443eab8850"},"description":"Math induction proof explained \u2014 steps, examples from simple to advanced, common mistakes and how it appears in the Euclid and COMC contests.","breadcrumb":{"@id":"https:\/\/blog-admin.thethinkacademy.com\/blog\/2026\/07\/30\/math-induction-proof-guide\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/blog-admin.thethinkacademy.com\/blog\/2026\/07\/30\/math-induction-proof-guide\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/blog-admin.thethinkacademy.com\/blog\/2026\/07\/30\/math-induction-proof-guide\/#primaryimage","url":"https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-11_53_11-AM-1.png","contentUrl":"https:\/\/blog-admin.thethinkacademy.com\/wp-content\/uploads\/2026\/07\/ChatGPT-Image-Jul-30-2026-11_53_11-AM-1.png","width":1536,"height":1024},{"@type":"BreadcrumbList","@id":"https:\/\/blog-admin.thethinkacademy.com\/blog\/2026\/07\/30\/math-induction-proof-guide\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/blog-admin.thethinkacademy.com\/"},{"@type":"ListItem","position":2,"name":"Mathematical Induction: A Complete Guide with Worked Examples"}]},{"@type":"WebSite","@id":"https:\/\/blog-admin.thethinkacademy.com\/#website","url":"https:\/\/blog-admin.thethinkacademy.com\/","name":"Think Academy Canada Blog","description":"","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/blog-admin.thethinkacademy.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Person","@id":"https:\/\/blog-admin.thethinkacademy.com\/#\/schema\/person\/5e5752520edd7febcc1056443eab8850","name":"Think Academy","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/f79e3f7bff09863820040f04b26b5731542ae3733cf505c30733842df6e7ff82?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/f79e3f7bff09863820040f04b26b5731542ae3733cf505c30733842df6e7ff82?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/f79e3f7bff09863820040f04b26b5731542ae3733cf505c30733842df6e7ff82?s=96&d=mm&r=g","caption":"Think Academy"},"sameAs":["https:\/\/blog-admin.thethinkacademy.com"],"url":"https:\/\/blog-admin.thethinkacademy.com\/blog\/author\/thinkacademy\/"}]}},"yoast_meta_description":"Math induction proof explained \u2014 steps, examples from simple to advanced, common mistakes and how it appears in the Euclid and COMC contests.","yoast_focus_keyword":"math induction proof","yoast_seo_title":"Math Induction Proof: Complete Guide with Worked Examples","_links":{"self":[{"href":"https:\/\/blog-admin.thethinkacademy.com\/wp-json\/wp\/v2\/posts\/65275","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog-admin.thethinkacademy.com\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog-admin.thethinkacademy.com\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog-admin.thethinkacademy.com\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/blog-admin.thethinkacademy.com\/wp-json\/wp\/v2\/comments?post=65275"}],"version-history":[{"count":1,"href":"https:\/\/blog-admin.thethinkacademy.com\/wp-json\/wp\/v2\/posts\/65275\/revisions"}],"predecessor-version":[{"id":65280,"href":"https:\/\/blog-admin.thethinkacademy.com\/wp-json\/wp\/v2\/posts\/65275\/revisions\/65280"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blog-admin.thethinkacademy.com\/wp-json\/wp\/v2\/media\/65276"}],"wp:attachment":[{"href":"https:\/\/blog-admin.thethinkacademy.com\/wp-json\/wp\/v2\/media?parent=65275"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog-admin.thethinkacademy.com\/wp-json\/wp\/v2\/categories?post=65275"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog-admin.thethinkacademy.com\/wp-json\/wp\/v2\/tags?post=65275"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}