Métodos de Demostración Directa
Introducción
Las demostraciones son el corazón de las matemáticas. Mientras otras ciencias se basan en la experimentación y la evidencia empírica, las matemáticas establecen verdades mediante argumentos lógicos irrefutables. El método más natural y frecuente es la demostración directa, donde partimos de premisas verdaderas y llegamos a la conclusión mediante pasos lógicos válidos.
¿Qué es una Demostración?
Una demostración matemática es un argumento lógico que establece la verdad de una proposición, partiendo de:
- Axiomas: Afirmaciones que se aceptan sin demostración
- Definiciones: Significados precisos de los términos
- Teoremas previos: Resultados ya demostrados
La Demostración Directa
En una demostración directa, partimos de la hipótesis (lo que suponemos verdadero) y, mediante una cadena de implicaciones lógicas, llegamos a la tesis (lo que queremos demostrar).
Estructura
Para demostrar "Si P entonces Q" (P → Q):
- Suponer que P es verdadero
- Aplicar definiciones, axiomas y teoremas conocidos
- Deducir paso a paso hasta llegar a Q
- Concluir que Q es verdadero
Ejemplo 1: Propiedades de Números Pares
Teorema: La suma de dos números pares es par.
Demostración:
Hipótesis: Sean a y b dos números pares.
Por definición de número par: - a = 2m para algún entero m - b = 2n para algún entero n
Calculamos la suma:
a + b = 2m + 2n = 2(m + n)
Como m + n es entero, sea k = m + n:
a + b = 2k
Por definición, 2k es un número par.
Conclusión: La suma a + b es par. ∎
Ejemplo 2: Propiedades de la Divisibilidad
Teorema: Si a | b y b | c, entonces a | c. (Transitividad de la divisibilidad)
Demostración:
Hipótesis: a divide a b, y b divide a c.
Por definición de divisibilidad: - a | b significa que existe un entero k tal que b = ak - b | c significa que existe un entero m tal que c = bm
Sustituyendo b en la segunda ecuación:
c = bm = (ak)m = a(km)
Como km es producto de enteros, es entero. Sea r = km:
c = ar
Por definición, esto significa que a | c.
Conclusión: a divide a c. ∎
Ejemplo 3: Geometría
Teorema: La suma de los ángulos interiores de un triángulo es 180°.
Demostración (usando recta paralela):
Sea el triángulo ABC.
-
Por el vértice A, trazamos una recta paralela al lado BC.
-
Sean α, β, γ los ángulos interiores en A, B, C respectivamente.
-
Por el postulado de ángulos alternos internos:
- El ángulo formado a la izquierda de A en la paralela es igual a β
-
El ángulo formado a la derecha de A en la paralela es igual a γ
-
Los tres ángulos (β, α, γ) forman un ángulo llano sobre la paralela:
β + α + γ = 180°
Conclusión: α + β + γ = 180°. ∎
Técnicas Útiles en Demostraciones Directas
Separar en Casos
A veces conviene considerar diferentes casos que cubran todas las posibilidades.
Ejemplo: Demostrar que n² - n es par para todo entero n.
Caso 1: n es par - n = 2k - n² - n = (2k)² - 2k = 4k² - 2k = 2(2k² - k), que es par.
Caso 2: n es impar - n = 2k + 1 - n² - n = (2k+1)² - (2k+1) = 4k² + 4k + 1 - 2k - 1 = 4k² + 2k = 2(2k² + k), que es par.
Conclusión: En ambos casos, n² - n es par. ∎
Usar Definiciones Precisas
La clave de muchas demostraciones es aplicar correctamente las definiciones.
Ejemplo: Demostrar que si n² es par, entonces n es par.
Este teorema en realidad se demuestra mejor por contradicción (tema siguiente), pero ilustra la importancia de las definiciones.
Errores Comunes en Demostraciones
- Suponer lo que se quiere demostrar (razonamiento circular)
- Usar un caso particular en lugar de un caso general
- Saltarse pasos lógicos sin justificación
- Confundir el orden de implicación (P → Q no es lo mismo que Q → P)
Consejos para Escribir Demostraciones
- Sé claro: Indica qué estás suponiendo y qué estás concluyendo
- Justifica cada paso: Menciona el axioma, definición o teorema que usas
- Usa variables generales: No pruebes con ejemplos específicos
- Verifica la lógica: Cada paso debe seguir necesariamente del anterior
- Marca el final: Usa símbolos como ∎, QED, o "lo que se quería demostrar"