2. Liczby zespolone
Dowód, (a) i (6). Z przemieńności i łączności zwykłego dodawania liczb rzeczywistych wynika przemienność i łączność dodawania © określonego wzorem (2.2). Istotnie, jeśli (a. 6), (c,d), (ej) to mamy
(a,6) © (c,d) = (a + c,6 + d) = (c + a,d + 6) = (c,d)©(a,6)
(definicja działania ©) (przemienność działania f) (definicja działania ©)
oraz
(a. 6) © ((c, d)©(e,/))
= (a, 6) © (c 4- e, d *f /)
= (fl + (cłe),6+(rf + /)) = ((a -f c) + e, (6 -f d) + /) = (a + c,6 + d)©(e,/)
= ((a, 6) © (c, d)) © (e, /).
(definicja działania ©) (definicja działania ©) (łączność działania +) (definicja działania ©) (definicja działania ©)
(c) Liczba (0,0) jest elementem neutralnym działania ©, bo dla każdej liczby zespolonej (a, 6) mamy
(a, 6) ©(0,0) = (a-f 0,6 + 0) = (a,6).
(d) Liczba (-a, -6) jest liczbą przeciwną do liczby (a, 6), bo
(a, 6) © (-a, -6) = (a + (—a), 6 + (—6)) = (0,0).
(e) i (/). Mnożenie <g> jest przemienne i łączne w zbiorze C, bo dla każdych liczb zespolonych (a, 6), (c, d), (ej) jest
(a, 6) ® (c, d) = (ac - 6d, ad + 6c) (definicja działania ®)
= (ca — d6, cb + da) (przemienność mnożenia
i dodawania liczb rzeczywistych) = (c, d) ® (a, 6) (definicja działania 0)
oraz
(a, 6) ® ((c, d) ® (e, /)) = (a, 6) ® (ce - d/, cf + de)
= (a(ce - d/) - 6(c/ + de), a(c/ + de) + 6(ce - d/)) = ((ac - bd)e - (ad + 6c)/, (ac - bd)f + (ad + 6c)e) = (ac — 6d, ad + 6c) ® (e, /)
(p) Liczba (1,0) jest elementem neutralnym działania <g>, bo dla każdej liczby zespolonej (a, b) jest
(a, b) ® (1,0) = (a-l -6 0, a-0 + 61) = (a,6).
i liibi liczb« « C- {(0.0)} • Wtedy a2 + t,! / 0
( /( + b ), b/(a + b )) istnieje i jest to liczba odwrotna do liczby (a, 6),
—62
—ab
ab
2+62’a2+62 + fl2 + 62 J ~ (CO).
(•) W końcu dla każdych lictb tespolonych (a, (c,d) i (e./) mamy
= ((«c - ód) + (ae - 6/), (od + óc) + (a/ + 6e))
(ac - 6d, ad + bc) © (ae - 6/, a/ + 6e)
T d = ((o.l>)®(c,d))® ((a,tj0(Ci/)j
w“ dodawania ® i to Jednookie