Inducción Inducción Matemática

Matemática
• Sucesiones • Sucesiones
• Series
• Concepto de
• Una sucesión es una lista ordenada de elementos denominados
inducción términos de la sucesión.
• Propiedades de a1, a2, a3, …, ak, …
definición de los
naturales • Si los términos de la sucesión son números, hablamos de una
• Principio de sucesión numérica.
inducción
matemática • Las sucesiones pueden ser finitas o infinitas.
• Ejemplos
• Si hay una fórmula que permite calcular cualquier término de la
sucesión, se dice que expresa el término general de la sucesión.
2, 4, 6, …, 2k, … con kN  k1
• Una sucesión puede definirse de muchas formas: coloquialmente,
fórmula directa que involucre la posición del término, en forma
recursiva estableciendo términos iniciales más una explicación de
cómo construir el resto de los términos, y otras.
UTN – FRC – ISI – LED – Inducción Matemática JCV – 1
Inducción Inducción Matemática
Matemática
• Sucesiones • Sucesiones
• Series
• Concepto de
• Ejemplos de sucesiones numéricas de números naturales:
inducción ▪ 0, 1, 2, 3, 4, 5, … ak = k, con k0
• Propiedades de
definición de los a0=0; ak=ak-1 + 1, con k1
naturales (números naturales)
• Principio de
inducción ▪ 2, 4, 6, 8, 10, 12, … ak = 2k, con k1
matemática a0=2; ak=ak-1 + 2, con k1
• Ejemplos
(números naturales positivos pares)
▪ 0, 1, 1, 2, 3, 5, 8, … ak = ? complicado
a0=0; a1=1; ak=ak-1 + ak-2, con k2
(sucesión de Fibonacci)
▪ 2, 3, 5, 7, 11, 13, 17, … ak = no existe a la fecha
(números primos)

UTN – FRC – ISI – LED – Inducción Matemática JCV – 2

Inducción Inducción Matemática
Matemática
• Sucesiones • Series
• Series
• Concepto de
• Una serie es una suma de los términos de una sucesión numérica.
inducción a1 + a 2 + a3 + … + ak + …
• Propiedades de
definición de los • Se utiliza la notación de sumatoria para expresar las series:
𝒏
naturales
• Principio de ෍ 𝒂𝒌
inducción
matemática 𝒌=𝟏
• Ejemplos • En muchas ocasiones, puede existir una fórmula directa que
permita calcular el valor de la suma con menor esfuerzo que
realizarla término a término:
𝒏
𝒏 × (𝒏 + 𝟏)
෍𝒌=
𝟐
𝒌=𝟏
la cual necesita una demostración de validez.

UTN – FRC – ISI – LED – Inducción Matemática JCV – 3

Inducción Inducción Matemática
Matemática
• Sucesiones
• Series • Concepto de inducción
• Concepto de • ¿Cómo aprenden los niños? De lo particular a lo general.
inducción
• Propiedades de
• A partir de ejemplos de un concepto, se generaliza la idea.
definición de los • Esto se puede hacer con las sucesiones y series.
naturales
• Principio de
inducción
• Propiedades de los naturales
matemática 1: 0N Hay un primer natural
• Ejemplos 2: nN → (n+1)N Hay un siguiente
3. Principio del buen orden

• Principio de inducción matemática

• Paso 1: Base inductiva
• Para k: Hipótesis inductiva
• Paso 2: Paso inductivo

UTN – FRC – ISI – LED – Inducción Matemática JCV – 4

Inducción
Matemática Principio de Inducción Matemática (simple)
• Sucesiones
• Series Sea P(n) una función proposicional con dominio N.
• Concepto de
inducción
• Propiedades de
BASE INDUCTIVA
SI:
definición de los a) Hay un natural n0 tal que P(n0) es verdadera, y
naturales
• Principio de b) Si para cualquier kn0 fijo, que P(k) sea verdadera
inducción implica lógicamente que P(k+1) también es HIPÓTESIS
PASO INDUCTIVO
matemática verdadera. INDUCTIVA
• Ejemplos
ENTONCES:
Para todo nn0: P(n) es verdadera.

En símbolos: CONCLUSIÓN

[ (n0N / P(n0)]  (kN, kn0: P(k)P(k+1)) ]

 (nN, nn0: P(n))

UTN – FRC – ISI – LED – Inducción Matemática JCV – 5

Inducción
Matemática Ejemplo 1: Formulación del problema
• Sucesiones
• Series P(n): La suma de los primeros n números naturales consecutivos
• Concepto de partiendo desde 1, es igual a n(n+1)/2.
inducción
• Propiedades de
En símbolos:
definición de los
𝒏 (𝒏 + 𝟏)
naturales 𝑷 𝒏 :𝟏 + 𝟐 + 𝟑 + ⋯+ 𝒏 =
• Principio de 𝟐
inducción
matemática ¿Qué es “n” en este problema?
• Ejemplos • La cantidad de términos a sumar en el lado izquierdo de la igualdad.
• En este caso coincide con el enésimo término de la adición.

¿Para qué sirve saber si esta fórmula es correcta?

• Permite en cualquier contexto, reemplazar la sumatoria del lado
izquierdo de la igualdad, por la fórmula del lado derecho.
• Permite optimizar algoritmos. En vez de hacer un lazo sumando n
números, se puede realizar el mismo cálculo con tres operaciones.

UTN – FRC – ISI – LED – Inducción Matemática JCV – 6

Inducción
Matemática Ejemplo 1: Demostración por Inducción Matemática
• Sucesiones
• Series
Base Inductiva: Tomando n0=1 se tiene:
𝟏. (𝟏 + 𝟏) 𝟏. (𝟐) 𝟐
• Concepto de
inducción
• Propiedades de
𝑷 𝟏 :𝟏 =
𝟐
=
𝟐
= =𝟏
𝟐

definición de los Paso Inductivo: Suponiendo que para un k1 fijo, P(k) es verdadera
naturales se tiene que:
• Principio de 𝒌 (𝒌 + 𝟏)
inducción 𝟏 + 𝟐 + 𝟑 + ⋯+ 𝒌 =
𝟐
matemática Se debe analizar ahora P(k+1):
• Ejemplos
!!! 𝑷 𝒌 + 𝟏 : 𝟏 + 𝟐 + 𝟑 + ⋯ + 𝒌 + (𝒌 + 𝟏) =
(𝒌 + 𝟏) ((𝒌 + 𝟏) + 𝟏)
𝟐
𝒌 (𝒌 + 𝟏) (𝒌 + 𝟏) ((𝒌 + 𝟏) + 𝟏)
𝑷 𝒌+𝟏 : + (𝒌 + 𝟏) =
𝟐 𝟐
𝒌 𝒌 + 𝟏 + 𝟐(𝒌 + 𝟏) (𝒌 + 𝟏) ((𝒌 + 𝟏) + 𝟏)
𝑷 𝒌+𝟏 : =
𝟐 𝟐
𝒌 + 𝟏 (𝒌 + 𝟐) (𝒌 + 𝟏) (𝒌 + 𝟐)
𝑷 𝒌+𝟏 :
𝟐
=
Luego, por IM nN, n1: P(n) es verdadera.
𝟐 
UTN – FRC – ISI – LED – Inducción Matemática JCV – 7
Inducción
Matemática Ejemplo 1: Demostración Directa
• Sucesiones
• Series La suma de los primeros n números naturales, supongamos que es S.
• Concepto de Además, tengamos en cuenta que la adición es conmutativa. Entonces
inducción podemos escribir (según el joven Gauss ☺):
• Propiedades de
definición de los
naturales
𝟏 + 𝟐 + 𝟑 + ⋯+ 𝒏 − 𝟏 + 𝒏=𝑺
• Principio de y 𝒏 + 𝒏 − 𝟏 + 𝒏 − 𝟐 + ⋯+ 𝟐 + 𝟏=𝑺
inducción
matemática Sumando miembro a miembro las igualdades:
• Ejemplos
𝒏 + 𝟏 + 𝒏 + 𝟏 + 𝒏 + 𝟏 + ⋯ + 𝒏 + 𝟏 + 𝒏 + 𝟏 = 𝟐𝑺

El lado izquierdo suma n veces (n+1), por lo que se puede escribir:

𝒏. (𝒏 + 𝟏) = 𝟐𝑺
Y finalmente despejando S:
𝑺=
𝒏. (𝒏 + 𝟏)
𝟐

UTN – FRC – ISI – LED – Inducción Matemática JCV – 8
Inducción
Matemática Ejemplo 2: Formulación del problema
• Sucesiones
• Series P(n): La suma de los primeros n números naturales impares
• Concepto de consecutivos partiendo desde 1, es igual a n2.
inducción
• Propiedades de
En símbolos:
definición de los
naturales 𝑷 𝒏 : 𝟏 + 𝟑 + 𝟓 + ⋯ + (𝟐𝒏 − 𝟏) = 𝒏𝟐
• Principio de
inducción ¿Qué es “n” en este problema?
matemática • La cantidad de términos a sumar en el lado izquierdo de la igualdad.
• Ejemplos • El enésimo término (número impar) se escribe como 2n – 1; esto
puede verse asignando sucesivamente a n el valor 1, 2, 3, etc. Así:
• Primer número impar… = 2.1 – 1 = 1 y P(1): 1 = 12
• Segundo número impar = 2.2 – 1 = 3 y P(2): 1+3 = 22
• …

¿Para qué sirve saber si esta fórmula es correcta?

• Ídem ejemplo 1.

UTN – FRC – ISI – LED – Inducción Matemática JCV – 9

Inducción
Matemática Ejemplo 2: Demostración por Inducción Matemática
• Sucesiones
• Series Base Inductiva: Tomando n0=1 se tiene:
• Concepto de
inducción
• Propiedades de
𝑷 𝟏 : 𝟏 = 𝟏𝟐 = 𝟏

Paso Inductivo: Suponiendo que para un k1 fijo, P(k) es verdadera


definición de los
naturales se tiene que:
• Principio de 𝟏 + 𝟑 + 𝟓 + ⋯ + (𝟐𝒌 − 𝟏) = 𝒌𝟐
inducción
matemática
• Ejemplos !!! Se𝑷 𝒌debe analizar ahora P(k+1):
𝟐
+ 𝟏 : 𝟏 + 𝟑 + 𝟓 + ⋯ + (𝟐𝒌 − 𝟏) + (𝟐 𝒌 + 𝟏 − 𝟏) = (𝒌 + 𝟏)

𝑷 𝒌 + 𝟏 : 𝒌𝟐 + 𝟐𝒌 + 𝟐 − 𝟏 = (𝒌 + 𝟏)𝟐

𝑷 𝒌 + 𝟏 : 𝒌𝟐 + 𝟐𝒌 + 𝟏 = (𝒌 + 𝟏)𝟐

Luego, por IM nN, n1: P(n) es verdadera.


UTN – FRC – ISI – LED – Inducción Matemática JCV – 10
Inducción
Matemática Ejemplo 2: Demostración Gráfica (intuitiva)
• Sucesiones
• Series P(1): 1 = 1 • 1x1
• Concepto de
inducción P(2): 1 + 3 = 4 • • 2x2
• Propiedades de
• •
definición de los
naturales
• Principio de P(3): 1 + 3 + 5 = 9 • • • 3x3
inducción • • •
matemática • • •
• Ejemplos
P(4): 1 + 3 + 5 + 7 = 16 • • • • 4x4
• • • •
• • • •
• • • •

Para P(n) tendremos un cuadrado de n x n puntos. De aquí que el
nombre asignado a n2 sea el cuadrado de n.

UTN – FRC – ISI – LED – Inducción Matemática JCV – 11

Inducción
Matemática Ejemplo 3: Formulación del problema
• Sucesiones
• Series Un tablero de ajedrez es un cuadrado de 8 x 8 = 64 casillas. Si le quita-
• Concepto de mos una, diremos que está fallado; tendrá entonces 8 x 8 – 1 casillas.
inducción
• Propiedades de
definición de los
naturales
• Principio de
inducción 8=23 El tablero tiene 23x23 – 1 casillas
matemática
• Ejemplos

8=23

Propongo que este tablero fallado puede ser completamente cubierto

con fichas de triminós. No parece una proposición referida a naturales.
Para mostrarlo, se puede jugar con papel recortado y probar. ☺

UTN – FRC – ISI – LED – Inducción Matemática JCV – 12

Inducción
Matemática Ejemplo 3: Formulación del problema
• Sucesiones
• Series Generalicemos la idea.
• Concepto de
inducción P(n): Un tablero cuadrado fallado de 2n x 2n casillas menos una,
• Propiedades de
puede ser cubierto con fichas de triminós.
definición de los
naturales
• Principio de Ahora sí queda claro que se refiere a números naturales n.
inducción
matemática ¿Qué es “n” en este problema?
• Ejemplos • El exponente que define el tamaño del tablero cuadrado de lado 2n.

¿Para qué sirve saber si es verdadera para todo n?

• Podría tratarse de un teselamiento de alguna superficie a construir
que quiere recubrirse con elementos del tipo indicado.

UTN – FRC – ISI – LED – Inducción Matemática JCV – 13

Inducción
Matemática Ejemplo 3: Demostración por Inducción Matemática
• Sucesiones
• Series Base Inductiva: Tomando n0=1 se tiene 21x21 – 1 = 3 casillas:
• Concepto de
inducción
• Propiedades de
definición de los
naturales
Evidentemente este tablero puede cubrirse con
solo una ficha de triminós. 
• Principio de Paso Inductivo: Supongamos que para algún k1 la proposición P(k)
inducción es verdadera, esto es, un tablero fallado de 2kx2k – 1 casillas puede
matemática cubrirse con fichas de triminós. Veamos que pasa con k+1: 2k+1
• Ejemplos El tablero tiene ahora 2k+1 casillas de lado. 2k
Si divido el mismo en cuatro tableros iguales OK OK
cada tablero tendrá 2 casillas de lado.
k
2 k

Elijo quitar la casilla negra para obtener el

tablero fallado de 2k+1x2k+1 – 1 casillas, y 2k+1
agrego una ficha de triminós azul. Pero por OK OK
hipótesis inductiva cada uno de los cuadrados
de lado 2k ahora puede cubrirse con triminós.
Luego, por IM nN, n1: P(n) es verdadera. 
UTN – FRC – ISI – LED – Inducción Matemática JCV – 14