Demostrar que la suma de dos números pares es par

Demuestra: Si $a$ y $b$ son enteros pares, entonces $a + b$ es par.

Enunciar la hipótesis: Supongamos que $a$ y $b$ son enteros pares = Dado: $a$ y $b$ son pares

Aplicar la definición de par: Un entero par puede escribirse como $2k$ para algún entero $k$ = $a = 2m$ y $b = 2n$ para enteros $m, n$

Sumar los dos números: $a + b = 2m + 2n$ = $a + b = 2m + 2n$

Factorizar el factor común: $a + b = 2(m + n)$ = $a + b = 2(m + n)$

Aplicar nuevamente la definición de par: Como $m + n$ es un entero, $2(m + n)$ es par por definición = $a + b$ es par

Answer: Por lo tanto, la suma de dos enteros pares siempre es par. QED

Demostrar que el cuadrado de un número impar es impar

Demuestra: Si $n$ es un entero impar, entonces $n^2$ es impar.

Enunciar la hipótesis: Supongamos que $n$ es un entero impar = Dado: $n$ es impar

Aplicar la definición de impar: Un entero impar puede escribirse como $2k + 1$ para algún entero $k$ = $n = 2k + 1$ para algún entero $k$

Elevar la expresión al cuadrado: $n^2 = (2k + 1)^2$ = $n^2 = (2k + 1)^2$

Expandir usando álgebra: $n^2 = 4k^2 + 4k + 1$ = $n^2 = 4k^2 + 4k + 1$

Factorizar para mostrar la forma impar: $n^2 = 2(2k^2 + 2k) + 1$ = $n^2 = 2(2k^2 + 2k) + 1$

Concluir usando la definición: Esto es $2m + 1$ donde $m = 2k^2 + 2k$ es un entero = $n^2$ es impar

Answer: Por lo tanto, el cuadrado de un entero impar siempre es impar. QED

Demostrar una propiedad de divisibilidad

Demuestra: Si $n$ es un entero, entonces $n^3 - n$ es divisible por 3.

Factorizar la expresión: $n^3 - n = n(n^2 - 1)$ = $n^3 - n = n(n^2 - 1)$

Factorizar más usando diferencia de cuadrados: $n(n^2 - 1) = n(n-1)(n+1)$ = $n^3 - n = (n-1) \cdot n \cdot (n+1)$

Reconocer el patrón: $(n-1)$, $n$, $(n+1)$ son tres enteros consecutivos = Producto de 3 enteros consecutivos

Aplicar hecho de teoría de números: Entre cualesquiera 3 enteros consecutivos, exactamente uno es divisible por 3 = Un factor es divisible por 3

Concluir: Como un factor es divisible por 3, el producto completo es divisible por 3 = $n^3 - n$ es divisible por 3

Answer: Por lo tanto, para cualquier entero $n$, la expresión $n^3 - n$ es divisible por 3. QED

Mistake: Usar ejemplos específicos en lugar de una prueba general

Why: Mostrar que $2 + 4 = 6$ (par) no prueba nada sobre TODOS los números pares. Una prueba debe funcionar para todos los casos posibles.

Correct: Usa variables y definiciones. Escribe 'Sea $a = 2m$ para algún entero $m$' para representar CUALQUIER número par.

Mistake: Asumir lo que se quiere demostrar

Why: No puedes usar la conclusión en tu razonamiento. Esto es lógica circular.

Correct: Comienza solo desde la hipótesis y avanza. Nunca escribas 'Como $a + b$ es par...' hasta que lo hayas demostrado.

Mistake: Saltar pasos lógicos

Why: Cada paso debe seguir lógicamente de los pasos anteriores. Las lagunas en el razonamiento pueden ocultar errores.

Correct: Justifica cada paso con una definición, un axioma o un teorema previamente demostrado.

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.

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.

Razonamiento legal

Los abogados construyen argumentos que llevan lógicamente de las pruebas a las conclusiones.

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.

Q: ¿Cómo sé cuándo usar demostración directa versus otros métodos?

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

Q: ¿Qué significa QED?

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

Q: ¿Qué tan detallados deben ser mis pasos?

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