Skip to main content

Welcome to a Grasp lesson

Create a free account to keep studying and create your own study path.

Lesson 1

Proving Combinatorial Identities with Induction

Recommended resources

Welcome to your first lesson in our combinatorics course! I'm excited to guide you on your journey toward mastering this fascinating area of mathematics. Given your goal to tackle Olympiad-level problems, we'll start by building a rock-solid foundation in the methods of mathematical proof.

This lesson introduces one of the most powerful tools in a mathematician's toolkit: mathematical induction. You'll learn how to use this technique to prove that a given property holds true for an infinite set of numbers, which is essential for formalizing many combinatorial arguments. We will cover the logical structure of an inductive proof and apply it to establish several fundamental combinatorial identities. This groundwork will be indispensable as we move toward more complex problems.

The Core Idea: The Domino Effect

At its heart, mathematical induction is a very intuitive idea. Imagine you have an infinite line of dominoes, numbered 1, 2, 3, and so on. How can you be certain that all of them will fall? You don't need to watch them all topple. You only need to know two things:

  1. The first domino will fall. (You give it a push.)
  2. If any domino falls, it will knock over the next one. (The dominoes are spaced correctly.)

If these two conditions are met, you can confidently conclude that every single domino will eventually fall.

This image illustrates the domino analogy for mathematical induction. Proving the base case is like tipping the first domino. The inductive step proves that any falling domino will tip over its successor. Together, they guarantee all dominoes fall.

This "domino effect" is precisely the logic behind mathematical induction. We use it to prove that a statement, let's call it , is true for all positive integers .

To get a clear overview of this process, let's start with a short video from Khan Academy.

Proof by induction | Sequences, series and induction | Precalculus | Khan Academy

This video introduces proof by induction and explains its two main components, the base case and the inductive step, using the domino analogy.

Please watch the segments that introduce the concept and explain the logic behind it, from the beginning until the explanation of the logic. Pay close attention to how the "base case" and "induction step" correspond to the two conditions of the domino effect.


The Formal Structure of an Inductive Proof

Now that you have the intuition, let's formalize the structure. As the video explained, a proof by induction consists of two parts. A valuable resource for Olympiad-level material is the booklet "Mathematical Induction for the Olympiad Enthusiast." We'll be referencing it throughout our course.

Let's read the formal definition of the Principle of Mathematical Induction (PMI) and see its components in action.

Mathematical Induction for the Olympiad Enthusiast

This document provides a formal definition of mathematical induction and its key components. It also contains a worked example proving a standard formula.

Please read the section "2. Mathematical Induction Introduced" on page 4. Focus on the formal statement of the principle and the breakdown of a proof into its three key parts: the base case, the inductive hypothesis, and the inductive step. Then, study Example 2.1, which proves the formula for the sum of the first n squares.

To summarize the reading, every proof by induction follows this template:

  1. State the Proposition: Clearly define the statement that you want to prove.
  2. Base Case: Prove that is true for the first value, which is usually . This is like tipping the first domino.
  3. Inductive Step:
    • Inductive Hypothesis: Assume that is true for some arbitrary integer . This is like assuming an arbitrary domino has fallen.
    • Prove the next case: Using the inductive hypothesis, prove that must also be true. This shows that the falling domino knocks over the next one, .

Once you have successfully completed these steps, the Principle of Mathematical Induction allows you to conclude that is true for all integers .


A Complete Walk-Through: Sum of the First Integers

Let's solidify this structure by walking through the most classic example: proving the formula for the sum of the first positive integers.

Proof by induction | Sequences, series and induction | Precalculus | Khan Academy

This part of the Khan Academy video provides a detailed, step-by-step demonstration of an inductive proof for the formula 1+2+3+\dots+n = \frac{n(n+1)}{2}.

Please watch the rest of the video, from the base case through the completion of the proof. Notice how Sal explicitly follows the template: stating the proposition, proving the base case for n=1, assuming it's true for n=k, and then using algebra to prove it's true for n=k+1.

Let's recap the steps shown in the video for the proposition .

  • Base Case ():
    The sum on the left is just 1. The formula on the right gives . Since , the base case holds.

  • Inductive Step:

    • Inductive Hypothesis: Assume is true for some integer . That is, assume .
    • Goal: Prove is true. That is, prove .

    The proof proceeds by starting with the left side of the equation and using the inductive hypothesis to transform it into the right side:

    This is exactly the right-hand side of the equation for . The proof is complete.


Practice Problems

The only way to become comfortable with proofs is to write them yourself. Here are a few problems to work through. This is the most important part of the lesson, so take your time and be rigorous. Structure your answers just like the example above.

  1. Arithmetic Series: Prove that for all integers , the following formula holds:

    If you get stuck, the video "Mathematical Induction Practice Problems" solves this exact problem in its first few minutes.

  2. Geometric Series: Prove that for all integers :

  3. The Pizza Problem: You mentioned an interest in the "pizza cutting problem." This is a classic question in combinatorial geometry. Let be the maximum number of regions a pizza can be divided into by straight cuts. The formula is . Prove this formula is correct for all using mathematical induction.

    • Hint: When you add the -th cut, it can intersect the previous cuts. This means the new line passes through existing regions, splitting each one into two. This gives the recurrence . Use this fact in your inductive step.
  4. A Divisibility Problem: You have a background in number theory, so this should be a nice application. Prove that for all integers , the number is divisible by 6.

    • Hint: In the inductive step, try to algebraically manipulate the expression for to reveal the expression for . For example, .

Conclusion

In this lesson, we have laid the first and most important stone in our foundation for combinatorial proof. You have learned the principle of mathematical induction, understood its logical basis through the domino analogy, and seen how to structure a formal inductive proof. We have applied this method to prove identities for arithmetic and geometric series, and even made our first foray into combinatorial geometry with the pizza problem.

Key Takeaways:

  • Mathematical induction is a two-step process for proving a statement for all .
  • Base Case: You must first prove is true.
  • Inductive Step: You must prove that if is true (the inductive hypothesis), then must also be true.
  • The structure of these proofs is a rigid but powerful template. Mastering it is key to formal mathematical reasoning.

In our next lesson, we will explore a subtle but powerful variant of this technique called strong induction. While regular induction assumes the -th case is true to prove the -th, strong induction allows us to assume that all cases up to are true. This will open the door to solving an even wider class of problems, particularly those involving recurrence relations.