1. a) O quarto axioma e violado. O subconjunto {1, 2, 5, 6, . . .} contem 1
e o sucessor de cada elemento, mas nao e igual a N. b) O terceiro axioma e violado. O elemento 2 tambem nao e sucessor de um natural. c) O segundo e terceiro axiomas sao violados. O n umero 3 e sucessor de dois n umeros diferentes e, alem disso, 2 tambem nao e sucessor de nenhum natural. d) O segundo axioma e violado. O n umero 2 e sucessor de dois n umeros diferentes (1 e 7). 2. A formula vale para n = 1, ja que 12 =
1.2.3 . 6
Suponhamos que ela valha para um certo n, ou seja, 12 + 22 + 32 + +
n2 = n(n+1)(2n+1) . Somando (n + 1)2 a ambos os lados da igualdade, 6 obtemos: 12 + 22 + 32 + + n2 + (n + 1)2 =
n(n+1)(2n+1) 6
(n+1)(2n2 +n+6n+6) 6
(n+1)(n+2)(2n+3) 6
(n+1)(2n2 +7n+6) 6
+ (n + 1)2 =
Logo, a formula tambem e valida para n + 1. Portanto, pelo Princpio
da Inducao, a formula e valida para todo n natural. 3. Na verdade, a propriedade nao vale para n = 1, ja que 1 + 21 6= 21+1 . 4. Para p = 1, a afirmativa vale pelo segundo axioma de Peano: se os sucessores m + 1 e n + 1 de m e n sao iguais, entao m = n. Suponhamos agora que a propriedade valha para algum natural p. Isto e, m + p = n + p implique m = n. Suponhamos que m + (p + 1) = n + (p + 1). Pela propriedade associativa da adicao, a igualdade e equivalente a (m + 1) + p = (n + 1) + p. Mas pela hipotese de inducao, isto implica m + 1 = n + 1, que por sua vez implica m = n (pelo caso em que p = 1). Logo, se a propriedade vale para p entao vale tambem para p + 1. 1
Portanto, pelo Princpio da Inducao, a lei do corte vale para todo p
natural. 5. Suponhamos que m < n e n < p. Entao, pela definicao da ordem, existem naturais r e s tais que m + r = n e n + s = p. Substituindo a expressao de n fornecida pela primeira igualdade na segunda, temos (m + r) + s = p, que e equivalente a m + (r + s) = p. Logo, m < p.