Mipm - U2 - A2 - V1 - Oszp
Mipm - U2 - A2 - V1 - Oszp
Mipm - U2 - A2 - V1 - Oszp
Actividades Unidad 2
OSCAR ALFREDO ZATARAIN PEDRERO
GRUPO: MT-MIPM-1801-B1-004
INTRODUCCION AL PENSAMIENTO
MATEMATICO
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
𝑛(𝑛+1)(2𝑛+1) 1(1+1)(2(1)+1)
12 = 6
⇛ 12 = 6
⇛ 1=1
𝑘(𝑘 + 1)(2𝑘 + 1)
12 + 22 + 32 + 42 + ⋯ + 𝑘 2 =
6
𝑘(𝑘+1)(2𝑘+1)
⇛ (12 + 22 + 32 + 42 + ⋯ + 𝑘 2 ) + (𝑘 + 1)2 = + (𝑘 + 1)2
6
𝑘(2𝑘 + 1) + 6(𝑘 + 1)
(12 + 22 + 32 + 42 + ⋯ + 𝑘 2 ) + (𝑘 + 1)2 = (𝑘 + 1)[ ]
6
(2𝑘 2 + 7𝑘 + 6)
(12 + 22 + 32 + 42 + ⋯ + 𝑘 2 ) + (𝑘 + 1)2 = (𝑘 + 1)[ ]
6
(2𝑘 + 3)(𝑘 + 2)
(12 + 22 + 32 + 42 + ⋯ + 𝑘 2 ) + (𝑘 + 1)2 = (𝑘 + 1)[ ]
6
(𝑘 + 1)((𝑘 + 1) + 1)(2(𝑘 + 1) + 1)
(12 + 22 + 32 + 42 + ⋯ + 𝑘 2 ) + (𝑘 + 1)2 = [ ]
6
Demostración
⇛ 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. ∎
P:5n+3 es par
Q: n es impar
¬Q: n es par
¬P: 5n+3 es impar
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.
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
Entonces
𝑛2 − 3 ⇛ (1)2 − 3 = −2
𝑘 2 − 3 es múltiplo de 4
𝑘 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.