Mipm U2 A2 Jams

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

Mipm U2 A2 Jams

Cargado por

Copyright:

Formatos disponibles

Mipm U2 A2 Jams

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Mipm U2 A2 Jams

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD ABIERTA Y A DISTANCIA DE MÉXICO

Asignatura: Introducción al pensamiento matemático

Jaime Martínez Santamaría

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

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

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

Podemos combinar A1 y A2 construyendo otra proposición.

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

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

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

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

- Probaremos que la igualdad es cierta para n =1

Debemos deducir que es cierta para el siguiente n+1

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

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

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

p: la suma de dos números compuestos

q: siempre es un numero compuesto

Aplicando el método por contraposición

¬q: siempre es un numero compuesto

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

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

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

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

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(𝑘 2 + 𝑘) es un numero par, por que es la suma de dos números enteros y el

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

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

si 0 < 𝑥 < 𝑦, entonces

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

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

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

También podría gustarte