ACTIVIDAD 3

PRINCIPIO DEL BUEN

ORDEN

López Báez Herlinda

Profesora: Hermelinda Hernández de

la cruz
a )1  3  5  7  ....  ( 2n  1)  n 2
2n  1 ? n 2
2(1) ? 12
2  1 ? 1
1 ? 1
1  3  5  7  ....  (2k  1)  k 2
n  k  n  k 1
1  3  5  7  ....  (2( k  1)  1)  ( k  1) 2
1  3  5  7  ....  (2k  1)  (2( k  1)
k 2  (2k  2  1)
k 2  2k  1  (k  1)(k  1)  (k  1) 2
1  3  5  7  ....  (2k  1)  [2(k  1)  1]  (k  1) 2
esv verdadera

b) 2  4  6  8  ....  2n  n(n  1)
2  4  6  8  ....  2k  k (k  1)
2  4  6  8  ....  2k  2(k  1)
2  4  6  8  ....  2k  2(k  1)  ( k  1)  2( k  1)
k (k  1)  2(k  1)  (k  2)(k  1)  (k  1)  (( k  1)  1)
2  4  6  8  ....  2k  2(k  1)  ( k  1)  ((k  1)  1)
y esto es verdadero

n(3n  1)
c )1  4  7....  (3n  2) 
2
3(3  3  1)
1 4  7   12  12
2
k (3k  1)
1  4  7  ....  (3k  2) 
2
(k  1)(3(k  1)  1)
1  4  7  ....  (3k  2)  3((k  1)  2) ?
2
k (3k  1) (3k  1) 3k  k 6k  2 3k  5k  2
2 2
   
2 1 2 2 2
(k  1)(3k  2) 3k  2k  3k  2 3k  5k  2
2 2
 
2 2 2
d) 1+2+22 +23 +⋯+ 2n=2n+1 – 1
Suponga que la afirmación es verdadera para n = k, es decir
1 + 2 + 2 2 +2 3 + ... + 2 k-1 = 2 k - 1 ecuación 1
Necesito demostrar que la afirmación es verdadera para n = k + 1, es decir,
necesito demostrar que
1 + 2 + 2 2 +2 3 + ... + 2 (k + 1) -1 = 2 k + 1 - 1 ecuación 2
El lado izquierdo de la ecuación 2 es
1 + 2 + 2 2 +2 3 + ... + 2 (k + 1) -1 = 1 + 2 + 2 2 +2 3 + ... + 2 k 
El siguiente al último término en esta suma es 2 k-1 y, por lo tanto, puedo escribir
el lado izquierdo de la ecuación 2 como
1 + 2 + 2 2 +2 3 + ... + 2 k-1 + 2 k
Pero sé que 1 + 2 + 2 2 +2 3 + ... + 2 k-1 = 2 k - 1 (esta es la ecuación 1), por lo
que el lado izquierdo de la ecuación 2 es
1 + 2 + 2 2 +2 3 + ... + 2 k-1 + 2 k = 2 k - 1 + 2 k = 2 (2 k ) - 1 = 2 k + 1 - 1
Por lo tanto, hemos demostrado que el lado izquierdo y el lado derecho de la
ecuación 2 son iguales.
Esto completa el paso inductivo y, por lo tanto, por inducción, he demostrado que
1 + 2 + 2 2 +2 3 + ... + 2 n-1 = 2 n - 1 para n = 1, 2, 3, ...

n(n+1)
e) Demostrar que para todo número natural se cumple la suma de Gauss
2
(1) ρ(1) : 1 = 1(1 + 1)/2 , lo cual es verdadero.
(2) Sea η ∈Ν , debemos probar que ρ(η) ρ(η + 1) es verdadero.
Nótese que si ρ(η) es falsa la implicación es verdadera, de modo que hay que
hacer la demostración suponiendo que ρ(η) es verdadera.
(Esto es lo que se llama hipótesis inductiva). Supongamos entonces que ρ(η) es
verdadera, es decir, que 1 +2 +3 + ... + η = η(η+1)/2 es verdadera.
Como ρ(η+1) : 1 +2 +3 + ... + (η+1) = (η+1) [ (η+1) + 1 ] /2 , ρ(η+1) debe poder
formarse de ρ(η) sumando η+1 a ambos miembros de la igualdad (de la hipótesis
inductiva) :
1 +2 + 3 + … + η+ (η+1)
= η(η+1)/2 + (η+1)
= (η+1) [η /2+1]
= (η+1) (η+2) /2
Hemos confirmado nuestras sospechas, lo que, en lenguaje formal, significa que
hemos deducido que ρ(η+1) es verdadera, suponiendo que ρ(η) lo es. Así, hemos
probado que ∀η∈Ν : ρ(η) ρ(η+1) es verdadera. Luego, ∀η∈Ν : 1 +2 + 3 + … + η =
η (η+1) /2 es una fórmula correcta.