ALGEBRA I

Números naturales

Números naturales, principio de inducción Observación. De lo anterior se deduce que si H es un subconjunto de IN que satisface
i) 1 2 H
ii) k 2 H =) k + 1 2 H
1. Conjuntos inductivos. entonces H = IN.

Denotaremos por IN al conjunto de números naturales, IN = {1, 2, 3, 4, 5, 6, . . .}, cuyos

elementos son suma de un número finito de unos. Recordemos que IN es cerrado para la 2. Principio de inducción.
suma y el producto (la suma y el producto de números naturales son números naturales), Sea P (n) una función proposicional predicable sobre IN. Si valen
pero no lo es para la resta o la división (4 ° 9 2
/ IN y 75 2
/ IN). 1) P (1) es verdadera
Diremos que un subconjunto S de IR es inductivo si se satisfacen: 2) P (k) =) P (k + 1), para todo k 2 IN
i) 1 2 S entonces P (n) es verdadera para todo n 2 IN.
ii) k 2 S =) k + 1 2 S Demostración: Sea H = {h 2 IN / P (h) es verdadera}. Entonces H es un subconjunto de
Ejemplos. IN que satisface

i) IR, IR>0 y IR∏1 son inductivos. i) 1 2 H

ii) k 2 H =) k + 1 2 H
ii) IR<5 no es inductivo pues satisface i) pero no satisface ii) Luego, por la observación anterior, H = IN y por lo tanto P (n) es verdadera para todo
iii) ; no es inductivo pues satisface ii) pero no satisface i) n 2 IN.
p p
iv) S = {x 2 IR / x2 ∑ 3} no es inductivo pues no satisface ii): 2 2 S pero 2+12
/S Resumiendo, el principio de inducción dice que para probar que P (n) es verdadera para
v) IN es inductivo. todo n 2 IN alcanza con probar que valen 1) y 2).

Ejercicio. ¿Cuáles de los siguientes conjuntos son inductivos? Ejemplos.

a) S1 = {x 2 IR / x < 3
o x ∏ 72 } a) P (n) : n + 3 ∏ n + 7 satisface 2) pues k + 3 ∏ k + 7 =) k + 1 + 3 ∏ k + 1 + 7 pero sin
2
embargo P (n) no es verdadera para todo n 2 IN. Lo que sucede en este caso es que P (1)
b) S2 = {x 2 IR / 6x2 ° 2x + 2 ∏ 4}
es falsa. Esto muestra que es necesario probar que P (1) es verdadera.
c) S3 = {x 2 IR / ° x 2 S2 } b) P (n) : n ∑ 7 satisface 1) pero sin embargo P (n) no es verdadera para todo n 2 IN. Lo
d) S4 = IN ° {11} que sucede es que no se satisface 2) pues P (7) no implica P (8) ya que P (7) es verdadera
e) S6 = {a 2 ZZ / a > °3} y P (8) es falsa. Esto muestra que es necesario probar que P (k) =) P (k + 1).
c) P (n) : 5n ∏ 2n + 3n . Veamos que en este caso valen 1) y 2) y por lo tanto P (n) es
Notemos que si S µ IR es un conjunto inductivo entonces 1 2 S por i). Pero esto implica
verdadera 8 n 2 IN. Es claro que P (1) : 5 ∏ 2 + 3 es verdadera. Sea k 2 IN. Veamos ahora
que 2 2 S por ii) y luego 3 2 S nuevamente por ii), etc. Luego, IN µ S. Por lo tanto,
que P (k) =) P (k + 1), es decir, 5k ∏ 2k + 3k =) 5k+1 ∏ 2k+1 + 3k+1
IN es un conjunto inductivo que está contenido en todos los conjuntos inductivos. Si
consideramos el orden en los conjuntos dado por µ, esto puede resumirse en la forma: IN Supongamos que 5k ∏ 2k + 3k (esta es la hipótesis inductiva a la que abreviaremos con
es un conjunto inductivo que es menor que todo otro conjunto inductivo. HI). Debemos probar que 5k+1 ∏ 2k+1 + 3k+1
Supongamos ahora que H es un subconjunto de IR que tiene esta propiedad, es decir, H es
5k+1 = 5.5k ∏ 5.(2k + 3k ) = 5.2k + 5.3k ∏ 2.2k + 5.3k ∏ 2.2k + 3.3k = 2k+1 + 3k+1
inductivo y H está contenido en todos los conjuntos inductivos. Entonces debe ser H = IN por HI 5∏2 5∏3
(¿porque?) y esto significa que IN es el único conjunto inductivo que está contenido en
todos los conjuntos inductivos. Si quisiéramos dar una definición rigurosa del conjunto de Luego, 5n ∏ 2n + 3n 8 n 2 IN.
números naturales podrı́amos definirlo como el único conjunto inductivo que está contenido d) P (n) : n5 ∏ n4 . Si bien puede demostrarse que P (n) es verdadera 8 n 2 IN utilizando
en todos los conjuntos inductivos, es decir, la intersección de todos los subconjuntos de IR el principio de inducción, notemos que la siguiente demostración es mucho más corta y
que son inductivos. sencilla: dado n 2 IN

1 2
ALGEBRA I
Números naturales
ALGEBRA I
Números naturales

n5 Ejercicio. Consideremos la función proposicional P (n) : si un conjunto de n seres vivos

n5 ∏ n4 () ∏ 1 () n ∏ 1
n4 contiene un conejo entonces todos sus elementos son conejos.
Como n ∏ 1 pues n 2 IN entonces n5 ∏ n4 . “Demostraremos” por inducción que P (n) es verdadera 8 n 2 IN, el sueño de todo mago:
convertir a toda la audiencia en conejos con sólo sacar un conejo de la galera. Si Ud. no
Moraleja: El principio de inducción es una herramienta útil pero no siempre es la manera
quiere ser convertido en conejo, encuentre el error.
más conveniente de demostrar que P (n) es verdadera 8 n 2 IN.
Es claro que P (1) es verdadera. Probemos que P (n) =) P (n + 1).
e) Sea (an )n2IN la sucesión de números reales definida inductivamente en la forma HI) si un conjunto de n seres vivos contiene un conejo entonces todos sus elementos son
conejos.
a1 = 3, an+1 = 2an (n 2 IN) Debemos probar que si A es un conjunto de n + 1 seres vivos que contienen un conejo en-
tonces todos los elementos de A son conejos. Sea A = {x1 , x2 , . . . , xn , xn+1 } un conjunto de
Calculemos algunos valores de an : a1 = 3, a2 = 2a1 = 2.3, a3 = 2a2 = 2.2.3 = 22 .3,
n + 1 seres vivos donde x1 es un conejo. Luego, el conjunto {x1 , x2 , . . . , xn } es un conjunto
a4 = 2a3 = 2.22 .3 = 23 .3, . . . Al parecer vale que an = 3.2n°1 8 n 2 IN. Probemos esto
de n seres vivos que contiene un conejo y por lo tanto, por HI, x1 , x2 , . . . , xn son conejos.
utilizando el principio de inducción para la función proposicional P (n) : an = 3.2n°1
Ahora, el conjunto {x2 , x3 , . . . , xn , xn+1 } es un conjunto de n seres vivos y sabemos por
Es claro que P (1) : a1 = 3.20 es verdadera ya que a1 = 3.
lo que probamos recién que x2 es un conejo. Luego, usando nuevamente la HI resulta
Sea h 2 IN. Veamos que P (h) =) P (h + 1), es decir, ah = 3.2h°1 =) ah+1 = 3.2h . La
que x2 , x3 , . . . , xn , xn+1 son conejos. Hemos probado entonces que x1 , x2 , . . . , xn , xn+1 son
hipótesis inductiva es todos conejos.
ah = 3.2h°1
Sumatoria. Sea (an )n2IN una sucesión de números reales. Definimos la sumatoria desde
y debemos probar que ah+1 = 3.2h . Por definición de la sucesión, ah+1 = 2ah . Ahora, n
X
usando esto y la hipótesis inductiva se tiene que i = 1 hasta n de ai , a la que denotaremos por ai , inductivamente en la forma
i=1

1
X n+1
X n
X
ah+1 = 2ah = 2.3.2h°1 = 3.2.2h°1 = 3.2h
ai = a1 , ai = ai + an+1 (n 2 IN)
como querı́amos probar. Luego, an = 3.2 8 n 2 IN.
n°1 i=1 i=1 i=1

n(n + 1) Calculemos algunos valores de esta sumatoria:

f) P (n) : 1 + 2 + 3 + 4 + · · · + n =
2 X1 2
X X1 3
X 2
X
1(1 + 1) ai = a1 , ai = ai + a2 = a1 + a2 , ai = ai + a3 = a1 + a2 + a3 , . . .
Probemos que P (n) es verdadera 8 n 2 IN. Es claro que P (1) : 1 = es verdadera.
2 i=1 i=1 i=1 i=1 i=1
Dado n 2 IN, veamos que P (n) =) P (n + 1), es decir, n
X
En general, ai es una manera de escribir la suma a1 + a2 + · · · + an evitando los puntos
n(n + 1) (n + 1)(n + 2) i=1
1 + 2 + 3 + ··· + n = =) 1 + 2 + 3 + · · · + n + (n + 1) = suspensivos.
2 2
n
X
En este caso la hipótesis inductiva es Ejemplos. 1) Tomando ai = i para todo i resulta que i = 1 + 2 + 3 + · · · + n.
n(n + 1) i=1
1 + 2 + 3 + ··· + n = n
X
2 2) Tomando ai = (1 + i)2 se tiene que (1 + i)2 = 22 + 32 + 42 + · · · + (n + 1)2
(n + 1)(n + 2) i=1
y debemos probar que 1 + 2 + 3 + · · · + n + (n + 1) = . Utilizando la hipótesis n
X n
X
2 3) Tomando ai = 1 se tiene que 1 = 1 + 1 + 1 + · · · + 1 (n sumandos), es decir, 1=n
inductiva vemos que
i=1 i=1

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

X n
X
1 + 2 + 3 + · · · + n + (n + 1) = + (n + 1) = = Ejercicio. i) ¿Es cierto que (n + 1 + i) = (n + i) + 2(n + 1)? (Si su respuesta es sı́
2 2 2
i=1 i=1
como querı́amos demostrar. mejor piénselo un rato más).

3 4
ALGEBRA I ALGEBRA I
Números naturales Números naturales

n+1
2X 2
X
n
Cambio de ı́ndices. Dejamos como ejercicio al lector convencerse de que
ii) ¿Es cierto que (3i ° 1) = (3i ° 1) + 3.2n+1 ° 1? n n°1 n°1 n n+3
X X X X X
i=1 i=1
i2 = (j + 1)2 = (i + 1)2 y (i + 3) = i
Propiedades de la sumatoria. Sean (an )n2IN y (bn )n2IN sucesiones de números reales i=1 j=0 i=0 i=1 i=4
y sea c 2 IR. Entonces valen n+1 n+2 n+1 2n+2
n n n
X X X X
X X X ¿Es cierto que (n + 1 + i) = (n + i)? ¿Es cierto que (n + 1 + i) = i?
1) (ai + bi ) = ai + bi
i=1 i=2 i=1 i=n+2
i=1 i=1 i=1
n
2
X
n
X n
X 23n + 22n+1 + 22n + 2n+1
2) (c.ai ) = c. ai Ejemplo difı́cil. Probaremos por inducción que i(i + 1) =
i=1
3
i=1 i=1
para todo n 2 IN, utilizando las propiedades de la sumatoria y un cambio de ı́ndices.
Ejercicio. Demostrar las propiedades de la sumatoria utilizando el principio de inducción. 2
X 23 + 23 + 22 + 22
n(n + 1)
n
X Dejamos como ejercicio verificar que P (1) : i(i + 1) = es verdadera.
Ejemplo. Antes probamos que i= 3
i=1
2 n
i=1
2
X
Calcularemos el valor de otras sumatorias, utilizando esto y las propiedades de la sumatoria: 23n + 22n+1 + 22n + 2n+1
HI) i(i + 1) =
i=1
3
n
X n
X n
X n
X n
X
n(n + 1) n+1
(2i + 3) = 2i + 3=2 i+3 1=2 + 3n = n2 + 4n 2X
23(n+1) + 22(n+1)+1 + 22(n+1) + 2(n+1)+1
2 Debemos probar que i(i + 1) = , es decir que
i=1 i=1 i=1 i=1 i=1
i=1
3
Xn Xn Xn Xn Xn
n(n + 1) 3n2 + n
(n + i) = n+ i=n 1+ i = n.n + = n+1
2X
2 2 23n+3 + 22n+3 + 22n+2 + 2n+2
i=1 i=1 i=1 i=1 i=1 i(i + 1) =
i=1
3
Si a0 , a1 , a2 , . . . es una sucesión de números reales, definimos
Allá vamos...
n
X n
X n+1 n
2X 2.2
X 2n
X +2n 2
X
n
2n
X +2n
ai = a0 + ai
i(i + 1) = i(i + 1) = i(i + 1) = i(i + 1) + i(i + 1) =
i=0 i=1
i=1 i=1 i=1 i=1 i=1+2n
y, si k es un número natural mayor que 1 y menor o igual que n, definimos haciendo el cambio de ı́ndices j = i ° 2n , es decir, i = j + 2n
n n
n
X n
X k°1
X 2
X 2
X
ai = ai ° ai = i(i + 1) + (j + 2n )(j + 1 + 2n ) =
i=k i=1 i=1 i=1 j=1
2n
X 2
X
n
Notar que si k es un número natural mayor que 1 y menor que n entonces
= i(i + 1) + [j(j + 1) + j.2n + (j + 1).2n + 2n .2n ] =
n k n i=1 j=1
X X X
ai = ai + ai 2n
X 2
X
n

i=1 i=1 i=k+1 = i(i + 1) + [j(j + 1) + j.2n + j.2n + 2n + 2n .2n ] =

i=1 j=1
n
X 2n 2 n
Ejemplo. Calculemos 2j. X X
j=7
= i(i + 1) + [j(j + 1) + 2j.2n + 2n + 22n ] =
i=1 j=1
n
X n
X 6
X n
X 6
X 2n n
n(n + 1) 6(6 + 1) X 2
X
2j = 2j ° 2j = 2 j°2 j=2 °2 = n2 + n ° 42 = i(i + 1) + [j(j + 1) + 2n+1 j + 2n + 22n ] =
j=7 j=1 j=1 j=1 j=1
2 2
i=1 j=1

5 6
ALGEBRA I ALGEBRA I
Números naturales Números naturales

usando las propiedades de sumatoria n µ ∂

X n
Binomio de Newton. Sean a, b 2 IR Entonces, 8 n 2 IN, (a + b)n = ak bn°k
2n
2 n
2n
2n k
X X X X k=0
= i(i + 1) + j(j + 1) + 2n+1 j+ (2n + 22n ) = Demostración: Dejamos como ejercicio verificar que vale para n = 1, es decir, que
X 1 µ ∂
i=1 j=1 j=1 j=1 1 k 1°k
2n 2n 2n
(a + b)1 = a b
X X X k
=2 i(i + 1) + 2n+1 j + (2n + 22n ) 1= k=0

Xn µ ∂
i=1 j=1 j=1 n k n°k
Probemos que P (n) =) P (n + 1). La hipótesis inductiva es: (a + b) =
n
a b
k
k=0
X µ n + 1∂
n+1
m
X m(m + 1) X
m
Debemos probar que (a + b)n+1 = ak bn+1°k . Usando la hipótesis inductiva se
usando la hipótesis inductiva y usando que j= y 1=m k
2 k=0
j=1 j=1 tiene que

23n + 22n+1 + 22n + 2n+1 2n (2n + 1) Xn µ ∂

=2 + 2n+1 + (2n + 22n ).2n = n k n°k
3 2 (a + b)n+1 = (a + b)(a + b)n = (a + b) a b =
k
23n+1 + 22n+2 + 22n+1 + 2n+2 k=0
= + 2n .2n (2n + 1) + 22n + 23n = Xn µ ∂ Xn µ ∂
3 =a
n k n°k
a b +b
n k n°k
a b =
23n+1 + 22n+2 + 22n+1 + 2n+2 k k
= + 23n + 22n + 22n + 23n = k=0 k=0
3 Xn µ ∂ Xn µ ∂
n k+1 n°k n k n+1°k
23n+1 + 22n+2 + 22n+1 + 2n+2 = a b + a b =
= + 2.23n + 2.22n = k k
3 k=0 k=0
23n+1 + 22n+2 + 22n+1 + 2n+2 X µn∂
n°1 Xn µ ∂
n k n+1°k
= + 23n+1 + 22n+1 = = ak+1 bn°k + an+1 + bn+1 + a b =
3 k k
23n+1 + 22n+2 + 22n+1 + 2n+2 + 3.23n+1 + 3.22n+1 k=0 k=1
= =
3 haciendo el cambio de ı́ndices j = k + 1 en la primera suma
4.23n+1 + 22n+2 + 4.22n+1 + 2n+2
= = Xn µ ∂ X n µ ∂
3 n n k n+1°k
= aj bn+1°j + an+1 + bn+1 + a b =
2 3n+3
+2 2n+2
+2 2n+3
+2 n+2
j°1 k
= j=1 k=1
3 n µ ∂ n µ ∂
X n X n k n+1°k
como querı́amos probar. = an+1 + bn+1 + ak bn+1°k + a b =
k°1 k
k=1 k=1
n ∑µ ∂ µ ∂∏
n
2
X 23n + 22n+1 + 22n + 2n+1 X n n
Ejercicio. Probar que i(i + 1) = para todo n 2 IN, de la = an+1 + bn+1 + + ak bn+1°k =
i=1
3 k°1 k
k=1
siguiente manera:
n usando ii) de la proposición
X n(n + 1)(2n + 1)
i) Probar por inducción que i2 = 8 n 2 IN n µ
X ∂
6 n + 1 k n+1°k
i=1 =a n+1
+b n+1
+ a b =
n
X k
n(n + 1)(n + 2) k=1
ii) Probar que i(i + 1) = usando i) y las propiedades de la sumatoria.
3 Xµ
n+1 ∂
n + 1 k n+1°k
i=1
n = a b
2
X 23n + 22n+1 + 22n + 2n+1 k
k=0
iii) Deducir de ii) que i(i + 1) =
3
i=1 como querı́amos probar.

7 10
ALGEBRA I ALGEBRA I
Números naturales Números naturales

Ejemplos. 5. Principio de buena ordenación.

3 µ ∂
X µ ∂ µ ∂ µ ∂ µ ∂ Diremos que un subconjunto S de IR posee un primer elemento si 9 s 2 S tal que s ∑ x
3 k 3°k 3 0 3 3 1 2 3 2 1 3 3 0
1) (a + b)3 = a b = a b + a b + a b + a b = 8 x 2 S. En tal caso diremos que s es el primer elemento de S.
k 0 1 2 3
k=0
Diremos que un subconjunto H de IR es bien ordenado si todo suconjunto no vacı́o de H
posee un primer elemento.
= b3 + 3ab2 + 3a2 b + a3 p
Ejemplos. i) H = {1, 2, °5, 73 } es bien ordenado.
ii) H = { n1 / n 2 IN} [ {0} no es bien ordenado pues el subconjunto no vacı́o { n1 / n 2 IN}
5 µ ∂ µ ∂ µ ∂ µ ∂ µ ∂
X 5 k 5°k 5 0 5 5 1 4 5 2 3 5 3 2 no posee un primer elemento.
2) (a + b)5 = a b = a b + a b + a b + a b + p
k 0 1 2 3 Ejercicio. S = {x 2 IR / x ∏ 2}
k=0

µ ∂ µ ∂ i) Mostrar que S posee un primer elemento

5 4 1 5 5 0 ii) Probar que S no es bien ordenado.
+ a b + a b = b5 + 5ab4 + 10a2 b3 + 10a3 b2 + 5a4 b + a5
4 5
Teorema. (Principio de buena ordenación) El conjunto IN es bien ordenado.
Xn µ ∂ n µ ∂ Demostración: Consideremos la función proposicional
n i n°i X n
3) 2 = (1 + 1) =
n n
1 1 =
i=0
i i=0
i P (n) : Si H µ IN y n 2 H entonces H posee un primer elemento
Probaremos que P (n) es verdadera 8 n 2 IN usando el principio de inducción. Veamos
4. Principio de inducción “corrido”. primero que P (1) es verdadera:

Sea P (n) una función proposicional predicable sobre IN y sea n0 2 IN. Si se verifican: P (1) : Si H µ IN y 1 2 H entonces H posee un primer elemento
Sea H un subconjunto de IN tal que 1 2 H. Debemos ver que H posee un primer elemento,
i) P (n0 ) es verdadera
es decir, que 9 h 2 H tal que h ∑ x 8 x 2 H. Tomando h = 1 2 H se tiene que 1 ∑ x para
ii) P (k) =) P (k + 1), para todo k 2 IN tal que k ∏ n0
todo x 2 H pues H µ IN. Luego, 1 es el primer elemento de H.
Entonces P (n) es verdadera 8 n 2 IN tal que n ∏ n0
HI) Si K µ IN y n 2 K entonces K posee un primer elemento
Dejamos la demostración como ejercicio. Notar que basta probar que P (m ° 1 + n0 ) es
Sea H un subconjunto de IN tal que n + 1 2 H. Debemos probar que H posee un primer
verdadera para todo m 2 IN.
elemento.
Ejemplo. Probaremos que 2n ∏ (n + 1)2 para todo n 2 IN tal que n ∏ 6.
Primer caso: n 2 H. En este caso H posee un primer elemento por HI.
i) P (6) es verdadera pues 26 = 64 ∏ 49 = (6 + 1)2
Segundo caso: n 2 / H. Sea K = H [ {n}. Entonces K posee un primer elemento k por HI,
ii) Sea k 2 IN tal que k ∏ 6 y supongamos que 2k ∏ (k + 1)2 . Vamos a probar que
es decir, existe k 2 K tal que k ∑ x 8x 2 K. En particular, como H µ K, k ∑ x 8x 2 H.
2k+1 ∏ (k + 2)2 .
Si k 6= n entonces k 2 H y k ∑ x 8x 2 H de donde k es el primer elemento de H. Y si, en
cambio, k = n, entonces n ∑ x 8x 2 H y, como n 2 / H resulta que n < x 8x 2 H. Pero
2k+1 = 2.2k ∏ 2(k + 1)2 esto implica que n + 1 ∑ x 8x 2 H pues H µ IN. Luego, n + 1 2 H y n + 1 ∑ x 8x 2 H,
por HI
es decir, n + 1 es el primer elemento de H.
Luego basta demostrar que 2(k + 1) ∏ (k + 2)2 . Hagamos eso:
2
Luego P (n) es verdadera para todo n 2 IN. Veamos ahora que IN es bien ordenado.
Debemos probar que todo subconjunto no vacı́o de IN posee un primer elemento. Sea H
2(k+1)2 ∏ (k+2)2 () 2(k 2 +2k+1) ∏ k 2 +4k+4 () 2k 2 +4k+2 ∏ k 2 +4k+4 () k 2 ∏ 2
un subconjunto no vacı́o de IN y sea h 2 H (h existe pues H 6= ;). Como h 2 IN pues
H µ IN, entonces P (h) es verdadera y por lo tanto H posee un primer elemento.
y k 2 ∏ 2 pues k ∏ 6. Luego hemos probado que 2n ∏ (n + 1)2 8 n 2 IN tal que n ∏ 6.

12
11
ALGEBRA I
Números naturales

6. Principio de inducción global.

Sea P (n) una función proposicional predicable sobre IN. Si se verifican:

i) P (1) es verdadera
ii) Para todo n 2 IN vale: si P (k) es verdadera 8 k 2 IN tal que k ∑ n entonces P (n + 1)
es verdadera
Entonces P (n) es verdadera 8 n 2 IN.
Demostración: Sea H = {n 2 IN / P (n) es falsa}. Queremos ver que H = ;. Supongamos
que no, entonces H es un subconjunto no vacı́o de IN. Luego, por el principio de buena
ordenación, existe h 2 H tal que h ∑ x para todo x 2 H. Como h 2 H entonces h 2 IN y
P (h) es falsa. Luego h 6= 1 por i) de donde h > 1 y por lo tanto n = h ° 1 2 IN. Además,
si k es un número natural menor o igual que n entonces k ∑ n = h ° 1 < h y como h es el
primer elemento de H resulta que k 2 / H de donde P (k) es verdadera.
Luego, n es un número natural y P (k) es verdadera 8 k 2 IN tal que k ∑ n. Por lo
tanto, usando ii) resulta que P (n + 1) es verdadera. Pero esto es una contradicción pues
P (n + 1) = P (h) es falsa.

Ejemplos. 1) Sea (an )n2IN la sucesión de números reales definida por

a1 = 3, a2 = 6, an+1 = 2an ° an°1 + 2n°1 (n ∏ 2)

Probaremos, usando el principio de inducción global, que an = n + 2n para todo n 2 IN:

P (1) : a1 = 1 + 21 es verdadera pues a1 = 3
Veamos ahora el paso inductivo: sea n 2 IN y supongamos que P (k) es verdadera 8 k 2 IN
tal que k ∑ n, es decir, que ak = k + 2k 8 k 2 IN tal que k ∑ n. Debemos probar que
an+1 = n + 1 + 2n+1 .
Primer caso: n = 1. En este caso an+1 = a2 = 6 = 2 + 22 = n + 1 + 2n+1
Segundo caso: n ∏ 2. En este caso an+1 = 2an ° an°1 + 2n°1 . Luego, como n ∏ 2, n y
n°1 son números naturales menores o iguales que n y por lo tanto, por hipótesis inductiva,
an = n + 2n y an°1 = n ° 1 + 2n°1 . Luego,

an+1 = 2an ° an°1 + 2n°1 = 2(n + 2n ) ° (n ° 1 + 2n°1 ) + 2n°1 = n + 1 + 2n+1

2) Sea F : IN =) IN la función definida por

8 ° ¢
< (F n2 ° 7)2 si n es par
F (1) = 11, y para n ∏ 2 F (n) =
:
n ° 1 + 5F (n ° 2) si n es impar
Probaremos que F (n) ∏ 9 + 2n para todo n 2 IN usando el principio de inducción global.