Volver a la lección

Guía del profesor: Demostración directa

Aprende a construir demostraciones directas derivando lógicamente conclusiones de hipótesis dadas usando definiciones, axiomas y teoremas previamente demostrados.

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
  • Identificar la hipótesis y la conclusión en un enunciado condicional
  • Construir una demostración directa usando definiciones y manipulación algebraica
  • Escribir pasos claros y lógicos que conecten la hipótesis con la conclusión
  • Aplicar la demostración directa a enunciados de teoría de números
Requisitos previos
  • • Comprensión de enunciados condicionales (si-entonces)
  • • Álgebra básica y manipulación de variables
  • • Familiaridad con las definiciones de números pares e impares
  • • Conocimiento de las propiedades de los enteros
Iniciadores de discusión
  • 1. ¿Por qué verificar algunos ejemplos no es lo mismo que una prueba?
  • 2. ¿Puedes pensar en un enunciado que parece verdadero pero podría ser difícil de demostrar directamente?
  • 3. ¿En qué se diferencia la prueba matemática de la evidencia científica?
  • 4. ¿Qué hace que una prueba sea convincente?
Conceptos erróneos comunes

Verificar varios ejemplos demuestra un enunciado

Remediación: Muestra un contraejemplo: 'Todos los números menores que 10 no son primos' es falso (2, 3, 5, 7 son primos). Incluso 1000 ejemplos no pueden demostrar un enunciado universal.

El orden de los pasos no importa

Remediación: Haz que los estudiantes intenten leer una prueba al revés. El flujo lógico se rompe. Cada paso depende de los anteriores.

Ideas de diferenciación

Para estudiantes con dificultades:

  • • Proporciona plantillas de prueba con espacios para completar
  • • Concéntrate en un tipo de prueba (números pares/impares) antes de diversificar
  • • Permite que los estudiantes trabajen en parejas para discutir cada paso

Para estudiantes de nivel:

  • • Demuestra enunciados sobre sumas y productos de números pares/impares
  • • Escribe pruebas sin plantillas
  • • Identifica errores en pruebas defectuosas

Para estudiantes avanzados:

  • • Demuestra enunciados sobre divisibilidad y números primos
  • • Compara la demostración directa con la prueba por contradicción
  • • Crea sus propias conjeturas y demuéstralas
Alineación con estándares
  • HSN-CN.A.2 (CCSS.MATH.CONTENT.HSN.CN.A.2)

    Usa la relación i2=−1i^2 = -1 y las propiedades conmutativa, asociativa y distributiva para sumar, restar y multiplicar números complejos

  • HSA-APR.C.4 (CCSS.MATH.CONTENT.HSA.APR.C.4)

    Demuestra identidades polinomiales y úsalas para describir relaciones numéricas

  • MP3 (CCSS.MATH.PRACTICE.MP3)

    Construye argumentos viables y critica el razonamiento de otros

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

    Muestra el flujo de la hipótesis a la conclusión

  • activityPrueba para completar

    Los estudiantes completan los pasos faltantes en una prueba

  • worksheetPráctica de demostración directa

    Cinco teoremas para demostrar usando demostración directa

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 directa es un método para probar un enunciado matemático comenzando con hechos conocidos (la hipótesis) y usando pasos lógicos para llegar a la conclusión.
La estructura de una demostración directa:
  1. 1.Asumir que la hipótesis es verdadera
  2. 2.Aplicar definiciones, axiomas y teoremas
  3. 3.Derivar la conclusión mediante razonamiento lógico
Si queremos probar "Si PP, entonces QQ" (escrito P⇒QP \Rightarrow Q):
  • Comenzar asumiendo que PP es verdadero
  • Usar deducciones lógicas para mostrar que QQ también debe ser verdadero
P⇒Q significa: siempre que P es verdadero, Q tambieˊn es verdaderoP \Rightarrow Q \text{ significa: siempre que } P \text{ es verdadero, } Q \text{ también es verdadero}

Ejemplos resueltos

Demuestra: Si aa y bb son enteros pares, entonces a+ba + b es par.
1

Enunciar la hipótesis

Supongamos que aa y bb son enteros pares → Dado: aa y bb son pares
2

Aplicar la definición de par

Un entero par puede escribirse como 2k2k para algún entero kk → a=2ma = 2m y b=2nb = 2n para enteros m,nm, n
3

Sumar los dos números

a+b=2m+2na + b = 2m + 2n
4

Factorizar el factor común

a+b=2(m+n)a + b = 2(m + n)
5

Aplicar nuevamente la definición de par

Como m+nm + n es un entero, 2(m+n)2(m + n) es par por definición → a+ba + b es par

Errores comunes

Usar ejemplos específicos en lugar de una prueba general

Por qué está mal: Mostrar que 2+4=62 + 4 = 6 (par) no prueba nada sobre TODOS los números pares. Una prueba debe funcionar para todos los casos posibles.

Correcto: Usa variables y definiciones. Escribe 'Sea a=2ma = 2m para algún entero mm' para representar CUALQUIER número par.

Asumir lo que se quiere demostrar

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

Correcto: Comienza solo desde la hipótesis y avanza. Nunca escribas 'Como a+ba + b es par...' hasta que lo hayas demostrado.

Saltar pasos lógicos

Por qué está mal: Cada paso debe seguir lógicamente de los pasos anteriores. Las lagunas en el razonamiento pueden ocultar errores.

Correcto: Justifica cada paso con una definición, un axioma o un teorema previamente demostrado.

Por qué es importante

La demostración directa es la técnica de prueba más fundamental en matemáticas:
  • Fundamento de las matemáticas: Cada teorema que usas fue demostrado usando demostración directa o métodos relacionados
  • Ciencias de la computación: Las pruebas de corrección de algoritmos a menudo usan razonamiento directo
  • Argumentos legales: Los abogados construyen argumentos desde las pruebas hasta la conclusión
  • Método científico: Derivar predicciones de hipótesis usa la misma estructura lógica
  • Resolución de problemas: Dividir problemas complejos en pasos lógicos
¡Dominar la demostración directa desarrolla un pensamiento riguroso aplicable mucho más allá de las matemáticas!

Aplicaciones del mundo real

Verificación de software

Los programadores usan la lógica de demostración directa para verificar que su código funciona correctamente para todas las entradas.

Ejemplo:

Para demostrar que un algoritmo de ordenamiento siempre produce una salida ordenada, mostramos: si la entrada es una lista, la salida tiene los mismos elementos en orden no decreciente.

1Inténtalo tú mismo

Un programa duplica cada número en una lista. Necesitamos demostrar: si todos los números de entrada son positivos, todos los números de salida son positivos.

Completa esta demostración directa.

Paso 1: Elige la respuesta correcta

Si x>0x > 0, entonces 2x>?2x > ?

Razonamiento legal

Los abogados construyen argumentos que llevan lógicamente de las pruebas a las conclusiones.

Ejemplo:

Si el contrato establece que el pago vence en la entrega, y la entrega ocurrió el 1 de marzo, entonces el pago vencía el 1 de marzo.

2Inténtalo tú mismo

Ley: Todos los ciudadanos mayores de 18 años pueden votar. Hecho: Alex es ciudadano. Hecho: Alex tiene 21 años.

Demuestra que Alex puede votar.

Paso 1: Elige la respuesta correcta

¿Qué comparación de la edad de Alex con 18 completa el argumento?

Puntos clave

  • 1Una demostración directa asume que la hipótesis es verdadera y deriva la conclusión mediante pasos lógicos
  • 2Usa definiciones para traducir palabras a expresiones matemáticas (por ejemplo, par = 2k2k)
  • 3Cada paso debe seguir lógicamente de los pasos anteriores usando álgebra, definiciones o teoremas
  • 4La prueba termina cuando alcanzas la forma exacta de la conclusión
  • 5QED (quod erat demonstrandum) marca el final de una prueba

Preguntas frecuentes

¿Cómo sé cuándo usar demostración directa versus otros métodos?

Prueba primero la demostración directa para enunciados positivos como 'Si A, entonces B.' Si te quedas atascado, considera la prueba por contradicción o la contrapositiva. La demostración directa funciona bien cuando puedes manipular la hipótesis algebraicamente.

¿Qué significa QED?

QED significa 'quod erat demonstrandum' (latín para 'lo que había que demostrar'). Señala que la prueba está completa. Algunos matemáticos usan un símbolo cuadrado (lápida) en su lugar.

¿Qué tan detallados deben ser mis pasos?

Cada paso debe justificarse con una definición, propiedad o teorema. Si saltas pasos, corres el riesgo de ocultar errores. En caso de duda, incluye más detalles.

Glosario

Demostración directa
Un método de prueba que asume la hipótesis y usa deducción lógica para derivar la conclusión
Hipótesis
La parte 'si' de un enunciado condicional; lo que asumimos como verdadero
Conclusión
La parte 'entonces' de un enunciado condicional; lo que queremos demostrar
QED
Abreviatura de 'quod erat demonstrandum', marca el final de una prueba
Teorema
Un enunciado matemático que ha sido demostrado como verdadero
Axioma
Un enunciado aceptado como verdadero sin prueba; un punto de partida para el razonamiento

Más sobre este tema

Introducción a las demostraciones matemáticas

Avanzado25 min

Demostraciones a dos columnas

Intermedio25 min

Demostraciones en párrafo

Avanzado30 min

Demostraciones geométricas

Avanzado30 min