Documente Academic
Documente Profesional
Documente Cultură
André Assumpção
I. Múltiplos em Z
II. Divisibilidade
Conseqüências:
a) Considerando-se b = 2, temos para qualquer a ∈ Z um q ∈ Z com a = 2q ou a =
2q + 1 e, conseqüentemente:
Z = {2q| q ∈ Z} ∪ {2q + 1 | q ∈ Z}
Isto é, temos uma decomposição do conjunto Z dos inteiros em dois subconjuntos
disjuntos.
b) De forma semelhante, considerando-se b=3, temos para qualquer a ∈ Z um q ∈
Z com a = 3q, ou a = 3q + 1, ou a = 3q+2. Conseqüentemente
Z = {3q| q ∈ Z} ∪ {3q + 1 | q ∈ Z} ∪ {3q + 2 | q ∈ Z}
Função Maior Inteiro: Para cada x ∈ R, define-se o maior inteiro contido em x como sendo
o número [x] ∈ Z, tal que x = [x] + ʎ, sendo ʎ real, 0 ≤ ʎ < 1.
Ex.: [8/3] = 2, pois 8/3 = 2 + 2/3.
Proposição: Sejam a e b inteiros, com b > 0. Consideremos o números racional a/b.
Então, o quociente q e o resto r da divisão euclidiana de a por b são dados por:
q = [a/b] e r = b.(a/b – [a/b])