Capı́tulo 2
Inducción matemática
2.1. Principio de inducción matemática
Para enunciar el principio de inducción matemática usaremos la siguiente notación
Zn0 = {n0 , n0 + 1, n0 + 2, . . .}
Proposición 2.1 (Principio de inducción matemática). Sea A ⊆ Zn0 para el que se verifican las
siguientes propiedades
(i) n0 ∈ A, y
(ii) n ∈ A implica n + 1 ∈ A,
entonces A = Zn0 .
Definiciones inductivas
El principio de inducción matemática sugiere un procedimiento para definir el elemento an para
todo n ≥ n0 . Se dice entonces que se ha efectuado una definición por inducción o una definición
recursiva.
Método. Para definir por inducción el elemento an para todo entero n ≥ n0 se procede del siguiente
modo:
(i) Se define el elemento an0 .
(ii) Se supone que para n ≥ n0 ha sido definido el elemento an , entonces se define el elemento an+1 .
Ejemplo 2.2 (Potencia de exponente natural). Definimos la potencia de un número natural cualquiera
a ∈ R − {0}. Aplicamos el método con n0 = 0.
{ 0
a =1
an+1 = an · a, n ≥ 0
Ejemplo 2.3 (Factorial de un número natural). Definimos por inducción el factorial del número natural
n, que denotamos n!, para todo número natural n. Aplicamos el método anterior, considerando n0 = 0.
{
0! = 1
(n + 1)! = (n + 1) n!
Ejemplo 2.4 (Progresión geométrica). Definimos la progresión geométrica de primer término α ∈ R y
razón ρ ∈ R por {
a1 = α
an+1 = ρan , n ≥ 1
Ejemplo 2.5 (Sucesión de Fibonacci). Definimos la suceción de Fibonacci con primeros términos
α, β ∈ R por
a1 = α
a2 = β
an+2 = an+1 + an , n ≥ 1
Demostraciones por inducción
El principio de inducción matemática sugiere un método para demostrar la verdad para todo n ∈
Zn0 de una proposición P (n) acerca del número entero n. Se dice entonces que se ha efectuado una
demostración por inducción.
Método. Sea P (n) una proposición acerca del número entero n. Supongamos que
(i) P (n0 ) es verdadera, y
(ii) P (h) es verdadera cuando h ≥ n0 es cualquiera implica que P (h + 1) es verdadera.
Entonces P (n) es verdadera para todo n ∈ Zn0 .
Observación 2.6. En una demostración por inducción las etapas (i) y (ii) son conocidas como eta-
pa base y etapa inductiva, respectivamente. En la etapa inductiva se debe reconocer la hipótesis
inductiva y la tesis inductiva.
Ejemplo 2.7. Usando inducción matemática pruebe que si x, y ∈ R+ , entonces
◦
∀n ∈ Z+ : xn − y n = x − y.
I. Etapa base. Si n = 1, tenemos
◦
x1 − y 1 = x − y.
Ası́, la afirmación es verdadera cuando n = 1.
II. Etapa inductiva.
Hipótesis inductiva. Suponemos que la afirmación es verdadera para un k ≥ 1, es decir,
◦
xk − y k = x − y, para un k ≥ 1
Tesis inductiva. La propiedad es verdadera para k + 1, es decir,
◦
xk+1 − y k+1 = x − y.
En efecto,
( ) ( ) ( )
xk+1 − y k+1 = xk x − xk y + xk y − y k y = xk (x − y) + xk − y k y
| {z } | {z }
◦
x−y ◦
x−y por H.I.
◦
Ası́, xk+1 − y k+1 = x − y, obteniendo la tesis.
2
Ejercicios propuestos
1. Usando inducción matemática demuestre que
∀n ≥ 3 : 2n ≥ 2n + 2.
2. Probar por inducción matemática que la desigualdad
2n > n2 + 4n + 5
es verdadera para todos los enteros positivos n ≥ 7.
3. Probar por inducción matemática que si n es un número entero positivo impar, 7n + 1 es divisible
por 8.
4. Demostrar que para todo n ∈ N se cumple que 32n+2 − 2n+1 tiene como factor al número 7.
2.2. Sı́mbolo de Sumatoria
∑0
m
Definición 2.8. Sean an0 , an0 +1 , . . . , am0 −1 , am0 ∈ R, definimos ak por
k=n0
∑n0
ak = an0
k=n0
m∑ ∑0
0 +1 m
ak = ak + am0 +1
k=n0 k=n0
Se usan los siguientes nombres,
n0 : lı́mite inferior,
m0 : lı́mite superior,
ak : k-ésimo sumando.
Proposición 2.9 (Propiedades del sı́mbolo de sumatoria).
∑0
m
1. α = α (m0 − n0 + 1) cuando α es una constante.
k=n0
∑0
m ∑0
m ∑0
m
2. Linealidad. (αak + βbk ) = α ak + β bk , cuando α y β son constantes.
k=n0 k=n0 k=n0
∑0
m
3. Telescópica. (ak − ak−1 ) = am0 − an0 .
k=n0 +1
Proposición 2.10 (Sumas importantes).
∑
n n (n + 1)
1. k= .
k=1 2
∑
n n (n + 1) (2n + 1)
2. k2 = .
k=1 6
∑
n n2 (n + 1)2
3. k3 = .
k=1 4
