Inducción Matemática
Inducción Matemática
norte
hormiga -1
P{n)
£ a' un — 1
En € N,
P{n) 111 1 1,
2+4+g++2n
donde = significa “lógicamente equivalente”.
Las tres primeras expresiones anteriores proporcionan fórmulas de forma cerrada para la suma
de n números enteros positivos consecutivos, la suma de los cuadrados de n números enteros
positivos consecutivos y la suma de los cubos de n números enteros positivos consecutivos,
respectivamente. La cuarta expresión es la suma de los primeros n términos de la serie geométrica y
ya la estudiamos en el Módulo 2. Las dos últimas expresiones son desigualdades útiles para el
factorial y la suma de potencias negativas de 2.
Cada afirmación P{n) anterior se refiere a números naturales o a un subconjunto de números
naturales (por ejemplo, para n > 4). ¿Cómo podemos probar tales afirmaciones? Consideremos el
primer ejemplo anterior sobre la suma de los primeros n números enteros positivos consecutivos.
Podemos verificar fácilmente que P{n) es verdadero para algunos n seleccionados. En efecto,
1
Pero ¿cómo podemos demostrar que P[n) es verdadero para todo n € N?
El principio de inducción matemática (PMI) se puede utilizar para demostrar afirmaciones sobre
números naturales.
(1) 1 y A;
(2) para cada número natural n
Entonces
A = N = {1,2,...},
3
En este caso, la propiedad P[n) es un predicado que dice que lo anterior es verdadero para n, y
Demostramos que P[n) es verdadero para todo n (es decir, A = N) usando PMI. Necesitamos pasar
por el paso básico y el paso inductivo.
Paso básico: Debemos demostrar que P(1) es verdadero, pero esto ya se estableció antes.
Paso inductivo: ahora suponemos que P(n) es verdadero para un n fijo pero arbitrario. La
suposición anterior se llama hipótesis inductiva y en nuestro caso toma la siguiente forma
K—.n(n+1)
Sni25 -------2- -
para n arbitrario. (En el símbolo anterior := significa igual por definición.) El lector debe entender
que la afirmación inmediatamente anterior y la afirmación que queremos demostrar no son la
misma, incluso si parecen similares. En la afirmación anterior suponemos que la identidad a
demostrar (sobre todas las sumas de los primeros n números naturales consecutivos) es verdadera
para un valor de n (pero arbitrario).
Ahora realizamos el paso inductivo. Debemos establecer el paso inductivo, es decir, demostrar
que la fórmula para Sn anterior implica que (n + 1)(n + 2)
n+1
2
S,+1= >ii=i
Es cierto también. Observe que arriba
reemplazamos n por n + 1 (tanto en el lado
izquierdo de la ecuación como en el lado derecho). De hecho, tenemos
norte
Sn+ 1++2++n+(n+1)=> i=i yo + (n + 1)
1
n
(,1-(+1
(1+1 (2+1)
(n+1)(n+2)
2 ’
donde en la segunda línea anterior invocamos la hipótesis de inducción, en la tercera línea
factorizamos el término (n + 1), y luego agregamos lo que queda. Esto es exactamente lo que
necesitamos para demostrar el paso inductivo.
Pero en realidad hay otra prueba directa, propuesta originalmente por el matemático del siglo
XVIII Carl Friedrich Gauss. Sea, como antes, Sn = 271 i. Escribimos la suma Sn dos veces, una
comenzando la suma desde 1 hasta n, y la segunda vez comenzando desde n hasta 1. Luego
agregamos los elementos individuales verticalmente. Esto es lo que sale:
4
Sn = 1 + 2 ++(n- 1) + norte
Sn = norte + a — 1++ 2 + 1
2Sn = (n+1) + (n+1) + ... + (n+1) + (n+1)
Como hay n términos (n + 1) en la línea inferior, demostramos que
2Sn = n(n+1).
2=
Ejercicio 4B: Utilizando inducción matemática demuestre que
n(n+1)12
2
En el PMI discutido anteriormente, en el primer paso asumimos que 1€A, sin embargo, si
comenzamos la inducción desde otro número natural, digamos k, entonces se cumple para todo n>
k. Esto se muestra en el siguiente ejemplo.
Recordamos que n!=12-3n=(n- 1)!n. Se nos pide que probemos la desigualdad anterior sólo para
n>4. Así que dejemos que
F(n) = {n! > 2n es verdadero para n > 4}.
Primero comprobamos que 4! = 24 > 24 = 16, por lo tanto P(4) es verdadera. (Observe que P(3) no es
verdadera.) Ahora supongamos que esta afirmación es verdadera para un número arbitrario de n > 4.
Debemos demostrar que
(n+1)! = n!(n+1)
> 2”(n+l)
2n+1.
5
La primera desigualdad se deriva de la hipótesis de inducción n! > 2", mientras que la segunda
identidad es una consecuencia de (n + 1) > 2 para n > 4. Esto demuestra la desigualdad deseada para
todos los n>4.
6
Los siguientes dos ejemplos requieren un poco de trabajo antes de poder aplicar la inducción.
Prueba. La prueba es por inducción. En el paso base, asumimos n y verificamos que (1+x)n > 1+nx
es verdadero para 1 + x > 0. Ahora, suponemos (hipótesis inductiva) que (1 + x)n > 1 + nx es
verdadero para un n arbitrario, y debemos demostrar que
(1—x)n*1 >1+(n+1)x
(1+x)2t1 = (1+x)"(1+x)
por inducción
> (1 + nx)(1 + x) ya que 1 + x > 0
= 1 + (n + 1)x + nx2
> 1 + (n + 1),
donde la primera desigualdad es una consecuencia del supuesto de inducción (es decir, sabemos que
(1+x)n > 1 + nx por lo que podemos reemplazar (1 + x)" por 1 + nx porque 1+x>0; observe que si 1
+ x < 0, entonces teníamos que invertir el signo de 1 la desigualdad). El siguiente paso es álgebra
simple, mientras que el último paso se deduce del hecho de que nx2 no es negativo; no importa cuál
sea el valor de x, porque a + nx2 > a para cualquier a. Esto demuestra el teorema.
para n > 1. Lo demostramos por inducción. El primer paso para n = 1 es fácil de comprobar, por lo
que nos concentramos en el paso inductivo. Adoptamos la hipótesis inductiva, que en este caso es
111 1
1,
2+4+g++2n
y debe demostrar
que [Link].L < 1.
248 t2n 2n+1
Un enfoque natural falla. Si invocamos la hipótesis de inducción a los primeros n términos de lo
obtendr anterior, tenemos
á :
2n++
Recurrencias2
Ahora aplicamos la inducción matemática para establecer algunos hechos sobre las recurrencias.
Volvemos a las recurrencias en el Tema 3.
Comenzamos con un ejemplo que ilustra una aplicación de la inducción matemática
generalizada.
T(1)
2.......................
T(2) + l + -(T(0)+T(l)) = 5,
T(3) = 7.
no Tennes número
2
rte se)
1 3 1
3 7 9
6 13 36
9 19 81
12 25 144
15 31 225
18 37 324
De esta tabla debemos observar que T(n) crece más rápido que n y mucho más lento que n2.
Conjeturemos entonces que3 4
T(n) < 4nlog2n, n > 2. (5)
Ahora utilizamos la inducción matemática para demostrar esta suposición. Observe que T(2) = 5 < 8
022 = 8 (ya que log2 2 = 1), pero T(1) = 3 > 4 log2 1 = 0, por lo tanto, debemos comenzar la
inducción desde n = 2.
Para llevar a cabo el paso inductivo asumiremos que para todo J < n — 1 la suposición anterior
es verdadera.
Ahora demostramos que esta suposición también es cierta para n. En efecto,
n— 1
, 2 6 2
Tennesse) 14-------1- - -1— >T()
norte nortej=2
inducció n—
148-
n m 4j log2j
registro
i
n(,1-(+1..............................................................................5
(1+1 (2+1).....................................................................................................................5
2,.................................................................................................................................7
2=.....................................................................................................................................7
>T().........................................................................................................................13
mi...............................................................................................................................13
", 6):= Hl(n-1)1 = R......................................................................................15
3Recordemos que y = log x es un logaritmo en base b de x, es decir, es el exponente al que se debe elevar b para
obtener x.
4como se muestra aquí bv = x.
9
MI(.........................................................................................................................................16
CE......................................................................................................................................16
5 C)-...................................................................................................................................16
>2’,..........................................................................................................................21
Li....................................................................................................................................23
2..................................................................................................................................25
1
0
Tema 2: Fórmula de suma de Newton
Desde la secundaria sabemos que
(a+1)2 GP+2ab+b2,
a3
(a+6)3 + 3a2b + 3ab2 + b3, a + 4a3 b +
(a+b)' 6a2b2 + 4ab3 + b4.
•-(:)
De la definición encontramos inmediatamente
C(n,0) = 1
C(n,1) = n
C[n^n—k) = C[n^n—k).
1
1
donde en la segunda línea multiplicamos y
dividimos el primer término por n—k y el segundo
término por k.
Luego factorizamos kn y después de un poco de álgebra simple obtenemos el resultado deseado.
Ahora, estamos listos para formular y probar la fórmula de suma de Newton.
Teorema 2 Para cualquier n
natural
[a+b)n
MI akbn-k (7)
(
Prueba.4 La prueba es por inducción con respecto a n. El paso base para n = 1 es fácil de
comprobar ya que (7(1,0) = C(1, 1) = 1.
Ahora comenzamos el paso inductivo y postulamos que si (7) es verdadero para un número
arbitrario de n, entonces
n+1
(a+b)n+l ^2C(n+l,k)akbn+1-kk=0
Debe ser verdad. Procedemos de la siguiente manera
CE
2n (8)
0 (9)
(121)"
mientras que el segundo se desprende de
(1-1)".
1
3
Tema 3: Recursión y recurrencias
A veces es difícil definir un objeto explícitamente. En tales casos, es mejor definir este objeto en
términos de sí mismo, pero de un tamaño más pequeño. (De hecho, hemos visto este principio en
funcionamiento en la inducción matemática). Este proceso se llama recursión y a menudo se
describe matemáticamente mediante una recurrencia.
un+1 — 2an.
ax = 2, a2 = 2a1 = 4,
a3 = 2a2 = 2(2a1) = 8 = 23,
a = 2a3 = 2(2a2) = 2(2(2ai)) = 24.
Basándonos en esta evidencia numérica, conjeturamos que an = 2n. Podemos demostrarlo usando
inducción matemática. Pero en esto es más fácil dar una prueba directa, que se llama telescopía.
Procedemos de la siguiente manera:
En lo anterior utilizamos sucesivamente la recurrencia a; = 2a—1 hasta que llegamos al valor inicial
ao y sabemos que a0=1. Observemos que sin conocer ao no podemos ni iniciar la recurrencia ni
finalizarla.
Ejercicio 4D: Derive una fórmula explícita para la siguiente recurrencia para n > 1
un — 3an-1
con ao = 1.
Podemos definir algunas otras funciones recursivamente. Por ejemplo, F[n) = n! se puede
definir recursivamente de la siguiente manera
F(0) = 1,
F(n + 1) = (n+1)F(n), n > 0.
1
4
Además,
dejemos que n
S o
n
1
5
donde {ak}_o es una secuencia dada. Para que una computadora entienda dicha suma, debemos
definirla recursivamente. Por ejemplo, podemos hacerlo de esta manera
IR = 1,
un — un +2, n > 1.
Esta recurrencia comienza con
1,3,7,15,...
pero ¿cuál es una fórmula general para un? Traslademos el término an—1 al otro lado de la
recurrencia y escribamos todos los valores de la siguiente manera
a1 — ao = 2 a—a = 22 a — a = 23
ai ~ Cj-1 2’
_ en-1
n(,1-(+1.........................................................................................................................5
(1+1 (2+1)....................................................................................................................5
2,.................................................................................................................................7
2=.....................................................................................................................................7
>T().........................................................................................................................13
mi...............................................................................................................................13
", 6):= Hl(n-1)1 = R......................................................................................15
MI(.........................................................................................................................................16
CE......................................................................................................................................16
5 C)-...................................................................................................................................16
>2’,..........................................................................................................................21
Li....................................................................................................................................23
2.................................................................................................................................25
1
6
Ahora, cuando sumamos todas estas ecuaciones, la mayoría de ellas se cancelarán (decimos que la
suma se extiende) excepto a y ao, lo que nos da
En C0 — >2’,
yo=1
bn=rn, n = 0,1,...
1
7
y nosotros norte 1 _ rn+l
derivamos S,=>'= r7 1. (11)
yo=0 1—r
Procedemos de la
siguiente manera
n+l
Sn-+1 = 2
yo=0
norte
> rl + yn + 1
yo=0
inducción 1 — rn-+1 ,4
= —--------------- +TT
1—r
1 rn+1 + rn+1 rn+2
1—r
donde en la segunda línea extraemos el último término de la suma y lo escribimos por separado
como rTti, luego en la siguiente línea aplicamos a la primera suma la hipótesis inductiva, y
finalmente después de algo de álgebra demostramos la fórmula deseada.
Ahora, podemos volver a (10) para concluir que
norte
En = > = > -1.
yo=0
Resolvamos algunas recurrencias más. Ésta es la única manera de aprender a manejarlos. Deja
bo y
bn = bn_i + n, n > 1.
Realizamos el siguiente
telescopiado
bn = bn-i + n
= (bn_2 + n - 1) + n
= bn-z + (n - 2) + (n - 1) + n
bi + (i + 1) + {i + 2) + • • • + n
1
8
bo+1+23H(n-1)+n
norte
Li
yo=1
n(n+1)
2
donde en la segunda línea sustituimos bn—1 = & — n — 2 + (n — 1), en la tercera línea
comenzamos a observar un patrón en el que bi es seguido por la suma de los primeros i— números
naturales. Luego aplicamos la suma de n números naturales consecutivos derivados en el Ejemplo 2.
En cada paso de la derivación anterior utilizamos la propia recurrencia para reducirla hasta llegar al
valor que conocemos, es decir, bo. Podemos hacerlo ya que en el paso i sabemos que bi = b—1 + i.
Consideremos ahora una recurrencia más complicada:5
co= 0,
Cn — 2cn_1 + fi-
Cn-2Cn1+n
= 2(2cn-2 + n - 1) + n = 22cn-2 + 2(n - 1) + n
= 22 (2c,-3 + n — 2) + 2(n — 1) + n
= 23c,-3 + 22(n — 2) + 2(n — 1) + n
= 23(2c,=4 + n — 3) + 22(n — 2) + 2(n — 1) + n
= 24c,_4 + 23(n - 3) + 22(n - 2) + 2(n - 1) + n
En la segunda línea anterior, sustituimos Cn—1 por 2cn-2 +n—1 y observamos que el “término
aditivo” ahora es n + 2(n — 1) (el término aditivo es el que no involucra a Ci). Después de otra
sustitución, el término aditivo se amplía a 22(n-2)+2(n—1)- n. Ahora deberías poder ver el patrón
que se convierte en 2'(n — i) + 2'l~lcn-i+i H- -22(n-2)+2(n—1)-n. Después de la última
sustitución el término aditivo es finalmente 2"-I[n — (n — 1)] + 2"-2[n -(n-2)]- 22
(n-2) +
2(n-1) + n.
1
9
Ahora para terminar la recurrencia debemos encontrar una fórmula para la
siguiente suma n— n—1 n—1
en = ^2k(nk) =n^2k -^k2k.
k=ok=ok=o
Observe que en la primera suma podríamos factorizar n ya que la suma es sobre k, por lo tanto n es
fijo. Después de esta observación, la primera suma es fácil de estimar. Acabamos de descubrir
arriba que es igual a 2" — 1. Pero el segundo es más difícil. Para estimarlo primero observamos que
Ento
nces norte
k2k
norte
>*2*=)
norte
)k(2kt1-2k)
k=1
>k2*t1
k=1 2 k2k
k=1
norte n—
(A) >k2**t1 Ar| l)
k=1
norte n— 1 norte
>k2641 ->k261 ->26+1
(B n— 1
) > k2*+1 + n2n+1 -
k=o
k=o k=o k=o
n—
>k2*th- >2**1
k=ok=o
• n21+1 - 0 - (211+1 - 2) = (n - 1)2nt1 + 2.
cn = 2n+1 - n - 2
6El próximo análisis puede omitirse por completo y regresar solo si un estudiante está interesado en una mejor -
comprensión de las recurrencias no lineales.
2
0
an = a, n > 1
donde ao = 1. Es una recurrencia no lineal ya que an -1 se eleva al cuadrado. La telescopia puede
resultar difícil en este caso de recurrencia. Así que primero lo simplificamos. Definir bn = log2 an.
Entonces tenemos
&o = 1
bn = ^bn—l + log2 3
ya que log(xy) = log x + log y. Ahora estamos en terreno familiar. Usando el telescopio
encontramos
bn _(2" - l)log23,
Lo que implica
an = 2(2"-1)log23 = 32"-1
Por último, debemos decir que siempre es una buena idea verificar numéricamente nuestra solución
comparando sus valores iniciales con los valores calculados a partir de la recurrencia misma.
2
1