UNADM

UNIVERSIDAD NACIONAL
ABIERTA Y A DISTANCIA DE
MÉXICO

INTRODUCCIÓN AL PENSAMIENTO MATEMÁTICO

UNIDAD II

MÉTODOS DE DEMOSTRACIÓN.

ALUMNO: JORGE SALAZAR SERRANO

PROFESOR: ÁNGELA RANGEL TOBILLA

22 DE FEBRERO DE 2023

pág. 1
 UNADM

Actividad 2. Métodos de demostración.

I. Realiza las siguientes demostraciones

2
Z
1. Demuestra que si el triángulo rectángulo XYZ de catetos x e y e hipotenusa z tiene de área ,
4
entonces es isósceles.

X Y

Proposición Razón
2
Z
XYZ es Hipótesis
4
2
Z
xy/z = Área = ½ (Base) (Altura)
4
x2 + y2 = z2 T.P

xy/2 = (x2 + y2) /4

x2 – 2xy + y2 = 0 Algebra

(x + y)2 = 0 Factorización

(x-y) = 0 R.C

X=y

El triángulo XYZ es Isósceles.

2. Demuestra que la suma de los cuadrados de los n primeros números naturales es igual a
n ( n+1 ) ( 2n+ 1 )
6
INDUCCIÓN MATEMÁTICA

Hipótesis:
n

∑ i2=12 +22 +32 + 42 +52 +…+ n2

i=1

n ( n+1 ) ( 2n+ 1 )
¿
6

pág. 2
 UNADM

Tesis:
2 2 2 2 2 2
1 +2 +3 +4 + 5 + …+n
( n+1 ) ( n+2 ) ( 2n+ 3 )
¿
6

Demostración:
2 2 2 2 2 2
1 +2 +3 +4 + 5 + …+n
Patrones algebraicos
2
1 1 3
= =
1 1 3
2 2
1 +2 5
=
1+2 3
2 2 2
1 +2 +3 14 7
= =
1+2+3 6 3
2 2 2 2
1 +2 +3 + 4 30 9
= =
1+2+3+ 4 10 3
2 2 2 2 2
1 +2 +3 + 4 +5 55 11
= =
1+ 2+3+4 +5 15 3
Denominador es 3
2 2 2 2 2
1 +2 +3 + 4 +…+ n 2 n+1
=
1+2+3+ 4+5+ …+n 3
Despejando
2 2 2 2 2
1 +2 +3 + 4 +…+ n 2 n+1 (
= 1+ 2+ 3+4 +…+ n )
1+2+3+ 4+5+ …+n 3
n ( n+1 )
1+2+3+ 4+ …+n=
2
2 2 2 2 2 2 n+1
1 +2 +3 +4 + …+n = (1+2+3+ 4 +5+…+n )
3
n ( n+1 ) ( 2n+ 1 )
Simplificando12 +22 +32 + 42 +…+ n2=
6

pág. 3
 UNADM

Ahora se realiza la demostración formal por el principio de Inducción matemática.

n ( n+ 1 )( 2 n+1 )
12 +22 +32 +4 2+ …+n2 = n≥ 1
6
Verificar que la proposición es válida para el valor inicial n0 = 1

2 1 (1+1 ) ( 2 ( 1 ) +1 )
1= verdadera
6
Hipótesis de Inducción en término del número natural k.

k ( k +1 ) ( 2 k+ 1 )
12 +22 +32 +4 2+ …+k 2=
6
Utilizando la hipótesis
2 2 2 2 2 2
1 +2 +3 +4 + …+k + ( k +1 )
Por asociativa

12 +22 +32 +…+ k 2+ ( k +1 ) =( 12 +22 +32 +…+ k 2 ) + ( k +1 )

2 2

Por hipótesis de inducción

k ( k +1 ) ( 2 k +1 )
12 +22 +32 +…+ k 2+ ( k +1 )2= + ( k +1 )2
6
Distributiva

12 +22 +32 +…+ k 2+ ( k +1 )2=( k + 1 )

[ k ( 2 k +1 )
6
+ ( k +1 )
]
Suma de fracciones

12 +23 +32 +…+ k 2+ ( k +1 )2=( k +1 )

[ k ( 2 k +1 )+6 ( k +1 )
6 ]
Por Distributiva y reducción de términos semejantes.
2
2 2 2 2 2 2 k +7 k +6
1 +2 +3 +…+ k + ( k +1 ) =( k + 1 )
6
Por factorización de trinomios

( k +2 )( 2 k +3 )
12 +22 +32 +…+ k 2+ ( k +1 )2=( k + 1 )
6

pág. 4
 UNADM

Términos de k+1

( k +1 ) [ ( k +1 ) +1 ] [ 2 ( k +1 ) +1 ]
¿
6
CONCLUSIÓN:

n ( n+ 1 )( 2 n+1 )
12 +22 +32 +4 2+ …+n2 = n≥ 1
6

3. Demuestra la negación del siguiente enunciado: la suma de dos números compuestos siempre
es un número compuesto.

Demostración:

Método de Contraposición

p: Suma de dos números no compuestos.

q: Número no compuesto

Contraposición

¬ q →¬ p
¬ p :la suma de dos númeroscompuestos
¬ q :es compuesto
Sea r un número no primo y mayor que 1 , r=st tal que
r ∈ z , r >1∨r =st s ∧t> 1 s , t ∈ Z
Entonces

¬ q : Es compuesto , por lo que r=st

Supongamos que r es un número cualquiera
st+ st=r → 2 st=r → st=r −st → ( r−st )+ ( r−st )=r →2 ( r−st )=r
2 s=r
∴
p → q es verdadera

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

5n + 3 = par

pág. 5
 UNADM

Entonces como es par, es múltiplo de 2 por tanto:

5n + 3 = 2r

Donde

r es un número entero

Despejando

5n = 2r – 3

Conclusión:

2r es par, si se le resta un número impar, esto nos da un número impar, por lo tanto, para que la
ecuación se cumpla n debe ser impar.

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

Demostración

Inducción matemática

n2 siempre será un número positivo, quiere decir n2 ∈ z positivos.

Valor inicial 0 n0 = 0
2 2
P( 0)=n −3 → ( 0 ) −3=−3

-3 es múltiplo de 4∨−3 entonces−3 ( x )=4

−4
-3x = 4 x=
3
−4
Encontramos el valor de x= no es un número que pertenezca a los enteros.
3
6. Demuestra que

¬ (∃ x )( Fx ) ⇒ ( ∀ x ) ( Fx →Gx )

Regla de Inferencia
Modus Ponens,
Entonces
¬ (∃ x )( Fx ) ⇒ ( ∀ x ) ( Fx →Gx )
¬ (∃ x )( Fx )
_____________________________________

pág. 6
 UNADM

∴ ( ∀ x ) ( Fx →Gx )

pág. 7