Matematicas I

Ayudante: Ignacio Lopez Mu noz

Ayudanta 1: Induccion
Repaso:
Receta de cocina para la induccion:
- Probar que es cierto para el caso base (en general es n = 1)
- Suponer que lo que se quiere demostrar es cierto para n
- A partir de lo anterior, demostrar que la proposicon se cumple para n + 1
- Concluir
P1. (Control 1 Matematicas I, 2011). Demuestre que para todo n N se cumple que:
1
2
2
2
+ 3
2
... + (1)
n1
n
2
= (1)
n1

n(n + 1)
2
Solucion: Siguiendo la receta de cocina, probemos para el caso n = 1 del lado izquierdo de la igual-
dad: 1
2
= 1 y al lado derecho: (1)
11

1(1+1)
2
= 1. Se concluye entonces que 1
2
= (1)
11

1(1+1)
2
.
Con lo que queda demostrado que la armacion es cierta para el caso n = 1.
Supongamos que lo que queremos demostrar es cierto para alg un n generico. (A esto se le llama
la Hipotesis Iundictiva (H.I)). O sea asumimos como cierto que: 1
2
2
2
+ 3
2
... + (1)
n1
n
2
=
(1)
n1

n(n+1)
2
. Con esto veamos si se cumple para n + 1. Primero notemos que lo que se quiere
demostrar es:
1
2
2
2
+ 3
2
... + (1)
n1
n
2
+ (1)
(n+1)1
(n + 1)
2
= (1)
(n+1)1

(n + 1) ((n + 1) + 1)
2
Si desarrollamos el lado izquierdo de esta igualdad (solo un lado, no ambos a la vez!!) y ocupamos
la H.I:
1
2
2
2
+ 3
2
... + (1)
n1
n
2
. .
H.I
+(1)
n
(n + 1)
2
= (1)
n1

n(n + 1)
2
+ (1)
n
(n + 1)
2
Trabajando un poco el lado derecho y notando que: (1)
n1
= (1)
n
(1)
n

n(n + 1)
2
+ (1)
n

_
n
2
+ 2n + 1
_
= (1)
n
_

n(n + 1)
2
+
_
n
2
+ 2n + 1
_
_
= (1)
n
_
n
2
+ 3n + 2
2
_
= (1)
n

(n + 1) (n + 2)
2
= (1)
(n+1)1

(n + 1) ((n + 1) + 1)
2
Hemos llegado a lo que se quera probar, por lo tanto hemos demostrado lo pedido

1
P2. Demuestre que el producto de dos n umeros naturales consecutivos es siempre divisible por 2.
Solucion: Primero que todo recordemos que: un n umero N es divisible por 2 si k Z tal que
N = 2k. Si fuese divisible por 6, cumplira que N = 6k, etc.
Entonces debemos probar que el producto de dos n umeros consecutivos es divisible por 2. Si n es el
primer n umero, entonces lo que se quiere demostrar es que n N k Z tal que n(n + 1) = 2k.
Para ello usaremos induccion:
Para n = 1, se cumple que 1(1+1) = 2 = 2 1, es decir existe ese k y vale 1. Ahora supongamos que
esto es cierto para alg un n, es decir nuestra H.I es: n(n + 1) = 2k. Con esto se quiere demostrar
que n N L Z tal que (n + 1) ((n + 1) + 1) = 2L.
Desarrollando el lado izquierdo de la ultima igualdad y haciendo lo posible para que aprezca la HI,
nos queda:
(n + 1) (n + 2) = n
2
+ 3n + 2
=
_
n
2
+n
_
+ (2n + 2)
= n(n + 1)
. .
HI
+2 (n + 1)
= 2k + 2 (n + 1)
= 2 (k +n + 1)
Notamos entonces que (n +k + 1) es un entero, as que podemos denir: L = n + k + 1. Con lo
cual se ha demostrado que n N L Z tal que (n + 1) ((n + 1) + 1) = 2L

P3. (Control 1 Matematicas I, 2011). Demuestre que para todo n N la expresion 10

n
+3 4
n+2
+5 es
divisible por 9.
Solucion: Probemos para n = 1: 10
1
+ 3 4
1+2
+ 5 = 207 = 9 23. Al igual que el ejercicio an-
terior, en este caso existe el k y vale 23. Por lo tanto la armacion es cierta para n = 1. Ahora
supongamos como cierto que 10
n
+3 4
n+2
+5 = 9k y queremos probar que n N L Z tal que
10
n+1
+ 3 4
(n+1)+2
+ 5 = 9L.
Desarrollando el lado izquiero de la ultima igualdad y haciendo lo posible para que aparezca la H.I:
10
n+1
+ 3 4
(n+1)+2
+ 5 = 10
n+1
+ 3 4
n+3
+ 5
= 10 10
n
+ 3 4 4
n+2
+ 5
= 9 10
n
+ 10
n
+ 9 4
n+2
+ 3 4
n+2
+ 5
=
_
10
n
+ 3 4
n+2
+ 5
_
. .
HI
+
_
9 10
n
+ 9 4
n+2
_
= 9k + 9
_
10
n
+ 4
n+2
_
= 9
_
k + 10
n
+ 4
n+2
_
Si denimos L = k +10
n
+4
n+2
. Entonces habremos llegado a: 10
n+1
+3 4
(n+1)+2
+5 = 9L, que
es lo que se quera probar

P4. Demuestre que para todo n N y x > 0 se cumple que: (1 +x)

n
1 +nx
Solucion: Para n = 1 notamos que (1 +x)
1
= 1 + 1 x, por lo tanto es cierto en el caso base.
Como siempre supondremos como cierto que (1 +x)
n
1 +nx y demostraremos que (1 +x)
n+1

1 + (n + 1)x. Veamos:
2
(1 +x)
n+1
= (1 +x)
n
. .
HI
(1 +x)
(1 +nx) (1 +x)
= 1 (n + 1) x +nx
2
Ahora notemos que comox > 0 y n es un natural, entonces nx
2
> 0. Por lo tanto: (n + 1) x+nx
2
>
(n + 1) x. De esta forma se obtiene que:
(1 +x)
n+1
(n + 1) x +nx
2
> (n + 1) x
Por lo tanto: (1 +x)
n+1
> (n + 1) x

P5. Si a
0
= 0 y a
n+1
=
3
4 a
n
(1). Entonces demuestre que a
n
=
3 (3
n
1)
3
n+1
1
(2)
Solucion: Veriquemos si (2) es cierta para n = 1. En ese caso (2) vale: a
1
=
3
_
3
1
1
_
3
1+1
1
=
3
4
. Si
logramos encontrar el valor de a
1
a traves de (1) y se obtiene el mismo valor, entonces la armacion
es cierta para el caso base.
Notar que sabemos por enunciado que a
0
= 0, y como queremos encontrar a
1
, basta usar n = 0 en
(1): a
0+1
=
3
4 a
0
. Es decir a
1
=
3
4 0
=
3
4
Ahora suponemos como cierto que a
n
=
3 (3
n
1)
3
n+1
1
y queremos demostrar que a
n+1
=
3
_
3
n+1
1
_
3
(n+1)+1
1
.
Para poder hacerlo usamos (1) y reemplazamos a
n
gracias a la hipotesis inductiva.
a
n+1
=
3
4 a
n
=
3
4
3 (3
n
1)
3
n+1
1
=
3
_
3
n+1
1
_
4 (3
n+1
1) 3 (3
n
1)
=
3
_
3
n+1
1
_
4 3
n+1
4 3
n+1
+ 3
=
3
_
3
n+1
1
_
3 3
n+1
1
=
3
_
3
n+1
1
_
3
(n+1)+1
1
Que es justamente a lo que que queramos llegar

Propuesto 1. (PP1, Matematicas 1 2008) Demuestre que para todo n N y x = 1 se cumple:

(1 +x)
_
1 +x
2
_
...
_
1 +x
2
n1
_
=
x
2
n
1
x 1
Propuesto 2. Si a
n
> 0. Demuestre que:
(1 +a
1
) (1 +a
2
) ... (1 +a
n
) 1 + (a
1
+a
2
+... +a
n
)
3