Introducción a las demostraciones matemáticas

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

Avanzado25 minLección
Ficha imprimible

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.

Pruébalo ahora

¿Qué es una demostración matemática?

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.

Visual interactivo

Tabla de verdad

P ∧ Q
PQP ∧ Q
FFF
FVF
VFF
VVV

V= VerdaderoF= Falso

Sandbox interactivo

Calculadora de expresiones

Prueba estos:

Historial

Aún no hay cálculos

Problemas de práctica

16 problemas
Problema 1 de 16
Fácil
¿Qué es una demostración matemática?

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

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.
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.
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.
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)
Reto de hoyUn problema, tres intentos

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