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.
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.
Cuestionario de clase
10 preguntas sobre Demostraciones matemáticas. Los alumnos entran con su nombre y tú ves todas las puntuaciones.
Para profesores
- 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
- • 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
- 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?
Verificar varios ejemplos demuestra un enunciado
El orden de los pasos no importa
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
- HSN-CN.A.2 (CCSS.MATH.CONTENT.HSN.CN.A.2)
Usa la relación 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
- 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.
Contenido de la lección
Todo lo que ven los alumnos: definición, ejemplos, errores comunes, aplicaciones. Toca para abrir.
Definición
- Comenzar asumiendo que es verdadero
- Usar deducciones lógicas para mostrar que también debe ser verdadero
Ejemplos resueltos
Demuestra: Si y son enteros pares, entonces es par.
Enunciar la hipótesis
Supongamos que y son enteros pares → Dado: y son pares
Aplicar la definición de par
Un entero par puede escribirse como para algún entero → y para enteros
Sumar los dos números
→
Factorizar el factor común
→
Aplicar nuevamente la definición de par
Como es un entero, es par por definición → es par
Respuesta: Por lo tanto, la suma de dos enteros pares siempre es par. QED
Errores comunes
Usar ejemplos específicos en lugar de una prueba general
Por qué está mal: Mostrar que (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 para algún entero ' 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 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
- 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
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.
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: Escribe la expresión matemática
Si , entonces
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.
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: Escribe la expresión matemática
Estructura el argumento lógico
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 = )
- 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?
¿Qué significa QED?
¿Qué tan detallados deben ser mis pasos?
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