UNIVERSIDAD ABIERTA Y A DISTANCIA DE MÉXICO

Licenciatura Matemáticas

Asignatura: Introducción al pensamiento matemático

Actividad 2

Jaime Martínez Santamaría

Julio 2019
 Realiza las siguientes demostraciones

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

𝑧2 X
tiene de área , entonces es isósceles.
4
y z

Z x Y

Proposiciones: A: “el triángulo rectángulo XYZ de catetos x, y, e hipotenusa z

𝑧2
tiene área ”
4

B: “El triángulo XYZ es isósceles”

Se da que A → B, si A es verdadera entonces B también. Se intenta demostrar
que dos de sus lados tienen la misma longitud con la demostración indirecta).
Entonces B1: x=y, se entiende que x e y son números reales entonces para
poder demostrar que dos números reales son iguales, y demostrar que B y B1
son verdaderas se da B2.
B2: x – y = 0,
Ahora utilizamos el método directo para demostrar que A es verdadera.
La proposición A es “El triángulo rectángulo XYZ de catetos de longitud x, y e
hipotenusa de longitud z, tiene por área”.
De A deducimos:
xy 𝑧2
A1: 2
= 4
otra proposición que nos servirá es A2: 𝑥 2 + 𝑦 2 = 𝑧 2

Podemos combinar A1 y A2 construyendo otra proposición.

𝑥𝑦 𝑥 2 +𝑦 2
A3: = Así que continuando se intenta que A3 se parezca a B2
2 4

A4: 𝑥 2 + 2𝑦 + 𝑦 2 = 0 factorizando da A5: (𝑥 − 𝑦)2 = 0

En resumen

Proposiciones Justifica
𝑧2 Dado en el ejercicio
A: Área de XYZ es 4

xy 𝑧2 𝐵𝑎𝑠𝑒 . 𝐴𝑙𝑡𝑢𝑟𝑎
A1: = Área del triángulo:
2 4 2

2
 A2: 𝑥 2 + 𝑦 2 = 𝑧 2 Teorema de Pitágoras
𝑥𝑦 𝑥 2 +𝑦 2 De A1 y A2
A3: =
2 4

A4: 𝑥 2 + 2𝑦 + 𝑦 2 = 0 De A3

A5: (𝑥 − 𝑦)2 = 0 Factorizando A4

B2: x – y = 0 De A5

B1: x=y De B2

B: XYZ es isósceles De B1

2. Demuestra que la suma de los cuadrados de los n primeros números naturales

𝑛(𝑛+1)(2𝑛+1)
es igual a 6

𝑛(𝑛 + 1)(2𝑛 + 1)
12 + 22 + 32 + ⋯ + 𝑛2 =
6

Aplicaremos el método de inducción matemática.

- Probaremos que la igualdad es cierta para n =1

- Probaremos que si la igualdad fuera cierta para n seria para el siguiente n+1

Para n=1
Primer miembro 12=1
1(1+1)(2+1)
Segundo miembro =1
6
Coinciden, así que la igualdad se cumple para n=1

Debemos deducir que es cierta para el siguiente n+1

12 + 22 + 32 + ... + n2 + (n + 1)2 = (12 + 22 + 32 + ... + n2) + (n + 1)2 =

𝑛(𝑛 + 1)(2𝑛 + 1) 𝑛(2𝑛 + 1)

= + (𝑛 + 1)2 = (𝑛 + 1) [ + (𝑛 + 1)] =
6 6

2𝑛2 + 𝑛 6𝑛 + 6 2𝑛2 + 7𝑛 + 6
= (𝑛 + 1) ( + ) = (𝑛 + 1) =
6 6 6

3
 (𝑛 + 2)(2𝑛 + 3) (𝑛 + 1) ∙ [(𝑛 + 1) + 1] ∙ [2(𝑛 + 1) + 1]
= (𝑛 + 1) =
6 6
La expresión final es el segundo miembro de la igualdad que queremos demostrar,
pero cambiando la n por n + 1. Por tanto, se cumple para n + 1.jrr

3. Demuestra la negación del siguiente enunciado: la suma de dos números

compuestos siempre es un número compuesto.

La negación del siguiente enunciado: la suma de dos números compuestos

siempre es un número compuesto

Encontramos que:

p: la suma de dos números compuestos

q: siempre es un numero compuesto

p →q

Aplicando el método por contraposición

¬q: siempre es un numero compuesto

Entonces la proposición seria:
4. p→ ¬q
Probamos uno de varios casos

Sean 25 y 4 dos números compuestos

La operación 25 + 4 = 29 donde este número es un numero primo

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

En el caso, supongamos que n es par entonces

n=2k
Queda 5n+3=5(2k)+3= 2(5k)+3

4
 5n+3=5(2k)+2+1=2(5k+1)+1
Es impar, entonces…

Si n par →5 ∙ 𝑛 + 3 impar
Por contrario

Si 5 ∙ 𝑛 + 3 par → n impar

6. Demuestra que si 𝑛 ∈ ℤ, entonces, 𝑛2 − 3 no es múltiplo de 4.

Se da por suponer que 𝑛2 − 3 si es divisible por 4

(2𝑘)2 −3
Da =𝑞
4

4𝑘 2 − 3
=𝑞
4

4𝑘 2 − 3 = 4q

4𝑘 2 = 4𝑞 + 3 que se demuestra que 4q+3 es par porque 4k2 es par

Pero la suma de un numero par con un impar da un numero impar entonces al

decir que 4q+3 es par es una contradicción.

Por lo tanto (2k)2-3 no es divisible por 4

Segundo caso

Si n = 2k + 1, debes demostrar que (2k+1)2 – 3 no es divisible por 4.

Se supone que, si es divisible por 4, se expresa

(2𝑘 + 1)2 − 3
=𝑞
4

4𝑘 2 + 4𝑘 + 1 − 3 = 4𝑞

4𝑘 2 + 4𝑘 = 4𝑞 + 2

2𝑘 2 + 2𝑘 = 2𝑞 + 1

5
 2(𝑘 2 + 𝑘) = 2𝑞 + 1

2(𝑘 2 + 𝑘) es un numero par, por que es la suma de dos números enteros y el

dos, y 2𝑞 + 1 es impar porque es un numero par mas 1 que da un impar.

Se llega a la contradicción que 2𝑞 + 1 = 2(𝑘 2 + 𝑘) donde ya se había

demostrado que 2𝑞 + 1 es impar entonces…

Se comprueba que 𝑛 ∈ ℤ, entonces, 𝑛2 − 3 no es múltiplo de 4.

7. Demuestra que

si 0 < 𝑥 < 𝑦, entonces

𝑥+𝑦
𝑥 < √𝑥𝑦 < <𝑦
2

𝑥+𝑦
Si x < y → x + y <2y → <y
2

Si 0 < x < y → x2 < xy → x < √𝑥𝑦

Y como: (x – y)2 > 0 → 𝑥 2 + 𝑦 2 > 2 𝑥𝑦 → 𝑥 2 + 𝑦 2 + 2𝑥𝑦 > 4𝑥𝑦

→ (𝑥 + 𝑦)2 > 4𝑥𝑦 → 𝑥 + 𝑦 > 2√𝑥𝑦

𝑥+𝑦
→ √𝑥𝑦 < (3)
2

𝑥+𝑦
Luego por (1), (2), (3) 𝑥 < √𝑥𝑦 < <𝑦
2