Escolar Documentos
Profissional Documentos
Cultura Documentos
A Teoria dos Números é sobre o conjunto de inteiros, denotado por Z. Neste aula vamos listar
as axiomas que determine os sistema dos números inteiros,
Os inteiros são exemplo de uma estrutura algébrica chamado de anel comutativa. Isto é os
inteiros é uma sistema (Z, +, ·) que consiste de um conjunto Z equipado com duas operações (+)
e (·) tal que
+ : Z × Z −→ Z · : Z × Z −→ Z
(m, n) 7−→ m + n (m, n) 7−→ m · n
m · (n + p) = m · n + m · p e (m + n) · p = m · p + n · p.
1
(A9): 1 , 0
00 = 0 + 00 = 0.
n0 + n = 0 = n + n0 , então n0 = −n.
Demonstração.
n0 = 0 + n0 pela (A3))
= ((−n) + n) + n0 (pela (A4))
= (−n) + (n + n0 ) (pela (A1))
= (−n) + 0
= −n (pela (A3))
10 = 1 · 10 = 1.
4. 0 · n = 0 para todo n ∈ Z.
2
Demonstração.
0 · n = (0 + 0) · n (A3)
=0·n+0·n (A8)
−(0 · n) + 0 · n = (−(0 · n) + 0 · n) + 0 · n.
0 = 0 + 0 · n.
0 = 0 · n.
Demonstração. Exercício
7. (−1)2 = 1.
3
Demonstração. Exercício
Demonstração. Exercício
Demonstração. Exercício
As regras em Axiomas I não carateriza completamente os números inteiros. Uma das caraterís-
ticas dos números inteiros faltando é a propriedade de ordenamento como m < n.
(O2): P + P = {m + n : m, n ∈ P} ⊂ P (“positivo+positivo=positivo”)
Escrevemos
m > 0 se m ∈ P
m < 0 se m ∈ −P
4
Algumas Consequências da Axioma II
2. 1 > 0.
Demonstração. Pelo (A9) temos que 1 , 0. Supor que 1 < 0. Isto implica que 1 ∈ −P, logo
−1 ∈ P. Mas pelo (O3), temos que 1 = (−1)2 = (−1) · (−1) ∈ P, logo 1 > 0, e não podemos ter
1 < 0. Conclusão: a única possibilidade é 1 > 0 como desejado.
6. m , 0 =⇒ m2 > 0
9. m > n ⇔ −m < −n
Proposição 1.1.
Demonstração.
(a) Exercício
5
(b) ab = ac ⇐⇒ ab − ac = 0 ⇐⇒ a(b − c) = 0
Como Z não possui divisores de zero, temos que ou a = 0 ou b − c = 0 . Como a , 0 pelo
hipótese, devemos ter que b − c = 0 , logo b = c .
1.2 Exercícios
1. Use os axiomas de Z para prova as seguintes afirmações sobre a, b, c ∈ Z.
(a) a · (b + c) = a · b + a · c
(b) a + (b + c) = (c + a) + b
(c) (a + b)2 = a2 + 2ab + b2
(d) (b − a) + (c − b) + (a − c) = 0
5. Use a definição de ordem em Z e as propriedades dos conjuntos dos inteiros positivos, para
provar as seguintes afirmações dos inteiros a, b e c com a < b e c < 0.
(a) a + c < b + c
(b) ac > bc
(c) a2 ≤ 0
(d) c3 < 0