Introducción al pensamiento matemático.

Unidad 2. Demostraciones.

Actividad 1. ¿Qué es una demostración?

Alumno: Cynthia Rossina Rodríguez Cordero

Docente: María Angélica Estévez Coyotzi
Matrícula: ES181000926.
Grupo: MT-MIPM-1802-B1-006.
Carrera: Licenciatura en Matemáticas

Universidad Abierta y a Distancia de México

Introducción al Pensamiento Matemático
Unidad 2. Demostraciones

Contenido
Demostraciones.....................................................................................................................3
¿Qué es demostrar?...................................................................................................3
¿Qué es método?.......................................................................................................3
¿Qué es una hipótesis?..............................................................................................3
Métodos de demostración matemática....................................................................3
Método de inducción matemática............................................................................3
Método por reducción al absurdo............................................................................4
Método de demostración directo..............................................................................4
Ejemplificación de los métodos de demostración...................................................4
Método de inducción directa....................................................................................4
Método por reducción al absurdo............................................................................5
Recomendaciones para facilitar la realización de las demostraciones...................5

Referencias............................................................................................................................6

UNADM | DCEIT | MAT 2

Introducción al Pensamiento Matemático
Unidad 2. Demostraciones

Demostraciones.

¿Qué es demostrar?
Según la Real Academia Española (2018), demostrar (Del lat. Demonstrāre) es “manifestar, declarar,
probar, sirviéndose de cualquier género de demostración”.
Ahora bien, demostración (Del lat. demonstratio, -ōnis) es “la prueba de algo, partiendo de verdades
universales y evidentes” (RAE, 2018).
Sin embargo, en términos matemáticos, se dice que la demostración es “una secuencia finita de
deducciones lógicas que empiezan con axiomas o con resultados previamente demostrados y llevan a
una conclusión conocida como teorema o preposición”. (Ávila, 2014).

¿Qué es método?
De acuerdo con la Real Academia Española (2018), método (Del lat. methŏdus, y este del gr. μέθοδος
méthodos) es un “procedimiento que se sigue en las ciencias para hallar la verdad y enseñarla”

¿Qué es una hipótesis?

Hipótesis (Del griego ὑπόθεσις) significa suponer o poner bajo consideración. Una hipótesis es una
suposición provisional que se hace para explicar algo. Por su carácter provisional, la hipótesis se
presenta como posible y está sujeta a ser comprobada.
En lógica las hipótesis “son el conjunto de afirmaciones adicionales que son añadidas al conjunto de
axiomas, para determinar si la fórmula es deducible del conjunto formado por axiomas e hipótesis
mediante la aplicación de reglas de inferencia”. (Educalingo, 2018).

Métodos de demostración matemática.

Método de inducción matemática.

Se emplea cuando se trata de fijar la veracidad de una lista infinita de proposiciones que dependen de
un parámetro n que toma una infinidad de valores, generalmente, en el conjunto de los números
enteros naturales N.
La inducción matemática es un método que se usa para demostrar propiedades, formulas, validarlas y
probar que son verdaderas. Dicho método es simple, pues consta de tres principales pasos en los que
se debe demostrar la propiedad sustituyendo su incógnita por 1, después por n y al final por n+1.
El método de inducción matemática puede definirse de dos formas:
Sea P(n) una propiedad relacionada con el número natural n.
Base: Se demuestra que P(1) es cierta. Esto es el primer valor que cumple la proposición (Iniciación
de la inducción).
Paso inductivo: Se prueba que si P(n) es cierta, entonces P(n+1) también lo es.
Después de mostrar esto, se concluye por inducción, que P(n) es cierto para todo el natural n.

UNADM | DCEIT | MAT 3

Introducción al Pensamiento Matemático
Unidad 2. Demostraciones

Método por reducción al absurdo.

Para demostrar la validez de una proposición, se supone que la tesis de la proposición a demostrar es
falsa, y a través de una sucesión de inferencias lógicas validas se deriva una contradicción lógica, un
absurdo.
De esta forma, se concluye que la hipótesis de partida (La negación de la tesis) ha de ser falsa y que la
proposición es válida.
Este método parte del principio de exclusión de intermedios: Una proposición que no puede ser falsa
es necesariamente verdadera, y una proposición que no puede ser verdadera es necesariamente falsa.
La reducción al absurdo está basada en la equivalencia: p  q  (p y q)
Este método también se anuncia del siguiente modo:
Para demostrar que p  q Se construye un absurdo, suponiendo falsa la conclusión (q) y usando la
hipótesis (p).

Método de demostración directo.

Este método consiste en demostrar una proposición en la cual le afirman el condicional y la hipótesis
(o antecedente) y se pretende demostrar la tesis (o consecuente). Este método se fundamenta en la
regla de inferencia: Modus Ponendo Ponens MPP.
Se plantea una proposición, en la forma si p entonces q, donde p se denomina hipótesis y q se llama
tesis. Esto se suele leer así:
Si p, entonces q.
Para que se cumpla q es suficiente que se cumpla p.
q es una condición necesaria para que se cumpla p.
Se trata de demostrar que, si se cumple la propiedad p, entonces se verifica q.

Ejemplificación de los métodos de demostración.

Método de inducción directa.
Si n es un entero positivo, entonces n(n+1) es c) Sean n=k+1, entonces:
divisible por 2.
(k+1) (k+2) es divisible por 2. (Tesis).
a) Sea n=1, entonces:
d) Demostración.
n(n+1) = 2. Verdadero.
(k+1) (k+2) = k(k+1) +2(k+1)
b) Sea n=k, entonces:
K(k+1) es divisible por 2 (Por hipótesis de
K(k+1) es divisible por 2. (Hipótesis de inducción)
inducción)
2(k+1) es divisible por 2 (Entero par)
Por lo tanto, (k+1) (k+2) es divisible por 2.

UNADM | DCEIT | MAT 4

Método por reducción al absurdo.
Demostrar por reducción al absurdo que no existe ningún número racional cuyo cuadrado sea 2.
Lo que se está demostrando es que √2 es un número irracional. Se supone, por reducción al
absurdo que √2 es un número racional:
a
√ 2= con a y b primos entre sí.
b
Se eleva al cuadrado:
a2
2= 2 con a y b primos entre sí.
b

Se obtiene:
2 2
2 b =a con a y b primos entre sí.
Por lo tanto, sabemos que a 2 es un número par. Luego también a es un número par, es decir:
a=2c.
Se sustituye en la fórmula anterior:
2 2
2 c ¿ =4 c
2 2 con a y b primos entre sí.
2 b =a =¿
Simplificando:
2
a
b2 = =2c 2 con a y b primos entre sí.
2
Se concluye que b es un número par al igual que a. Absurdo pues a y b eran primos entre sí.
Con lo cual la hipótesis de partida (√2 es un número racional) es falsa. Es decir: √2 es un
número irracional.

Recomendaciones para facilitar la realización de las demostraciones.

En los distintos métodos hay lineamientos que se tienen que seguir. También, muy aparte de
estas reglas, se requiere de ingenio y destreza, siempre es necesario raciocinio y capacidad
deductiva y capacidad de abstracción.
Asimismo, es realmente importar conocer el lenguaje lógico, pues si no se conoce es imposible
hacer demostraciones, no se comprenden. Dado que, no se tienen los conocimientos para
entender y mucho menos reproducir una demostración. Esto nos ayudará a entender el
problema.
Por otra parte, es fundamental enseñarse a cómo reconocer los elementos típicos de un
argumento matemático. Se debe entender y analizar su estructura, ya que así se será capaz de
crear demostraciones.
 Referencias

Argueta, H., & Linares, M. (s.f.). Método por reducción al absurdo. Recuperado el 09 de agosto
de 2018, de Instituto de Matemáticas UNAM:
http://newton.matem.unam.mx/calculo1/Logica/l_logica09_d.html

COACHING PARA MATEMÁTICOS. (2014). COMO APRENDER A DEMOSTRAR I.

Recuperado el 09 de agosto de 2018, de COACHING PARA MATEMÁTICOS:
https://coachingparamatematicos.wordpress.com/2014/03/09/como-aprender-a-
demostrar-i/

Demostrar. (s.f.). Recuperado el 09 de agosto de 2018, de Diccionario de lengua española:

http://dle.rae.es/srv/search?m=30&w=demostrar

Diccionario de la lengua española. (2018). Demostración. Recuperado el 09 de agosto de 2018,

de Diccionario de la lengua española: http://dle.rae.es/?id=CAk4RRq

Diccionario de la lengua española. (2018). Método. Recuperado el 09 de agosto de 2018, de

Diccionario de la lengua española: http://dle.rae.es/?id=P7dyaFK

Eliseo D´Andrea, R., & Sastre Vázquez, P. (2013). Ideas para enseñar: ¿Cómo facilitar el proceso
de demostración matemática en estudiantes universitarios? Revista Iberoamericana de
Educación Matemática(33), 137-145. Recuperado el 09 de agosto de 2018, de
http://www.fisem.org/www/union/revistas/2013/33/ARCHIVO15.pdf

Hipótesis. (s.f.). Recuperado el 09 de agosto de 2018, de Plataforma de Humanidades:

http://humanidades.cosdac.sems.gob.mx/logica/vocabulario/hipotesis/

Inducción matemática. (s.f.). Recuperado el 09 de agosto de 2018, de Inducción matemática:

http://induccionmatematica.galeon.com/

Libros para estudiar y enseñar matemáticas. (2016). Cómo entender y hacer demostraciones en
matemáticas. Recuperado el 09 de agosto de 2018, de
https://librosparaestudiarmatematicas.wordpress.com/2016/08/14/como-entender-y-
hacer-demostraciones-en-matematicas/

Lillo, N. (s.f.). INDUCCIÓN MATEMÁTICA. Recuperado el 09 de agosto de 2018, de CURSOS,

APUNTES, RECURSOS INTERACTIVOS EN LÍNEA Y VIDEOS DE MATEMÁTICA,
FÍSICA Y QUÍMICA:
http://www.eneayudas.cl/induccionmatematica/induccionmatematica.htm

Matemáticas discretas. (2017). INFERENCIA Y DEMOSTRACIÓN. Recuperado el 09 de agosto

de 2018, de Medium: https://medium.com/@matematicasdiscretaslibro/5-inferencia-y-
demostraci%C3%B3n-2a000b541c0a

Métodos de demostración. (s.f.). Recuperado el 09 de agosto de 2018, de OpenCourseWare:

https://ocw.ehu.eus/pluginfile.php/2824/mod_resource/content/1/elemen_mate/ejerc
icios-resueltos/resueltos-1.pdf
Universidad de Murcia. (s.f.). Las demostraciones en Matemáticas. Recuperado el 09 de agosto
de 2018, de Universidad de Murcia: http://www.um.es/docencia/jsimon/depmat/2017-
2018/CyN/Linero-DemostracionMatematicas(jsimon).pdf

Wikipedia. (2018). Demostración matemática. Recuperado el 09 de agosto de 2018, de

Wikipedia: https://es.wikipedia.org/wiki/Demostraci%C3%B3n_en_matem
%C3%A1tica

Wikipedia. (2018). Hipótesis. Recuperado el 09 de agosto de 2018, de Wikipedia:

https://es.wikipedia.org/wiki/Hip%C3%B3tesis_(l%C3%B3gica)