Actividad 2: Métodos de demostración

I. Realiza las siguientes demostraciones

1. Demuestra que si el triángulo rectángulo XYZ de catetos x e y e hipotenusa z tiene de área

z2
4
, entonces es isosceles.
Demostración:
Se sabe que el área de un triángulo es: b×h 2
, luego, tomando x como base y y como altura se
tiene:
2
A= xy 2
, por hipótesis se tiene que A= z4 , entonces
z2
4
= xy2
z2
2
= xy
z 2 = 2xy
También se tiene que al ser un triángulo rectángulo con catetos x e y, e hipotenusa z
z 2 = x2 + y 2 , por el teorema de Pitágoras.
Igualando las dos últimas ecuaciones se tiene:
x2 + y 2 = 2xy
x2 + y 2 − 2xy = 0
x2 − 2xy + y 2 = 0
Resolviendo√la ecuación cuadrática para x se tiene:
−(−2y)± (−2y)2 −4y 2
x=
√ 2
2y± 4y 2 −4y 2
x= 2
2y
x= 2
x = y, esto es dos de los lados del triángulo dado son iguales,
por lo tanto es un triángulo isosceles.

2. Demuestra que la suma de los cuadrados de los n primeros números naturales es igual a
n(n+1)(2n+1)
6
.
Demostración:
Se tiene que demostrar que:
12 + 22 + 32 + · · · + n2 = n(n+1)(2n+1)
6
Por inducción matemática:
Para n = 1 se tiene:
12 = 1(1+1)(2(1)+1)
6
1 = 1(2)(2+1)
6
1 = 1(2)(3)
6
1 = 66
1=1
por lo que la fórmula es válida para n = 1
Ahora supongamos que es válida para n = k y demostremos que vale para n = k + 1
12 + 22 + 32 + · · · + k 2 + (k + 1)2 = k(k+1)(2k+1)
6
+ (k + 1)2
= k(k+1)(2k+1)
6
+ (k + 1)2 por la validez para n = k
2
= k(k+1)(2k+1)+6(k+1)
6

1
 = (k+1)[k(2k+1)+6(k+1)]
6
factorizando k + 1
(k+1)(2k2 +k+6k+6)
= 6
desarrollando
(k+1)(2k2 +7k+6)
= 6
(k+1)(k+2)(2k+3)
= 6
factorizando
(k+1)[(k+1)+1][2(k+1)+1]
= 6
Por lo que la fórmula es válida para n = k + 1

3. Demuestra la negación del siguiente enunciado: la suma de dos números compuestos siempre
es un número compuesto.
Demostración:
La negación de la oración es:
No es cierto que la suma de dos números compuestos siempre es un número compuesto, es
decir
existen al menos dos números compuestos cuya suma no sea un número compuesto:
sean 9 y 4, entonces
9 + 4 = 13
y puesto que 13 es un número primo, se concluye nuestra aseveración.

4. Demuestra que para cada entero n, que si 5n + 3 es par, entonces n es impar.

Demostración:
Se puede demostrar por la contrarréciproca, esto es:
Si n no es impar entonces 5n + 3 no es par, para todo entero n.
Ya que n no es impar se tiene que n = 2m + 1 para m cualesquier entero, luego
5n + 3 = 5(2m + 1) + 3
= 5(2m + 1) + 3
= 10m + 5 + 3
= 10m + 8
= 2(5m + 4)
Puesto que m es cualquier entero, entonces sea p = 5m + 4, entonces
5n + 3 = 2p
esto es, 5n + 3 no es par, como se quería demostrar.

5. Demuestra que si n ∈ Z, entonces, n2 − 3 es múltiplo de 4.

Demostración:
n2 − 3 es múltiplo de 4 si puede encontrarse un k tal que:
n2 − 3 = 4k
Supongamos que n2 − 3 no es múltiplo de 4, por tanto tampoco es divisible por 2, luego
sea n = 2p + 1, con p cualesquier entero, entonces
n2 − 3 = (2p + 1)2 − 3
= 4p2 + 4p + 1 − 3
= 4p2 + 4p − 2
= 2(2p2 + 2p − 1)
= 2m
por lo que nuestro supuesto es falso y se tiene que n2 − 3 es múltiplo de 4.

6. Demuestra que ¬(∃x)(F x) ⇒ (∀x)(F x → Gx)

Demostración:

2
¬(∃x)(F x) ⇒ (∀x)(¬F x)
⇒ (∀x)(¬F x ∨ Gx)
⇒ (∀x)(F x → Gx)
Como se quería demostrar.

3
Bibliografía

Ayres, F. (1991). Algebra moderna. McGraw Hill.

Bochensky, J. M. (1976). Compendio de lógica matemática. PARANINFO.

Burgos, A. (1973). Iniciación a la lógica matemática. Selecciones Científicas.

Suppes, P., y Hill, S. (1988). Primer curso de lógica matemática. Editorial Reverté Colombiana.