Em C, a operacáo de multiplicacio & distributiva em relagio à adi¢do:
Da artalsa:2+a-.Y2, 2,2. EC
| Demonstraçäo
+ (27 + 23) = (a,b) + (fc, di + (e, 1
= lale+ el = bid +f, afd +1) + bietel] =
= lac # ae = bd bi, ad + af + be + be] =
= Lac bd) + (ae = bt, fad + be) + (of + bel]
(ac = bd, ad + be) + (ae = Df, af + be) =
"bl Med) + (be le = mem tree
bis (ete dete
Verificadas as propriedades A - 1, A-2, A-3, A-4, M-1, M-2, M-3,
M-4 e D podemos afirmar que as operacóes de adiedo e multiplicacáo definem
sobre © uma estrutura de corpo comutativo; € é, portanto, o corpo dos números
complexes.
Il, FORMA ALGEBRICA
9. Imersio de Rem ©
Consideremos o subconjunto R° de © formado pelos pares ordenados cujo
segundo termo é zero:
Rr= {a,b} E Cb = 0}
Pertencem, por exemplo, a R' os pares (0, 0), (1,0), (a, 0), (b, 0), (a+ b, 0),
b, O), ete
Consideremos agora a aplicacio f, de IR em A’, que leva ceda x E Aso par
WER!
oF
Primeitamente notemos que fé bijetora pois:
1) todo par (x, 0) € R'é.0 correspondente, segundo f, de x € IR {isto quer di
zer que 14 sobrejetora);
2) dados x € Re x’ E I, com x + x, os seus vorrespondentes (x, 0) € Ae
(x, OI € R' sio distintos, de acordo com a definigdo de igualdad de pares
ordenados listo quer dizar que 1 injetora)
Em segundo lugar, notemos que | conserva es operagdes de adico e mult
plicasáo pois:
1} à some a +b, com a € Me bE A, está associado o par (a+b, 0) que éa
soma dos pares (2, 0} e (b, 0), correspondentes de a eb, respectivamente
flab} = (a+b, 0) = (8,0) + tb,O} = Ha) + fib)
2) a0 produto ab, com a € Re be R, está associado o par (ab, 0) que do
produto dos pares 18,0) e (b, 0), correspondentes de a e b, respectivamente:
Hab) = (ab, 0) = {ab 0 + 0, à +040 +b) = (a, 0) + tb, O)= flo) « Ho)
Devido a0 fato de existir uma apticagio bijetora f: R— R' que conserva
as operagdes de adigdo e multiplicagäo, dizemos que R e R' s30 ¡somortos.
Devido ao isomorfismo, operar com {x, 0) leva a resultados análogos aos
obtidos operando com x; isto justifica a igualdade.
X= Ox ER
que usaremos daqui por diante
Aceita esta igueldade, temos em particular que O = (0, D}, 1 = (1, 0)¢ IR = RY
Assim, o corpo dos números reais passa a ser considerado subconjunto do corpo
€ dos números complexos.
RCE
wu
de imaginé
Chamamos unidade imaginäria e indicamos por i o número complexe (0, 1),
Notemos que:
Baies (0 1) + (0,1) = (0-0-1.1,0- 141-0 = (1,0
isto 6, a propriedade básica da unidade imaginäria é: