Volver a la lección

Guía del profesor: Introducción a las demostraciones matemáticas

Aprende los fundamentos de las demostraciones matemáticas y cómo construir argumentos lógicos.

Presentar lecciónCompartir en ClassroomVer página del estudiante

Usa esta lección con tu clase

Gratis, sin cuentas para los alumnos.

Compartir con los alumnos

Los alumnos abren la lección y practican con corrección inmediata.

Ficha imprimible

Todos los ejercicios en papel, con las soluciones aparte.

Ficha de ejercicios Soluciones

Cuestionario de clase

10 preguntas sobre Demostraciones matemáticas. Los alumnos entran con su nombre y tú ves todas las puntuaciones.

Para profesores

Objetivos de aprendizaje
  • Explicar el propósito y la estructura de una demostración matemática
  • Construir demostraciones directas usando definiciones y razonamiento lógico
  • Aplicar la demostración por reducción al absurdo para mostrar que enunciados son verdaderos
  • Identificar errores lógicos comunes en argumentos matemáticos
  • Justificar cada paso de una demostración con razonamiento apropiado
Requisitos previos
  • • Comprensión de manipulaciones algebraicas básicas
  • • Familiaridad con enteros, números pares e impares
  • • Comprensión básica de conectivos lógicos (y, o, si-entonces)
Iniciadores de discusión
  • 1. ¿Por qué los matemáticos exigen demostraciones en lugar de simplemente aceptar patrones?
  • 2. ¿Puedes pensar en un patrón que parece verdadero pero falla para números grandes?
  • 3. ¿En qué se diferencia una demostración matemática de la evidencia científica?
  • 4. ¿Por qué suponer lo contrario podría ser una estrategia útil para resolver problemas?
Conceptos erróneos comunes

Varios ejemplos demuestran que un enunciado es siempre verdadero

Remediación: Muestra un contraejemplo: 'Todos los primos son impares' parece verdadero para 3, 5, 7, 11... ¡pero 2 es par! Un contraejemplo refuta un enunciado universal.

La demostración por reducción al absurdo siempre funciona

Remediación: Explica que la contradicción debe surgir genuinamente de nuestra suposición, no de un error de razonamiento.

Las variables hacen las demostraciones más difíciles, no más fáciles

Remediación: Demuestra cómo usar n=2kn = 2k para 'cualquier número par' nos permite demostrar enunciados para infinitos números a la vez.

Ideas de diferenciación

Para estudiantes con dificultades:

  • • Proporcionar plantillas de demostración con espacios en blanco para completar
  • • Comenzar con demostraciones muy simples sobre números pares/impares
  • • Usar código de colores para distinguir hipótesis, pasos y conclusión

Para estudiantes de nivel:

  • • Practicar demostraciones directas con propiedades de números
  • • Introducir demostración por reducción al absurdo con ejemplos guiados
  • • Hacer que los estudiantes expliquen la justificación de cada paso

Para estudiantes avanzados:

  • • Explorar la demostración por inducción matemática
  • • Demostrar propiedades de números primos
  • • Analizar y criticar demostraciones complejas por su validez
Alineación con estándares
  • HSN-RN.B.3 (CCSS.MATH.CONTENT.HSN.RN.B.3)

    Explicar por qué sumas y productos de racionales son racionales y por qué un racional más un irracional es irracional

  • MP3 (CCSS.MATH.PRACTICE.MP3)

    Construir argumentos viables y criticar el razonamiento de otros

Recursos de la lección
  • visualDiagrama de estructura de demostración

    Desglose visual de los componentes de una demostración

  • activityEncuentra el error

    Los estudiantes identifican fallos en demostraciones inválidas

  • worksheetPráctica de demostración directa

    Práctica guiada con demostraciones de teoría de números

Contenido de la lección

Todo lo que ven los alumnos: definición, ejemplos, errores comunes, aplicaciones. Toca para abrir.

Definición

Una demostración matemática es un argumento lógico que demuestra por qué un enunciado matemático debe ser verdadero. Las demostraciones utilizan hechos establecidos, definiciones y reglas lógicas para llegar a una conclusión innegable.
Una demostración consta de:
  • Información dada (premisas o hipótesis)
  • Pasos lógicos (cada uno justificado por una regla o un hecho ya demostrado)
  • Conclusión (el enunciado que se demuestra)
La estructura de una demostración simple:
Si P entonces Q\text{Si } P \text{ entonces } Q
Donde PP es nuestra suposición inicial y QQ es lo que queremos demostrar.

Ejemplos resueltos

Demuestra que la suma de dos números pares es par.
1

Definir qué significa par

Un número nn es par si n=2kn = 2k para algún entero kk → Definición establecida
2

Sean aa y bb dos números pares

Por definición: a=2ma = 2m y b=2nb = 2n donde m,nm, n son enteros → Expresar usando la definición
3

Sumar los dos números

a+b=2m+2n=2(m+n)a + b = 2m + 2n = 2(m + n) → Factorizar el 2
4

Identificar la forma

2(m+n)2(m + n) es 2×(entero)2 \times (\text{entero}), que es la definición de par → Coincide con la definición
5

Enunciar la conclusión

Por lo tanto, a+ba + b es par → QED

Errores comunes

Usar ejemplos específicos en lugar de una demostración general

Por qué está mal: Mostrar que 2+4=62 + 4 = 6 es par solo prueba UN caso, no TODOS los casos.

Correcto: Usa variables (2m+2n2m + 2n) para representar CUALQUIER par de números pares.

Suponer lo que se quiere demostrar

Por qué está mal: No puedes usar la conclusión en tu razonamiento - eso es lógica circular.

Correcto: Comienza solo con la información dada y las definiciones, luego deriva la conclusión.

Falta de justificación para los pasos

Por qué está mal: Cada paso debe estar justificado por una definición, axioma o teorema ya demostrado.

Correcto: Siempre indica POR QUÉ cada paso se deriva del anterior.

Confundir la dirección de la implicación

Por qué está mal: Si P⇒QP \Rightarrow Q, saber QQ NO nos dice que PP es verdadero.

Correcto: Ten cuidado: la recíproca (Q⇒PQ \Rightarrow P) y la contraria (no P⇒no Q\text{no } P \Rightarrow \text{no } Q) de un enunciado verdadero pueden ser falsas.

Por qué es importante

Las demostraciones matemáticas son la base de todas las matemáticas y del pensamiento crítico:
  • Certeza: A diferencia de la ciencia que se basa en evidencia, las demostraciones proporcionan certeza absoluta
  • Informática: La verificación de programas y la corrección de algoritmos dependen de demostraciones
  • Derecho: Los argumentos legales siguen estructuras lógicas similares
  • Filosofía: El razonamiento lógico es esencial para los argumentos filosóficos
  • Resolución de problemas: Aprender a demostrar desarrolla el pensamiento sistemático
¡Cada teorema que usas en matemáticas fue demostrado por alguien usando estas técnicas!

Aplicaciones del mundo real

Informática: Corrección de algoritmos

Los ingenieros de software usan demostraciones para verificar que los programas funcionan correctamente para todas las entradas.

Ejemplo:

Demostrar que un algoritmo de ordenación siempre produce una lista ordenada suele hacerse por inducción matemática.

1Inténtalo tú mismo

Un bucle se repite nn veces. Cada iteración duplica un contador que comienza en 1.

Demuestra que el valor final es 2n2^n.

Paso 1: Escribe la expresión matemática

Después de kk iteraciones, el valor es:

Criptografía: Demostraciones de seguridad

Los criptógrafos usan demostraciones para probar que romper un código es al menos tan difícil como resolver un problema matemático muy estudiado.

Ejemplo:

El cifrado RSA es seguro mientras factorizar números muy grandes siga siendo difícil. Nadie conoce un método rápido, pero nadie ha demostrado que no exista.

2Inténtalo tú mismo

Si puedes factorizar el producto de dos primos, puedes romper el código.

¿Por qué es más fácil factorizar 15 que 437?

Paso 1: Elige la respuesta correcta

Para encontrar un divisor, solo pruebas los primos hasta la raíz cuadrada. ¿Qué comparación es verdadera?

Razonamiento jurídico: Construcción de argumentos

Los abogados construyen argumentos lógicos similares a las demostraciones matemáticas.

Ejemplo:

El razonamiento legal sigue 'Si la evidencia muestra X, y X implica culpabilidad, entonces el acusado es culpable.'

3Inténtalo tú mismo

Regla: Todos los contratos requieren contraprestación (intercambio de valor). La persona A firmó un documento pero no recibió nada.

¿Es este un contrato válido?

Paso 1: Elige la respuesta correcta

Aplica la regla lógica:

Puntos clave

  • 1Una demostración matemática es un argumento lógico que muestra por qué un enunciado debe ser verdadero
  • 2Demostración directa: suponer la hipótesis, derivar la conclusión paso a paso
  • 3Demostración por reducción al absurdo: suponer lo contrario, llegar a una contradicción
  • 4Cada paso debe estar justificado por una definición, axioma o teorema demostrado
  • 5Las demostraciones deben funcionar para TODOS los casos, no solo ejemplos específicos

Preguntas frecuentes

¿Cuál es la diferencia entre un teorema y un axioma?

Un axioma es un enunciado aceptado como verdadero sin demostración. Un teorema es un enunciado que ha sido demostrado usando axiomas y otros teoremas.

¿Por qué necesitamos demostraciones si podemos probar ejemplos?

Probar ejemplos solo muestra que casos específicos funcionan. Una demostración garantiza que TODOS los casos funcionan. Por ejemplo, no podemos probar infinitos números, pero una demostración los cubre todos.

¿Qué significa QED?

QED significa 'quod erat demonstrandum' (latín para 'lo que se quería demostrar'). Marca el final de una demostración.

Glosario

Demostración
Un argumento lógico que demuestra que un enunciado matemático es verdadero
Teorema
Un enunciado matemático que ha sido demostrado como verdadero
Axioma
Un enunciado aceptado como verdadero sin demostración; un punto de partida para el razonamiento
Hipótesis
La suposición inicial en un enunciado condicional (la parte 'si')
Conclusión
El resultado que se deriva de la hipótesis (la parte 'entonces')
Contradicción
Una imposibilidad lógica; dos enunciados que no pueden ser ambos verdaderos
QED
Abreviatura que marca el final de una demostración (quod erat demonstrandum)

Más sobre este tema

Demostración directa

Avanzado25 min

Demostraciones a dos columnas

Intermedio25 min

Demostraciones en párrafo

Avanzado30 min

Demostraciones geométricas

Avanzado30 min