EL SISTEMA DE LOS NMEROS NATURALES Nmeros naturales Sus relaciones I.

. IGUALDAD Si a y b representan nmeros naturales, diremos que a es igual a b, y escribiremos a = b, si a y b representan el mismo nmero natural. En caso contrario escribiremos a b, lo cual se lee a es diferente de b. A la igualdad de nmeros naturales se le asigna las propiedades enunciadas en los postulados que vienen a continuacin. 1. a=a

Es decir todo nmero natural es igual a s mismo. Propiedad reflexiva de la igualdad. 2. 3. 4. Si a = b, b = a. (Propiedad simtrica de la igualdad) (Propiedad transitiva de la igualdad)

Si a = b y b = c, a = c.

Existen nmeros naturales a y b tales que a b. Es decir el conjunto N

posee por lo menos dos elementos. A partir de los postulados anteriores se puede establecer los teoremas siguientes. Teorema 1: Si a = c y b = c, a = b. Es decir dos nmeros iguales a un tercero son iguales entre s. Demostracin 1. a = c 2. b = c 3. De la igualdad (2) resulta c = b 4. De las igualdades (1) y (3) resulta a = b (hiptesis) (hiptesis) (axioma I - 2) (axioma I 3)

Teorema 2: Si a = b y a = c, b = c (Ley de Euclides) Demostracin 1. a = b 2. a = c 3. De la igualdad (1) resulta b = a 4. De las igualdades (3) y (2) resulta b = c Teorema 3: Si a b, b a 1. a b 2. Si fuera b = a 3. Se tendra a = b (hiptesis) (hiptesis auxiliar) (axioma I 2) (hiptesis) (hiptesis) (axioma I - 2) (axioma I - 3)

Lo que est en contradiccin con (1). Por tanto debe ser b a. II. MENOR: Consideremos como concepto primitivo una relacin binaria sobre el conjunto de los nmeros naturales, a la cual llamaremos relacin menor. Si el nmero natural a est en esta relacin con el nmero natural b, diremos que a es menor
/ que b, y escribiremos: a < b. En caso contrario escribiremos: a < b lo cual se lee: a es

no menor que b. A est en relacin se asigna las propiedades enunciadas en los postulados siguientes: 1. Si a b, a < b o b < a.
/ 2. Si a < b, b < a

(Propiedad conexa de la relacin menor) (Propiedad antisimtrica) (Propiedad transitiva)

3. Si a < b y b < c, a < c

Estos postulados nos permiten decir que la relacin menor es una relacin de orden.
/ Teorema 1: a < a

Demostracin

1. Si fuera a < a
/ 2. Debera ser a < a

(hiptesis auxiliar) (axioma II 2)

/ 3. Lo que est en contradiccin con (1). Por tanto debe ser a < a / / Teorema 2: Si a = b, a < b y b < a

Demostracin 1. Si fuera a < b 2. Como a = b (hiptesis auxiliar) (hiptesis)

3. De (1) y (2) resultara sustituyendo a por b, b < b. Lo que est en contradiccin

/ con el Teorema 1. Por lo tanto debe ser a < b. Anlogo razonamiento se hacer para / demostrar que b < a

Teorema 3: Si a < b, a b Demostracin 1. Si fuera a = b

/ / 2. Se tendra a < b y b < a

(hiptesis auxiliar) (axioma II T 2) (hiptesis)

3. Pero a < b

Lo que contradice a ala primera parte de (2). Por tanto, debe ser a b. MAYOR: Diremos que a es mayor que b, y escribiremos, a > b, si y slo si b < a. Si a
/ no es mayor que b, pondremos a > b.

Teorema 1: (Propiedad conexa de la relacin mayor). Si a b, a > b o b > a.

Demostracin

1. 2. 3.

a b Luego: a < b o b < a De donde: b > a o a > b

(hiptesis) (axioma II 1) (Defi. >)

/ Teorema 2: (Propiedad antisimtrica) Si a > b, b > a.

Demostracin 1. Si fuera b > a 2. Se tendra a < b 3. Pero a > b

/ 4. Luego b < a, es decir a > b.

(hiptesis auxiliar) (Defi. >) (hiptesis) (Defi. >)

/ Lo que est en contradiccin con (2). Por tanto debe ser b > a.

Teorema 3: Si a > b y b > c, a > c (Propiedad transitiva) Demostracin 1. a > b y b > c 2. Luego c < b y b < a 3. De donde c < a 4. Por tanto a > c (hiptesis) (definicin) (axioma II 3) (definicin)

Nota: Los tres teoremas anteriores nos permiten decir que la relacin mayor es una relacin de orden. Teorema 4: (Ley de Tricotoma). Dados los nmeros a y b una y slo una de las tres relaciones: a < b, a = by a >, se cumple siempre. Demostracin

a) Una de las tres relaciones se cumple siempre. Supongamos que las dos primeras relaciones no se cumplieran. Veremos entonces que la tercera relacin debe cumplirse necesariamente. en efecto: 1. 2. 3.
/ a <b

(hiptesis) (hiptesis) (axioma II 1)

a b Resulta de (2): a < b o b < a

Pero como la primera de esas relaciones est en contradiccin con (1), queda necesariamente b < a. 4. De donde resulta a > b

Con lo cual queda demostrado que si no se cumplen las dos primeras relaciones se cumple la tercera. b) Slo una de las tres relaciones se cumple. Supongamos que se cumplan, en primer lugar, a la vez la primera y la segunda relacin. Se tendr: 1. 2. a<b a=b (hiptesis) (hiptesis)

Por representar a y b el mismo nmero, podemos intercambiar en (1) de donde resulta b < a.
/ 3. De lo cual se deduce a < b

(axioma II - 2)

Lo que est en contradiccin con (1). Esta contradiccin indica que no pueden cumplirse al mismo tiempo las dos primeras relaciones. c) Supongamos en segundo lugar que se cumplan a la vez la primera y la tercera relacin. Se tendr:

1. 2. 3. 4.

a<b a>b De (2) resulta: b < a

/ De donde a < b

(hiptesis) (hiptesis) (Defi. >) (axioma II 2)

Lo que est en contradiccin con (1). No pueden cumplirse pues al mismo tiempo la primera y tercera relaciones. d) Finalmente supongamos que se cumplan a la vez la segunda y tercera relacin. Se tendr: 1. 2. a=b a<b (hiptesis) (hiptesis)

Por presentar a y b el mismo nmero, podemos intercambiarlos en (2); de donde resulta: b < a.
/ 3. De lo cual se deduce: a < b

(Mayor Teorema 4)

Esta contradiccin indica que no pueden cumplirse a la vez las dos ltimas relaciones. Por consiguiente, slo una de las tres relaciones se cumple siempre, lo cual demuestra el teorema. MENOR O IGUAL: Diremos que a es menor o igual que b, y escribiremos: a b su y slo si a < b o a = b. Teorema 1: (Propiedad reflexiva) a a

Demostracin

1. a = a 2. Por lo tanto a a

(hiptesis) (Defi. )

Teorema 2: (Propiedad asimtrica generalizada) Si a b, y b a, a = b. Demostracin 1. a b 2. b a 3. Si fuera a b 4. a < b o b < a (4) est en contradiccin con (1). Por lo tanto debe ser: a = b (Mayor teorema 4) (hiptesis) (hiptesis) (hiptesis auxiliar) (axioma II 1)

5. Pero la primera parte de (4) est en contradiccin con (2), y la segunda parte de

Teorema 3: (Propiedad transitiva) Si a b y b c, a c Demostracin 1. a b y b c 2. De la primera parte, a < b o a = b 3. De la segunda parte de (1), b < c o b = c 4. Si a < b y b < c resulta a < c Si a < b y b = c resulta a < c Si a = b y b < c resulta a < c Si a = b y b = resulta a = c (axioma I 3) (hiptesis) (definicin) (definicin) (axioma II -3)

La segunda y tercera se obtienen sustituyendo letras que representan el mismo nmero. Si a = b y b = c resulta a = c (axioma I 3)

Nota: Los tres teoremas anteriores nos permiten decir que la relacin menor o igual es una relacin de orden parcial.

MAYOR O IGUAL: Decimos que a es mayor o igual que b y escribimos: a b, si y slo si, a > b o a = b.

OPERACIONES CON NMEROS NATURALES

III.

ADICIN: Consideramos como concepto primitivo una operacin binaria el conjunto de los nmeros naturales, a la cual llamaremos adicin. S a los nmeros a y b, les corresponde mediante esta operacin, el nmero natural c, diremos que c es la suma de a y b y escribiremos c = a + b. A esa operacin se le asigna las propiedades enunciadas en los postulados siguientes. 1. 2. 3. Dados los nmeros a y b, siempre existe y es nica, la suma a + b. a + b = b + a. Propiedad conmutativa. (a + b) + c = a + (b +c). Ley de monotona.

Propiedad uniforme de la adicin.

Teorema 1: Si a= b, a + c = b + c y c + a = c + b Demostracin 1. Como a = b + b. Teorema 2: Si a < b, c + a < c + b (hiptesis)

2. a + c y b + c representan el mismo nmero. Por lo tanto a + c = b + c y c + a = c

Demostracin

1. a < b 2. Luego: a + c < b + c 3. Pero a + c = c + a, y b + c = c + b 4. Por lo tanto de (2) y (3) c + a < c + b Teorema 3: Si a < b y c < d, a + c < b + d.

(hiptesis) (axioma III 4) (axioma III 2)

Es decir si dos desigualdades se suman miembro a miembro, se obtiene otra desigualdad del mismo sentido. Demostracin 1. a < b 2. Luego: a + c < b + d 3. c < d 4. Luego: b + c < b + d 5. De (2) y (4) se concluye a + c < b + d Teorema 4: (Ley de cancelacin) Si a + b = b + c, a = b Demostracin 1. Si fuera a b 2. Se tendra: a < b o a > b 3. De donde a + c < b + c o a + c > b + c 4. Pero: a + c = b + c 5. No pueden cumplirse a la vez (3) y (4) Por tanto: a = b IV. SUSTRACCIN: Dados los nmeros naturales a y b, diremos que c es la diferencia de a y b, y escribiremos: a b = c, su y slo si: a = b + c, en el supuesto caso de que c exista. La operacin hace corresponder a dos nmeros dados su diferencia, recibe el nombre de sustraccin. A esta operacin, se le asigna la propiedad enunciada en el postulado siguiente: (hiptesis) (tricotoma) (III 4) (hiptesis) (tricotoma) (hiptesis) (axioma III 4) (hiptesis) (III teorema 2) (III 3)

1.

Si a b, existe a b

Teorema 1: Si a b = c y a b = c, c = c. Es decir si existe la diferencia de dos nmeros, dicha diferencia es nica. Demostracin 1. a b = c 2. Luego: a = b + c 3. a b = c 4. Luego: a = b + c 5. De (2) y (4) resulta: b + c = b + c 6. Por lo tanto: c = c Teorema 2: Si a b = c, a c = b Demostracin 1. a b = c 2. Luego: a = b + c 3. Pero b + c = c + b 4. Luego de (2) y (3) resulta: a = c + b 5. Por lo tanto: a c = b (hiptesis) (definicin) (axioma III 2) (axioma I 3) (definicin) (hiptesis) (definicin) (hiptesis) (definicin) (I teorema 2) (III teorema 4)

Teorema 3: Si a b = c ( a + m) (b + m) = c. Es decir la diferencia de dos nmeros no vara si se suma un mismo nmero a sus dos trminos. Demostracin 1. a - b = c 2. Luego: a = b + c 3. De donde a + m = (b + c) + m 4. Pero: (b + c) + m = (b + m) + c (hiptesis) (definicin) (III teorema 1) (axiomas III 2, 3)

5. De (3) y (4) resulta: a + m = (b + m) + c 6. Por o tanto: (a + m) (b + m) = c

(axioma I 3) (definicin)

Teorema 4: (Ley de monotona) Si a < b y si existe a c y b c a c < b c Demostracin 1. a < b (hiptesis) (hiptesis) (definicin) (definicin) (hiptesis alterna) (hiptesis)

2. a c = d 4. b c = f

3. Luego a = c + d 5. Luego b = c + f

6. Supongamos a c b c 8. Luego c + d c f

7. Teniendo en cuenta (2) y (4) se tiene d f Lo que est en contradiccin con (1). Por tanto debe ser a c < b c. Teorema 5: (Ley de cancelacin) Si a c = b c, a = b Demostracin 1. a c = b c 2. Si fuera a b 3. Se tendra a < b o a > b 4. De donde: a c < b o a c > b c 5. (1) y (4) no pueden cumplirse a la vez, por lo tanto a = b (hiptesis) (hiptesis auxiliar) (tricotoma) (IV teorema 4) (tricotoma)

Teorema 6: a a = b b. Es decir la diferencia a a, que existe por (axioma IV 1) es siempre la misma cualquiera que sea el nmero a.

Demostracin

1. a a = c 2. Luego a = a + c 3. b b = d 4. Luego b = b + d 5. Si fuera c d 6. Se tendra: c < d o c > d

(hiptesis) (definicin) (hiptesis) (definicin) (hiptesis alterna) (tricotoma)

7. De donde: (a + b) + c < (a + b) + d o (a + b) + c > (a + b) + d 8. Aplicando reiteradamente las propiedades conmutativas y asociativas, resulta (a + b) + b < (b + d) o (a + c) + b > a + (b + d) 10. Pero a + b = a + b 11. (9) y (10) ni pueden cumplirse a la vez 12. Es decir c = d 13. O sea: a - a = b b CERO. Definicin: Daremos el nombre de cero y lo denotaremos con el smbolo 0, al nmero a. En virtud de esta ltima propiedad el nmero natural que es la diferencia de cualquier nmero con si mismo. Es decir 0 = a a, cualquiera que sea el nmero natural a. Por lo tanto a + 0 = a, para todo nmero a. En virtud de esta ltima propiedad el nmero cero se llama tambin mdulo de la adicin. Teorema 7: Existen nmeros mayores que 0. Demostracin 1. Existen nmeros a y b tales que a b 2. Luego a > b o b > a 3. Si a > b, a b > 0 4. Si b > a, b a > 0 (axioma I 4) (tricotoma) (III) (axioma I -1) (tricotoma) 9. Teniendo en cuenta (2) y (4) resulta: a + b < a + b o a + b > a + b (axioma I 1)

Teorema 8: Dado un nmero natural cualquiera a, existe un nmero natural b, tal que b > a. Demostracin 1. Dado el nmero a, tomemos un nmero c > 0 2. Luego: a + c > a + 0 = a 3. Poniendo: b = a + c, se tendr finalmente que b > a V. MULTIPLICACIN: Consideremos como concepto primitivo una operacin binaria sobre el conjunto de los nmeros naturales, a la cual llamaremos multiplicacin. Si a los nmeros naturales a y b, les corresponde mediante esta operacin, el nmero natural c, diremos que c es el producto de a y b y escribiremos: c = ab. A esta operacin se le asigna las propiedades enunciadas en los postulados siguientes: 1. 2. 3. Dados los nmeros a y b, siempre existe y es nico el producto ab. ab = ba (Propiedad conmutativa) (ab) c = a (bc) (Propiedad asociativa) (teorema 7) (May. Definicin)

(Propiedad uniforme)

VI.

DIVISIN: Consideremos como concepto primitivo una operacin binaria sobre el conjunto de los nmeros naturales, a la cual llamaremos divisin. Diremos que a es divisible por b o que b divide a a, si y slo si existe el cociente de a y b. A esta operacin se le asigna la propiedad enunciada en el postulado siguiente:
a a

1.

Si a

0, existe

Teorema 1: Si

a a =c y = c' , c = c. Es decir si existe el cociente de dos nmeros, b b

dicho cociente es nico.

Demostracin
a =c b

1. 2. 3. 4. 5. 6.

(hiptesis) (VI definicin) (hiptesis) (VI definicin) (I teorema 2) (V teorema 3)

Luego a = bc
a = c' b

a = bc De (2) y (4) resulta: bc = bc Como b = 0, se tendr finalmente c = c

Teorema 2: Si existen
a b a +b + = c c c

a b y existe el cociente de a + b entre c, y se tiene: c c

Demostracin
a =f c

1.

(hiptesis) (VI definicin) (hiptesis) (VI definicin) (III teorema 1) (axioma V 5) (I 3) (VI definicin 1, 2)
a b a +b + = c c c

2. Luego a = cf 3. 4. 5. 6. 7. 8. 9.
b =g c

Luego: b = cg De (2) y (4) resulta: a + b = cf + cg Pero: cf + cg = c (f +g) De (5) y (6) resulta: a + b = c ( f + g) De donde: f + g =
a +b c

Por (1) y (3) se tendr finalmente:

Teorema 3: Si a < b y c > 0 y si existen

a b a b y , < (Ley de monotona) c c c c

Demostracin 1. a < b y c > 0 2.

a =f c

(hiptesis) (hiptesis) (VI definicin) (hiptesis) (VI definicin) (V teorema 3)

a b = , a=b c c

3. Luego: a = cf 4.
b =g c

5. b = cg 7. De donde: f < g

6. Teniendo en cuenta la primera parte de (1), (3) y (5), resulta: cf < cg

Teorema 4: (Ley de cancelacin). Si Demostracin

a b = c c
a =f c

1. 2.

(hiptesis) (hiptesis) (VI definicin) (hiptesis) (VI definicin) (hiptesis alterna) (May. Teorema 4)

3. Luego: a = cf 4.
b =g c

5. Luego b = cg 6. Si fuera a b 7. Se tendra a < b o a > b 9. Pero: f = g 10. Luego: cf = cg

8. Se tendra: teniendo en cuenta (3) y (5), cf < cg o cf > cg

11. (8) y (10) no pueden cumplirse a la vez, por tanto debe ser a = b.

Teorema 5: Si a

0 y b 0,

a b a = . Es decir el cociente es siempre el mismo a b a

cualquiera que sea el nmero a. Demostracin

a =c a

1. 2. 3. 4. 5. 6. 7. 8.

(VI teorema 1) (VI definicin) ( axioma VI 1) (VI definicin)

Luego: a = ac
b =d b

Luego: b = bd Teniendo en cuenta (2), ab = (ac) b Teniendo en cuenta (4), ab = a (bd) De (5) y (6) resulta: (ac) b = a (bd) (ab) d 9. Como a yb , ab = 0
a b = a b

(I teorema 2)

Aplicando reiteradamente las propiedades conmutativa y asociativa resulta: (ab) c =

10. Luego, en (8) se tiene: c=d; es decir

UNO. Definicin: daremos el nombre de uno y lo denotaremos con el smbolo 1, al nmero natural que es el cociente de cualquier nmero con s mismo. Es decir: 1= cualquiera que sea el nmero a
a a

. Por lo tanto a. 1 = a, para todo nmero a = 1. Pero

como 0.0 = 0; resulta que a. 1 = a; para todo numero a. en virtud de esta ultima propiedad el numero 1 se llama tambin modulo de la multiplicacin. Teorema 6: 0<1

Demostracin

1. Si fuera 0 1 2. Tomaremos un numero a; tal que a > 0 3. De (1) y (2) resulta: a.0 4. Es decir 0

a.1

a, lo que contradice a (2)

5. Por lo tanto debe ser: 0 < 1

INDUCCION MATEMTICA

VII.

POSTULADO DE INDUCCIN: El ltimo postulado que asignamos al conjunto N de nmeros naturales y que llamaremos postulado de induccin es el siguiente:

1. Sea C un conjunto de nmeros naturales que cumple las dos propiedades

siguientes:

a. 0

C C, se puede deducir que h + 1 C entonces para todo

b. Supuesto que h

numero natural n se tiene: n C. Es decir el conjunto C contiene a todos los nmeros naturales. Teorema 1: Para todo numero natural n se tiene 0 nmeros naturales. Demostracin Pongamos en un conjunto C todo numero natural C tal que c
a. 0

n. Es decir; 0 es el menor de los

0. Se tiene:

; luego 0 C

b. Supongamos que h

C, h

por lo tanto h + 1 C.

1 > 0 es decir h + 1

0.

Entonces tambin el numero h +1

Luego en virtud del postulado de induccin para todo numero natural n; se tiene n C. pero como en el conjunto C estas los nmeros mayores o iguales que cero, resulta que todo nmero, por estar en C, es igual o mayor que cero. Es decir 0 numero natural n. Teorema 2: No existe un numero natural m tal que 0<m<1. Es decir entre cero y uno no existen naturales. Demostracin Pongamos en un conjunto C:
1. Al nmero cero, es decir 0 2. A todo numero natural n

n, para todo

C 1; es decir, si n 1, n C

Dicho con junto C goza de las propiedades siguientes:

a. 0

C, por definicin del conjunto C. C. como h 0, por el teorema anterior, se tiene h + 1

b. Supongamos que h

1. Por lo tanto h + 1

C por definicin de nmeros de conjuntos. C.

Luego en virtud del postulado de induccin, para todo numero natural a; se tiene n

pero como el conjunto Cesta formado solamente por el cero y los nmeros naturales

mayores o iguales que uno resulta que todo numero natural por estar en C es igual a cero o es mayor o igual que uno. Por lo tanto no existe numero natural n tal que 0 < n < 1. Corolario: Si a es un numero natural cualquiera, no existe un numero natural m tal que a < m < a + 1. Es decir entre a y a +1 no existen numero naturales.

Demostracin Supongamos que existiera un nmero m tal que a < m < a + 1. Por lo tanto: 0 < m - a < 1; lo que est en contradiccin con el teorema anterior; luego no existe m tal que a < m < a + 1. Definicin: Denotaremos con ciertos smbolos los primeros nmeros naturales: 2= 1+ 1, 3= 2+ 1, 4= 3 + 1, 5= 4+ 1.. 9= 8 +1 Y en virtud de propiedades ya establecidas podemos poner: 0 < 1 < 2 < 3 < 4 < 5 < < 9. Con lo cual quedan denotados los nmeros Naturales menores o iguales que 9. Posteriormente estudiaremos la manera de representar los dems nmeros naturales. LOS PRINCIPIOS DE INDUCCIN: Estableceremos a continuacin dos teoremas importantes, conocidos con el nombre de principios de induccin Teorema 1: Sea C un conjunto de nmeros naturales y a un nmero natural. Supongamos que:
a. a

b. Que de la hiptesis: h

ayh

C, se puede deducir que tambin h a pertenece a C.

c. Entonces, todo numero natural n

Este teorema que es una generalizacin del postulado de induccin, se conocen con el nombre de primer principio de induccin. Demostracin Llamaremos Sal conjunto de los nmeros naturales que son menores que a o que pertenecen al conjunto C. el conjunto S goza de las propiedades siguientes:
a. 0

S. pues si 0 < a, debe ser 0

S, por la definicin de S; y si 0 = a; debe ser 0

< S, puesto que a

C por (a) y C est contenido en S, por la definicin de S. C.

b. Supongamos que h S. Se tiene entonces que o bien h < a o bien h

Si h < a, debe ser tambin h + 1

C por lo tanto h + 1

S. Luego de la suposicin que

h S, resulta que siempre que H + 1 s. En virtud del postulado de induccin resulta entonces que el conjunto S contiene a todos los nmeros naturales. Ahora bien dado el numero natural n a, debe ser , pero como, no puede ser a< debe de ser entonces por la definicin de S n C. Luego, todo numero natural n 1 pertenece a C. Corolario 1: A cada nmero natural n a asociemos una proposicin P(n) que puede ser verdadera o falsa supongamos: a. b. P (a) es verdadera De la hiptesis que h a y P (h) es verdadera se puede deducir que P (h

+ 1) es tambin verdadera. Entonces para todo numero natural n a, P(n) es verdadera. Definicin: Llamamos C al conjunto de los nmeros naturales n para los cuales P (n) es verdadera. Se tiene:

a. b.

a C, pues P (a) es verdadera por la hiptesis (a) Supongamos que h a y h C. Debe ser entonces P (h) verdadera. En

virtud de la hiptesis (b) resulta entonces que P (h+1) es tambin verdadera. Luego: h + 1 C. Del teorema anterior se concluye que para todo n a, es n C. De donde resulta que para todo n a es P(n) verdadera.

DEMOSTRACIONES POR INDUCCIN: si para demostrar que la proposicin P(n) verdadera para todo n a se hace uso de los principios de induccin, se dice que se ha efectuado una demostracin por induccin, se dice que se efecta una demostracin por la induccin estableceremos primeramente la siguiente: Regla: Para demostrar mediante el primer principio de induccin que la proposicin P(n) es verdadera para toda n a se procede el modo siguiente: a. Se demuestra en primer trmino que P(a) es verdadera b. Se supone que para h a, P (h) es verdadera. Apoyndose en esta suposicin se demuestra que P (h + 1) Es tambin verdadera. Se dice entonces: En virtud del primer principio de induccin, P(n) es verdadera para todo n => a. Ejemplo: Demostrar que para todo valor natural de n (n + 1) es divisible por 2. Demostracin a. Para n = 0, se tiene: 0 (0 +1) = 0.1 =0 2.0, o sea: 0 (0 + 1) = 2.0 Luego, el producto 0 (0 + 1) es divisible por 2.

b.

Supongamos que para h el producto h (h + 1) se divisible por

2. Se tiene entonces, para un cierto nmero p: h (h + 1) = 2p. Luego que para h el producto h (h + 1) sea divisible por 2. Se tiene entonces, para un cierto nmero p: h (h + 1) = 2p Luego resulta: (h +1)[(h + 1) + 1 = (h +1)(h +2) = h (h + 1) = 2 (h + 1) = 2(p+h+ +1); o sea: (h +1) [(h + 1) + 1= 2(p + h + 1) Luego, el producto (h +1) [(h + 1) + 1 es divisible por 2

En virtud del primer principio de induccin, n(n + 1) es puesto divisible por 2 para n

0.
Corolario 2: Sea a un nmero natural. Supongamos que: a. Se ha definido el elemento a
b. Se ha dado un criterio tal, que si supone que para h a ha sido definido el

elemento ah +1 Entonces, para todo nmero natural n a queda definido el elemento an. Demostracin Llmenos C al conjunto de los nmeros naturales para los que est definido el an. Se tiene: a: a C Pues a esta definido por la hiptesis (a) b: supongamos que h => a y h C Debe de estar definido el elemento n. En virtud de la hiptesis (b) resulta entonces q ah queda tambin definido: h + 1 C

Del teorema anterior se concluye que, para toda n> a, es n C De donde resulta que para toda n > a queda definido el elemento an. DEFINICIONES POR INDUCCIN: Si para definir el element an para todo n > a, se hace de los principios de induccin, se dice que se ha efectuado una definicin por induccin, una definicin por recurrencia o una definicin recursiva. Para hacer una definicin por induccin estableceremos primero la siguiente: Regla: Para definir mediante el primer principio de induccin el elemento an para todo n > a, se procede del modo siguiente: a. Se define en primer trmino el element a b. Se supone que, para h>a, ha sido definido ah. Apoyndose en esta suposicin, se define entonces ah + 1 Se dice entonces: en virtud del primer principio de induccin, queda pues definido an, para todo n > a Como ejemplo de definicin recursiva daremos a hora la siguiente: Definicin: Para todo valor natural de n, definiremos un nmero que denotaremos con el smbolo n! Y que se lee factorial de n, de la manera siguiente: a. Para n=0, definiremos 0! 1 b. Supongamos que para h > 0 ha sido definido el numero h! Definimos entonces (h+1)! = h! (h+1)

En virtud del primer principio de induccin queda pues todo definido n! para todo n > 0 De la definicin anterior resulta por ejemplo: 0!=1 1! = 0! =1.1; o sea 1! =1 2! = 1!2 = 1.2 = 2; o sea 2! =2 3! = 2!.3 = 2.3 = 6; o sea 3! =6