Documentos de Académico
Documentos de Profesional
Documentos de Cultura
de inducción
Matemática
Discreta
1
Inducción matemática
Esta es una muy buena herramienta para hacer demostraciones sobre los
números enteros. En esta lectura, vamos a hacer ejercicios resueltos de
cómo se utiliza para demostrar propiedades de los enteros que hemos
estudiado.
La demostración sería:
Verificar la propiedad para n = 1.
1.2
∑1𝑖=1 𝑖 = 1 y = 1; por lo tanto, como son iguales, se
2
verifica la proposición para n = 1.
Suponer que la propiedad vale para n; demostrar, entonces, que vale
para (n+1).
∑𝑛+1
𝑖=1 𝑖 = 1 +2 +3 +4 + … + n + (n + 1) = [1 + 2 + …. + n] + (n + 1) (por
propiedad asociativa de la suma); luego, es igual a:
𝑛
∑𝑖=1 𝑖 + (n + 1).
𝑛.(𝑛+1)
Pero, por hipótesis de inducción, la suma hasta n es igual a: 2 ,
entonces queda:
2
𝑛.(𝑛+1)
+ (n + 1).
2
𝑛. (𝑛 + 1) + 2 (𝑛 + 1)
.
2
Sacamos factor común (n+1) en el numerador y nos queda:
(𝑛 + 1)(𝑛 + 2)
,
2
que es lo que se quería demostrar.
Por lo tanto, hemos demostrado que la propiedad es válida para cualquier
n.
3
n.(n + 1).(n + 2) = 6.q para algún q entero.
⏞
(𝑛 + 1). (𝑛 + 2) . (𝑛 + 3).
Haciendo uso de la propiedad distributiva, queda:
⏞
(𝑛 + 1). (𝑛 + 2) . 𝑛 + ⏞
(𝑛 + 1). (𝑛 + 2) . 3.
⏞
(𝑛2 + 3𝑛 + 2) . 3.
Supongamos que queremos demostrar que todas las mujeres tienen ojos
azules utilizando el principio de inducción. ¿Por qué se nos ocurriría
hacer semejante demostración? Porque podemos considerar que la
cantidad de mujeres es un número “n” natural, y que la propiedad que
depende de n , es que cualquiera sea ese n, se puede afirmar(no
significa que sea verdadero) que la mujer tiene ojos azules.
4
El proceso empieza asÍ:
Si n=1 podemos decir que vale porque tomamos sólo una mujer con ojos
azules.
Ahora supongamos que tenemos un grupo de n mujeres con ojos azules y
que vale para todo conjunto con n mujeres, esto es, todo conjunto con n
mujeres todas tienen ojos azules. (hipótesis de inducción).
5
Referencias
Espinosa Armenta, R. (2010). Matemática Discreta (pp. 31-42). México:
Alfaomega.