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

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. Asumir que la hipótesis es verdadera 2. Aplicar definiciones, axiomas y teoremas 3. Derivar la conclusión mediante razonamiento lógico
Si queremos probar "Si , entonces " (escrito ):
  • Comenzar asumiendo que es verdadero
  • Usar deducciones lógicas para mostrar que también debe ser verdadero

Pruébalo ahora

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

Ejemplos resueltos

Demuestra: Si y son enteros pares, entonces es par.

1

Enunciar la hipótesis

Supongamos que y son enteros paresDado: y son pares

2

Aplicar la definición de par

Un entero par puede escribirse como para algún entero y para enteros

3

Sumar los dos números

4

Factorizar el factor común

5

Aplicar nuevamente la definición de par

Como es un entero, es par por definición es par

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.

Visual interactivo

Tabla de verdad

P ∧ Q
PQP ∧ Q
FFF
FTF
TFF
TTT

T= 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: 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.

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: 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

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

Más sobre este tema