# Mathematical induction

**Mathematical induction** is a method of mathematical proof typically used to establish that a given statement is true of all natural numbers, or otherwise is true of all members of an infinite sequence. A somewhat more general form of argument used in mathematical logic and computer science shows that expressions that can be evaluated are equivalent; this is known as structural induction.

The first known proof by mathematical induction appears in Francesco Maurolico's *Arithmeticorum libri fuo* (1575). Maurolico proved that the sum of the first *n* odd integers is *n*^{2}.

The simplest and most common form of mathematical induction proves that a statement holds for all natural numbers *n* and consists of two steps:

- The
**basis**: showing that the statement holds when*n*= 0. - The
**inductive step**: showing thatthe statement holds for**if***n*=*m*,the same statement also holds for**then***n*=*m*+ 1. (The proposition following the word "if" is called the**induction hypothesis**. Do not call step 2 as a whole the induction hypothesis.)

This method works by first proving the statement is true for a starting value, and then proving that the process used to go from one value to the next is valid. If these are both proven, then any value can be obtained by performing the process repeatedly. It may be helpful to think of the domino effect; if you have a long row of dominos standing on end and you can be sure that:

- The first domino will fall.
- Whenever a domino falls, its next neighbor will also fall.

then you can conclude that *all* dominos will fall.

## Contents

## Example

Suppose we wish to prove the statement:

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0 + 1 + 2 + 3 + \cdots + n = \frac{n(n + 1)}{2}}**

for all natural numbers *n*.
This is a simple formula for the sum of the natural numbers up to the number *n*. The proof that the statement is true for all natural numbers *n* proceeds as follows.

### Proof

Check if it is true for *n* = 0. Clearly, the sum of the first 0 natural numbers is 0, and 0(0 + 1) / 2 = 0. So the statement is true for *n* = 0. We could define the statement as P(*n*), and thus we have that P(0) holds.

Now we have to show that if the statement holds when *n* = *m*, then it also holds when *n* = *m* + 1. This can be done as follows.

Assume the statement is true for *n* = *m*, i.e.,

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0 + 1 + 2 + \cdots + m = \frac{m(m + 1)}{2}}**

Adding *m* + 1 to both sides gives

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1 + 2 + \cdots + m + (m + 1) = \frac{m(m + 1)}{2} + (m+ 1)}**

By algebraic manipulation we have

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle = \frac{m(m + 1)}{2} + \frac{2(m + 1)}{2} = \frac{(m + 2)(m + 1)}{2} }**

Thus we have

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1 + 2 + \cdots + (m + 1) = \frac{(m + 1)((m + 1) + 1)}{2} }**

This is the statement for *n* = *m* + 1. It has not been proven as true: we made the assumption that P(*m*) is true, and from that assumption we derived P(*m* + 1). Symbolically, we have shown that:

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle P(m) \Rightarrow P(m + 1)}**

However, by induction, we may now conclude that the statement P(*n*) holds for all natural numbers *n*:

- We have P(0), and thus P(1) follows
- With P(1), P(2) follows
- ... etc

## Generalizations

### Start at *b*

This type of proof can be generalized in several ways. For instance, if we want to prove a statement not for all natural numbers but only for all numbers greater than or equal to a certain number *b* then the following steps are sufficient:

- Showing that the statement holds when
*n*=*b*. - Showing that if the statement holds for
*n*=*m*≥*b*then the same statement also holds for*n*=*m*+ 1.

This can be used, for example, to show that *n*^{2} > 2*n* for *n* ≥ 3. This form of mathematical induction is actually a special case of the previous form because if the statement that we intend to prove is *P*(*n*) then proving it with these two rules is equivalent with proving *P*(*n* + *b*) for all natural numbers *n* with the first two steps.

### Assume true for all lesser values

Another generalization, called complete induction (or *strong* induction), allows that in the second step we assume not only that the statement holds for *n* = *m* but also that it is true for *n* smaller than or equal to *m*. This leads to the following two steps:

- Showing that the statement holds when
*n*= 0 (or some other basis value*b*). - Showing that if the statement holds for all
*b*≤*n*≤*m*then the same statement also holds for*n*=*m*+ 1.

This can be used, for example, to show that

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle fib(n) = \frac{ \phi^n - { \left ( \frac{-1}{\phi} \right ) }^n }{\sqrt{5}}}**

where *fib*(*n*) is the *n*^{th} Fibonacci number and Φ = (1 + √5)/2 (the so-called golden mean). Given that *fib*(*m* + 1) = *fib*(*m*) + *fib*(*m* − 1), it can be proven that that the statement holds for *m* + 1 if we can assume that it already holds for both *m* and *m* − 1. (Hence the proof of this identity requires a double basis - it requires initial demonstration that the identity is true for both *n* = 0 and *n* = 1).

This generalization is just a special case of the first form:

- let
*P*(*n*) be the statement that we intend to prove, - then proving it with these rules is equivalent to proving the statement "
*P*(*m*) for all*m*≤*n*" for all natural numbers*n*with the first two steps.

### Transfinite induction

The last two steps can be reformulated as one step:

- Showing that if the statement holds for all
*n*<*m*then the same statement also holds for*n*=*m*.

This is in fact the most general form of mathematical induction and it can be shown that it is not only valid for statements about natural numbers, but for statements about elements of any well-founded set, that is, a set with a partial order that contains no infinite descending chains (where < is defined such that *a* < *b* iff *a* ≤ *b* and *a* ≠ *b*).

This form of induction, when applied to ordinals (which form a well-ordered and hence well-founded class), is called *transfinite induction*. It is an important proof technique in set theory, topology and other fields.

Proofs by transfinite induction typically distinguish three cases:

- when
*m*is a minimal element, i.e. there is no element smaller than*m* - when
*m*has a direct predecessor, i.e. the set of elements which are smaller than*m*has a largest element - when
*m*has no direct predecessor, i.e.*m*is a so-called limit-ordinal

Strictly speaking, it is not necessary in transfinite induction to prove the basis, because it is a vacuous special case of the proposition that if *P* is true of all *n* < *m*, then *P* is true of *m*. It is vacuously true precisely because there are no values of *n* < *m* that could serve as counterexamples. See three forms of mathematical induction for more on this point.

## Proof or reformulation of mathematical induction

The principle of mathematical induction is usually stated as an axiom of natural numbers, see Peano axioms. However, it can be proved in some logical systems; for instance, if the following axiom (called the well-ordering principle for natural numbers):

- The set of natural numbers is well-ordered

is employed.

The additional axiom is an *alternative formulation* of principle of mathematical induction. That is, the two are equivalent. See proof of mathematical induction.

## External links

bg:Математическа индукция da:Induktion (matematik) de:Induktion (Mathematik) es:Inducción matemática fr:Raisonnement par récurrence is:Þrepun it:Principio di induzione he:אינדוקציה מתמטית mk:Индукција nl:Inductie (wiskunde) ja:数学的帰納法 pl:Indukcja matematyczna pt:Indução matemática ru:Математическая индукция sl:Matematična indukcija sv:Induktion (matematik) tr:Matematiksel tümevarım zh:数学归纳法