TEORA DE NMEROS. HOJA 1.

NMEROS. INDUCCIN. TEOREMA DEL BINOMIO. DIVISIVILIDAD.

Se dice que un conjunto X , con una relacin de orden , est bien ordenado si todo subconjunto A no vaco de X posee un primer (o menor) elemento (es decir, existe a0 A tal que a0 a para todo a A). El conjunto N de los nmeros naturales, con la relacin de orden habitual, est bien ordenado. Sin embargo, R (con la relacin de orden habitual) no lo est (como tampoco lo estn ni Z ni Q). 1. Razonando por reduccin al absurdo, probar el principio de induccin a partir de la suposicin de que N est bien ordenado. 2. Demostrar por induccin las siguientes frmulas: a) 1 + 2 + 3 + ... + n = n(n2+1) b) 1 + 3 + 5 + ... + (2n 1) = n2 c) 13 + 23 + ... + n3 =
n(n+1) 2 2

3. Probar que el cubo de cualquier entero puede escribirse como diferencia de dos cuadrados de nmeros enteros. 4. Probar que 2 6 10 14 ... (4n 2) = 5. Probar que 2n (n!)2 (2n)!. 6. Probar que si 1 + a > 0 entonces (1 + a)n 1 + na (desigualdad de Bernouilli). 7. Probar que
(2n)! 2n n! (2n)! . n!

es un nmero natural para todo n N.

Recordemos la denicin del nmero combinatorio n n! = k k !(n k )! para cualesquiera n, k N. 8. Probar la regla de Pascal: n n + k k1
Indicacin: partiendo de la igualdad 1 1 n+1 + = , k nk+1 k (n k + 1) multiplicar ambos miembros por
n! (k1)!(nk)! .

n+1 . k

9. Deducir que en el tringulo de Pascal el nmero n-sima la.

n k

aparece en el (k + 1)-simo lugar de la

10. Teorema del binomio. Probar que

n

(a + b) =
k=0

n nk k a b k

para todo a, b R, n N.
Indicacin: usar induccin.

11. Identidad de Newton. Probar que n k para n k r 0. Probar las siguientes frmulas: 12. 13. 14.
n k n 0 n 1

k r

n r

nr kr

= +

nk+1 n k k 1 n 1 n 2

si n k 1
n n

+ ... + +3
n 3

= 2n
n n

+2

+ ... + n

= n2n1
n1 k

Indicacin: aplicar el teorema del binomio a n(1 + b)n1 , despus poner b = 1 y observar que n

(k + 1) 15.
n r

n k+1

.
n r +1

si y slo si n es impar y r =
2n n

n1 . 2

16. Probar que 17. 2n <

2n n

13...(2n1) 2n 2 . 24...2n

< 22n para n 1.

Indicacin: tomar x = 2 4 ... (2n), y = 1 3 ... (2n 1), z = 1 2 3 ... n, ver que x > y > z y as x > xy > xz .
2

18. Teorema (algoritmo de la divisin). Para todos a, b Z con b > 0, existen q, r Z nicos nmeros con las propiedades de que a = qb + r, y 0 r < b. A q se le llama cociente y a r resto de la divisin de a por b.
Indicacin: Considerar el conjunto S = {a xb : x Z, a xb 0}. Probar que S es no vaco, aplicar el principio de buena ordenacin de N para encontrar r, su primer elemento . Despus probar que r < b y establecer la unicidad de r y q .

19. Demostrar que el resultado anterior sigue siendo vlido para b Z con b = 0.
Indicacin: Aplicar el teorema anterior con |b| en lugar de b.

20. Dar dos deniciones equivalentes de nmero par. Y lo mismo para impar. 21. Probar que el cuadrado de cualquier entero impar es de la forma 8k + 1, con k Z.

Indicacin: por el teorema anterior, todo n Z puede escribirse en alguna de las formas 4q , 4q + 1, 4q + 2 o 4q + 3 para algn q Z. Elevar al cuadrado las expresiones impares.

Como se ve en el ejercicio anterior, una de las ventajas del algoritmo de la divisin es que nos permite probar enunciados acerca de todos los nmeros enteros considerando solamente un nmero nito de casos (correspondientes, en general, a restos de la divisin por algn nmero jo). 22. Probar que todo cuadrado puede escribirse en la forma 3k o 3k + 1. 23. Probar que todo cubo puede escribirse en de la forma 9k, 9k + 1 o 9k + 8. Y tambin de la forma 7k o 7k 1. 24. Probar que para todo n Z, n4 puede escribirse de la forma 5k o 5k + 1. 25. Probar que 3a2 1 nunca es un cuadrado perfecto. 26. Probar que ninguno de los nmeros 11, 111, 1111, 11111, ... es un cuadrado perfecto. 27. Denicin. Sean a, b Z. Se dice que b es divisible por a = 0 si existe c Z tal que b = ac. Es decir, si el resto de la divisin de b por a es cero. En este caso denotaremos a | b. Tambin diremos que b es mltiplo de a. En caso contrario denotaremos a | b. 28. Proposicin. Para todos a, b, c Z, probar lo siguiente: 1. 2. 3. 4. 5. 6. 7. 8. a | 0, 1 | a, a | a. a | 1 a = 1. a | b, c | d = ac | bd. a | b, b | c = a | c. a | b, b | a a = b. a | b, b = 0 = |a| |b|. a | b, a | c = a | (bx + cy ) x, y Z. a | bi , 1 i n = a | n i=1 bi xi .