e) Podstawmy w = z + 2 — i. Wtedy zbiór spełniający warunki
0 arg w ^ ^
4
składa się z liczb zespolonych, których argumenty główne zawarte są w przedziale |o, .
Jest to obszar kątowy ograniczony półosią Rem oraz pólprostą wychodzącącą z początku układu współrzędnych i tworzącą kąt — z dodatnią części osi Retu (zobacz rysunek). Ponieważ z = u> — 2 -f », więc zbiór spełniający warunki
0 $ arg (z + 2 — i) ^
4
iest określonym powyżej obszarem kątowym przesuniętym o wektor zo = — 2 + i (zobacz rysunek).
Im w
) Dla z = z + iy ^ 0 mamy
Re - = Re Z _ = Re —= Re z z • z
€ 1.
x - iy
|z|2 i2 + y2 i2 + y2 'o pomnożeniu obu stron ostatniej nierówności przez i2 + y2 > 0 otrzymamy
x $ z2 + y2.
ląd po prostych przekształceniach mamy
atem szukamy zbiór to zewnętrze koła o środku (j,o) i promieniu ~ wraz z brzegiem, le bez punktu O.
95
Rozwiązać podane równania: a) z2 + iz + 2 — 0; b) z3 + 3z2 + 4z - 8 = 0; c) z3 — li = 0.
Rozwiązanie
a) W rozwiązaniu wykorzystamy wzory na pierwiastki równania kwadratowego az2 + bz -f c, gdzie a, b, c € C oraz a jŁ 0 :
Zl
—b — 2 a
6
*2 =
-b + S 2 a
W tych wzorach S jest jedną z liczb zespolonych spełniających warunek S2 = A = b2 — 4ac. Dla równania kwadratowego z2 -f iz + 2 = 0 mamy A = i2 — 8 = —9 = (3j)2. Zatem
*i
z2 =
—i + 3i 2
i.
b) W rozwiązaniu wykorzystamy twierdzenie o pierwiastkach całkowitych wielomianu. Jeżeli równanie z3 + 3z2 -f 4z — 8 = 0 ma pierwiastek całkowity, to należy on do zbioru dzielników wyrazu wolnego —8, tj. do zbioru {±1, ±2, ±4, ±8} . Zauważmy, że z\ = 1 rzeczywiście jest rozwiązaniem rozważanego równania. Tak więc z twierdzenia Bezout wynika, że wielomian z3 -f 3z2 + 4z — 8 = 0 dzieli się (bez reszty) przez dwumian z — 1. Mamy
(z3 -f 3z2 + 4z - 8) : (z - 1) = z2 + 4z + 8.
Rozwiązaniami równania z2+4z+8 = 0, obliczonymi jak w przykładzie a) są zi = — 2-f 2j, Z3 = —2 — 2». Zatem rozwiązaniami równania wyjściowego są z\ = 1, Zi = — 2 + 2i, z3 = -2 - 2t.
c) Rozwiązanie równania z3 — 2i = 0 jest równoważne z obliczeniem pierwiastka vĆ2i. W tym celu wykorzystamy wzór na pierwiastki stopnia n z liczby zespolonej r ^ 0 o argumencie ip :
sfz = { łj/fzj (cos ą. isin ~~~~) ’ gdzie £ = 0,1.....n-l}.
Dla z = li mamy |z| = 2 oraz arg z = —. Zatem
f / ^ + 2 kir
v^2j = < I cos ——--
+ : sin
, gdzie A: = 0, 1,2