Pensamiento Matemático

Actividades Unidad 2

Matemáticas
División de Ciencias Exactas,
Ingeniería y Tecnología

1er. Semestre
Asignatura:

Introducción al Pensamiento Matemático

UNIDAD 2.

Métodos de demostración.

Evidencia de aprendizaje.

Actividad 2.
Profesor:

José Eduardo García Mendiola

Alumna:

Luz Elena Tiscareño Montoya

Matrícula:

ES1921012025

Aguascalientes, Ags., a 02 de Agosto de

2019
Actividad 2. Métodos de demostración.

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

𝑧2
, entonces es isósceles.
4

Primero se tiene que considerar que el área de un triángulo corresponde al producto de su base
𝑧2
por su altura dividido entre dos, sabemos que el área en relación a x e y es por lo que se puede
4

obtener la siguiente igualación:

𝑥𝑦 𝑧 2
𝐴= =
2 4

Sin embargo, debido a la premisa de que se trata de un triángulo isósceles se sabe que dos de
sus lados deben de ser iguales, entonces:

𝑥=𝑦 → 𝑥−𝑦 =0

El siguiente paso es saber la expresión del teorema de Pitágoras de lo que se deduce lo siguiente
apoyado de la anterior premisa. A partir de esto se mostrarán todos los pasos hasta obtener la
igualación de x=y.

𝑥𝑦 𝑥 2 + 𝑦 2
=
2 4

𝑥𝑦 𝑦 2 + 𝑦 2
= 𝑡𝑜𝑚𝑎𝑛𝑑𝑜 𝑒𝑛 𝑐𝑜𝑛𝑠𝑖𝑑𝑒𝑟𝑎𝑐𝑖ó𝑛 𝑥 = 𝑦
2 4

𝑥𝑦 2𝑦 2
=
2 4

2𝑥𝑦 = 2𝑦 2 → 2𝑥𝑦 − 2𝑦 2 = 0

UNADM | DCEIT | MAT | 00000 2

 𝟐𝒚(𝒙 − 𝒚) = 𝟎 → 𝒙 − 𝒚 = 𝟎 ∴ 𝒙=𝒚

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

Primero se verifican los primeros tres elementos donde 𝑛 ∈ ℕ

1(1 + 1)(2(1) + 1)
𝑆𝑖 𝑛 = 1 → =1
6

2(2 + 1)(2(2) + 1)
𝑆𝑖 𝑛 = 2 → = 5 𝑡𝑒𝑛𝑖𝑒𝑛𝑑𝑜 𝑒𝑛 𝑐𝑢𝑒𝑛𝑡𝑎 𝑞𝑢𝑒 12 + 22 = 5
6

3(3 + 1)(2(3) + 1)
𝑆𝑖 𝑛 = 3 → = 14 𝑡𝑒𝑛𝑖𝑒𝑛𝑑𝑜 𝑒𝑛 𝑐𝑢𝑒𝑛𝑡𝑎 𝑞𝑢𝑒 12 + 22 + 32 = 14
6

Ahora tomamos en cuenta el valor de k, entonces:

𝑘(𝑘 + 1)(2(𝑘) + 1)
𝑆𝑖 𝑛 = 𝑘 → = 12 + 22 + 32 + ⋯ + 𝑘 2
6

Por lo anterior, ahora se debe de cumplir para k+1, de modo que:

(𝑘 + 1)((𝑘 + 1) + 1)(2(𝑘 + 1) + 1)
𝑆𝑖 𝑛 = 𝑘 + 1 → = 12 + 22 + 32 + ⋯ + 𝑘 2 + (𝑘 + 1)2
6

Podemos dejarlo expresado de la siguiente forma:

(𝑘 + 1)(𝑘 + 2)(2𝑘 + 3) (𝑘 + 1)(2𝑘 2 + 7𝑘 + 6)

=
6 6

Ahora bien, queda suponer que se cumple n=k de tal manera que se puede hacer la siguiente
equivalencia:

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

Realizando la suma de fracciones se obtiene que

UNADM | DCEIT | MAT | 00000 3

 𝑘(𝑘 + 1)(2𝑘 + 1) + 6(𝑘 + 1)2 (𝑘 + 1)(2𝑘 2 + 7𝑘 + 6)
= ≡
6 6

De tal manera se demuestra que bajo el principio de inducción matemática la propiedad es cierta
para cualquier número natural.

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

siempre es un número compuesto.

p: Suma de dos números compuestos

q: Siempre es un número compuesto

Negamos las premisas para obtener:

¬𝑝: La no suma de dos números compuestos

¬𝑞: Nunca es un número compuesto

Debido a que se trata de la negación de las premisas originales y se puede deducir que, en
realidad, la suma de números compuestos puede ser también un número primo entonces se
demuestra que la oración sin la negación es contradictoria.

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

Tomando en cuenta que 5𝑛 + 3 es una solución cuya respuesta será igual a un número par
tenemos la siguiente expresión:

5𝑛 + 3 = 2𝑛

Ahora se considera que la n correspondiente a la izquierda tiene que ser impar, por lo que

5(2𝑛 + 1) + 3 = 2𝑛 ∴ 10𝑛 + 8 = 2𝑛

Ambas igualaciones corresponden a dos ecuaciones en las cuales son pares, por lo tanto, se
demuestra que, para cada entero de n, si 5𝑛 + 3 es par, entonces n es impar. Además de que si
5𝑛 + 3 es impar, entonces n es par.

UNADM | DCEIT | MAT | 00000 4

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

Ya que n es número entero, par o impar se tomará en consideración cuando n es par.

Cuando n es par, es decir cuando se escribe de la forma n = 2k

Se tiene que demostrar que 𝑘 2 − 3 no es divisible por 4.

Entonces, se supone que 𝑘 2 − 3 si es divisible por 4. De manera que se puede expresar como el
cociente de un número q.

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

Lo que significa que 4q + 3 es par porque 4𝑘 2 es par.

Pero 4q es par y 3 es impar y la suma de un número par con un impar es impar, por lo que tienes
una contradicción.

Por lo tanto, 𝑛2 − 3 no es divisible por 4.

6. Demuestra que

si 0 < 𝑥 < 𝑦, entonces

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

Se tienen que demostrar cada una de las desigualdades de modo que primero se toma la parte
de

𝑥 < √𝑥𝑦

Se llega a esta conclusión primero tomando en cuenta 𝑥 < 𝑦 de modo que se multiplica cada
parte por una x y después se le saca raíz.

𝑥 2 < 𝑥𝑦 → √𝑥 2 < √𝑥𝑦 ∴ 𝑥 < √𝑥𝑦

UNADM | DCEIT | MAT | 00000 5

 𝑥+𝑦
Para la parte de < 𝑦 se suma en ambos lados una y a 𝑥 < 𝑦 para más tarde dividirlo entre
2

dos.

𝑥+𝑦
Por último, tenemos la desigualdad √𝑥𝑦 < en este caso se tiene que primero expresar que
2

x e y serán en forma de resta, después se eleva al cuadrado y en seguida se le suma un 4xy, se

divide entre cuatro y después se le saca la raíz.

UNADM | DCEIT | MAT | 00000 6