RESOLUO DA 1 AVALIAO PRESENCIAL DE LGEBRA I

Justifique as suas respostas. Voc tambm ser avaliado pela clareza da

linguagem utilizada. Cada questo vale 2.0 pts.
1. Seja R a relao sobre o conjunto dos nmeros racionais, definida da
seguinte forma xRy (x-y) Z (conjunto dos nmeros inteiros). Prove
que R uma relao de equivalncia e descreva a classe 1 .
Resoluo: R ser uma relao de equivalncia em Z (conjunto dos
inteiros), se R for reflexiva, simtrica e transitiva em Z.
Reflexiva: (x ) x Z, tem-se x R x, pois (x-x) Z.

Logo R

reflexiva em Z.
Simtrica: Se x e y Z, tais que x R y, ento (x-y) Z.
Assim y-x = - (x-y)

Z, assim y R x. Tem-se ento que R uma relao

simtrica em A.
Transitiva: Se x,y e z Z, tais que x R y e y R z. Logo existem k1 e
k 2 inteiros tais que x-y = k1 e y-z = k 2 , tem-se ento que x-z = k1 + k 2

Z. Assim R uma relao de equivalncia em Z.

1 = {x Z | x R1} = { x Z | (x-1) Z } = Z

2. Use a Induo Matemtica para provar que .

n 2 > 3n n 4 .

Resoluo: Se n =4 16 > 12. Supem-se que a desigualdade seja vlida

para k 4. Assim,
k 2 > 3k , ento

(k + 1)2 > k 2 + 2k + 1 > 3k + 2k + 1 > 3k + k = 3(k + 1) . Logo, pelo primeiro princpio

da induo, a desigualdade vlida para todo n 4
3. Usar o Algoritmo de Euclides para obter nmeros r e s tais que:

MDC (1128,336) = 1128r + 336s. Qual o valor do MDC (1128,336)

Resoluo: (1)

1128 3 . 336 + 120

(2)

336 = 2 . 120 + 96

(3)

120 = 1 . 96 + 24

(4)

96 = 4 . 24

Em (1), obtm-se 120 = 1128-3 . 336. Substituindo em (2), vem que

336 = 2 . (1128 3 . 336) + 96, logo, 96 = -2 . 1128 + 7 . 336. Assim
de (3), vem que 1128 3 . 336 = 1 . (-2 . 1128 + 7 . 336) + 24, logo
24 = 3 . 1128 10 . 336. Ento r = 1 e s = - 10.
Alm disso MDC (1128,336) = 24
4. Use a definio de ideal para provar que seguintes subconjuntos I de

Z, dados abaixo, so ideais de Z

a) I = {m Z : 21 . m divisvel por 9}
Resoluo:
i) 0 I, pois 21 . 0 = 0, e 0 divisvel por 9.
ii) Sejam x,y I. Logo x . m e y . m so divisveis por 9. Tem-se
ento que (x + y) . m = x. m + y . m. tambm divisvel por 9.
iii) Seja x I. Assim x . m divisvel por 9. Ento x . m tambm
divisvel por 9.
iv) Sejam r Z e x I. Assim x . m divisvel por 9. Ento rx . m
tambm divisvel por 9.
Devido a i), ii), iii) e iv) tem-se que I um ideal de Z

b) I = {m Z : MDC (7,m) = 1}

Resoluo: Tem-se por exemplo que 2 I, j que MDC (7,2) = 1.

Porm 7.2 I, pois MDC (7,14) = 7. Assim o conjunto I no um ideal de Z.
5. Seja m um inteiro fixo e sejam a,b e c inteiros arbitrrios. Prove que:
a) Se MDC(c,m)=1 ento ac bc (mod m) implica a b (mod m).
Resoluo: Se ac bc (mod m) ento m | (a - b) c.
Como MDC (c,m) = 1 tem-se do Teorema de Euclides que m | (a - b).
Portanto a b (mod m).
b) Se a b (mod m) e b c (mod m) ento a c (mod m)
Resoluo: Supem-se que a b (mod m) e b c (mod m) ento
m | (a - b) e m | (b - c). Logo m | (a -b)+(b -c), assim m| a-c, e portanto
a c (mod m)
c) A operao a + b = a + b definida em Z m = { 0 , 1 ,..., m 1 }
uma operao associativa em Z m .
Resoluo:
( a + b )+ c =( a + b )+ c = (a + b) + c = a + (b + c) = a + (b + c) = a +( b + c )