Una demostración matemática explica por qué una afirmación debe ser verdadera a partir de definiciones, premisas y reglas lógicas. Este curso de Edutin presenta la estructura de una prueba y desarrolla métodos directos, contrarrecíprocos, por absurdo, por inducción y mediante contraejemplos.
Está pensado para estudiantes universitarios de matemáticas, física, ingeniería e informática, así como para docentes que necesitan repasar razonamiento formal. Conviene conocer proposiciones, implicaciones y operaciones algebraicas antes de comenzar.
Cinco unidades para construir pruebas
| Unidad | Método o enfoque | Qué debes distinguir |
|---|---|---|
| Fundamentos | Estructura de una demostración | Hipótesis, definiciones y conclusión |
| Demostración directa | Cadena de implicaciones | Cómo avanzar desde las premisas |
| Contrarrecíproca y absurdo | Reformulación o contradicción | Cuándo el camino indirecto simplifica la prueba |
| Inducción | Caso base y paso inductivo | Por qué ambos pasos son necesarios |
| Contraejemplo | Refutación de afirmaciones universales | Un caso válido basta para negar el enunciado |
Las unidades incluyen ejemplos y momentos de práctica. No memorices la redacción completa: identifica qué información se usa en cada paso y qué regla permite pasar al siguiente.
Elegir el método adecuado
- Usa una prueba directa cuando las definiciones permiten transformar la hipótesis hasta llegar a la conclusión.
- Considera la contrarrecíproca si negar la conclusión produce una hipótesis más manejable.
- Prueba por absurdo cuando suponer lo contrario conduce a una contradicción clara.
- Recurre a la inducción para afirmaciones indexadas por números naturales.
- Busca un contraejemplo cuando debas evaluar una afirmación universal que sospechas falsa.
La elección no es mecánica. Un mismo enunciado puede admitir más de un camino; comparar dos métodos ayuda a reconocer cuál comunica mejor la idea.
Plantilla para escribir una prueba
- Copia el enunciado y separa hipótesis y conclusión.
- Anota las definiciones que puedes utilizar.
- Declara el método antes del desarrollo.
- Justifica cada transformación.
- Relee la prueba buscando saltos o supuestos ocultos.
Para inducción añade explícitamente el caso base, la hipótesis inductiva y el paso de n a n + 1. Para un contraejemplo verifica que el caso cumple todas las condiciones originales.
Condiciones del curso
El programa estima cinco semanas con una o dos horas de estudio semanal. El acceso al contenido es gratuito después de crear una cuenta. El certificado es opcional y de pago; la plataforma lo presenta como un diplomado en aplicaciones profesionales de la demostración matemática.
La utilidad principal está en aprender a comunicar razonamientos verificables. Después de cada unidad, intenta explicar una prueba sin símbolos y luego vuelve a escribirla formalmente: las diferencias revelan qué pasos todavía no están claros.