Demostración directa

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

Avanzado25 minLección
Ficha imprimible

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}

Pruébalo ahora

¿Cuál es el primer paso en una demostración directa?

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.

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

17 problemas
Problema 1 de 17
Fácil
¿Cuál es el primer paso en una demostración directa?

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

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

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