Mipm U2 A2 Joss
Mipm U2 A2 Joss
Mipm U2 A2 Joss
UNIVERSIDAD NACIONAL
ABIERTA Y A DISTANCIA DE
MÉXICO
UNIDAD II
MÉTODOS DE DEMOSTRACIÓN.
22 DE FEBRERO DE 2023
pág. 1
UNADM
X Y
Proposición Razón
2
Z
XYZ es Hipótesis
4
2
Z
xy/z = Área = ½ (Base) (Altura)
4
x2 + y2 = z2 T.P
x2 – 2xy + y2 = 0 Algebra
(x + y)2 = 0 Factorización
(x-y) = 0 R.C
X=y
2. Demuestra que la suma de los cuadrados de los n primeros números naturales es igual a
n ( n+1 ) ( 2n+ 1 )
6
INDUCCIÓN MATEMÁTICA
Hipótesis:
n
n ( n+1 ) ( 2n+ 1 )
¿
6
pág. 2
UNADM
Tesis:
2 2 2 2 2 2
1 +2 +3 +4 + 5 + …+n
( n+1 ) ( n+2 ) ( 2n+ 3 )
¿
6
Demostración:
2 2 2 2 2 2
1 +2 +3 +4 + 5 + …+n
Patrones algebraicos
2
1 1 3
= =
1 1 3
2 2
1 +2 5
=
1+2 3
2 2 2
1 +2 +3 14 7
= =
1+2+3 6 3
2 2 2 2
1 +2 +3 + 4 30 9
= =
1+2+3+ 4 10 3
2 2 2 2 2
1 +2 +3 + 4 +5 55 11
= =
1+ 2+3+4 +5 15 3
Denominador es 3
2 2 2 2 2
1 +2 +3 + 4 +…+ n 2 n+1
=
1+2+3+ 4+5+ …+n 3
Despejando
2 2 2 2 2
1 +2 +3 + 4 +…+ n 2 n+1 (
= 1+ 2+ 3+4 +…+ n )
1+2+3+ 4+5+ …+n 3
n ( n+1 )
1+2+3+ 4+ …+n=
2
2 2 2 2 2 2 n+1
1 +2 +3 +4 + …+n = (1+2+3+ 4 +5+…+n )
3
n ( n+1 ) ( 2n+ 1 )
Simplificando12 +22 +32 + 42 +…+ n2=
6
pág. 3
UNADM
n ( n+ 1 )( 2 n+1 )
12 +22 +32 +4 2+ …+n2 = n≥ 1
6
Verificar que la proposición es válida para el valor inicial n0 = 1
2 1 (1+1 ) ( 2 ( 1 ) +1 )
1= verdadera
6
Hipótesis de Inducción en término del número natural k.
k ( k +1 ) ( 2 k+ 1 )
12 +22 +32 +4 2+ …+k 2=
6
Utilizando la hipótesis
2 2 2 2 2 2
1 +2 +3 +4 + …+k + ( k +1 )
Por asociativa
k ( k +1 ) ( 2 k +1 )
12 +22 +32 +…+ k 2+ ( k +1 )2= + ( k +1 )2
6
Distributiva
( k +2 )( 2 k +3 )
12 +22 +32 +…+ k 2+ ( k +1 )2=( k + 1 )
6
pág. 4
UNADM
Términos de k+1
( k +1 ) [ ( k +1 ) +1 ] [ 2 ( k +1 ) +1 ]
¿
6
CONCLUSIÓN:
n ( n+ 1 )( 2 n+1 )
12 +22 +32 +4 2+ …+n2 = n≥ 1
6
3. Demuestra la negación del siguiente enunciado: la suma de dos números compuestos siempre
es un número compuesto.
Demostración:
Método de Contraposición
q: Número no compuesto
Contraposición
¬ q →¬ p
¬ p :la suma de dos númeroscompuestos
¬ q :es compuesto
Sea r un número no primo y mayor que 1 , r=st tal que
r ∈ z , r >1∨r =st s ∧t> 1 s , t ∈ Z
Entonces
4. Demuestra que, para cada entero n, que si 5n+3 es par, entonces n es impar.
5n + 3 = par
pág. 5
UNADM
5n + 3 = 2r
Donde
r es un número entero
Despejando
5n = 2r – 3
Conclusión:
2r es par, si se le resta un número impar, esto nos da un número impar, por lo tanto, para que la
ecuación se cumpla n debe ser impar.
Demostración
Inducción matemática
Valor inicial 0 n0 = 0
2 2
P( 0)=n −3 → ( 0 ) −3=−3
−4
-3x = 4 x=
3
−4
Encontramos el valor de x= no es un número que pertenezca a los enteros.
3
6. Demuestra que
¬ (∃ x )( Fx ) ⇒ ( ∀ x ) ( Fx →Gx )
Regla de Inferencia
Modus Ponens,
Entonces
¬ (∃ x )( Fx ) ⇒ ( ∀ x ) ( Fx →Gx )
¬ (∃ x )( Fx )
_____________________________________
pág. 6
UNADM
∴ ( ∀ x ) ( Fx →Gx )
pág. 7
Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.
Alternative Proxies: