I.

Teoria Elementar dos Números

1. O sistema dos números naturais

O ponto de partida será um conjunto de axiomas (usando as operações de adição

(  ) e de multiplicação ( ‚ )) que define o sistema  dos números naturais.
A relação de "  " em  e suas propriedades.
A relação de "divisibilidade" em  e suas propriedades.
O Princípio de Indução. Formulações alternativas.
O Princípio de mínimo.
Definições por recorrência.

1.1 Um conjunto de axiomas que define o sistema 

A1. a+ß , − ß + ‚ , − à A2. a+ß , − ß +  , − à

A3. a+ß , − ß + ‚ , œ , ‚ +à A4. a+ß , − ß +  , œ ,  +à
A5. a+ß ,ß - − ß A6. a+ß ,ß - − ß
Ð+ ‚ ,Ñ ‚ - œ + ‚ Ð, ‚ -Ñ; Ð+  ,Ñ  - œ +  Ð,  -Ñ;
A7. Existe em  um elemento,
denotado por 1, tal que + ‚ " œ +,
para todo + − à
A8. Se + ‚ D œ , ‚ Dß para algum D − , então + œ ,à
A9. a+ß ,ß - − , + ‚ Ð,  -Ñ œ Ð+ ‚ ,Ñ  Ð+ ‚ -Ñà
A10. Dados +ß , − , tem-se um e só uma das condições:
+ œ , ou bB −  À ,  B œ + ou bC −  À +  C œ ,Þ
A"". Axioma da indução: Se W ©  é tal que:
(i) " − W ,
(ii) Se 5 − W , então 5  " − Wß para todo 5 − ,
então W œ Þ

No que segue, omitiremos o símbolo da operação multiplicação (como é habitual)

e escreveremos simplesmente +,, em vez de + ‚ ,Þ

1.1.2 Seja W © . Tem-se:

W Á  Í " Â W ou b5 − W tal que 5  " Â WÞ
1.2 A relação  em 
Definimos a relação binária  (menor) em , usando a operação  :

Sejam +ß , − . Tem-se
+  , (+ menor que ,Ñ se existe B −  tal que +  B œ ,Þ
Simbolicamente: +  , : Í bB −  À +  B œ ,Þ
Diz-se que + Ÿ , (+ menor ou igual a ,Ñ se + œ , ou se bB −  tal que
+  B œ ,Þ
Simbolicamente: + Ÿ , : Í + œ , ou bB −  À +  B œ ,Þ

Notação: +  , e ,  + significam o mesmo;

+ Ÿ , e , € + significam o mesmo.

Com a relação  , obtemos a seguinte formulação de A10 À

A10w . Dados +ß , − , tem-se um e só uma das condições:

+ œ , ou ,  + ou +  ,Þ (Propriedade tricotómica).

1.2.1 Proposição. Para quaisquer +ß ,ß - − , tem-se:

• +  , e ,  - Ê +  - (Propriedade transitiva).
• +  , Ê +  -  ,  -Þ
• +  -  ,  - Ê +  ,Þ
• +  - œ ,  - Ê + œ ,Þ
• +  , Ê +-  ,-Þ
• +-  ,- Ê +  ,Þ
• + Á " Ê "  +Þ
1.3 A relação de divisibilidade em 
Com a operação ‚ obtemos a relação binária | (divisor) em :

1.3.1 Definição. Dados +ß , − , diz-se que + l , (lê-se + é divisor de , ou +

divide , ou , é multiplo ou , é divisível por +Ñ se existe B −  tal que
+B œ ,Þ
Simbolicamente: +l , : Í bB −  À +B œ ,Þ

1.3.2 Proposição. Para quaisquer +ß ,ß -ß .ß / − , tem-se:

• "l +Þ
• + l + (Propriedade reflexiva)Þ
• + l , e , l - Ê + l - (Propriedade transitiva).
• + l ,, + l - Ê + l Ð,  -Ñ
• + l ,, + l - Ê + l Ð,.  -/Ñ
• +l , Ê +-l ,-Þ

1.3.3 Proposição. Para quaisquer +ß ,ß - − , tem-se:

• +l" Ê + œ "
• + l ,, , l + Ê + œ ,
• + l Ð,  -Ñß + l , Ê + l -Þ

1.3.4 ProposiçãoÞ Para quaisquer +ß , − , tem-se:

• +l , Ê + Ÿ ,Þ
• + Ÿ , e +lÎ , Ê +  ,.

1.3.5 Teorema ÐAlgoritmo da divisãoÑ. Sejam +ß , − , com +  ,. Então

+ l , i.e. b; −  tal que , œ +;
ou
existe um e um só par ; ,< de números naturais tais que:
, œ +;  < e <  +.