Demostraciones

Ing. Mario López

Método exhaustivo

En este método se verifican todos los casos individuales.

Es útil para universos pequeños.

Ejemplo 1:

Dado el conjunto 𝑁 = 2, 4, 6, 8,10,12

Demostrar si los elementos de 𝑁 pueden representarse por la suma de, como
máximo, 3 números cuadrados perfectos.

2=1+1
4=4
6=4+1+1
8=4+4
10 = 9 + 1
12 = 4 + 4 + 4
Método directo
Dado 𝑝 → 𝑞 se establece un procedimiento en base a 𝑝 para obtener 𝑞.
Ejemplo 2: ∀𝐾,𝐿∈𝑍
Demostrar, aplicando el método directo, que para todos los enteros K y L, si K y L
son enteros impares, entonces el producto (KL) también es un entero impar.

𝐾 𝑒𝑠 𝑒𝑛𝑡𝑒𝑟𝑜 𝑖𝑚𝑝𝑎𝑟 𝑦 𝐾 = 2𝑎 + 1 ∀ 𝑎 ∈ 𝑍
𝑝
𝐿 𝑒𝑠 𝑒𝑛𝑡𝑒𝑟𝑜 𝑖𝑚𝑝𝑎𝑟 𝐿 = 2𝑏 + 1 ∀ 𝑏 ∈ 𝑍

𝐾𝐿 = (2𝑎 + 1)(2𝑏 + 1)
𝐾𝐿 = 4𝑎𝑏 + 2𝑎 + 2𝑏 + 1
𝐾𝐿 = 2(2𝑎𝑏 + 𝑎 + 𝑏) + 1 Pero (2𝑎𝑏 + 𝑎 + 𝑏) Es un entero 𝑤 = (2𝑎𝑏 + 𝑎 + 𝑏)

𝐾𝐿 = 2𝑤 + 1 ∀𝑤 ∈ 𝑍
𝑞
∴ 𝐾𝐿 𝑒𝑠 𝑢𝑛 𝑒𝑛𝑡𝑒𝑟𝑜 𝑖𝑚𝑝𝑎𝑟
Método de contraejemplo
Se busca al menos un caso para el que la proposición sea falsa.
Ejemplo 3:
Demostrar, aplicando el método de contraejemplo, que si 𝑛 es un entero
entonces 𝑛3 = 𝑛.

𝑛 𝑛3 𝑛3 = 𝑛
0 0 V
1 1 V
2 8 F
3 27 F

La proposición es falsa
Métodos Indirectos
Método de la contrapositiva
Dado 𝑝 → 𝑞 se usa ~𝑞 para llegar a ~𝑝 pues:

~𝑞 → ~𝑝 ⇔ 𝑝 → 𝑞

Método de la contradicción
Dado 𝑝 → 𝑞 se usaran 𝑝 y ~𝑞 para llegar a una contradicción.
Ejemplo 4:
Utilizando los métodos: Directo, de la contrapositiva y de la contradicción,
demostrar que si 𝑚 es un entero par, entonces (𝑚 + 7) es un entero impar.
𝑝 𝑞
A Método directo 𝑝→𝑞
𝑝: 𝑚 𝑒𝑠 𝑢𝑛 𝑒𝑛𝑡𝑒𝑟𝑜 𝑝𝑎𝑟

𝑞: (𝑚 + 7) 𝑒𝑠 𝑢𝑛 𝑒𝑛𝑡𝑒𝑟𝑜 𝑖𝑚𝑝𝑎𝑟
𝑝 𝑚 𝑒𝑠 𝑢𝑛 𝑒𝑛𝑡𝑒𝑟𝑜 𝑝𝑎𝑟 𝑚 = 2𝑎 ∀ 𝑎 ∈ 𝑍
𝑚 + 7 = (2𝑎 + 7)
𝑚 + 7 = 2𝑎 + 7 + 1 − 1
𝑚 + 7 = 2𝑎 + 6 + 1
𝑚 + 7 = 2(𝑎 + 3) + 1 Pero (𝑎 + 3) Es un entero 𝑤 = (𝑎 + 3)

𝑚 + 7 = 2𝑤 + 1 ∀𝑤 ∈𝑍
𝑞
∴ (𝑚 + 7) 𝑒𝑠 𝑢𝑛 𝑒𝑛𝑡𝑒𝑟𝑜 𝑖𝑚𝑝𝑎𝑟
 𝑝: 𝑚 𝑒𝑠 𝑢𝑛 𝑒𝑛𝑡𝑒𝑟𝑜 𝑝𝑎𝑟
Ejemplo 4 continuación…
𝑞: (𝑚 + 7) 𝑒𝑠 𝑢𝑛 𝑒𝑛𝑡𝑒𝑟𝑜 𝑖𝑚𝑝𝑎𝑟

B Método de la contrapositiva ~𝑞 → ~𝑝

~𝑞 (𝑚 + 7) 𝑁𝑂 𝑒𝑠 𝑢𝑛 𝑒𝑛𝑡𝑒𝑟𝑜 𝑖𝑚𝑝𝑎𝑟
(𝑚 + 7) 𝑒𝑠 𝑢𝑛 𝑒𝑛𝑡𝑒𝑟𝑜 𝑝𝑎𝑟 𝑚 + 7 = 2𝑎 ∀ 𝑎 ∈ 𝑍
Despejando 𝑚
𝑚 + 7 = 2𝑎 𝑚 = 2𝑎 − 7

𝑚 = 2𝑎 − 7 + 1 − 1 𝑚 = 2𝑎 − 8 + 1
𝑚 = 2(𝑎 − 4) + 1 Pero (𝑎 − 4) Es un entero 𝑤 = (𝑎 − 4)

𝑚 = 2𝑤 + 1 ∀𝑤 ∈𝑍
~𝑝 (𝑚) 𝑒𝑠 𝑢𝑛 𝑒𝑛𝑡𝑒𝑟𝑜 𝑖𝑚𝑝𝑎𝑟

∴ (𝑚 + 7) 𝑒𝑠 𝑢𝑛 𝑒𝑛𝑡𝑒𝑟𝑜 𝑖𝑚𝑝𝑎𝑟
 𝑝 𝑚 𝑒𝑠 𝑢𝑛 𝑒𝑛𝑡𝑒𝑟𝑜 𝑝𝑎𝑟
Ejemplo 4 continuación… 𝑞 (𝑚 + 7) 𝑒𝑠 𝑢𝑛 𝑒𝑛𝑡𝑒𝑟𝑜 𝑖𝑚𝑝𝑎𝑟
C Método de la contradicción 𝑝, ~𝑞 𝑝𝑎𝑟𝑎 𝑜𝑏𝑡𝑒𝑛𝑒𝑟 𝑢𝑛𝑎 𝑐𝑜𝑛𝑡𝑟𝑎𝑑𝑖𝑐𝑐𝑖ó𝑛

𝑝 𝑚 𝑒𝑠 𝑢𝑛 𝑒𝑛𝑡𝑒𝑟𝑜 𝑝𝑎𝑟

~𝑞 (𝑚 + 7) 𝑁𝑂 𝑒𝑠 𝑢𝑛 𝑒𝑛𝑡𝑒𝑟𝑜 𝑖𝑚𝑝𝑎𝑟
(𝑚 + 7) 𝑒𝑠 𝑢𝑛 𝑒𝑛𝑡𝑒𝑟𝑜 𝑝𝑎𝑟 𝑚 + 7 = 2𝑏 ∀ 𝑏 ∈ 𝑍
Despejando 𝑚
𝑚 + 7 = 2𝑏 𝑚 = 2𝑏 − 7

𝑚 = 2𝑏 − 7 + 1 − 1 𝑚 = 2𝑏 − 8 + 1
𝑚 = 2(𝑏 − 4) + 1 Pero (𝑏 − 4) Es un entero 𝑤 = (𝑏 − 4)

𝑚 = 2𝑤 + 1 ∀𝑤 ∈𝑍

(𝑚) 𝑒𝑠 𝑢𝑛 𝑒𝑛𝑡𝑒𝑟𝑜 𝑖𝑚𝑝𝑎𝑟

Como 𝑚 no puede ser par e impar a la vez, entonces

es falsa la hipótesis de que m+7 es un entero par ∴ (𝑚 + 7) 𝑒𝑠 𝑢𝑛 𝑒𝑛𝑡𝑒𝑟𝑜 𝑖𝑚𝑝𝑎𝑟
Método de inducción matemática

Sea 𝑆(𝑛) una proposición matemática abierta (o un conjunto de

ellas) donde la variable 𝑛 aparece una o más veces y 𝑛 ∈ 𝑍 +
Tren de dominós de
A.] Si 𝑆(1) es verdadera. Base de la inducción tamaño 1, 𝑘, 𝑘 + 1 𝑦 𝑛.

B.] Siempre que 𝑆(𝑘) sea verdadera

Paso
Donde 𝑘 ∈ 𝑍 + es particular pero elegido al azar.
inductivo
Entonces
𝑆(𝑘 + 1) debe ser verdadera

𝑆(𝑛) es verdadera para todo 𝑛 ∈ 𝑍 +

Ejemplo 5:
Utilizar el método de la inducción matemática para demostrar que para
𝑛 ∈ 𝑍 + se cumple
𝑛
𝑛(𝑛 + 1)(2𝑛 + 1)
𝑆 𝑛 : ෍ 𝑖2 =
6
𝑖=1

A Base de la inducción

1
[1]([1] + 1)(2[1] + 1)
𝑆 1 : ෍ 𝑖2 =
6
𝑖=1

(1)(2)(3)
1=
6

1=1
Ejemplo 5 continuación… 𝑛
𝑛(𝑛 + 1)(2𝑛 + 1)
𝑆 𝑛 : ෍ 𝑖2 =
6
𝑖=1

B Paso inductivo
Hipótesis de la inducción
𝑘
𝑘(𝑘 + 1)(2𝑘 + 1)
𝑆 𝑘 : ෍ 𝑖2 = Es verdadero
6
𝑖=1

𝑘+1

𝑆 𝑘+1 : ෍ 𝑖2 =
[𝑘 + 1]([𝑘 + 1] + 1)(2[𝑘 + 1] + 1) Debe ser
𝑖=1
6 verdadero

𝑘+1
(𝑘 + 1)(𝑘 + 2)(2𝑘 + 3)
෍ 𝑖 2 = (1)2 +(2)2 +(3)2 + ⋯ + 𝑘 2 + (𝑘 + 1)2 =
6
𝑖=1
 𝑘 𝑘+1
𝑘(𝑘 + 1)(2𝑘 + 1) (𝑘 + 1)(𝑘 + 2)(2𝑘 + 3)
෍ 𝑖2 = ෍ 𝑖2 =
Ejemplo 5 continuación… 𝑆 𝑘 :
𝑖=1
6
𝑖=1
6

𝑘+1
𝑘 + 1 𝑘 2𝑘 + 1 + 6(𝑘 + 1)
2
B ෍𝑖 =
Paso inductivo continuación… 6
𝑖=1

Pero
𝑘+1 2
𝑘 + 1 2𝑘 + 𝑘 + 6𝑘 + 6
𝑘+1 𝑘 ෍ 𝑖2 =
6
𝑖=1
෍ 𝑖 2 = ෍ 𝑖 2 + (𝑘 + 1)2
𝑖=1 𝑖=1
𝑘+1
𝑘 + 1 2𝑘 2 + 7𝑘 + 6
෍ 𝑖2 =
De la hipótesis de la inducción se tiene 6
𝑖=1
𝑘+1
𝑘(𝑘 + 1)(2𝑘 + 1) 𝑘+1
෍ 𝑖2 = + (𝑘 + 1)2 𝑘 + 1 (2𝑘 + 3)(𝑘 + 2)
6 ෍ 𝑖2 =
𝑖=1 6
𝑖=1

𝑘+1 𝑘+1
2 𝑘 + 1 (𝑘 + 2)(2𝑘 + 3)
𝑘 𝑘 + 1 2𝑘 + 1 + 6(𝑘 + 1)
෍ 𝑖2 = ෍ 𝑖2 =
6 6
𝑖=1 𝑖=1
Ejemplo 5 continuación…

C Conclusión

𝑛
𝑛(𝑛 + 1)(2𝑛 + 1)
∴ 𝑆 𝑛 : ෍ 𝑖2 =
6
𝑖=1

Es verdadera para todo 𝑛 ∈ 𝑍 +