INDUCCIÓN MATEMÁTICA

Sirve para demostrar aseveraciones que dependen de una variable n entera.

La idea es primero mostrar la aseveración para un caso trivial inicial, en general n = 0 ó

n = 1. Eso nos da una base sobre dónde comenzar. Ahora lo que necesitamos es poder
avanzar de a un paso, la inducción, desde una aseveración a la siguiente.

BASE A1

A1 Verdadero ⇒ A2 Verdadero

A2

A2 Verdadero ⇒ A3 Verdadero

A3

..
.

An


 Si

anterior VERDADERO
PASO  Entonces


siguiente VERDADERO
An+1

Como generamos ese paso? Suponemos que la aseveración An es verdadera, nuestra

hipótesis, y en base a ella demostramos que la aseveración An+1 también es verdadera.

Con esas dos cosas podemos recorrer todos los n y demostrar todas las An !. Empezamos
de la base, por ejemplo se cumple para n = 1, pero entonces como demostramos que
podemos dar un paso se cumple también para n = 2. Ah! pero entonces también se
cumple para n = 3, si damos otro paso del 2 al 3. Y ası́ sucesivamente hasta el entero n
que se nos ocurra.
Ejemplo 1. Demostremos que el número 8n−1 + 6 es divisible por 7.

1. Si n = 1 entonces 81−1 + 6 = 1 + 6 = 7 es divisible por 7.

2. Supongamos que vale

An : 8n−1 + 6 es divisible por 7

Tenemos que demostrar

An+1 : 8n + 6 es divisible por 7

La idea es trabajar con la expresión de An+1 para hacer aparecer An , en este caso

8n + 6 = 8n−1 8 + 6
= 8n−1 8 + 6 · 8 − 6 · 8 + 6
= 8 8n−1 + 6 + 6(−8 + 1)

= 8 8n−1 + 6 +6 (−7)


| {z } | {z }
hipótesis divisible por 7
divisible por 7

Ası́ que demostramos el paso y junto con la base la aseveración general.

Ejemplo 2. Teorema del binomio

n  
n n−k k
X  
n n n!
An : (a + b) = a b Recordemos que =
k=0
k k k!(n − k)!

1. Generemos nuestra base probando para n = 1

Por un lado

(a + b)1 = a + b

y por otro lado

1  
X 1 1−k k
a b = a1−0 b0 + a1−1 b1 = a + b
k=0
k

por lo tanto A1 es verdadera

2. Ahora supongamos que An es verdadera. Basándonos en esto tenemos que demos-

trar que An+1 también es verdadera, o sea
n+1
X 
n+1 n + 1 n+1−k k
An+1 : (a + b) = a b
k=0
k

Nuevamente la idea es trabajar con la expresión de An+1 para hacer aparecer An ,

en este caso

(a + b)n+1 = (a + b)(a + b)n = a(a + b)n + b(a + b)n

 Pero, gracias a que An es verdadera sabemos la expresión para (a + b)n . Entonces

n   n  
n+1
X n n−k k X n n−l l
(a + b) =a a b +b a b
k=0
k l=0
l
n   n  
X n n−k+1 k X n n−l l+1
= a b + a b
k=0
k l=0
l
n   n  
m+1
X n n+1−k k X n n−l l+1
=a + a b + a b l=k−1
k=1
k l=0
l
n   n+1  
m+1
X n n+1−k k X n
=a + a b + an+1−k bk
k=1
k k=1
k − 1
n   n    
m+1
X n n+1−k k X n n+1−k k n 0 n+1
=a + a b + a b + ab
k=1
k k=1
k − 1 n
n   n  
m+1
X n n+1−k k X n
=a + a b + an+1−k bk + bn+1
k=1
k k=1
k − 1
n
X n    
n
= am+1 + + an+1−k bk + bn+1
k=1
k k−1

   
n n n! n!
+ = +
k k−1 k!(n − k)! (k − 1)!(n − k + 1)!
(n − k + 1) + k
= n!
k!(n − k + 1)!
(n + 1)!
=
k!(n − k + 1)!
 
n+1
=
k

n  
n+1 m+1
X n+1
(a + b) =a + an+1−k bk + bn+1
k=1
k
n+1
X 
n + 1 n+1−k k
= a b
k=0
k

Ası́ demostramos el paso y, junto con la base, el teorema del binomio.

Mathematical induction proves that we can climb as high as we like on a ladder, by proving that
we can climb onto the bottom rung (the basis) and that from each rung we can climb up to the
next one (the induction).

Ronald L. Graham, Donald E. Knuth, and Oren Patashnik. 1994. Concrete Mathematics:
A Foundation for Computer Science. Addison-Wesley Longman Publishing Co., Inc., USA