“AÑO DE LA LUCHA CONTRA LA CORRUPCIÓN E IMPUNIDAD”

UNIVERSIDAD NACIONAL DE PIURA

FACULTAD DE INGENIERÍA INDUSTRIAL
ESCUELA PROFESIONAL DE INGIERIA INFORMATICA

CURSO: Matemática Básica.

TEMA: Inducción matemática.

PROFESOR: Del Rosario Castillo Oscar Henry.

INTEGRANTE: Benites Cruz Marco Sebastián.

Juarez Bereche Yan Poll.
Timana Cruz Jesica Mildre.
Valdiviezo Pingo María Luisa.

07/ 08 / 2019
 “INDUCCIÓN MATEMATICA”

Introducción
En el presente se hablará sobre la inducción matemática, su definición, su
composición y como se desarrolla su procedimiento, también se hablara sobre
los sucesos que componen su historia, finalizando con algunos ejemplos que
ayuden a lograr una mejor comprensión del tema mediante la práctica y la
definición y desarrollo de algunas paradojas empleando la inducción.

El trabajo consta de 4 capítulos, siendo estas, para empezar definiciones y

conceptos básicos, luego de esta historia de la inducción matemática, después
ejemplos de la inducción matemática y finalmente paradojas, cada capítulo
contara con sus debidos subtemas, dependiendo de la información que se va a
abordar.

2
 “INDUCCIÓN MATEMATICA”

Problemas
Problema General
 ¿Cuál es la importancia del uso de la inducción matemática?
Problemas específicos
 ¿Qué es la inducción matemática?
 ¿Qué conceptos básicos podemos encontrar en la inducción matemática?
 ¿Qué sucesos históricos se pueden encontrar en la formación de la
inducción matemática?
 ¿Cómo se desarrolla el proceso de la inducción matemática?
 ¿Qué son las paradojas?

3
 “INDUCCIÓN MATEMATICA”

Objetivos
Objetivo general
 Determinar la importancia del uso de la inducción matemática
Objetivos específicos
 Definir la inducción matemática
 Describir los sucesos históricos que forman parte del desarrollo de la
inducción matemática.
 Detallar con ejemplos y ejercicios el desarrollo de la inducción
matemática.
 Definir lo que son paradojas.

4
 “INDUCCIÓN MATEMATICA”

Hipótesis
Hipótesis general
 El uso de la inducción matemática es muy importante para el desarrollo
de teoremas matemáticos y verificar su efectividad.
Hipótesis específicas
 La definición misma de la inducción matemática denota el porqué de su
importancia
 En la historia de la inducción matemática podemos encontrar sucesos
muy importantes que han marcado un importante precursor para su
desarrollo
 A través de los ejemplos se puede denotar la importancia que tiene la
inducción matemática en el desarrollo y comprobación de teoremas.
 Las paradojas son aquellos enunciados que nos muestran una
contradicción pues aparentar tener un valor de verdad, pero es conocido
que tienen otro opuesto.

5
 “INDUCCIÓN MATEMATICA”

INDICE
Capítulo I: Conceptos básicos ............................................................................ 7
INDUCCIÓN ................................................................................................... 7
EL MÉTODO INDUCTIVO .............................................................................. 7
BACON Y EL MÉTODO INDUCTIVO ............................................................. 7
ARISTÓTELES Y EL MÉTODO INDUCTIVO Y DEDUCTIVO........................ 8
MÉTODO LÓGICO INDUCTIVO .................................................................... 9
Método de inducción completa.................................................................... 9
La inducción matemática incompleta .......................................................... 9
INDUCCIÒN MATEMÁTICA ......................................................................... 10
Capitulo II: Historia de la inducción matemática ............................................... 12
BIOGRAFIA DE PERSONAJES IMPORTANTES: ....................................... 12
LINEA DE TIEMPO: ...................................................................................... 13
Capitulo III: EJEMPLOS DE INDUCCION ........................................................ 15
Ejemplo 1 ...................................................................................................... 15
Ejemplo 2 ...................................................................................................... 16
Ejemplo 3 ...................................................................................................... 17
Ejemplo 4 ...................................................................................................... 18
Ejemplo 5 ...................................................................................................... 19
Capitulo IV: PARADOJAS PRESENTES EN LA INDUCCION MATEMÁTICA. 20
DEFINICION: ................................................................................................ 20
PARADOJA DEL CABALLO ......................................................................... 20
PARADOJA DE HAMPEL ............................................................................. 21
Conclusiones .................................................................................................... 23
Bibliografía ....................................................................................................... 24

6
 “INDUCCIÓN MATEMATICA”

Conceptos básicos
INDUCCIÓN
Método de conocimiento que permite obtener por generalización un enunciado
general a partir de enunciados que describen casos particulares. La inducción
se considera completa cuando se han observado todos los casos particulares,
por lo que la generalización a la que da lugar se considera válida.

En la mayoría de los casos, no obstante, es imposible una inducción completa,

por lo que el enunciado general a que da lugar la aplicación de dicho método
queda sometido a un cierto grado de incertidumbre. En este caso hablamos de
inducción incompleta

La inducción incompleta no se puede considerar como un esquema de inferencia

formalmente válido, ni se puede justificar empíricamente, por lo que se considera
que nos ofrece "verdades" que gozan de un mayor o menor grado de
probabilidad, pero que no nos puede garantizar su certeza absoluta.

EL MÉTODO INDUCTIVO
Esta metodología se asocia originariamente a los trabajos de Francis Bacon a
comienzos del siglo XVII. En términos muy generales, consiste en establecer
enunciados universales ciertos a partir de la experiencia, esto es, ascender
lógicamente a través del conocimiento científico, desde la observación de los
fenómenos o hechos de la realidad a la ley universal que los contiene.
Resumiendo, las palabras de Mill (1973, las investigaciones científicas
comenzarían con la observación de los hechos, de forma libre y carente de
prejuicios. Con posterioridad -y mediante inferencia- se
formulan leyes universales sobre los hechos y por inducción se obtendrían
afirmaciones aún más generales que reciben el nombre de teorías.

BACON Y EL MÉTODO INDUCTIVO

Hay que recordar que para Bacon la ciencia debe tener un objetivo práctico:
transformar la Naturaleza para ponerla al servicio del hombre, lo cual supone
conocerla bien. Por tanto, también el método tiene finalidad práctica (y teórica,
por supuesto).
El método para descubrir las formas es la inducción según Bacon las siguientes
partes:
1. Se reúnen todos los hechos que sean posibles acerca de la «naturaleza»
que se quiera investigar. Por ejemplo, el calor. A esta parte la llama Bacon
«Historia natural y experimental»
2. Se ordenan estos hechos según tres tablas: tabla de presencia (hechos en
los que se da esa naturaleza o fenómeno), tabla de ausencia (hechos en los
que no se da), tabla de grados (hechos en que varía). En la primera tabla se
trata de reunir los hechos más dispares posibles; en cambio, en la tabla de

7
 “INDUCCIÓN MATEMATICA”

ausencia se trata de recoger hechos semejantes a los de la primera tabla, pero

tales que en ellos no se manifieste el fenómeno. Ambas tablas deben ir, pues,
coordinadas entre sí. Por ejemplo, en la primera tabla recoge Bacon los rayos
del Sol como primer hecho (en los que se da el calor), y en la segunda, los
rayos de la Luna.
3. Se procede a la inducción propiamente dicha, la cual comienza por el pro-
cedimiento de exclusiones: excluir como «forma» aquello que no se encuentra
cuando se da el fenómeno, o que se encuentra cuando no se da, o que
aumenta cuando el fenómeno disminuye, o disminuye cuando el fenómeno
aumenta. La coordinación de las dos primeras tablas facilita las exclusiones: en
el ejemplo citado, Bacon dice que hay que excluir el fulgor y la luz como causa
o «forma» del calor (puesto que hay luz en los rayos del Sol, pero también en
los de la Luna). A base de exclusiones, dice Bacon, «quedará como en el
fondo, desvaneciéndose en humo las opiniones volátiles, la forma positiva,
sólida y verdadera, y bien determinada».
4. Ahora bien, Bacon reconoce que este trabajo es muy arduo y supone
muchos rodeos. Por eso propone algunos auxiliares para la inducción. El
primero es lo que llama «esbozo de interpretación», o «primera vendimia», que
no es sino la formulación de una hipótesis provisional a partir de los casos en
que la forma buscada parece encontrarse de un modo más claro. A
continuación, señala Bacon nueve auxiliares más para la inducción, de los
cuales sólo desarrolló el primero: la enumeración de veintisiete «hechos
preferentes».
En realidad, Bacon no inventó la inducción: ya fue utilizada desde los primeros
filósofos griegos. Pero Bacon ve en la inducción de los antiguos una
«anticipación» de la Naturaleza. Además, era una inducción que procedía por
«simple enumeración» (de casos positivos), deficiencia que Bacon supo ver,
por lo que junto a la tabla de «presencia» añadió la de «ausencia» y «grados»,
en lo cual consiste la verdadera innovación baconiana. Sin embargo, Bacon no
consiguió perfeccionar su método inductivo, y finalmente pareció dejarse
vencer por la complejidad del mismo.
Además, Bacon no llegó a captar el valor de las matemáticas, y cifró el objetivo
de su método en la búsqueda de la «forma» (esencia) y de las «naturalezas»
(cualidades). Justamente, los grandes científicos de esta época se orientarán
en una dirección contraria: el método hipotético-deductivo, la matematización,
la consideración cuantitativa. Bacon ignoró realmente la ciencia de su época y
creó un método que nadie llegó a utilizar.

ARISTÓTELES Y EL MÉTODO INDUCTIVO Y DEDUCTIVO

Aristóteles (384-322 a. C.), discípulo de Platón, comparte con este una
problemática y una metodología común. Sin embargo, al sostener que la forma
no existe de manera independiente de su encarnación en las cosas reales,
acepta la importancia del conocimiento basado en la realidad y por lo tanto de
la metodología para adquirirlo. Las condiciones en que se adquiere el
conocimiento, sistematizadas por Aristóteles en el método inductivo-deductivo,

8
 “INDUCCIÓN MATEMATICA”

señalaron el camino que habría de recorrer el conocimiento científico, durante

más de un milenio, lo que justifica un planteamiento esquemático de sus
principios. Según Aristóteles, las cosas particulares están constituidas por la
unión de materia y forma. La materia es lo que hace que un particular sea un
individuo único y la forma es aquello que lo constituye en miembro de una clase
de cosas similares. Especificar la forma de un particular equivale a especificar
las propiedades que comparte con otros de su clase y estas generalizaciones
sobre las formas se extraen de la experiencia sensible, por medio de la
inducción. Existirían dos tipos de inducción, el primero consiste en la
enumeración simple y en ella los enunciados sobre los objetos individuales se
toman como base para una generalización sobre la especie de la que son
miembros. El segundo tipo se basaría en la intuición directa de aquellos
principios generales que están ejemplificados en los fenómenos observados.
MÉTODO LÓGICO INDUCTIVO
Es el razonamiento que, partiendo de casos particulares, se eleva a
conocimientos generales. Este método permite la formación de hipó tesis,
investigación de leyes científicas, y las demostraciones. La inducción puede ser
completa o incompleta.

Método de inducción completa

Definición

Este principio sirve para demostrar propiedades que se cumplen para un

conjunto numerable de objetos (Un conjunto A es numerable si existe
una biyección de A en el conjunto de los números naturales). Generalmente se
usa la notación A(n), B(n), C(n), P (n), … para denotar estas propiedades.
Principio

El principio de inducción completa, en que se basa el método del mismo nombre,

consiste en:

 1ro. Probar que la propiedad se satisface para un primer número natural (P

(a) es verdadera para a perteneciente a N).
 2do. Probar que siempre que un número natural cualquiera satisfaga la
propiedad, su sucesor también la satisface. (De P (k) se deduce P (k+1)).

La inducción matemática incompleta

La demostración mediante el método de la inducción matemática incompleta

de cierta afirmación que depende de n para cualquier n natural, empezando
por cierto p≥2, se hace de la manera siguiente:

1) Se determina la validez de esta afirmación para n = p.

9
 “INDUCCIÓN MATEMATICA”

2) Se supone la validez de esta afirmación para n = k, donde k es cualquier

número natural no inferior a p y, partiendo de esta suposición, se
determina su validez para n = k + 1.

4) Basándonos en los puntos 1 y 2, y en el principio de inducción matemática

incompleta, llegamos a la conclusión de que esta afirmación es válida
para cualquier n (n≥p) natural.

INDUCCIÒN MATEMÁTICA

En matemáticas, la inducción es un razonamiento que permite demostrar

proposiciones que dependen de una variable, que toma una infinidad de valores
enteros.
En términos simples, la inducción matemática consiste en el siguiente
razonamiento:
Dado un número entero a, que tiene la propiedad P, y el hecho de que si hasta
cualquier número entero n, con la propiedad P, implique que n+1, también la
tiene, entonces, todos los números enteros a partir de a, tienen la propiedad P.
La demostración está basada en el axioma denominado principio de la inducción
matemática.

El método es bastante natural para usarse en una variedad de situaciones en la

ciencia de la computación. Algunas aplicaciones tienen un sabor muy
matemático, tal como verificar que todo entero positivo satisface cierta fórmula.
Otra utilización frecuente es la de demostrar que un programa de computación o
que un algoritmo con ciclos funciona como se espera

Haciendo énfasis en dos características fundamentales del conjunto de los

números naturales: en primer lugar, los naturales forman un conjunto infinito,
ordenado y que cuenta con un primer elemento (el número 1) y, en segundo
lugar, que el resto de los elementos del conjunto (los demás naturales) se
generan a partir del número 1 mediante repetidas aplicaciones de la función
sucesor: s(n) = n + 1. Las propiedades anteriores son fundamentales, pues de
ellas se derivan las bases lógicas que dan sustento a la validez de las
demostraciones por Inducción. En su forma más básica, el método de Inducción
Matemática consta de 2 etapas. Si deseamos probar que una determinada
propiedad P se cumple para todo número natural, entonces procedemos
aplicando el siguiente esquema.

i) Paso 1 (Base de la Inducción).- Se demuestra que el primer natural (el

número 1) cumple la propiedad: P(1).
ii) Paso 2 (Paso Inductivo).- Partiendo de la suposición (Hipótesis de
Inducción) de que un número natural cualquiera k cumple con la
propiedad: P(k), procedemos a demostrar que, en consecuencia, el

10
 “INDUCCIÓN MATEMATICA”

número k + 1 también debe cumplir con dicha propiedad: P(k + 1). Es

decir, probamos la validez de la implicación P(k) ⇒ P(k + 1).
En caso de poder realizar exitosamente lo anterior, entonces concluimos que la
propiedad P se cumple para todos los números naturales.
Las demostraciones por Inducción pueden compararse con el efecto dominó. Si
ponemos varias fichas de dominó paradas y colocadas en hilera una seguida de
la otra, al tirar la primera ficha, ´esta caerá sobre la segunda provocando su
caída; la caída de la segunda provoca que caiga la tercera ficha; la tercera ficha
derriba a la cuarta y así sucesivamente hasta que todas las fichas caen. En esta
comparación, al caer la primera ficha se inicia una especie de reacción en
cadena que termina provocando la caída de todas las fichas. De igual forma, una
vez que se han realizado las dos etapas de una demostración por Inducción, la
validez de la propiedad para el número 1 (base de la inducción) implica la validez
de la propiedad para el 2, la validez para el 2 implica la validez para el 3 y así
sucesivamente (paso inductivo), de manera que podemos concluir que la
propiedad es válida para todos los números naturales. Aunque en su forma más
simple la Inducción Matemática se usa para probar que determinada propiedad
se cumple para todo número natural, es posible adaptar el método para probar
la validez de una afirmación para otros conjuntos de números (no solamente los
naturales). A continuación, presentamos un tercer ejemplo donde se prueba la
validez de una propiedad que se cumple sólo para los números impares.

11
 “INDUCCIÓN MATEMATICA”

Historia de la inducción matemática

BIOGRAFIA DE PERSONAJES IMPORTANTES:
1. Francesco Maurolico (Messina, 1494- id., 1575)
Geómetra italiano de origen griego. Monje
benedictino y gran erudito, destacó particularmente
en el estudio de la geometría y de la óptica. Tradujo
al latín las obras de Euclides, Arquímedes y otros, y
llevó a cabo trabajos sobre el prisma, los espejos
esféricos, la cámara oscura y los fenómenos de
refracción. Elaboró un tratado sobre las curvas como
secciones planas del cono y aplicó el método de
inducción. Destacan sus obras Gnomonica (1553) y Arithmeticorum libri
duo (1557).
2. Pierre de Fermat (Beaumont, Francia, 1601 - Castres, id., 1665)
Matemático francés. Continuador de la obra de
Diofanto en el campo de los números enteros y
cofundador del estudio matemático de la
probabilidad, junto con Pascal, y de la geometría
analítica, junto con Descartes, Pierre de Fermat
mantuvo correspondencia con los grandes
científicos de su época y gozó ya en vida de gran
estima e inmensa reputación, si bien su natural
modestia y su modo de trabajar, en exceso diletante, perjudicó la
divulgación de sus aportaciones.
3. Blaise Pascal (Clermont-Ferrand, Francia, 1623 - París, 1662)
Filósofo, físico y matemático francés. Genio
precoz y de clara inteligencia, su entusiasmo
juvenil por la ciencia se materializó en
importantes y precursoras aportaciones a la
física y a las matemáticas. En su madurez, sin
embargo, se aproximó al jansenismo, y, frente
al racionalismo imperante, emprendió la
formulación de una filosofía de signo cristiano
(truncada por su prematuro fallecimiento), en la que sobresalen
especialmente sus reflexiones sobre la condición humana, de la que supo
apreciar tanto su grandiosa dignidad como su mísera insignificancia.
4. Augustus De Morgan
Fue un notable matemático y lógico inglés. Nació el 27
de junio de 1806 en Madurai, India. Estudió en el Trinity
College de Cambridge, siendo alumno de G. Peacock y
W. Whewell. En 1828 fue el primer Profesor de
Matemáticas en el University College London. Hizo
aportaciones importantes en álgebra e historia de las
matemáticas; su contribución más destacada fue en lógica. Poseía

12
 “INDUCCIÓN MATEMATICA”

conocimientos de astronomía, estadística y probabilidad, y era aficionado

a los acertijos matemáticos. Falleció en Londres el 18 de marzo de 1871.
LINEA DE TIEMPO:
1. Usos de la inducción matemática previos a su determinación
 El primer uso conocido que se le dio a la inducción matemática lo
realizo el sacerdote italiano Francesco Maurolico en su libro
“arithmeticorum libri duo” publicado en el año 1575 y uso la
inducción matemática para probar que la suma de los “n” primeros
enteros impares es igual a “n2”.
Demostración del teorema:
∀𝑛 ≥ 1 se cumple que:
1 + 3 + 5 + ⋯ + (2𝑛 − 1) = 𝑛2
𝑝𝑎𝑟𝑎 𝑛 = 1
2(1)-1=12
2-1=1
1=1
Es válida para n=1
o Paso inductivo:
 Hipótesis: 1+3+5+…+(2k-1) = k2
 Tesis: 1+3+5+…+[2(k+1)-1] = (k+1)2
Demostración:
1+3+5+…+(2k-1)+[2(k+1)-1] = k2 + [2(k+1)-1]
1+3+5+…+[2(k+1)-1] = k2+2k+2-1
1+3+5+…+[2(k+1)-1] = k2+2k+1
1+3+5+…+[2(k+1)-1] = (k+1)2
La demostración a partir de la hipótesis es igual a la tesis,
por lo tanto, es válida también para “k+1”

ya que el teorema es válido para n=1 y también lo es para

n=k+1, podemos afirmar que el teorema es verdadero para
todos los números reales.
 En el siglo XVII la inducción matemática fue empleada por dos
personajes siendo estos los siguientes:
o Pierre de Fermat: El cual empleo la inducción matemática
en el llamado teorema de Fermat, el cual consistía en lo
siguiente: “si “n” es un numero entero mayor que “z”,
entonces no existen enteros x,y,z tales que se cumpla la
siguiente igualdad: xn+yn=zn”
Cabe resaltar, además, que para demostrar su teorema
Fermat uso la técnica del descenso infinito, el cual es una
variante del principio de inducción.
Si bien este teorema fue dado en el año 1637, no fue
demostrado sino hasta el año1995 cuando Andrew wiles
publico la demostración de este teorema.

13
 “INDUCCIÓN MATEMATICA”

o Blaise Pascal: estableció la primera formulación explícita de

la inducción matemática en su obra Traité du triangle
arithmétique (teoría de probabilidad y combinatoria) en el
año 1665. En el Traité des sinus utiliza el método de
demostración de la inducción matemática. Tuvo Interés en
los trabajos de Leibniz y por el cálculo diferencial e integral.
2. Definición del termino inducción matemática y formalización del tema.
Esto fue dispuesto por el matemático británico Augustus de Morgan En 1838,
cuando definió sobre bases rigurosas el concepto de "inducción
matemática", que se había usado hasta entonces sin ninguna claridad. La
definición del término apareció por primera vez en el artículo "Inducción
(Matemáticas)", que De Morgan escribió para la Penny Cyclopedia,
publicada por la Society for the Diffusion of Useful Knowledge . inventó el
término inducción matemática como una técnica de demostración,
formalizando un método que los matemáticos habían usado durante mucho
tiempo.

14
 “INDUCCIÓN MATEMATICA”

EJEMPLOS DE INDUCCION
Ejemplo 1
Demostrar la siguiente formula:
𝑛
𝑛 ∗ (𝑛 + 1) ∗ (2 ∗ 𝑛 + 1)
∑ 𝑖2 =
6
𝑖=1

Paso 1: n=1
1
1 ∗ (1 + 1) ∗ (2 ∗ 1 + 1)
∑ 𝑖2 =
6
𝑖=1

1(2)(3)
12 =
6
6
1=
6
1=1
Paso 2:
Se acepta que: n=k
𝑘
𝑘 ∗ (𝑘 + 1) ∗ (2 ∗ 𝑘 + 1)
∑ 𝑖2 =
6
𝑖=1

Probar: n=k+1
𝑘+1
(𝑘 + 1) ∗ (𝑘 + 1 + 1) ∗ {2 ∗ (𝑘 + 1) + 1}
∑ 𝑖2 =
6
𝑖=1
𝑘
(𝑘 + 1) ∗ (𝑘 + 2) ∗ (2 ∗ 𝑘 + 2 + 1)
∑ 𝑖 2 + (𝑘 + 1)2 =
6
𝑖=1

𝑘 ∗ (𝑘 + 1) ∗ (2𝑘 + 1) (𝑘 + 1) ∗ (𝑘 + 2) ∗ (2𝑘 + 3)
+ (𝑘 + 1)2 =
6 6
𝑘 ∗ (𝑘 + 1) ∗ (2𝑘 + 1) + 6 ∗ (𝑘 + 1)2 (𝑘 + 1) ∗ (𝑘 + 2) ∗ (2𝑘 + 3)
=
6 6
(𝑘 + 1) ∗ {𝑘 ∗ (2𝑘 + 1) + 6 ∗ (𝑘 + 1)} (𝑘 + 1) ∗ (𝑘 + 2) ∗ (2𝑘 + 3)
=
6 6
(𝑘 + 1) ∗ {2 ∗ 𝑘 2 + 𝑘 + 6 ∗ 𝑘 + 6} (𝑘 + 1) ∗ {2 ∗ 𝑘 2 + 3 ∗ 𝑘 + 4 ∗ 𝑘 + 6}
=
6 6

15
 “INDUCCIÓN MATEMATICA”

(𝑘 + 1) ∗ (2𝑘 2 + 7 ∗ 𝑘 + 6) (𝑘 + 1) ∗ (2𝑘 2 + 7 ∗ 𝑘 + 6)
=
6 6
Ejemplo 2

Demuestra por inducción completa que para todo número natural n, tal que:
3n – 1 es divisible por 2.

Inicio de inducción: Para n = 0:

30 – 1 = 1 – 1 = 0

no se cumple la propiedad. Para n = 1, 31 – 1 = 2

es divisible por 2. Se cumple la propiedad. Elaborar de conjunto con los

alumnos que, si un número es divisible por 2, entonces es de la forma 2x,
con x que pertenece a N.

Hipótesis de inducción: Para n = k: 3k – 1 = 2x.

Tesis de inducción: Para n = k + 1: 3k + 1 – 1 = par

Demostración de la tesis de inducción: 3k – 1 = 2x Multiplicando por 3

ambos miembros, tenemos: 3·3k-3 = 6x

3k+1 = 3 + 6x

3k+1 = 2 + 1 + 6x

3k + 1 – 1 = 2 + 6x

3k + 1 – 1 = 2 (1 + 3x)

3k + 1 – 1 = par y luego 3n – 1

Es divisible por 2 para todo n que pertenece a los números naturales distintos
de cero.

16
 “INDUCCIÓN MATEMATICA”

Ejemplo 3

Demuestre, por inducción, que:

𝑛
1 𝑛
∑ = 𝑃𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑛Є𝑁
𝑘2 + 𝑘 𝑛 + 1
𝑘=1

Para n=1
𝑛
1 1
∑ =
𝑘2 + 𝑘 1 + 1
𝑘=1

1 1
=
12 + 1 1 + 1
1 1
=
2 2
Hipótesis de Inducción:
𝑛
1 𝑛
∑ =
𝑘2 +𝑘 𝑛+1
𝑘=1

Por demostrar:
𝑛+1
1 𝑛+1
∑ =
𝑘2 + 𝑘 𝑛 + 2
𝑘=1

𝑛+1 𝑛
1 1 1
∑ 2 = (∑ 2 )+ 2
𝑘 +𝑘 𝑘 +𝑘 (𝑛 + 1) + (𝑛 + 1)
𝑘=1 𝑘=1

𝑛+1
1 𝑛 1
∑ = + 2
𝑘2 + 𝑘 𝑛 + 1 𝑛 + 2𝑛 + 1 + 𝑛 + 1
𝑘=1

𝑛+1
1 𝑛 1
∑ = +
𝑘 2 + 𝑘 𝑛 + 1 𝑛2 + 2𝑛 + 1 + 𝑛 + 1
𝑘=1

𝑛+1
1 𝑛 1
∑ = + 2
𝑘2 + 𝑘 𝑛 + 1 𝑛 + 3𝑛 + 2
𝑘=1

𝑛+1
1 𝑛 1
∑ = +
𝑘2 + 𝑘 𝑛 + 1 (𝑛 + 1)(𝑛 + 2)
𝑘=1

17
 “INDUCCIÓN MATEMATICA”

𝑛+1
1 𝑛(𝑛 + 2) + 1
∑ =
𝑘2 + 𝑘 (𝑛 + 1)(𝑛 + 2)
𝑘=1

𝑛+1
1 𝑛2 + 2𝑛 + 1
∑ =
𝑘 2 + 𝑘 (𝑛 + 1)(𝑛 + 2)
𝑘=1

𝑛+1
1 (𝑛 + 1)2
∑ 2 =
𝑘 + 𝑘 (𝑛 + 1)(𝑛 + 2)
𝑘=1

𝑛+1
1 𝑛+1
∑ =
𝑘2 +𝑘 𝑛+2
𝑘=1

Ejemplo 4

Demuestre, por inducción, que: 𝑛2 + 𝑛, 𝑃𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑛Є 𝑁

Para n=1

12 + 1 = 2, 𝑒𝑠 𝑝𝑎𝑟

Hipótesis de Inducción:

𝑆 = 𝑛2 + 𝑛 𝑒𝑠 𝑝𝑎𝑟, 𝑒𝑠 𝑑𝑒𝑐𝑖𝑟 𝑛2 + 𝑛 = 2𝑘 𝑐𝑜𝑛 𝑘Є 𝑍

Por demostrar:

𝑆 = (𝑛 + 1)2 + (𝑛 + 1) 𝑒𝑠 𝑝𝑎𝑟

𝑆 = 𝑛2 + 2𝑛 + 1 + 𝑛 + 1

𝑆 = (𝑛2 + 𝑛) + 1 + 2𝑛 + 1

𝑆 = 2𝑘 + 2𝑛 + 2

𝑆 = 2(𝑘 + 𝑛 + 1)

𝑆 = 𝑝𝑎𝑟

18
 “INDUCCIÓN MATEMATICA”

Ejemplo 5

Demuestre usando Inducción, que los números de la forma:

5𝑛3 + 7𝑛 𝑠𝑜𝑛 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒𝑠 𝑝𝑜𝑟 6

Para n=1

5(1)3 + 7(1) = 12 = 6 ∗ 2

Hipótesis de Inducción:

𝑆 = 5𝑛3 + 7𝑛 = 6𝑘 𝑐𝑜𝑛 𝑘Є 𝑍

Por demostrar:

𝑆 = 5(𝑛 + 1)3 + 7(𝑛 + 1) = 6𝑝, 𝑐𝑜𝑛 𝑝Є 𝑍

𝑆 = 5(𝑛 + 1)3 + 7(𝑛 + 1)

𝑆 = 5(𝑛3 + 3𝑛2 + 3𝑛 + 1) + 7𝑛 + 7

𝑆 = 5𝑛3 + 15𝑛2 + 15𝑛 + 5 + 7𝑛 + 7

𝑆 = 5𝑛3 + 7𝑛 + 15𝑛2 + 15𝑛 + 12

𝑆 = 6𝑘 + 15𝑛2 + 15𝑛 + 12
𝑆 = 6𝑘 + 15(𝑛2 + 𝑛) + 12, 𝑎𝑑𝑒𝑚𝑎𝑠 𝑠𝑎𝑏𝑒𝑚𝑜𝑠 𝑞𝑢𝑒 𝑛2 + 𝑛 𝑒𝑠 𝑝𝑎𝑟, 𝑒𝑠 𝑑𝑒𝑐𝑖𝑟 𝑛2 + 𝑛 = 2𝑠

𝑆 = 6𝑘 + 15 ∗ 2𝑠 + 12

𝑆 = 6𝑘 + 30𝑠 + 12

𝑆 = 6(𝑘 + 5𝑠 + 2), 𝑒𝑠 𝑑𝑒𝑐𝑖𝑟 𝑆 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑒𝑛𝑡𝑟𝑒 6

19
 “INDUCCIÓN MATEMATICA”

PARADOJAS PRESENTES EN LA INDUCCION MATEMÁTICA

DEFINICION:
Una paradoja (del latín paradoxa, ‘lo contrario a la opinión común’) o antilogía es
una idea extraña opuesta a lo que se considera verdadero a la opinión general.
También se considera paradoja a una proposición en apariencia falsa o que
infringe el sentido común, pero no conlleva una contradicción lógica, en
contraposición a un sofisma que solo aparenta ser un razonamiento válido.
Algunas paradojas son razonamientos en apariencia válidos, que parten
de premisas en apariencia verdaderas, pero que conducen a contradicciones o
situaciones contrarias al sentido común. En la retórica, es una figura
de pensamiento que consiste en emplear expresiones o frases que implican
contradicción. Las paradojas son estímulo para la reflexión y a menudo los
filósofos se sirven de ellas para revelar la complejidad de la realidad. La paradoja
también permite demostrar las limitaciones de la comprensión humana; la
identificación de paradojas basadas en conceptos que a simple vista parecen
sencillas y razonables ha impulsado importantes avances en la ciencia,
la filosofía y las matemáticas.
PARADOJA DEL CABALLO
La paradoja del caballo es una demostración (falsa) de la siguiente
proposición: Todos los caballos son del mismo color.

Todos los caballos no son necesariamente del mismo color

20
 “INDUCCIÓN MATEMATICA”

El argumento

Para ello se usa el principio de inducción matemática. Como caso base, podemos
observar que en un conjunto que contiene a un único caballo, todos los caballos
son claramente del mismo color. Ahora suponemos que la proposición es cierta
para todos los conjuntos de tamaño inferior a n y para los de tamaño n. Si hay n +
1 caballos en un conjunto, retiramos un caballo para obtener un conjunto resultante
de n caballos y, por la suposición de inducción, todos los caballos en ese conjunto
son del mismo color. Queda demostrar que este color es el mismo al del caballo
que hemos retirado. Pero es fácil, lo que tenemos que hacer es devolver el primer
caballo, retirar otro y aplicar otra vez el principio de inducción a este conjunto
de n caballos. Así todos los caballos en un conjunto de n+1 caballos son del mismo
color. Por el principio de inducción, hemos establecido que todos los caballos son
del mismo color.

La explicación

El error está en el paso de n a n+1, de los n+1 caballos se hace dos conjuntos de
n caballos, pero para que el argumento funcione esos conjuntos deben tener
intersección no vacía lo cual sólo se cumple para n mayor o igual que 3 y en n=2
es falso. De hecho, si se pudiera demostrar que todos los conjuntos de 2 caballos
tienen caballos del mismo color entonces se podría hacer la inducción, pero ello
también es falso.

PARADOJA DE HAMPEL
Un caso curioso de problema que presenta la inducción es la famosa paradoja
de Hempel propuesta por el filósofo nacionalizado estadounidense Carl Gustav
Hempel. La paradoja viene a decir que afirmar que “Todos los cuervos son
negros” es lógicamente equivalente a “Todos los objetos no blancos son no
cuervos”. Por lo tanto, cada vez que veamos un objeto que no sea negro y que
no sea un cuervo estamos verificando que todos los cuervos son negros. Ahora
mismo en mi cuarto hay un montón de objetos no negros que no son
cuervos… ¡cada objeto del Universo que no sea negro y no sea un cuervo
verifica nuestra hipótesis!
Hempel decía que eso no era un problema. Efectivamente, cada objeto no negro
y no cuervo verificará que todos los cuervos son negros, lo que pasa es que lo
hará en un grado muy pequeño, infinitésimo si habláramos de porcentajes. Lo
que Hempel quería mostrar con todo esto es que hay que tener en cuenta la
totalidad de los objetos del Universo a la hora de comprobar la fiabilidad de
nuestras afirmaciones. Sin embargo, sí que hay un gran problema. Si tenemos
dos proposiciones autoexcluyentes como “Todos los cuervos son
negros” y “Todos los cuervos son blancos” y nos encontramos con el caso
empírico de “Un canario amarillo”, ¡resulta que este caso verifica por igual
a ambas proposiciones contradictorias!

21
 “INDUCCIÓN MATEMATICA”

Otro ejemplo de paradoja surgida de la inducción la podemos realizar con un

sencillo mazo de naipes. Supongamos que lanzamos la siguiente hipótesis: “Las
cartas de valor n nunca estarán en la posición n”. Barajamos y vamos
sacando una a una cada carta, situándolas en orden encima de la mesa. Si, por
ejemplo, el dos de tréboles sale la segunda o el cinco de corazones sale la quinta,
nuestra hipótesis será refutada. Jugamos con cinco cartas (del uno al cinco de
picas) y, vamos a imaginar que salen en el siguiente orden:
1-3, 2-4, 3-2, 4-1, 5…
El tres sale en primer lugar (confirma nuestra hipótesis), el cuatro en el segundo
(confirma nuestra hipótesis), el dos en el tercero… Cada uno de los experimentos
han ido verificando nuestra hipótesis pero si nos fijamos… ¿qué carta es la que
nos queda por sacar? Comprobando las que ya han salido vemos que sólo
queda por salir el cinco de picas en la posición cinco… si, por sí solo, cada
experimento verificaba nuestra hipótesis, ¡Todos ellos juntos la refutan!

22
 “INDUCCIÓN MATEMATICA”

Conclusiones
 La inducción matemática es importante puesto que nos ayuda a demostrar que
ciertos teoremas son en efecto verdaderos para todos los casos posibles,
empleando reglas y principios básicos que permiten diferenciar los enunciados
verdaderos de los falsos.
 La inducción matemática es una subcategoría del método inductivo que
empleando el método científico nos permite obtener un enunciado general a
partir de enunciados que describen casos particulares, además estos
enunciados pueden encontrarse en 2 formas, una de estas seria la inducción
completa donde se logra una conclusión que abarca todos los casos posibles,
en cambio, la incompleta abarca una cantidad limitada de datos para sacar una
conclusión.
 Tras analizar y desarrollar una serie de ejemplos podemos determinar que el
método de inducción matemática es muy importante para poder demostrar los
teoremas propuestos, dándonos una idea clara y concisa de cuan efectivo es
un método para su rango según el enunciado.
 Las paradojas son razonamientos que aparentemente suelen verse como
válidos pero que en su mayoría son contradictorios, además casi siempre los
encontramos cuando creamos nuevas ideas, o en las hipótesis que lanzamos a
nuestro problema, generando así impulsos importantes para el avance de la
ciencia y las matemáticas.

23
 “INDUCCIÓN MATEMATICA”

Bibliografía
biografias y vidas. (s.f.). Biografia de Francesco Maurolico. Obtenido de
biografias y vidas:
https://www.biografiasyvidas.com/biografia/m/maurolico.htm
biografias y vidas. (s.f.). Biografia de Pierre de Fermat. Obtenido de biografias y
vidas: https://www.biografiasyvidas.com/biografia/f/fermat.htm
Boero, H. (22 de enero de 2008). Augustus De Morgan (Grupo de Estudios
Peirceanos). Obtenido de Universidad de Navarra:
http://www.unav.es/gep/DeMorgan.html
EcuRed. (s.f.). Método de inducción completa - EcuRed. Obtenido de EcuRed:
https://www.ecured.cu/M%C3%A9todo_de_inducci%C3%B3n_completa
González, A. I. (s.f.). De Morgan, Augustus (1806-1871). » MCNBiografias.com.
Obtenido de MCNBiografias: http://www.mcnbiografias.com/app-
bio/do/show?key=de-morgan-augustus
Hilario, L. (2015). El resultado de la suma de los n primeros números impares
es - ppt descargar. Obtenido de slideplayer:
https://slideplayer.es/slide/3618189/
KOLATA, G. (15 de febrero de 1995). Así se solucionó el defecto en la
demostración del teorema de Fermat | Edición impresa | EL PAÍS.
Obtenido de EL PAÍS:
https://elpais.com/diario/1995/02/15/sociedad/792802815_850215.html
La Máquina de Von Neumann. (23 de marzo de 2009). La paradoja de Hempel
y otros problemas de la inducción. | La Máquina de Von Neumann.
Obtenido de La Máquina de Von Neumann:
https://vonneumannmachine.wordpress.com/2009/03/23/la-paradoja-de-
hempel-y-otros-problemas-de-la-induccion/
Lucca, A. M. (3 de julio de 2019). Augustus De Morgan | Blog de Matemática y
TIC's. Obtenido de Blog de Matemática y TIC's:
https://matematics.wordpress.com/tag/augustus-de-morgan/
Retamal, R. G. (9 de noviembre de 2013). Inducción Matemática. Obtenido de
SlideShare: https://es.slideshare.net/RodrigoGuzmanRetamal/31-
induccin
Soliz, C. M. (7 de julio de 2017). Principio de inducción matemática ejemplos -
YouTube. Obtenido de YouTube:
https://www.youtube.com/watch?v=pqk9wwQIKCA
Torres, J. V. (Agosto de 2008). FASCICULO DE INDUCCION
MATEMATICA.pdf. Obtenido de Universidad Nacional Autónoma de
México:

24
 “INDUCCIÓN MATEMATICA”

http://www.ptolomeo.unam.mx:8080/xmlui/bitstream/handle/132.248.52.1
00/9320/FASCICULO%20DE%20INDUCCION%20MATEMATICA.pdf?s
equence=1
vidas, b. y. (s.f.). Biografia de Blaise Pascal. Obtenido de biografias y vidas:
https://www.biografiasyvidas.com/biografia/p/pascal.htm
Wikipedia. (25 de diciembre de 2002). Último teorema de Fermat - Wikipedia, la
enciclopedia libre. Obtenido de Wikipedia, la enciclopedia libre:
https://es.wikipedia.org/wiki/%C3%9Altimo_teorema_de_Fermat
Wikipedia. (24 de abril de 2003). Inducción matemática - Wikipedia, la
enciclopedia libre. Obtenido de Wikipedia, la enciclopedia libre:
https://es.wikipedia.org/wiki/Inducci%C3%B3n_matem%C3%A1tica
Wikipedia. (6 de abril de 2004). Blaise Pascal - Wikipedia, la enciclopedia libre.
Obtenido de Wikipedia, la enciclopedia libre:
https://es.wikipedia.org/wiki/Blaise_Pascal#Los_Pensamientos_/_Pens%
C3%A9es

25