Induccion Matematica 1

Inducción matemática como propiedad para los enteros.
La inducción matemática es un método muy útil en algunas demostraciones. Se emplea

generalmente al probar fórmulas o propiedades de los números naturales.
Los números naturales se definen de manera inductiva. Es decir, incluso hablando muy
informalmente, al describir los números naturales no podemos nombrar a todos los números
naturales puesto que son infinitos, lo que hacemos normalmente es decir algo como “1 es un
número natural, también 2 y 3 y 4 y así te sigues, si le sumas 1 a un número natural te da otro
número natural”.
Esos son precisamente los Axiomas de Peano, la manera en que definimos los números
naturales: a. 1 es un número natural. b. si n es un número natural, entonces n + 1 también es
número natural. En el caso (b), suponemos la existencia de algún número que cumple la
propiedad de ser natural. Nuestra hipótesis no es descabellada, pues a partir de (a) sabemos
que existe al menos un número natural, el 1. (principio del buen orden)
Si ponemos todos nuestros dominós parados en una fila, necesitamos sólo asegurarnos de dos
cosas para que se caigan:
a) Que exista al menos un dominó que se caiga.
b) Que, si un dominó cae, empuja al siguiente.
Para la primera parte, no tiene que ser el primer

dominó. Si tiramos el primero, queremos que se
caigan todos; pero si tiramos el segundo o el tercero
o el quinto, queremos que se caigan todos después
a el que tiramos.
Para la segunda parte tenemos que asegurarnos que la distancia entre cada dos dominós no sea
demasiada o que estén en el ángulo correcto, porque si uno solo no empuja al que sigue,
entonces no se van a caer todos.
Los números naturales son como un conjunto infinito pero ordenado de dominós, donde cada
dominó tiene escrito un número.
Las pruebas por inducción son como ordenar nuestros dominós parados en una fila y ver
si es posible empujar alguno para que se caigan todos.
a) El caso base es asegurarse de que exista un primer dominó que se caiga.
b) El paso inductivo es suponer que si cumple para algún entero, cumple para el siguiente.
Como sabemos que cumple para el caso base, entonces cumple para el siguiente; como cumple
para el siguiente, cumple a su vez para su siguiente y así sucesivamente cumplen todos los
enteros a partir del caso base.
Esos dos pasos nos aseguran que se caen todos los dominós sin necesidad de verlos caer.
Para verificar la teoría puede consultar el Grimaldi capítulo 4 Pagina 183.

Ejercicio 1:
Tarea: Demostrar que 1+3+5+…+(2n-1) = n2
Note que la suma indica suma de números impares por lo que el elemento n-ésimo + 1
debe seguir el patrón y sería (2*(n+1)-1)
Modelos computacionales
En el ejercicio de la suma de Gauss demostramos que es verdad la hipótesis para todos los
números enteros positivos. Ahora quiero mostrarles las ventajas computacionales de estas
demostraciones.
𝑛(𝑛−1)
∑𝑛𝑖=1 𝑖 = para todo n que pertenece a los enteros positivos
2
Función Suma(n es un entero) Función Suma (n es un entero)

{ {
Suma = 0 Suma = (n *(n+1))/2
Para i = 1 hasta n } regresa Suma
Suma = Suma +1
i=i+1
} regresa Suma
Modelo computacional iterativo Modelo computacional directo
Es evidente que el modelo directo es más corto y eficiente, requiere de menos programación y
su eficiencia algorítmica es mejor. Como ya lo demostramos podemos utilizarlo con la confianza
de que será operacional para todo número entero positivo.
Modelos computacionales en Phyton
#Algoritmo para sumar los primeros n números #Algoritmo para sumar los primeros n números
enteros positivos enteros positivos
def SumaGauss(n): def SumaGauss(n):

suma = 0 suma = (n*(n+1))/2
for i in range(1,n+1): print("la suma de los primeros n números es igual
suma = suma + i a ", suma)
print("la suma de los primeros n números es igual a
", suma) n = int(input("¿Cuántos números quieres sumar? "))
n = int(input("¿Cuántos números quieres sumar? ")) SumaGauss(n)
SumaGauss(n)
Modelo iterativo Modelo directo
Ejercicio 2:
Demostrar que la hipótesis siguiente es verdadera para todo n ∈ 𝑍 +

(𝑛)(𝑛+1)(2𝑛+1)
S(n): ∑𝑛𝑖=1 𝑖 2 =
6
Caso Base:
(1)(1+1)(2+1) 6
S(1): ∑1𝑖=1 𝑖 2 = 1 = 6
= 6
= 1 ∴ 𝑙𝑎 ℎ𝑖𝑝ó𝑡𝑒𝑠𝑖𝑠 𝑒𝑣𝑎𝑙𝑢𝑎𝑑𝑎 𝑒𝑛 1 𝑒𝑠 𝑣𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑎
Paso Inductivo:
(𝑘)(𝑘+1)(2𝑘+1)
S(k): ∑𝑘𝑖=1 𝑖 2 = 6
𝑠𝑢𝑝𝑜𝑛𝑒𝑚𝑜𝑠 𝑞𝑢𝑒 𝑒𝑠 𝑣𝑒𝑟𝑑𝑎𝑑
(𝑘)(𝑘+1)(2𝑘+1)
S(k): ∑𝑘𝑖=1 𝑖 2 = 12 + 22 + ⋯ + 𝑘 2 = 6
(𝑘+1)(𝑘+1+1)(2(𝑘+1)+1)
S(k+1): ∑𝑘+1 2 2 2 2 2
𝑖=1 𝑖 = 1 + 2 + ⋯ + 𝑘 + (𝑘 + 1) = 6
(𝑘)(𝑘+1)(2𝑘+1) (𝑘+1)(𝑘+2)(2𝑘+3)
+ (𝑘 + 1)2 = aquí termina la inducción y comienza la
6 6
demostración algebraica.
(𝑘)(𝑘 + 1)(2𝑘 + 1) (𝑘)(𝑘 + 1)(2𝑘 + 1) 6(𝑘 + 1)2

+ (𝑘 + 1)2 = +
6 6 6
(𝑘)(𝑘+1)(2𝑘+1)+6(𝑘+1)2 (𝑘+1)[(𝑘)(2𝑘+1)+6(𝑘+1)] (𝑘+1)[2𝑘 2 +𝑘+6𝑘+6] (𝑘+1)(2𝑘 2 +7𝑘+6)
6
= 6
= 6
= 6
(𝑘+1)(2𝑘 2 +7𝑘+6) (𝑘+1)(2𝑘 2 +4𝑘+3𝑘+6) (𝑘+1)(2𝑘 2 +7𝑘+6)

= = QED
6 6 6
Quod erat demonstrandum es una locución latina que significa «lo que se quería demostrar» y se
abrevia QED. Tiene su origen en la frase griega ὅπερ ἔδει δεῖξαι (hóper édei deĩxai), que usaban
muchos matemáticos antiguos, incluidos Euclides y Arquímedes, al final de las demostraciones o
pruebas matemáticas para señalar que habían alcanzado el resultado requerido para la prueba.
Algunos hispanohablantes creen que QED es el acrónimo de «queda entonces demostrado» o
«queda estrictamente demostrado».
Modelos computacionales
La hipótesis podríamos interpretarla como la suma de los números enteros positivos
consecutivos elevados al cuadrado o la suma de los primeros n números al cuadrado es igual a:
(𝑛)(𝑛+1)(2𝑛+1)
S(n): ∑𝑛𝑖=1 𝑖 2 = 6
Sus modelos computacionales serían:

Función SumaCuadrados (n es un entero) Función SumaCuadrados (n es un entero)
{ {
Suma = 0 Suma = ((n) *(n+1) (2*n+)) / 6
Para i = 1 hasta n } regresa Suma
Suma = Suma + (i ^2)
i=i+1
} regresa Suma
Modelo computacional iterativo Modelo computacional directo
Tarea 1: Dado los modelos anteriores desarrolle en Phyton y suba su código (los dos,
iterativo y directo)
Tarea 2: Demuestre lo siguiente mediante inducción matemática (escriba todos los

pasos ya que es lo que se calificará), después escriba los algoritmos o modelos computacionales
tanto el iterativo como el directo. (No es necesario hacerlos en phyton)
1 𝑛
S(n): ∑𝑛𝑖=1 𝑖(𝑖+1) = 𝑛+1

Induccion Matematica 1

Cargado por

Copyright:

Formatos disponibles

Induccion Matematica 1

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Induccion Matematica 1

Cargado por

Copyright:

Formatos disponibles

Inducción matemática como propiedad para los enteros.

La inducción matemática es un método muy útil en algunas demostraciones. Se emplea

a) Que exista al menos un dominó que se caiga.

b) Que, si un dominó cae, empuja al siguiente.

Para la primera parte, no tiene que ser el primer

a) El caso base es asegurarse de que exista un primer dominó que se caiga.

Para verificar la teoría puede consultar el Grimaldi capítulo 4 Pagina 183.

Tarea: Demostrar que 1+3+5+…+(2n-1) = n2

Función Suma(n es un entero) Función Suma (n es un entero)

Modelo computacional iterativo Modelo computacional directo

Modelos computacionales en Phyton

def SumaGauss(n): def SumaGauss(n):

Modelo iterativo Modelo directo

Demostrar que la hipótesis siguiente es verdadera para todo n ∈ 𝑍 +

(𝑘)(𝑘 + 1)(2𝑘 + 1) (𝑘)(𝑘 + 1)(2𝑘 + 1) 6(𝑘 + 1)2

(𝑘+1)(2𝑘 2 +7𝑘+6) (𝑘+1)(2𝑘 2 +4𝑘+3𝑘+6) (𝑘+1)(2𝑘 2 +7𝑘+6)

Sus modelos computacionales serían:

Modelo computacional iterativo Modelo computacional directo

Tarea 2: Demuestre lo siguiente mediante inducción matemática (escriba todos los

También podría gustarte