Pensamiento Matemático

Actividades Unidad 2
OSCAR ALFREDO ZATARAIN PEDRERO
GRUPO: MT-MIPM-1801-B1-004
INTRODUCCION AL PENSAMIENTO
MATEMATICO

Actividad 3. 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

𝑧2
área , entonces es isósceles.
4

Demostración
Para realizar la siguiente demostración, procederemos por el método de
demostración indirecto, ya que para demostrar que el triángulo rectángulo XYZ
es Isósceles, entonces supongamos lo siguiente, si x e y son números reales y si
x-y=0, demostraremos que x=y, entonces.

P1: x-y=0
Q1: x=y
Por lo que.
x-y=0 =⇒ (Por existencia del inverso aditivo de -y)
=⇒ x-y+y = 0+y =⇒ x+(y-y)= (0+y)
=⇒ x+(0)= y =⇒ x=y
Hemos llegado a la conclusión de que x=y, lo que nos dará la respuesta de nuestra
demostración principal, viendo que los catetos x e y siendo distancias pueden ser iguales.
Ahora, prosiguiendo por el método directo tenemos que el área del triangulo por la siguiente
definición que es:
“El área de un triángulo es igual a la longitud x multiplicada por la distancia y y dividido
entre 2, siempre y cuando x e y sean catetos del triángulo”
𝑥∗𝑦
Entonces tenemos que ( ) es igual al área de nuestro triangulo, vemos que.
2
𝑥∗𝑦 𝑧2
P: ( )=
2 4
Q: x=y entonces es isósceles
Título
Subtítulo
Siguiendo con la demostración tenemos que:
𝑥∗𝑦 𝑧2
( )= ⇛ tomando la siguiente definición
2 4
“En un triángulo rectángulo, el cuadrado de la hipotenusa es igual a la suma de los
cuadrados de los catetos”
Entonces 𝑧 2 = 𝑥 2 + 𝑦 2
Por lo que
𝑥∗𝑦 (𝑥 2 +𝑦 2 )
( )=
2 4
Pasando a desarrollar la expresión
𝑥∗𝑦 (𝑥 2 +𝑦 2 )
( )= ⇛Pasando a dividir 4 en ambos lados
2 4
𝑥∗𝑦 (𝑥 2 +𝑦 2 )
(4)( )=(4) ⇛ 2xy=(𝑥 2 + 𝑦 2 ) ⇛ Restando 2xy en ambos lados
2 4
⇛ 2xy+(-2xy) =(𝑥 2 + 𝑦 2 )+(-2xy) ⇛ 𝑥 2 − 2xy + 𝑦 2 = 0
⇛ pasando a factorizar ⇛ (𝑥 − 𝑦)2 = 0
1 1
1
⇛ Procediendo a elevar a la 2 potencia en ambos lados ⇛[(𝑥 − 𝑦)2 ]2 =[0]2
⇛ (𝑥 − 𝑦)=0 ⇛ 𝑥 − 𝑦 = 0
⇛ como anteriormente habíamos demostrado podemos ver que
𝑥=𝑦
𝑧2
Por lo que podemos concluir que nuestro triangulo de área es isósceles. ∎
4

2. Demuestra que la suma de los cuadrados de los n primeros números naturales es igual a
𝑛(𝑛+1)(2𝑛+1)
6

Para hacer la demostración mencionada se realizará la demostración formal por el

principio de inducción Matemática.

i) Se verificará que la proposición es verdadera para el valor inicial, ósea 𝑛0 = 12 ,

en efecto:

𝑛(𝑛+1)(2𝑛+1) 1(1+1)(2(1)+1)
12 = 6
⇛ 12 = 6
⇛ 1=1

UNADM | DCEIT | MAT | 00000 2

Título
Subtítulo
ii) Anunciamos la hipótesis de inducción para el numero natural k

𝑘(𝑘 + 1)(2𝑘 + 1)
12 + 22 + 32 + 42 + ⋯ + 𝑘 2 =
6

iii) Usando la hipótesis de inducción enunciada en (ii) se demostrará la validez

para (k+1), por asociatividad:

12 + 22 + 32 + 42 + ⋯ + 𝑘 2 + (𝑘 + 1)2 = (12 + 22 + 32 + 42 + ⋯ + 𝑘 2 ) + (𝑘 + 1)2

𝑘(𝑘+1)(2𝑘+1)
⇛ (12 + 22 + 32 + 42 + ⋯ + 𝑘 2 ) + (𝑘 + 1)2 = + (𝑘 + 1)2
6

Desarrollando la formula quedaría

𝑘(𝑘 + 1)(2𝑘 + 1) + 6(𝑘 + 1)2

(12 + 22 + 32 + 42 + ⋯ + 𝑘 2 ) + (𝑘 + 1)2 =
6

Por la ley distributiva resultara que:

𝑘(2𝑘 + 1) + 6(𝑘 + 1)
(12 + 22 + 32 + 42 + ⋯ + 𝑘 2 ) + (𝑘 + 1)2 = (𝑘 + 1)[ ]
6

Por distribuidad y términos semejantes:

(2𝑘 2 + 7𝑘 + 6)
(12 + 22 + 32 + 42 + ⋯ + 𝑘 2 ) + (𝑘 + 1)2 = (𝑘 + 1)[ ]
6

Por factorización de trinomios tenemos que:

(2𝑘 + 3)(𝑘 + 2)
(12 + 22 + 32 + 42 + ⋯ + 𝑘 2 ) + (𝑘 + 1)2 = (𝑘 + 1)[ ]
6

Rescribiendo en términos de k+1

(𝑘 + 1)((𝑘 + 1) + 1)(2(𝑘 + 1) + 1)
(12 + 22 + 32 + 42 + ⋯ + 𝑘 2 ) + (𝑘 + 1)2 = [ ]
6

Por lo que tenemos que la proposición 𝑃(𝑛) es válida para k+1

Por conclusión tenemos que 𝑃(𝑛) es válida. ∎

UNADM | DCEIT | MAT | 00000 3

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

Demostración

Para realizar la siguiente demostración se procederá por el método de contraposición,

teniendo que:

P: Suma de dos números no compuestos

Q: número no compuesto

Por lo que con contraposición se tiene que

¬Q⇛¬P
¬P: la suma de dos números compuestos
¬Q: es compuesto

Por definición de un numero compuesto tenemos que:

“Sea C un número no primo y mayor que 1, C=(m)(n) tal que

C=mn C∈Z , C > 1 | C=mn m∧ n>1, m,n∈Z ”
Entonces tenemos que
¬Q: es compuesto, por lo que C=mn

Supongamos que C es un numero cualquiera y que

𝑚𝑛 + 𝑚𝑛 = 𝑐 ⇛ 2𝑚𝑛 = 𝑐 ⇛ 𝑚𝑛 = 𝑐 − 𝑚𝑛 ⇛ (𝑐 − 𝑚𝑛) + (𝑐 − 𝑚𝑛) = 𝑐

⇛ 2(𝑐 − 𝑚𝑛) = 𝑐

Hemos encontrado un número entero donde C-mn da como resultado un numero entero,
por lo que lo llamaremos m

2𝑚 = 𝑐

Y por la definición de los números compuestos, hemos encontrado dos números enteros “2
y m” tal que hagan que C por definición sea un numero compuesto, probando que ¬Q⇛¬P
Sea verdadera, con lo cual hemos demostrado que P⇛Q es verdadera. ∎

UNADM | DCEIT | MAT | 00000 4

Título
Subtítulo

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

Considerando las proposiciones:

P:5n+3 es par
Q: n es impar

Demostraremos P⇛Q es verdadera mostrando que ¬Q⇛¬P es verdadera.

¬Q: n es par
¬P: 5n+3 es impar

n es par, tomando la siguiente definición:

“Para cada entero x, x es par si, y solo si puede encontrarse un entero k tal que
x=2k”
Por lo tanto
5n+3=5(2k)+3 ⇛ 5n+3= 10k+3
Como 10k+3 tambien es un numero entero, lo llamaremos m, entonces hemos
encontrado un entero m tal que

5n+3=m ⍱mϵ ℤ

Y de acuerdo con la definición de número par, tenemos que 5n+3 no cumple con la
definición, por lo que se concluye que 5n+3 es un número impar. Hemos
demostrado que ¬Q⇛¬P es verdadera con lo cual P⇛Q también.

5. Demuestra que Si n ∈ ℤ, entonces, 𝑛2 − 3es múltiplo de 4.

Demostracion
Para demostrar el enunciado anterior procederemos con inducción matemática.
Entonces

(i) Como 𝑛2 siempre será un numero positivo, quiere decir que 𝑛2 ∈ ℤ positivos,
tomando el valor inicial igual a 0, 𝑛0 =0 entonces

𝑃(0) = 𝑛2 − 3 ⇛ (0)-3=-3

Veamos si -3 es múltiplo de 4|-3 entonces -3(x)=4 con x en los enteros.

Procederemos a dividir -3 en ambos lados de la igualdad, entonces:
−3𝑥 4 1𝑥 4 4
= ⇛ = ⇛𝑥 =
−3 −3 1 −3 −3

UNADM | DCEIT | MAT | 00000 5

Título
Subtítulo
4 4
Hemos encontrado el valor de x= y −3 no es un número que pertenezca a
−3
los enteros.

Siguiendo con la demostración, como 𝑛2 ∈ ℤ positivos y con 𝑛2 ≠ 0

procederemos por inducción matemática y Tomando como valor inicial 𝑛0 =1

Entonces

𝑛2 − 3 ⇛ (1)2 − 3 = −2

Vemos que con el valor 1 si se cumple el enunciado.

(ii) Preocederemos a enunciar la hipótesis de inducción para el numero natural k
Entonces

𝑘 2 − 3 es múltiplo de 4

(iii) Usando la hipótesis de inducción enunciada en (ii), se demostrará que 𝑃(𝑘+1) es

verdadera

Entonces, por divisibilidad tenemos que (𝑘 + 1)2 |4 entonces

(𝑘 + 1)2 − 3 = 4𝑥 con x en los enteros

Procederemos a desarrollar el binomio

𝑘 2 −3 2𝑘+1
(𝑘 2 + 2𝑘 + 1) − 3 = 4𝑥 ⇛ + =𝑥
4 4

2𝑘+1 𝑘 2 −3
Como 4 es entero y es entero, entonces por la propiedad de
4
cerradura, x es entero.

Como encontramos que x es entero, se cumple la propiedad que se quiere

demostrar para (k+1) ´por lo tanto 𝑛2 − 3 es múltiplo de 4. ∎

UNADM | DCEIT | MAT | 00000 6

Título
Subtítulo
6. Demuestra que

(x)(Fx)  (x)(Fx  Gx)

Usaremos las reglas de inferencia para demostrar lo siguiente

(x)(Fx)  (x)(Fx  Gx)

Por la regla de inferencia llamada Modus ponens, entonces

(x)(Fx)  (x)(Fx  Gx)

(x)(Fx)
⸫ (x)(Fx  Gx)

UNADM | DCEIT | MAT | 00000 7