CAPITULO 4
sus propiedades, la axiomática de Peano es aquella en que nos basaremos para deducir
1) 1 N
2) ( n N )( ! n N ) tal que n n 1
3) n N : n z 1
4) n, m N : n z m n z m
ª a) 1 S º
5) « S N tal que ® »S N
¯b) n S n S »¼
«¬
Observación.
- El axioma 2 nos indica que todo natural n tiene un único sucesor n n 1
es el primer natural.
- El axioma 4 nos indica que dos naturales distintos no tienen el mismo sucesor
Demostración.
Observación.
a ) P(1) V ½
® ¾ P (n) es V n N
¯b) P(k ) V P(k 1) V ¿
Matemática”
Ejemplos.
1 1 1 1 n
Demuestre que: ... se cumple para todo natural
1 2 2 3 3 4 n (n 1) n 1
Demostración.
1 1 1 1 n
Sea P(n): ... . Debemos demostrar que:
1 2 2 3 3 4 n (n 1) n 1
§ 1 ·
involucrada la sucesión ¨¨ ¸¸ y que el hecho de que P (k ) sea verdadera
© n (n 1) ¹ nN
k
significa que la suma de los k primeros términos de la sucesión es .
k 1
1 1
a) P (1) es verdadero ya que
1 2
11
1 1 2
P(2) es verdadero si se cumple: .
1 2 2 3 2 1
2
Como el lado izquierdo de la última expresión tiene valor tanto como el lado
3
1 1 1 1 k
b) Si P(k) es verdadero, es decir, si ... ,
1 2 2 3 3 4 k (k 1) k 1
1 1 1 1 1 k 1
... . Veamos esto último
1 2 2 3 3 4 k (k 1) (k 1)(k 2) k2
1 1 1 1 1 k 1
...
1 2 2 3 3 4 k (k 1) (k 1)(k 2) k 1 (k 1)(k 2)
k (k 2) 1 k 2 2k 1 (k 1) 2 k 1
(k 1)(k 2) (k 1)(k 2) (k 1)(k 2) k2
Observación
1) Ahora estamos seguros de poder sumar los n primeros términos de la sucesión dada,
Ejemplo.
Demuestre que toda expresión del tipo 3 2 n 1 es divisible por 8, para todo valor de n
en los naturales
Demostración.
Sea P (n) : 3 2 n 1 8r , para algún r N
Veámoslo
3 2( k 1) 1
3 2k 3 2 1
3 2k 3 2 3 2 3 2 1
3 2 (3 2 k 1) 3 2 1
3 2 (8r ) 8
Por a) y b) los números de la forma 3 2 n 1 son divisibles por 8 para todo natural n
Observación
3 2 k 1 por 8r
conseguimos:
(8r 1)3 2 1
72r 8
8(9r 1) = 8s
Ejemplo.
Demuestre que 5 2 n (1) n 1 es divisible por 13 para todo valor de n en N
Demostración.
Sea P (n) : 5 2 n (1) n 1 13 p para algún valor de p en N
Debemos demostrar que:
a) P (1) se cumple b) Si P (k ) se cumple entonces P (k 1) también se cumple
a) Como 5 21 (1)11 25 1 26 13 2 entonces se verifica P (1)
b) Si P (k ) se cumple entonces existe p N tal que 5 2 k (1) k 1 13 p , debemos
demostrar que P (k 1) también se cumple, es decir, debemos probar que
existe q N tal que 5 2 k 2 (1) k 2 13q .
5 2 k 2 (1) k 2 25 5 2k (1)(1) k 1
25 5 2 k 25(1) k 1 25(1) k 1 (1)(1) k 1
> @
25 5 2 k (1) k 1 (1) k 1 (25 1)
25 13 p 26(1) k 1
13(25 p (1) k 1 ) 13q , donde q 25 p (1) k 1 N
Sea P(n) una proposición que contiene una variable n N , tal que.
a) P (1) es verdadera
Demostración.
Supongamos que S ^n N / P(n) es V ` es subconjunto propio de N, entonces
N S zI y N SN.
luego 1,2,3,..., m 1 S , es decir, P (1) , P(2) , ..., P(m 1) es verdadero, luego , por
Ejemplo.
Demostración.
Sea P (n) : a n 3 2 n 3 ,
fórmula: a 3 3 2 3 3 3
a n 1 a n .. a 2 a1 (usando la definición)
Observación.
Note el uso del Segundo Principio de la Inducción y de validez de la
proposición a partir del natural 3
°a ) n 1 n
Se define la adición en N por: ®
°̄b) n m (n m)
Ejemplo.
Demuestre que n 1 1 n n N
Demostración.
igual n 1
a) P(1) V ya que 1 1 1 1
Tenemos: k 1 (k 1) 1 (1 k ) 1 1 k
Proposición.
Para todo n , m , p N se cumple:
a) n m N
b) m (n p) (m n) p
c) m n n m
d) Si m p n p entonces m n
Demostración.
particular, la asociatividad
Veámoslo
k m (k 1) m k (1 m) (k m) 1 (m k ) 1 m k
a ) n 1 n
Se define la multiplicación en N por: ®
¯b) n m
nm n
Proposición.
Para todo n , m , p N se cumple:
a) n m N
b) m n n m
c) m (n p ) (m n) p
d) Si m p n p entonces m n
Además, se cumple:
e) (m n) p m p n p
Demostración.
inducción sobre p
Sea P ( p ) : (m n) p m p n p.
a) P (1) es V ya que (m n) 1 m 1 n 1 m n
( m n) k ( m n) k ( m n)
mk nk m n
m k ( n k n) m
( m k m) ( n k n)
mk nk
g) (1 2 3 ... n) 2 13 2 3 33 .... n 3
h) (n 3 n) es divisible por 3
i) (6 n 1 4) es divisible por 5
j) 5 n 2 n es divisible por 3
k) x n y n es divisible por x y
l) n 3 2n es divisible por 3
a) n 2 n
b) 3 n t 2n 1
c) 2n d 2 n
d) x 2 n y 2 n es divisible por ( x y ) z 0
1 (n 1)r n nr n 1
e) 1 2r 3r 2 4r 3 ... nr n 1
(1 r ) 2
1 1 1 1 n
a) ... 2
3 15 35 4n 1 2n 1
n 1 (2n 1)3 n 1
b) 1 2 3 3 3 4 3 .. n 3
2 3
4
1 1 1 1 n
c) ....
1 3 3 5 5 7 (2n 1)(2n 1) 2n 1
1 2 3 n n(n 1)
d) ....
23 4 3 45 456 (n 1)(n 2)(n 3) 4(n 2)(n 3)
3 (1) n 1
an para todo natural n ! 1
3 (1) n
n
§7·
Demuestre que a n ¨ ¸
©4¹
a) (1 h) n ! 1 nh , h , n t 2
b) n 2 ! 2n 1 n t 3
6) Demuestre:
a) m n z m m, n N
b) (m n ) m n m, n N
c) m (n p) (m n) p m, n, p N
d) (m n ) m n m m, n N
e) m n (m n) 1 m, n N