Demostración directa: Suma de dos números pares

Demuestra que la suma de dos números pares es par.

Definir qué significa par: Un número $n$ es par si $n = 2k$ para algún entero $k$ = Definición establecida

Sean $a$ y $b$ dos números pares: Por definición: $a = 2m$ y $b = 2n$ donde $m, n$ son enteros = Expresar usando la definición

Sumar los dos números: $a + b = 2m + 2n = 2(m + n)$ = Factorizar el 2

Identificar la forma: $2(m + n)$ es $2 \times (\text{entero})$, que es la definición de par = Coincide con la definición

Enunciar la conclusión: Por lo tanto, $a + b$ es par = QED

Answer: La suma de dos números pares es siempre par porque $2m + 2n = 2(m+n)$, que es 2 veces un entero.

Demostración por contradicción: La raíz cuadrada de 2 es irracional

Demuestra que $\sqrt{2}$ es irracional.

Suponer lo contrario: Supongamos que $\sqrt{2}$ es racional, entonces $\sqrt{2} = \frac{a}{b}$ donde $a, b$ son enteros sin factores comunes = Comenzar con hipótesis de contradicción

Elevar al cuadrado ambos lados: $2 = \frac{a^2}{b^2}$, por lo tanto $a^2 = 2b^2$ = $a^2$ es par

Deducir que $a$ es par: Si $a^2$ es par, entonces $a$ debe ser par (si $a$ fuera impar, $a^2$ sería impar) = $a = 2k$ para algún entero $k$

Sustituir: $(2k)^2 = 2b^2$, entonces $4k^2 = 2b^2$, así que $b^2 = 2k^2$ = $b^2$ es par

Deducir que $b$ es par: Por la misma lógica, $b$ debe ser par = Tanto $a$ como $b$ son pares

Identificar la contradicción: ¡Pero dijimos que $a$ y $b$ no tienen factores comunes. Si ambos son pares, comparten el factor 2! = CONTRADICCIÓN

Concluir: Nuestra suposición era falsa, por lo tanto $\sqrt{2}$ es irracional = QED

Answer: $\sqrt{2}$ es irracional porque suponer que es racional lleva a una contradicción lógica.

Demostración directa: Producto de números impares

Demuestra que el producto de dos números impares es impar.

Definir qué significa impar: Un número $n$ es impar si $n = 2k + 1$ para algún entero $k$ = Definición establecida

Sean $a$ y $b$ dos números impares: $a = 2m + 1$ y $b = 2n + 1$ donde $m, n$ son enteros = Expresar usando la definición

Multiplicar los números: $a \times b = (2m + 1)(2n + 1)$ = Plantear la multiplicación

Desarrollar: $= 4mn + 2m + 2n + 1 = 2(2mn + m + n) + 1$ = Factorizar el 2

Identificar la forma: $2(2mn + m + n) + 1$ es $2 \times (\text{entero}) + 1$, que es impar = Coincide con la definición

Enunciar la conclusión: Por lo tanto, $a \times b$ es impar = QED

Answer: El producto de dos números impares es siempre impar porque $(2m+1)(2n+1) = 2(2mn+m+n) + 1$.

Mistake: Usar ejemplos específicos en lugar de una demostración general

Why: Mostrar que $2 + 4 = 6$ es par solo prueba UN caso, no TODOS los casos.

Correct: Usa variables ($2m + 2n$) para representar CUALQUIER par de números pares.

Mistake: Suponer lo que se quiere demostrar

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

Correct: Comienza solo con la información dada y las definiciones, luego deriva la conclusión.

Mistake: Falta de justificación para los pasos

Why: Cada paso debe estar justificado por una definición, axioma o teorema ya demostrado.

Correct: Siempre indica POR QUÉ cada paso se deriva del anterior.

Mistake: Confundir la dirección de la implicación

Why: Si $P \Rightarrow Q$, saber $Q$ NO nos dice que $P$ es verdadero.

Correct: Ten cuidado: el recíproco y el inverso de un enunciado verdadero pueden ser falsos.

Informática: Corrección de algoritmos

Los ingenieros de software usan demostraciones para verificar que los programas funcionan correctamente para todas las entradas.

Demostrar que un algoritmo de ordenación siempre produce una lista ordenada requiere inducción matemática.

Criptografía: Demostraciones de seguridad

El cifrado moderno se basa en demostraciones matemáticas para garantizar la seguridad.

La seguridad del cifrado RSA se basa en la dificultad demostrada de factorizar números grandes.

Razonamiento jurídico: Construcción de argumentos

Los abogados construyen argumentos lógicos similares a las demostraciones matemáticas.

El razonamiento legal sigue 'Si la evidencia muestra X, y X implica culpabilidad, entonces el acusado es culpable.'

Q: ¿Cuál es la diferencia entre un teorema y un axioma?

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

Q: ¿Por qué necesitamos demostraciones si podemos probar ejemplos?

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

Q: ¿Qué significa QED?

A: QED significa 'quod erat demonstrandum' (latín para 'lo que se quería demostrar'). Marca el final de una demostración.