Liczby zespolone. x + 2 = 0.

Transkrypt

1 Liczby zespolone 1 Wiadomości wstępne Rozważmy równanie wielomianowe postaci x + 2 = 0. Współczynniki wielomianu stojącego po lewej stronie są liczbami całkowitymi i jedyny pierwiastek x = 2 jest liczbą całkowitą. Rozważmy jednak równanie wielomianowe postaci x 2 = 0. Tutaj współczynniki wielomianu są w dalszym ciągu całkowite, ale pierwiastek x = 2 jest niecałkowitą liczbą wymierną. Stąd pojawiła się potrzeba rozszerzenia zbioru liczb całkowitych do zbioru liczb wymiernych. Łatwo jednak zauważyć, że istnieją wielomiany o współczynnikach wymiernych, których pierwiastki są liczbami niewymiernymi. Istotnie, równanie x 2 2 = 0 ma pierwiastek x = 2, który nie jest liczbą wymierną. Zatem pojawia się potrzeba rozszerzenia zbioru liczb wymiernych do zbioru liczb rzeczywistych. Okazuje się jednak, że zbiór liczb rzeczywistych nie spełnia jeszcze warunku mówiącego, że każdy wielomian o współczynnikach rzeczywistych ma pierwiastki rzeczywiste. Na przykład równanie x = 0, (1) jak dobrze wiadomo, nie ma pierwiastków rzeczywistych. Pojawia się więc potrzeba rozszerzenia zbioru liczb rzeczywistych do większego zbioru liczbowego (czyli takiego, w którym są określone działania dodawania i mnożenia spełniające standardowe własności takie, jak przemienność, łączność, rozdzielność), w którym byłby spełniony warunek: Każdy wielomian o współczynnikach z tego zbioru ma pierwiastki w tym zbiorze. W niniejszym wykładzie zajmiemy się konstruowaniem tego zbioru, działań na elementach tego zbioru oraz omówieniem pewnych własności tego zbioru i jego elementów. 1

2 2 Konstrukcja zbioru liczb zespolonych i działań na liczbach zespolonych Rozważmy płaszczyznę kartezjańską R 2. Każdy element (x, y) tej płaszczyzny będziemy traktować, jak liczbę. Oczywiście liczby (x, y) i (x, y ) są równe wtedy i tylko wtedy, gdy x = x i y = y. Określimy działania na tych liczbach: (x 1, y 1 ) + (x 2, y 2 ) = (x 1 + x 2, y 1 + y 2 ), (x 1, y 1 ) (x 2, y 2 ) = (x 1 x 2 y 1 y 2, x 1 y 2 + x 2 y 1 ). Definicja 2.1. Płaszczyznę kartezjańską z określonymi wyżej działaniami nazywać będziemy zbiorem liczb zespolonych i oznaczać będziemy symbolem C. Elementy tej płaszczyzny nazywamy liczbami zespolonymi. Płaszczyznę kartezjańską traktowaną jako zbiór liczb zespolonych nazywamy płaszczyzną zespoloną i wówczas oś odciętych nazywamy osią rzeczywistą, zaś oś rzędnych osią urojoną. Zwykle na oznaczenie liczb zespolonych będziemy używać litery z. Będziemy więc pisać z = (x, y). Łatwo sprawdzić, że zarówno określone wyżej dodawanie, jak i mnożenie są działaniami przemiennym i łącznymi. Dodatkowo mnożenie jest rozdzielne względem dodawania. Przykładowo sprawdzimy to ostatnie prawo. Mamy wykazać, że zachodzi równość Istotnie, (x 1, y 1 ) [(x 2, y 2 ) + (x, y )] = (x 1, y 1 ) (x 2, y 2 ) + (x 1, y 1 ) (x, y ). L = (x 1, y 1 ) [(x 2, y 2 ) + (x, y )] = (x 1, y 1 ) (x 2 + x, y 2 + y ) = (x 1 (x 2 + x ) y 1 (y 2 + y ), x 1 (y 2 + y ) + y 1 (x 2 + x )) = (x 1 x 2 + x 1 x y 1 y 2 y 1 y, x 1 y 2 + x 1 y + y 1 x 2 + y 1 x ) = (x 1 x 2 y 1 y 2 + x 1 x y 1 y, x 1 y 2 + y 1 x 2 + x 1 y + y 1 x ) = (x 1 x 2 y 1 y 2, x 1 y 2 + y 1 x 2 ) + (x 1 x y 1 y, x 1 y + y 1 x ) = (x 1, y 1 ) (x 2, y 2 ) + (x 1, y 1 ) (x, y ) = P. Rolę zera dla liczb zespolonych odgrywa (0, 0), gdyż dla dowolnej liczby zespolonej (x, y) mamy (x, y) + (0, 0) = (x + 0, y + 0) = (x, y). Zauważmy teraz, że dla dowolnej liczby zespolonej z istnieje liczba do niej przeciwna z tzn. taka, że dodając ją do z otrzymujemy zero. Istotnie, jeżeli z = (x, y), to połóżmy z = ( x, y). Wtedy z + z = (x, y) + ( x, y) = (x x, y y) = (0, 0). Liczbę przeciwną względem z oznaczać będziemy symbolem z. 2

3 Wiedząc już co to jest liczba przeciwna względem danej, możemy w zbiorze liczb zespolonych określić działanie odejmowania: z 1 z 2 = z 1 + ( z 2 ). Podobnie, rolę jedynki dla liczb zespolonych odgrywa (1, 0), gdyż dla dowolnej liczby zespolonej (x, y) mamy (x, y) (1, 0) = (x 1 y 0, x 0 + y 1) = (x, y). Niech teraz z = (x, y) (0, 0) będzie dowolną niezerową liczbą zespoloną. Zdefiniujmy ( ) x z = x 2 + y 2, y x 2 + y 2. Dzięki założeniu niezerowości z dzielenia w ostatnim nawiasie mają sens. Liczba z jest odwrotna względem z. Istotnie, ( ) x z z = (x, y) x 2 + y 2, y x 2 + y 2 ( x 2 = x 2 + y 2 y2 x 2 + y 2, xy x 2 + y 2 + xy ) x 2 + y 2 = (1, 0). Liczbę odwrotną względem z oznaczać będziemy symbolem z 1. Wiedząc już co to jest liczba odwrotna względem z, możemy w zbiorze liczb zespolonych określić działanie dzielenia przez liczby niezerowe: z 1 z 2 = z 1 (z 2 ) 1. Mamy więc w zbiorze liczb zespolonych wszystkie cztery działania, jak w zbiorze liczb rzeczywistych. Będziemy utożsamiać liczbę zespoloną postaci (x, 0) z liczbą rzeczywistą x. Zauważmy, że utożsamienie to jest zgodne z działaniami dodawania i mnożenia, tzn. jeżeli dodamy liczby zespolone (x 1, 0) + (x 2, 0), to otrzymamy liczbę (x 1 + x 2, 0), czyli liczbę utożsamioną ze zwykłą sumą liczb rzeczywistych x 1 +x 2. Podobnie mnożąc przez siebie liczby zespolone (x 1, 0) (x 2, 0) otrzymujemy (x 1 x 2, 0), czyli liczbę utożsamianą ze zwykłym iloczynem x 1 x 2 liczb rzeczywistych. Łatwo także sprawdzić, że (x, 0) = ( x, 0) i (x, 0) 1 = ( 1 x, 0). Zatem nasze utożsamienie jest zgodne z braniem elementu przeciwnego i odwrotnego. Stąd wynika zgodność tego utożsamienia z działaniami odejmowania i dzielenia. Dzięki tym zgodnościom możemy pisać po prostu: (x, 0) = x. Definicja 2.2. Liczbę zespoloną (0, 1) nazywać będziemy jednostką urojoną. Jednostkę urojoną oznaczamy symbolem i. Zauważmy, że i 2 = (0, 1) (0, 1) = ( , ) = ( 1, 0) = 1. (2)

4 Widzimy więc, że jednostka urojona jest pierwiastkiem równania (1). Niech teraz (x, y) będzie dowolną liczbą zespoloną. Wykażemy, że Istotnie, (x, y) = x + yi. P = x + yi = (x, 0) + (y, 0) (0, 1) = (x, 0) + (0, y) = (x, y) = L. Definicja 2.. Postać x + yi liczby zespolonej nazywamy postacią kartezjańską (kanoniczną). Dla liczby zespolonej z = x + yi liczbę rzeczywistą x nazywamy częścią rzeczywistą liczby z i oznaczamy symbolem re z, zaś liczbę rzeczywistą y nazywamy częścią urojoną liczby z i oznaczamy symbolem im z. Okazuje się, że działania na postaciach kanonicznych wykonuje się w sposób naturalny pamiętając o (2): (x 1 + y 1 i) + (x 2 + y 2 i) = x 1 + x 2 + (y 1 + y 2 ) i, (x 1 + y 1 i) (x 2 + y 2 i) = x 1 x 2 +x 1 y 2 i+x 2 y 1 i+y 1 y 2 i 2 = x 1 x 2 y 1 y 2 +(x 1 y 2 + x 2 y 1 ) i. Widać więc, że wykonując działania w sposób naturalny otrzymaliśmy wyniki zgodne z definicjami. Zajmijmy się teraz dzieleniem, które jest najtrudniejszym z czterech działań. Wprowadźmy najpierw następującą definicję: Definicja 2.4. Dla liczby zespolonej z = x + yi liczbę x yi nazywamy sprzężeniem liczby z i oznaczamy symbolem z. Zachodzi następujące Stwierdzenie 2.5. Dla każdej liczby zespolonej z = x + yi mamy z z = x 2 + y 2 R. Weźmy teraz dwie dowolne liczby zespolone z 1 = x 1 +y 1 i i z 2 = x 2 +y 2 i 0. Chcemy obliczyć iloraz z1 z 2. W tym celu rozszerzymy ten ułamek przez liczbę z 2 i wykorzystując Stwierdzenie 2.5 otrzymujemy: z 1 = x 1 + y 1 i z 2 x 2 + y 2 i = (x 1 + y 1 i) (x 2 y 2 i) (x 2 ) 2 + (y 2 ) 2 = x 1x 2 + y 1 y 2 (x 2 ) 2 + (y 2 ) 2 + x 1y 2 + x 2 y 1 (x 2 ) 2 + (y 2 ) 2 i. Postać trygonometryczna Niech z = x + yi C. Definicja.1. Liczbę rzeczywistą x 2 + y 2 nazywamy modułem liczby zespolonej z i oznaczamy symbolem z. 4

5 Zauważmy, że jeżeli liczba z jest rzeczywista, to jej moduł w sensie zespolonym pokrywa się ze znanym dobrze modułem liczby rzeczywistej. Istotnie, jeśli z = (x, 0), to z = x 2 = x, gdzie po prawej stronie mamy zwykłą wartość bezwzględną liczby rzeczywistej. Wykorzystując wiedzę z geometrii analitycznej, można zauważyć, że moduł z liczby zespolonej z jest równy odległości na płaszczyźnie od punktu z do początku układu współrzędnych. Weźmy teraz dowolną niezerową liczbę zespoloną z = x + yi. Wówczas ( ) x z = x + yi = z x2 + y + y 2 x2 + y i. () 2 Zauważmy, że suma kwadratów części rzeczywistej i urojonej liczby występującej w nawiasie wynosi 1. Zatem istnieje liczba ϕ taka, że x x2 + y 2 = cos ϕ i y = sin ϕ. (4) x2 + y2 Definicja.2. Każdą liczbę ϕ spełniającą warunki (4) nazywamy argumentem liczby z = x + yi i oznaczamy symbolem arg z. Zauważmy, że argument liczby zespolonej nie jest wyznaczony jednoznacznie. Jeśli ϕ jest argumentem liczby z, to każda liczba postaci ϕ+2kπ, gdzie k Z jest także argumentem tej liczby. Jeżeli zażądamy, aby argument leżał w przedziale 0, 2π), to będzie on już wyznaczony jednoznacznie. Definicja.. Argument ϕ liczby z należący do przedziału 0; 2π) nazywamy argumentem głównym liczby z i oznaczamy symbolem Arg z. Zaznaczając liczbę z na płaszczyźnie zespolonej, łatwo jest pojęcie argumentu zinterpretować geometrycznie. Mianowicie, argument główny liczby z jest miarą kąta między dodatnią półosią rzeczywistą a promieniem wodzącym liczby z, tzn. odcinkiem łączącym początek układu współrzędnych z punktem z. Ze wzoru () mamy teraz z = z (cos ϕ + i sin ϕ). (5) Definicja.4. Postać (5) liczby zespolonej z nazywamy postacią trygonometryczną tej liczby. Zwróćmy uwagę, że liczba 0 nie ma postaci trygonometrycznej, bo nie ma argumentu. Zachodzi następujące Stwierdzenie.5. Dla liczb zespolonych z 1, z 2 mamy ( z 1 = z 2 z 1 = z 2 k Z arg z 1 arg z 2 = 2kπ ). 5

6 Okazuje się, że postać trygonometryczna liczby zespolonej pozwala na elegancką interpretację mnożenia i dzielenia liczb zespolonych. Zachodzi mianowicie następujące Twierdzenie.6. Jeżeli z 1 = z 1 (cos ϕ 1 + i sin ϕ 1 ) i z 2 = z 2 (cos ϕ 2 + i sin ϕ 2 ), to z 1 z 2 = z 1 z 2 (cos (ϕ 1 + ϕ 2 ) + i sin (ϕ 1 + ϕ 2 )) (6) oraz z 1 = z 1 z 2 z 2 (cos (ϕ 1 ϕ 2 ) + i sin (ϕ 1 ϕ 2 )). (7) Ze wzoru (6) otrzymujemy łatwo wzór na potęgę liczby zespolonej o wykładniku naturalnym. Stwierdzenie.7. Dla n N i z = z (cos ϕ + i sin ϕ) zachodzi następujący wzór z n = z n (cos nϕ + i sin nϕ). (8) W szczególności jeżeli z = 1, to otrzymujemy Twierdzenie.8 (Wzór de Moivre a). Dla n N mamy (cos ϕ + i sin ϕ) n = cos nϕ + i sin nϕ. 4 Pierwiastkowanie liczb zespolonych W zbiorze liczb zespolonych nie definiuje się porządku, tzn. Dla dwóch liczb zespolonych nie da się powiedzieć która z nich jest większa. W związku z tym nie działa w zbiorze liczb zespolonych definicja pierwiastka obowiązująca dla liczb rzeczywistych, gdyż nie ma sensu zwrot jest to liczba nieujemna spełniająca warunek. Musimy więc zdefiniować pierwiastek od nowa. Definicja 4.1. Niech k N i k 2. Dla dowolnej liczby w C pierwiastkiem stopnia k z liczby w nazywamy każdą liczbę zespoloną z spełniającą warunek z k = w. W szczególności pierwiastkami kwadratowymi z liczby 4 w sensie powyższej definicji są liczby 2 i -2 (w dziedzinie rzeczywistej tylko 2 jest pierwiastkiem kwadratowym z 4). Widać więc, że w dziedzinie zespolonej pierwiastek może przyjmować więcej niż jedną wartość. Mimo to będziemy używać na oznaczenie pierwiastka symbolu z = k w, pamiętając o niejednoznaczności tego symbolu. Zachodzi następujące: Twierdzenie 4.2. Dla każdego w 0, gdzie w = w (cos ϕ + i sin ϕ), pierwiastek stopnia k (k N i k 2) ma dokładnie k wartości i wyrażają się one wzorami: z j = k ( w cos ϕ + 2jπ + i sin ϕ + 2jπ ), (9) k k gdzie j = 0, 1,..., k 1 i pierwiastek po prawej stronie tego wzoru jest zwykłym pierwiastkiem w dziedzinie rzeczywistej. 6

7 Z twierdzenia powyższego widać, że wszystkie wartości pierwiastka k-ego stopnia z liczby w 0 leżą na okręgu o środku w początku układu oraz promieniu równym k w i dzielą ten okrąg na k równych łuków. Używając wzoru (8), łatwo sprawdzić, że liczby podane we wzorze (9) faktycznie są wartościami pierwiastka stopnia k z liczby w. Pierwiastkiem dowolnego stopnia z liczby 0 jest jedynie 0, a więc w tym przypadku jest tylko jedna wartość pierwiastka. Przykład 4.. Wyznaczymy wszystkie wartości pierwiastków stopnia trzeciego z liczby w = i. W tym celu zapiszmy najpierw liczbę w w postaci trygonometrycznej: w = cos 2 π + i sin 2 π. Z wzoru (9) otrzymujemy następujące wartości pierwiastka stopnia trzeciego: z 0 = cos 6 π + i sin 6 π = i, z 1 = cos z 2 = cos 2 π + 2π + i sin 2 π + 4π + i sin 2 π + 2π = cos 7 6 π + i sin 7 6 π = i, 2 π + 4π = cos π + i sin 6 6 π = i. 5 Wielomiany o współczynnikach zespolonych Niech n N {0}. Definicja 5.1. Wielomianem stopnia n o współczynnikach zespolonych nazywamy funkcję zmiennej zespolonej z postaci W (z) = a n z n + a n 1 z n a 1 z + a 0, (10) gdzie a 0, a 1,..., a n C, przy czym a n 0. Dodatkowo wielomianem zerowym nazywamy funkcję zadaną wzorem W (z) = 0 dla z C. Definicja 5.2. Liczbę zespoloną z 0 nazywamy pierwiastkiem wielomianu (10), gdy W (z 0 ) = 0. W dziedzinie zespolonej obowiązuje także Twierdzenie 5. (Twierdzenie Bezouta). Liczba z 0 jest pierwiastkiem wielomianu W wtedy i tylko wtedy, gdy wielomian W jest podzielny przez dwumian z z 0. W związku z tym twierdzeniem ma sens następująca definicja: Definicja 5.4. Jeżeli z 0 jest pierwiastkiem wielomianu W to jego krotnością nazywamy taką liczbę naturalną k, że wielomian W jest podzielny przez (z z 0 ) k i nie jest podzielny przez (z z 0 ) k+1. 7

8 Zachodzi następujące: Twierdzenie 5.5 (Podstawowe twierdzenie algebry). Każdy wielomian W stopnia n w dziedzinie zespolonej ma dokładnie n pierwiastków zespolonych (uwzględniając krotności) i daje się zapisać w postaci W (z) = a n (z z 1 ) (z z n ), gdzie z 1,..., z n są wszystkimi pierwiastkami wielomianu W z uwzględnieniem krotności. W szczególności każdy trójmian kwadratowy W (z) = az 2 + bz + c, gdzie a, b, c C i a 0, daje się zapisać w postaci W (z) = a (z z 1 ) (z z 2 ), przy czym z 1, z 2 są pierwiastkami tego trójmianu wyrażającymi się wzorami z j = b + δ j 2a, j = 1, 2. W powyższym wzorze symbolami δ 1, δ 2 oznaczone zostały dwie wartości pierwiastka kwadratowego z = b 2 4ac. Przykład 5.6. Rozwiążemy równanie iz 2 + (2 2i) z i 2 = 0. Obliczmy wyróżnik trójmianu stojącego po lewej stronie równania: = (2 2i) 2 4i ( 1 2) = 4 8i i = 4. Postacią trygonometryczną jest = 4 (cos π + i sin π) Stąd wartościami są ( δ 1 = 2 cos π 2 + i sin π ) ( = 2i, δ 2 = 2 cos π i sin π ) = 2i. 2 Stąd pierwiastkami danego równania są z 1 = 2 + 2i + 2i 2i = 2 + i, z 2 = 2 + 2i 2i 2i = i. 6 Funkcja wykładnicza zmiennej zespolonej Definicja 6.1. Funkcję zmiennej zespolonej f (z) = e z, gdzie dla z = x + yi, nazywamy funkcją wykładniczą zmiennej zespolonej. e z = e x (cos y + i sin y), (11) 8

9 Wykazuje się, że dla dowolnych liczb zespolonych z, z 1, z 2 zachodzą warunki: e z1 e z2 = e z1+z2, e z1 e z2 = ez1 z2, e z 0, e z+2πi = e z. Ostatni z tych warunków oznacza, że funkcja wykładnicza zmiennej zespolonej jest funkcją okresową o okresie zespolonym 2πi. Łatwo widać, że wykorzystując definicję funkcji wykładniczej, możemy wzór (5) zapisać w postaci z = z e iϕ. (12) Postać (12) liczby zespolonej z nazywamy postacią wykładniczą. 9